Publish in OALib Journal

ISSN: 2333-9721

APC: Only $99


Any time

2019 ( 10 )

2018 ( 68 )

2017 ( 48 )

2016 ( 94 )

Custom range...

Search Results: 1 - 10 of 2674 matches for " logic "
All listed articles are free for downloading (OA Articles)
Page 1 /2674
Display every page Item
Formal Logic and Carnap’s Rejection of Metaphysics: A Short Reflection  [PDF]
Michael Perrick
Open Journal of Philosophy (OJPP) , 2018, DOI: 10.4236/ojpp.2018.85040
Abstract: From a seemingly impartial, unprejudiced point of view, Carnap claims to be able to eliminate, once and for all, all of metaphysics by “logical analysis”. We argue, on the one hand, that as far as Carnap’s analysis is strictly logical it leaves metaphysics untouched. On the other hand, we argue that as far as his analysis is epistemological it directly hits metaphysics, but lacks the prerogatives of formal logic, especially formal logic’s impartiality.
Nonalgorithmicity and algorithmicity of protein science  [PDF]
Qinyi Zhao
Advances in Bioscience and Biotechnology (ABB) , 2011, DOI: 10.4236/abb.2011.25050
Abstract: The metaphysical features of the mechanism for the integration of the information underlying protein folding were studied by applying principles of system logic theory. We conclude that it is not possible to predict all protein three-dimensional structures from protein sequences by one program only. This conclusion is validated in structural genomics in that we also cannot predict protein function from three-dimensional structure by one program only. Our theory also demonstrates that bioinformation flow from gene to biological function is an integration process, rather than an expression (translation) process. A system relationship between a gene and its biological function is also proposed. This electronic document is a “live” template.
Simultaneous Measurability of Error and Disturbance  [PDF]
Riuji Mochizuki
Journal of Modern Physics (JMP) , 2013, DOI: 10.4236/jmp.2013.42036

The uncertainty relation, which displays an elementary property of quantum theory, was originally described by Heisenberg as the relation between error and disturbance. Ozawa presented a more rigorous expression of the uncertainty relation, which was later verified experimentally. Nevertheless, the operators corresponding to error and disturbance should be measurable in the identical state if we follow the presupposition of Heisenbergs thought experiment. In this letter, we discuss simultaneous measurability of error and disturbance and present a new inequality using error and disturbance in the identical state. A testable example of this inequality is also suggested.

