|
Paraconsistent Logic
Paraconsistent logic is a type of non-classical logic that allows for the coexistence of contradictory statements without leading to a logical explosion where anything can be proven true. Specifically, paraconsistent logic is the subfield of logic that is concerned with studying and developing "inconsistency-tolerant" systems of logic, purposefully excluding the principle of explosion. Inconsistency-tolerant logics have been discussed since at least 1910 (and arguably much earlier, for example in the writings of Aristotle); however, the term ''paraconsistent'' ("beside the consistent") was first coined in 1976, by the Peruvian philosopher Francisco Miró Quesada Cantuarias. The study of paraconsistent logic has been dubbed paraconsistency, which encompasses the school of dialetheism. Definition In classical logic (as well as intuitionistic logic and most other logics), contradictions entail everything. This feature, known as the principle of explosion or ''ex contradiction ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Non-classical Logic
Non-classical logics (and sometimes alternative logics or non-Aristotelian logics) are formal systems that differ in a significant way from standard logical systems such as propositional and predicate logic. There are several ways in which this is commonly the case, including by way of extensions, deviations, and variations. The aim of these departures is to make it possible to construct different models of logical consequence and logical truth. Philosophical logic is understood to encompass and focus on non-classical logics, although the term has other meanings as well. In addition, some parts of theoretical computer science can be thought of as using non-classical reasoning, although this varies according to the subject area. For example, the basic boolean functions (e.g. AND, OR, NOT, etc) in computer science are very much classical in nature, as is clearly the case given that they can be fully described by classical truth tables. However, in contrast, some computeriz ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Theory (logic)
In mathematical logic, a theory (also called a formal theory) is a set of sentences in a formal language. In most scenarios a deductive system is first understood from context, giving rise to a formal system that combines the language with deduction rules. An element \phi\in T of a deductively closed theory T is then called a theorem of the theory. In many deductive systems there is usually a subset \Sigma \subseteq T that is called "the set of axioms" of the theory T, in which case the deductive system is also called an "axiomatic system". By definition, every axiom is automatically a theorem. A first-order theory is a set of first-order sentences (theorems) recursively obtained by the inference rules of the system applied to the set of axioms. General theories (as expressed in formal language) When defining theories for foundational purposes, additional care must be taken, as normal set-theoretic language may not be appropriate. The construction of a theory begins by sp ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Disjunction Introduction
Disjunction introduction or addition (also called or introduction) is a rule of inference of propositional logic and almost every other deduction system. The rule makes it possible to introduce disjunctions to logical proofs. It is the inference that if ''P'' is true, then ''P or Q'' must be true. An example in English: :Socrates is a man. :Therefore, Socrates is a man or pigs are flying in formation over the English Channel. The rule can be expressed as: :\frac where the rule is that whenever instances of "P" appear on lines of a proof, "P \lor Q" can be placed on a subsequent line. More generally it's also a simple valid argument form, this means that if the premise is true, then the conclusion is also true as any rule of inference should be, and an immediate inference, as it has a single proposition in its premises. Disjunction introduction is not a rule in some paraconsistent logics because in combination with other rules of logic, it leads to explosion (i.e. everyt ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Natural Deduction
In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the "natural" way of reasoning. This contrasts with Hilbert-style systems, which instead use axioms as much as possible to express the logical laws of deductive reasoning. History Natural deduction grew out of a context of dissatisfaction with the axiomatizations of deductive reasoning common to the systems of Hilbert, Frege, and Russell (see, e.g., Hilbert system). Such axiomatizations were most famously used by Russell and Whitehead in their mathematical treatise ''Principia Mathematica''. Spurred on by a series of seminars in Poland in 1926 by Łukasiewicz that advocated a more natural treatment of logic, Jaśkowski made the earliest attempts at defining a more natural deduction, first in 1929 using a diagrammatic notation, and later updating his proposal in a sequence of papers in 1934 and 1935. His proposals led to d ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Syllogism
A syllogism (, ''syllogismos'', 'conclusion, inference') is a kind of logical argument that applies deductive reasoning to arrive at a conclusion based on two propositions that are asserted or assumed to be true. In its earliest form (defined by Aristotle in his 350 BC book '' Prior Analytics''), a deductive syllogism arises when two true premises (propositions or statements) validly imply a conclusion, or the main point that the argument aims to get across. For example, knowing that all men are mortal (major premise), and that Socrates is a man (minor premise), we may validly conclude that Socrates is mortal. Syllogistic arguments are usually represented in a three-line form: All men are mortal. Socrates is a man. Therefore, Socrates is mortal.In antiquity, two rival syllogistic theories existed: Aristotelian syllogism and Stoic syllogism. From the Middle Ages onwards, ''categorical syllogism'' and ''syllogism'' were usually used interchangeably. This article is concern ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bas Van Fraassen
Bastiaan Cornelis "Bas" van Fraassen (; ; born 5 April 1941) is a Dutch-American philosopher noted for his contributions to philosophy of science, epistemology and formal logic. He is a Distinguished Professor of Philosophy at San Francisco State University and the McCosh Professor of Philosophy Emeritus at Princeton University. Biography and career Van Fraassen was born in the German-occupied Netherlands on 5 April 1941. His father, a steam fitter, was forced by the Nazis to work in a factory in Hamburg. After the war, the family reunited and, in 1956, emigrated to Edmonton, in western Canada. Van Fraassen earned his B.A. (1963) from the University of Alberta and his M.A. (1964) and Ph.D. (1966, under the direction of Adolf Grünbaum) from the University of Pittsburgh. He previously taught at Yale University, the University of Southern California, the University of Toronto and, from 1982 to 2008, at Princeton University, where he is now emeritus. Since 2008, Van Fraasse ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Empirical Adequacy
In philosophy of science, constructive empiricism is a form of empiricism. While it is sometimes referred to as an empiricist form of structuralism, its main proponent, Bas van Fraassen, has consistently distinguished between the two views. Overview Bas van Fraassen is nearly solely responsible for the initial development of constructive empiricism; its historically most important presentation appears in his ''The Scientific Image'' (1980). Constructive empiricism states that scientific theories are semantically literal, that they aim to be empirically adequate, and that their acceptance involves, as belief, only that they are empirically adequate. A theory is empirically adequate if and only if everything that it says about observable entities is true (regardless of what it says about unobservable entities). A theory is semantically literal if and only if the language of the theory is interpreted in such a way that the claims of the theory are either true or false (as opposed to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Graham Priest
Graham Priest (born 1948) is a philosopher and logician who is distinguished professor of philosophy at the CUNY Graduate Center, as well as a regular visitor at the University of Melbourne, where he was Boyce Gibson Professor of Philosophy and also at the University of St Andrews. Life Priest was educated at St John's College, Cambridge and the London School of Economics. His thesis advisor was John Lane Bell. He also holds a DLitt from the University of Melbourne. Priest was elected a corresponding fellow of the Australian Academy of the Humanities in 1995. In addition to his work in philosophy and logic, Priest practised karate-do. He is 3rd dan, International Karate-do Shobukai; 4th dan, shitō-ryū, and an Australian National kumite referee and kata judge. Presently, he practices tai chi. Philosophical work Priest is known for his defence of dialetheism, his in-depth analyses of the logical paradoxes (holding the thesis that there is a uniform treatment for many ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Information
Information is an Abstraction, abstract concept that refers to something which has the power Communication, to inform. At the most fundamental level, it pertains to the Interpretation (philosophy), interpretation (perhaps Interpretation (logic), formally) of that which may be sensed, or their abstractions. Any natural process that is not completely random and any observable pattern in any Media (communication), medium can be said to convey some amount of information. Whereas digital signals and other data use discrete Sign (semiotics), signs to convey information, other phenomena and artifacts such as analog signals, analogue signals, poems, pictures, music or other sounds, and current (fluid), currents convey information in a more continuous form. Information is not knowledge itself, but the meaning (philosophy), meaning that may be derived from a representation (mathematics), representation through interpretation. The concept of ''information'' is relevant or connected t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Self-referential
Self-reference is a concept that involves referring to oneself or one's own attributes, characteristics, or actions. It can occur in language, logic, mathematics, philosophy, and other fields. In natural language, natural or formal languages, self-reference occurs when a Sentence (linguistics), sentence, idea or Well-formed formula, formula refers to itself. The reference may be expressed either directly—through some intermediate sentence or formula—or by means of some Semantics encoding, encoding. In philosophy, self-reference also refers to the ability of a subject to speak of or refer to itself, that is, to have the kind of thought expressed by the first person nominative singular pronoun I (pronoun), "I" in English. Self-reference is studied and has applications in mathematics, philosophy, computer programming, second-order cybernetics, and linguistics, as well as self-referential humor, in humor. Self-referential statements are sometimes paradoxical, and can also be ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Solomon Feferman
Solomon Feferman (December 13, 1928July 26, 2016) was an American philosopher and mathematician who worked in mathematical logic. In addition to his prolific technical work in proof theory, computability theory, and set theory, he was known for his contributions to the history of logic (for instance, via biographical writings on figures such as Kurt Gödel, Alfred Tarski, and Jean van Heijenoort) and as a vocal proponent of the philosophy of mathematics known as predicativism, notably from an anti- platonist stance. Life Solomon Feferman was born in The Bronx in New York City to working-class parents who had immigrated to the United States after World War I and had met and married in New York. Neither parent had any advanced education. The family moved to Los Angeles, where Feferman graduated from high school at age 16. He received his B.S. from the California Institute of Technology in 1948, and in 1957 his Ph.D. in mathematics from the University of California, Berkeley, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Alfred Tarski
Alfred Tarski (; ; born Alfred Teitelbaum;School of Mathematics and Statistics, University of St Andrews ''School of Mathematics and Statistics, University of St Andrews''. January 14, 1901 – October 26, 1983) was a Polish-American logician and mathematician. A prolific author best known for his work on model theory, metamathematics, and algebraic logic, he also contributed to abstract algebra, topology, geometry, measure theory, mathematical logic, set theory, type theory, and analytic philosophy. Educated in Poland at the University of Warsaw, and a member of the Lwów–Warsaw school, Lwów–Warsaw school of logic and the Warsaw school of mathematics, he immigrated to the United States in 1939 where he became a naturalized citizen in 1945. Tarski taught and carried out research in mathematics at the University of California, Berkeley, from 1942 until his death in 1983.#FefA, Feferman A. His biographers Anita Burdman Feferman and Solomon Feferman state that, "Along with ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