Time Logic on the Move  [PDF]
Kuangming Wu
Open Journal of Philosophy (OJPP) , 2017, DOI: 10.4236/ojpp.2017.73014
Abstract: Things exist logically as understandable through time; such logic is called “time logic” that includes both logically dead and alive. This essay features time logic on the move, personal concrete, coherent open, and inter-changing into music.
Logic and Ontology
Newton C. A. da Costa
Principia : an International Journal of Epistemology , 2002,
Abstract: In view of the present state of development of non classical logic, especially of paraconsistent logic, a new stand regarding the relations between logic and ontology is defended In a parody of a dictum of Quine, my stand May be summarized as follows. To be is to be the value of a variable a specific language with a given underlying logic Yet my stand differs from Quine’s, because, among other reasons, I accept some first order heterodox logics as genuine alternatives to classical logic I also discuss some questions of non classical logic to substantiate my argument, and suggest that may position complements and extends some ideas advanced by L Apostel.
Permutation and Complementary Algorithm to Generate Random Sequences for Binary Logic  [PDF]
Jie Wan, Jeffrey Z. J. Zheng
Int'l J. of Communications, Network and System Sciences (IJCNS) , 2011, DOI: 10.4236/ijcns.2011.45039
Abstract: Randomness number generation plays a key role in network, information security and IT applications. In this paper, a permutation and complementary algorithm is proposed to use vector complementary and permuta-tion operations to extend n-variable Logic function space from 22n functions to 22n * 2n! configurations for variant logic framework. Each configuration contains 2n functions can be shown in a 22n-1*22n-1 matrix. A set of visual results can be represented by their symmetric properties in W, F and C codes respec-tively to provide the essential support on the variant logic framework.
Employing fuzzy logic in the diagnosis of a clinical case  [PDF]
Gaetano Licata
Health (Health) , 2010, DOI: 10.4236/health.2010.23031
Abstract: Fuzzy logic is a logical calculus which operates with many truth values (while classical logic works with the two values of true and false). Since fuzzy logic considers the truth of scientific statements like something softened, it is fruitfully applied to the study of biological phenomena, biology is indeed considered the field of complexity, uncertainty and vagueness. In this paper fuzzy logic is successfully applied to the clinical diagnosis of a patient who suffers from different diseases bound by a complex causal chain. In this work it is presented a mathematical foundation of fuzzy logic (with connectives and inference rules) and then the application of fuzzy reasoning to the study of a clinical case. Probabilistic logic is widely considered the unique logical calculus useful in clinical diagnosis, thus the usefulness of fuzzy logic and its relation with probabilistic logic is here explored. The presentation of the case is supplied with all the features necessary to affect a clinical diagnosis: physical exam, anamnesis and tests.
Paraconsistent Algorithm Extractor of Contradiction Effects - Paraextrctrctr  [PDF]
Joao Inacio Da Silva Filho, Germano Lambert-Torres, Luiz Fernando Pompeo Ferrara, Maurício Concei??o Mário, Marcos Rosa dos Santos, Alexandre Shozo Onuki, José de Melo Camargo, Alexandre Rocco
Journal of Software Engineering and Applications (JSEA) , 2011, DOI: 10.4236/jsea.2011.410067
Abstract: Nowadays networks of analyses based in non-classic logics are used with success in the treatment of uncertainties. The characteristic of accepting the contradiction in his structure is the main cause of the methodologies based in Paraconsistent Logic is ideals for applications in systems of analyses and decision making. In this work we presented an algorithm based in Paraconsistent logic capable to extract in a gradual way the effects of the contradiction in originated signals of information of uncertain knowledge database. The Algorithm Paraconsistent Extractor of Contradiction effects - Paraextrctrctr is formed with base in fundamental concepts of the Paraconsistent Annotated Logic with annotation of two values (PAL2v) it can be applied in filters of networks of analyses of signal information where uncertain and contradictory signals can be present. The process of extraction of the effect of the contradiction is always begun by the largest inconsistency degree among two signals that belong to the group that is in analysis. In the end of the analysis it is found a consensus value. In this work we presented numeric example and one example of application of the Paraextrctrctr in Load Profile Forecast used in support to decision of the operation in an Electric Power System, but his application potentiality is demonstrated in several fields of the Artificial Intelligence.
Paraconsistent Annotated Logic in Analysis of Physical Systems: Introducing the Paraquantum Factor of Quantization hψ  [PDF]
Jo?o Inácio Da Silva Filho
Journal of Modern Physics (JMP) , 2011, DOI: 10.4236/jmp.2011.211172
Abstract: We present in this paper an alternative of modeling physical systems through a non-Classical logic namely the Paraconsistent Logic (PL) whose main feature is the revocation of the principle of non-contradiction. The Paraconsistent Annotated Logic with annotation of two values (PAL2v) is a type of PL and has in its theoretical structure the main feature of dealing with contradictions offering flexibility in drawing conclusions. Several works about applications of PAL2v have shown that such logic is able to provide us with an adequate treatment to uncertainties. Based on the foundations of the PAL2v we presented the ParaQuantum logic (PQL) with the goal of performing analysis of signals from information sources which model physical systems. The formalization of the concepts of the logics PQL, that it is represented in a Lattice, requires the considering of Paraquantum logical states ψ which are propagated through variations of the evidence Degrees µ and λ which come out from measurements performed in Observable Variables in the physical world. When we analyze the lattice of the PQL, we obtain equations which quantify values of physical quantities from where we obtain the effects of propagation of the Paraquantum logical states ψ. In this paper, we introduce the Paraquantum Factor of quantization hψ whose value is associated with a special logical state on the lattice which is identified with the Planck constant h. We conclude through these studies that the Paraquantum Logical Model based on the ParaQuantum logics PQL can link the several fields of the physical sciences by means of quantization of values. It is an innovative approach of formulating natural phenomena.
Analysis of the Spectral Line Emissions of the Hydrogen Atom with Paraquantum Logic  [PDF]
Jo?o Inácio Da Silva Filho
Journal of Modern Physics (JMP) , 2012, DOI: 10.4236/jmp.2012.33033
Abstract: In this work we presented a study of the obtaining of the spectral line emissions of the hydrogen atom using equations that are originated from the foundations of the Paraquantum Logic (PQL). Based on a class of logics called Paraconsistent Logics with annotation of two values (PAL2v), PQL performs a logical treatment on signals obtained by measurements on physical quantities which are considered Observable Variables in the physical world. In the process of application of the PQL the obtained values are transformed in Evidence Degrees and represented on a Lattice of four Vertices where special equations transform these degrees into Paraquantum logical states ψ which propagate. This allows creating Paraquantum logical models of physical systems of the real world. Using the paraquantum equations, we investigated the hydrogen atom spectrum and his main series known. We performed a numerical comparative study that applies the Paraquantum Logical Model to calculate the wavelengths values. The values of wavelengths obtained by the Paraquantum Equations are compared by the results found by the Rydberg formula and are verified that the series of the spectral line emissions of the hydrogen atom can be identified with the representative Lattices of the Paraquantum Logic. Through the application of the Paraquantum equations it was found a numeric value relates the layers of Paraquantum model of the Hydrogen atom. This value represents a constant that relates the Lattices that compose the Paraquantum universe, and it was denominated Paraquantum Structure Constant, whose symbol is αψ. The obtained results of the comparison demonstrate that the Paraquantum Logic comes with good possibilities of being the ideal logic to model our physical reality.
Page 1 /2674
Display every page Item

Copyright © 2008-2017 Open Access Library. All rights reserved.