289 relations: A Greek–English Lexicon, Abductive reasoning, ACM Computing Classification System, Alan Turing, Alfred North Whitehead, Alfred Tarski, Ammonius Saccas, An Essay Concerning Human Understanding, Analytic philosophy, Annals of Mathematics, Anti-realism, Antoine Arnauld, Anviksiki, Arend Heyting, Argument, Argumentation theory, Aristotle, Arithmetic, Arithmetic logic unit, Arthur Prior, Artificial intelligence, Atomic sentence, Augustus De Morgan, Automated theorem proving, Avicenna, Axiom, Axiom of choice, Barber paradox, Barry Smith (academic), Begriffsschrift, Bertrand Russell, Boethius, Boolean algebra, Cambridge University Press, Cantor's theorem, Charles Babbage, Charles Sanders Peirce, Christian, Church–Turing thesis, Clarence Irving Lewis, Classical logic, Completeness (logic), Complexity class, Computability theory, Computational linguistics, Computer science, Consequent, Consistency, Continuum hypothesis, Cooperative principle, ..., Critical thinking, Curry–Howard correspondence, David Hilbert, De Interpretatione, Decision tree, Deductive reasoning, Default logic, Defeasible reasoning, Deontic logic, Description logic, Dialectic, Dialectical logic, Dialetheism, Digital electronics, Domain of discourse, Dov Gabbay, Dynamic logic (modal logic), Edward N. Zalta, Elliott Mendelson, Encyclopædia Britannica, Entscheidungsproblem, Epistemic modal logic, Epistemology, Erasmus Montanus, Euclid, Europe, Fallacy, First-order logic, Formal methods, Formal system, Formula, Foundations of mathematics, Free logic, Friedrich Nietzsche, Fuzzy logic, Game semantics, Garrett Birkhoff, Gödel's completeness theorem, Gödel's incompleteness theorems, General relativity, Geometry, Georg Cantor, Georg Wilhelm Friedrich Hegel, George Boole, George Boolos, Gerhard Gentzen, Gongsun Long, Gottfried Wilhelm Leibniz, Gottlob Frege, Graham Priest, Graph theory, György Lukács, Han Feizi, Harvard University Press, High Middle Ages, Hilary Putnam, Hilbert's program, Hoare logic, Horn clause, Human, All Too Human, Hypothetical syllogism, If and only if, Immanuel Kant, Indian logic, Individual, Inductive reasoning, Inference, Infinitary logic, Informal logic, Intuitionism, Intuitionistic logic, Is Logic Empirical?, Jan Łukasiewicz, Józef Maria Bocheński, Jürgen Habermas, John Locke, John von Neumann, Jon Barwise, Joseph Goguen, Karl Marx, Knowledge representation and reasoning, Kripke semantics, Kurt Gödel, L. E. J. Brouwer, Large cardinal, Law, Law of excluded middle, Law of noncontradiction, Lewis Carroll, Linguistic modality, Linguistics, List of logic journals, List of logic symbols, List of logicians, Lists of mathematics topics, Logic gate, Logic in China, Logic programming, Logic puzzle, Logica Universalis, Logical biconditional, Logical conjunction, Logical connective, Logical consequence, Logical disjunction, Logical form, Logical truth, Logicism, Logos, Ludvig Holberg, Ludwig Wittgenstein, Many-sorted logic, Many-valued logic, Material conditional, Material inference, Mathematical logic, Mathematical model, Mathematical notation, Mathematics, Mechanics, Metalogic, Metaphysics, Michael Dummett, Modal fallacy, Modal logic, Model theory, Modus ponens, Monotonicity of entailment, Natural language, Navya-Nyāya, Necessity and sufficiency, Negation, Nicholas Rescher, Nicolai A. Vasiliev, Non-classical logic, Nuel Belnap, Nyaya, On Truth and Lies in a Nonmoral Sense, Online Etymology Dictionary, Organon, Outline of logic, Outline of mathematics, Outline of philosophy, Paraconsistent logic, Paradox, Paradoxes of material implication, Perseus Project, Philo the Dialectician, Philosophical logic, Philosophical realism, Philosophical skepticism, Philosophy, Philosophy of mathematics, Philosophy of mind, Plato, Port-Royal Logic, Posterior Analytics, Potentiality and actuality, Pragma-dialectics, Predicable, Principia Mathematica, Principle of bivalence, Principle of distributivity, Principle of explosion, Principles of Mathematical Logic, Prior Analytics, Problem of future contingents, Problem of multiple generality, Programming language, Prolog, Proof calculus, Proof theory, Proof-theoretic semantics, Proposition, Propositional calculus, Psychologism, Psychology, Qin dynasty, Quantifier (logic), Quantum logic, Rationality, Real number, Reason, Relevance logic, Rhetoric, Rival conceptions of logic, Robert Brandom, Routledge, Rule induction, Rule of inference, Russell's paradox, Saul Kripke, Scholasticism, Second-order logic, Semantic theory of truth, Semantics, Semantics (computer science), Set theory, Sextus Empiricus, Soundness, Southern Illinois University Press, Stanford Encyclopedia of Philosophy, Stephen Toulmin, Stewart Shapiro, Stoic logic, Stoicism, Strict conditional, Structural proof theory, Structure (mathematical logic), Sum of Logic, Supervaluationism, Supposition theory, Susan Haack, Syllogism, Tautology (logic), Temporal logic, Term logic, Terminology, Tetralemma, The Gay Science, The Laws of Thought, Three-valued logic, Topics (Aristotle), Truth, Truth value, Turing degree, Universal logic, Universal quantification, University of California Press, Validity, Vector logic, Walter Burley, Wilfrid Hodges, Wilfrid Sellars, Wilhelm Ackermann, Willard Van Orman Quine, William Kneale, William of Ockham, William Wallace (philosopher). Expand index (239 more) » « Shrink index
A Greek–English Lexicon, often referred to as Liddell & Scott, Liddell–Scott–Jones, or LSJ, is a standard lexicographical work of the Ancient Greek language.
Abductive reasoning (also called abduction,For example: abductive inference, or retroduction) is a form of logical inference which starts with an observation or set of observations then seeks to find the simplest and most likely explanation.
The ACM Computing Classification System (CCS) is a subject classification system for computing devised by the Association for Computing Machinery (ACM).
Alan Mathison Turing (23 June 1912 – 7 June 1954) was an English computer scientist, mathematician, logician, cryptanalyst, philosopher, and theoretical biologist.
Alfred North Whitehead (15 February 1861 – 30 December 1947) was an English mathematician and philosopher.
Alfred Tarski (January 14, 1901 – October 26, 1983), born Alfred Teitelbaum,School of Mathematics and Statistics, University of St Andrews,, School of Mathematics and Statistics, University of St Andrews.
Ammonius Saccas (Ἀμμώνιος Σακκᾶς; fl. 3rd century AD) was a Greek philosopher from Alexandria who was often referred to as one of the founders of Neoplatonism.
An Essay Concerning Human Understanding is a work by John Locke concerning the foundation of human knowledge and understanding.
Analytic philosophy (sometimes analytical philosophy) is a style of philosophy that became dominant in the Western world at the beginning of the 20th century.
The Annals of Mathematics is a bimonthly mathematical journal published by Princeton University and the Institute for Advanced Study.
In analytic philosophy, anti-realism is an epistemological position first articulated by British philosopher Michael Dummett.
Antoine Arnauld (6 February 16128 August 1694) was a French Roman Catholic theologian, philosopher and mathematician.
Ānvīkṣikī is a term in Sanskrit denoting roughly the "science of inquiry" and it should have been recognized in India as a distinct branch of learning as early as 650 BCE.
__notoc__ Arend Heyting (9 May 1898 – 9 July 1980) was a Dutch mathematician and logician.
In logic and philosophy, an argument is a series of statements typically used to persuade someone of something or to present reasons for accepting a conclusion.
Argumentation theory, or argumentation, is the interdisciplinary study of how conclusions can be reached through logical reasoning; that is, claims based, soundly or not, on premises.
Aristotle (Ἀριστοτέλης Aristotélēs,; 384–322 BC) was an ancient Greek philosopher and scientist born in the city of Stagira, Chalkidiki, in the north of Classical Greece.
Arithmetic (from the Greek ἀριθμός arithmos, "number") is a branch of mathematics that consists of the study of numbers, especially the properties of the traditional operations on them—addition, subtraction, multiplication and division.
An arithmetic logic unit (ALU) is a combinational digital electronic circuit that performs arithmetic and bitwise operations on integer binary numbers.
Arthur Norman Prior (4 December 1914 – 6 October 1969), usually cited as A. N. Prior, was a noted logician and philosopher.
Artificial intelligence (AI, also machine intelligence, MI) is intelligence demonstrated by machines, in contrast to the natural intelligence (NI) displayed by humans and other animals.
In logic, an atomic sentence is a type of declarative sentence which is either true or false (may also be referred to as a proposition, statement or truthbearer) and which cannot be broken down into other simpler sentences.
Augustus De Morgan (27 June 1806 – 18 March 1871) was a British mathematician and logician.
Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs.
Avicenna (also Ibn Sīnā or Abu Ali Sina; ابن سینا; – June 1037) was a Persian polymath who is regarded as one of the most significant physicians, astronomers, thinkers and writers of the Islamic Golden Age.
An axiom or postulate is a statement that is taken to be true, to serve as a premise or starting point for further reasoning and arguments.
In mathematics, the axiom of choice, or AC, is an axiom of set theory equivalent to the statement that the Cartesian product of a collection of non-empty sets is non-empty.
The barber paradox is a puzzle derived from Russell's paradox.
Barry Smith (born June 4, 1952) is an academic working in the fields of ontology and biomedical informatics.
Begriffsschrift (German for, roughly, "concept-script") is a book on logic by Gottlob Frege, published in 1879, and the formal system set out in that book.
Bertrand Arthur William Russell, 3rd Earl Russell, (18 May 1872 – 2 February 1970) was a British philosopher, logician, mathematician, historian, writer, social critic, political activist, and Nobel laureate.
Anicius Manlius Severinus Boëthius, commonly called Boethius (also Boetius; 477–524 AD), was a Roman senator, consul, magister officiorum, and philosopher of the early 6th century.
In mathematics and mathematical logic, Boolean algebra is the branch of algebra in which the values of the variables are the truth values true and false, usually denoted 1 and 0 respectively.
Cambridge University Press (CUP) is the publishing business of the University of Cambridge.
In elementary set theory, Cantor's theorem is a fundamental result that states that, for any set A, the set of all subsets of A (the power set of A, denoted by \mathcal(A)) has a strictly greater cardinality than A itself.
Charles Babbage (26 December 1791 – 18 October 1871) was an English polymath.
Charles Sanders Peirce ("purse"; 10 September 1839 – 19 April 1914) was an American philosopher, logician, mathematician, and scientist who is sometimes known as "the father of pragmatism".
A Christian is a person who follows or adheres to Christianity, an Abrahamic, monotheistic religion based on the life and teachings of Jesus Christ.
In computability theory, the Church–Turing thesis (also known as computability thesis, the Turing–Church thesis, the Church–Turing conjecture, Church's thesis, Church's conjecture, and Turing's thesis) is a hypothesis about the nature of computable functions.
Clarence Irving Lewis (April 12, 1883 – February 3, 1964), usually cited as C. I. Lewis, was an American academic philosopher and the founder of conceptual pragmatism.
Classical logic (or standard logic) is an intensively studied and widely used class of formal logics.
In mathematical logic and metalogic, a formal system is called complete with respect to a particular property if every formula having the property can be derived using that system, i.e. is one of its theorems; otherwise the system is said to be incomplete.
In computational complexity theory, a complexity class is a set of problems of related resource-based complexity.
Computability theory, also known as recursion theory, is a branch of mathematical logic, of computer science, and of the theory of computation that originated in the 1930s with the study of computable functions and Turing degrees.
Computational linguistics is an interdisciplinary field concerned with the statistical or rule-based modeling of natural language from a computational perspective, as well as the study of appropriate computational approaches to linguistic questions.
Computer science deals with the theoretical foundations of information and computation, together with practical techniques for the implementation and application of these foundations.
A consequent is the second half of a hypothetical proposition.
In classical deductive logic, a consistent theory is one that does not contain a contradiction.
In mathematics, the continuum hypothesis (abbreviated CH) is a hypothesis about the possible sizes of infinite sets.
In social science generally and linguistics specifically, the cooperative principle describes how effective communication in conversation is achieved in common social situations, that is, how listeners and speakers must act cooperatively and mutually accept one another to be understood in a particular way.
Critical thinking is the objective analysis of facts to form a judgment.
In programming language theory and proof theory, the Curry–Howard correspondence (also known as the Curry–Howard isomorphism or equivalence, or the proofs-as-programs and propositions- or formulae-as-types interpretation) is the direct relationship between computer programs and mathematical proofs.
David Hilbert (23 January 1862 – 14 February 1943) was a German mathematician.
De Interpretatione or On Interpretation (Greek: Περὶ Ἑρμηνείας, Peri Hermeneias) is the second text from Aristotle's Organon and is among the earliest surviving philosophical works in the Western tradition to deal with the relationship between language and logic in a comprehensive, explicit, and formal way.
A decision tree is a decision support tool that uses a tree-like graph or model of decisions and their possible consequences, including chance event outcomes, resource costs, and utility.
Deductive reasoning, also deductive logic, logical deduction is the process of reasoning from one or more statements (premises) to reach a logically certain conclusion.
Default logic is a non-monotonic logic proposed by Raymond Reiter to formalize reasoning with default assumptions.
In logic, defeasible reasoning is a kind of reasoning that is rationally compelling, though not deductively valid.
Deontic logic is the field of philosophical logic that is concerned with obligation, permission, and related concepts.
Description logics (DL) are a family of formal knowledge representation languages.
Dialectic or dialectics (διαλεκτική, dialektikḗ; related to dialogue), also known as the dialectical method, is at base a discourse between two or more people holding different points of view about a subject but wishing to establish the truth through reasoned arguments.
Dialectical logic is the system of laws of thought, developed within the Hegelian and Marxist traditions, which seeks to supplement or replace the laws of formal logic.
Dialetheism is the view that there are statements which are both true and false.
Digital electronics or digital (electronic) circuits are electronics that operate on digital signals.
In the formal sciences, the domain of discourse, also called the universe of discourse, universal set, or simply universe, is the set of entities over which certain variables of interest in some formal treatment may range.
Dov M. Gabbay (born October 23, 1945) is a British logician.
Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs and later applied to more general complex behaviors arising in linguistics, philosophy, AI, and other fields.
Edward N. Zalta (born March 16, 1952) is a senior research scholar at the Center for the Study of Language and Information.
Elliott Mendelson (born 1931) is an American logician.
The Encyclopædia Britannica (Latin for "British Encyclopaedia"), published by Encyclopædia Britannica, Inc., is a general knowledge English-language encyclopaedia.
In mathematics and computer science, the Entscheidungsproblem (German for "decision problem") is a challenge posed by David Hilbert in 1928.
Epistemic modal logic is a subfield of modal logic that is concerned with reasoning about knowledge.
Epistemology is the branch of philosophy concerned with the theory of knowledge.
Erasmus Montanus is a satirical play about academic conceit in rural Denmark, written by Ludvig Holberg in 1722.
Euclid (Εὐκλείδης Eukleidēs; fl. 300 BC), sometimes given the name Euclid of Alexandria to distinguish him from Euclides of Megara, was a Greek mathematician, often referred to as the "founder of geometry" or the "father of geometry".
Europe is a continent located entirely in the Northern Hemisphere and mostly in the Eastern Hemisphere.
A fallacy is the use of invalid or otherwise faulty reasoning, or "wrong moves" in the construction of an argument.
First-order logic—also known as first-order predicate calculus and predicate logic—is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science.
In computer science, specifically software engineering and hardware engineering, formal methods are a particular kind of mathematically based techniques for the specification, development and verification of software and hardware systems.
A formal system is the name of a logic system usually defined in the mathematical way.
In science, a formula is a concise way of expressing information symbolically, as in a mathematical formula or a chemical formula.
Foundations of mathematics is the study of the philosophical and logical and/or algorithmic basis of mathematics, or, in a broader sense, the mathematical investigation of what underlies the philosophical theories concerning the nature of mathematics.
A free logic is a logic with fewer existential presuppositions than classical logic.
Friedrich Wilhelm Nietzsche (15 October 1844 – 25 August 1900) was a German philosopher, cultural critic, composer, poet, philologist and a Latin and Greek scholar whose work has exerted a profound influence on Western philosophy and modern intellectual history.
Fuzzy logic is a form of many-valued logic in which the truth values of variables may be any real number between 0 and 1.
Game semantics (dialogische Logik, translated as dialogical logic) is an approach to formal semantics that grounds the concepts of truth or validity on game-theoretic concepts, such as the existence of a winning strategy for a player, somewhat resembling Socratic dialogues or medieval theory of Obligationes.
Garrett Birkhoff (January 19, 1911 – November 22, 1996) was an American mathematician.
Gödel's completeness theorem is a fundamental theorem in mathematical logic that establishes a correspondence between semantic truth and syntactic provability in first-order logic.
Gödel's incompleteness theorems are two theorems of mathematical logic that demonstrate the inherent limitations of every formal axiomatic system containing basic arithmetic.
General relativity (GR, also known as the general theory of relativity or GTR) is the geometric theory of gravitation published by Albert Einstein in 1915 and the current description of gravitation in modern physics.
Geometry (from the γεωμετρία; geo- "earth", -metron "measurement") is a branch of mathematics concerned with questions of shape, size, relative position of figures, and the properties of space.
Georg Ferdinand Ludwig Philipp Cantor (– January 6, 1918) was a German mathematician.
Georg Wilhelm Friedrich Hegel (August 27, 1770 – November 14, 1831) was a German philosopher and the most important figure of German idealism.
George Boole (2 November 1815 – 8 December 1864) was a largely self-taught English mathematician, philosopher and logician, most of whose short career was spent as the first professor of mathematics at Queen's College, Cork in Ireland.
George Stephen Boolos (September 4, 1940 – May 27, 1996) was an American philosopher and a mathematical logician who taught at the Massachusetts Institute of Technology.
Gerhard Karl Erich Gentzen (November 24, 1909 – August 4, 1945) was a German mathematician and logician.
Gongsun Long (BC) was a member of the School of Names (Logicians) of ancient Chinese philosophy.
Gottfried Wilhelm (von) Leibniz (or; Leibnitz; – 14 November 1716) was a German polymath and philosopher who occupies a prominent place in the history of mathematics and the history of philosophy.
Friedrich Ludwig Gottlob Frege (8 November 1848 – 26 July 1925) was a German philosopher, logician, and mathematician.
Graham Priest (born 1948) 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.
In mathematics, graph theory is the study of graphs, which are mathematical structures used to model pairwise relations between objects.
György Lukács (also Georg Lukács; born György Bernát Löwinger; 13 April 1885 – 4 June 1971) was a Hungarian Marxist philosopher, aesthetician, literary historian, and critic.
The Han Feizi is an ancient Chinese text attributed to foundational political philosopher, "Master" Han Fei.
Harvard University Press (HUP) is a publishing house established on January 13, 1913, as a division of Harvard University, and focused on academic publishing.
The High Middle Ages, or High Medieval Period, was the period of European history that commenced around 1000 AD and lasted until around 1250 AD.
Hilary Whitehall Putnam (July 31, 1926 – March 13, 2016) was an American philosopher, mathematician, and computer scientist, and a major figure in analytic philosophy in the second half of the 20th century.
In mathematics, Hilbert's program, formulated by German mathematician David Hilbert in the early part of the 20th century, was a proposed solution to the foundational crisis of mathematics, when early attempts to clarify the foundations of mathematics were found to suffer from paradoxes and inconsistencies.
Hoare logic (also known as Floyd–Hoare logic or Hoare rules) is a formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs.
In mathematical logic and logic programming, a Horn clause is a logical formula of a particular rule-like form which gives it useful properties for use in logic programming, formal specification, and model theory.
Human, All Too Human: A Book for Free Spirits (Menschliches, Allzumenschliches: Ein Buch für freie Geister) is a book by 19th-century philosopher Friedrich Nietzsche, originally published in 1878.
In classical logic, hypothetical syllogism is a valid argument form which is a syllogism having a conditional statement for one or both of its premises.
In logic and related fields such as mathematics and philosophy, if and only if (shortened iff) is a biconditional logical connective between statements.
Immanuel Kant (22 April 1724 – 12 February 1804) was a German philosopher who is a central figure in modern philosophy.
The development of Indian logic dates back to the anviksiki of Medhatithi Gautama (c. 6th century BCE) the Sanskrit grammar rules of Pāṇini (c. 5th century BCE); the Vaisheshika school's analysis of atomism (c. 6th century BCE to 2nd century BCE); the analysis of inference by Gotama (c. 6th century BC to 2nd century CE), founder of the Nyaya school of Hindu philosophy; and the tetralemma of Nagarjuna (c. 2nd century CE).
An individual is that which exists as a distinct entity.
Inductive reasoning (as opposed to ''deductive'' reasoning or ''abductive'' reasoning) is a method of reasoning in which the premises are viewed as supplying some evidence for the truth of the conclusion.
Inferences are steps in reasoning, moving from premises to logical consequences.
An infinitary logic is a logic that allows infinitely long statements and/or infinitely long proofs.
Informal logic, intuitively, refers to the principles of logic and logical thought outside of a formal setting.
In the philosophy of mathematics, intuitionism, or neointuitionism (opposed to preintuitionism), is an approach where mathematics is considered to be purely the result of the constructive mental activity of humans rather than the discovery of fundamental principles claimed to exist in an objective reality.
Intuitionistic logic, sometimes more generally called constructive logic, refers to systems of symbolic logic that differ from the systems used for classical logic by more closely mirroring the notion of constructive proof.
"Is Logic Empirical?" is the title of two articles (one by Hilary Putnam and another by Michael Dummett) that discuss the idea that the algebraic properties of logic may, or should, be empirically determined; in particular, they deal with the question of whether empirical facts about quantum phenomena may provide grounds for revising classical logic as a consistent logical rendering of reality.
Jan Łukasiewicz (21 December 1878 – 13 February 1956) was a Polish logician and philosopher born in Lwów, a city in the Galician kingdom of Austria-Hungary.
Józef Maria Bocheński (Czuszów, Congress Poland, Russian Empire, 30 August 1902 – 8 February 1995, Fribourg, Switzerland) was a Polish Dominican, logician and philosopher.
Jürgen Habermas (born 18 June 1929) is a German sociologist and philosopher in the tradition of critical theory and pragmatism.
John Locke (29 August 1632 – 28 October 1704) was an English philosopher and physician, widely regarded as one of the most influential of Enlightenment thinkers and commonly known as the "Father of Liberalism".
John von Neumann (Neumann János Lajos,; December 28, 1903 – February 8, 1957) was a Hungarian-American mathematician, physicist, computer scientist, and polymath.
Kenneth Jon Barwise (June 29, 1942 – March 5, 2000) was an American mathematician, philosopher and logician who proposed some fundamental revisions to the way that logic is understood and used.
Joseph Amadee Goguen (28 June 1941 – 3 July 2006) was a US computer scientist.
Karl MarxThe name "Karl Heinrich Marx", used in various lexicons, is based on an error.
Knowledge representation and reasoning (KR, KR², KR&R) is the field of artificial intelligence (AI) dedicated to representing information about the world in a form that a computer system can utilize to solve complex tasks such as diagnosing a medical condition or having a dialog in a natural language.
Kripke semantics (also known as relational semantics or frame semantics, and often confused with possible world semantics) is a formal semantics for non-classical logic systems created in the late 1950s and early 1960s by Saul Kripke and André Joyal.
Kurt Friedrich Gödel (April 28, 1906 – January 14, 1978) was an Austrian, and later American, logician, mathematician, and philosopher.
Luitzen Egbertus Jan Brouwer (27 February 1881 – 2 December 1966), usually cited as L. E. J. Brouwer but known to his friends as Bertus, was a Dutch mathematician and philosopher, who worked in topology, set theory, measure theory and complex analysis.
In the mathematical field of set theory, a large cardinal property is a certain kind of property of transfinite cardinal numbers.
Law is a system of rules that are created and enforced through social or governmental institutions to regulate behavior.
In logic, the law of excluded middle (or the principle of excluded middle) states that for any proposition, either that proposition is true or its negation is true.
In classical logic, the law of non-contradiction (LNC) (also known as the law of contradiction, principle of non-contradiction (PNC), or the principle of contradiction) states that contradictory statements cannot both be true in the same sense at the same time, e.g. the two propositions "A is B" and "A is not B" are mutually exclusive.
Charles Lutwidge Dodgson (27 January 1832 – 14 January 1898), better known by his pen name Lewis Carroll, was an English writer, mathematician, logician, Anglican deacon, and photographer.
In linguistics, modality is a feature of language that allows for communicating things about, or based on, situations which need not be actual.
Linguistics is the scientific study of language, and involves an analysis of language form, language meaning, and language in context.
This is a list of academic journals in logic.
In logic, a set of symbols is commonly used to express logical representation.
A logician is a person whose topic of scholarly study is logic.
This article itemizes the various lists of mathematics topics.
In electronics, a logic gate is an idealized or physical device implementing a Boolean function; that is, it performs a logical operation on one or more binary inputs and produces a single binary output.
Formal logic in China has a special place in the history of logic due to its repression and abandonment—in contrast to the strong ancient adoption and continued development of the study of logic in Europe, India, and the Islamic world.
Logic programming is a type of programming paradigm which is largely based on formal logic.
A logic puzzle is a puzzle deriving from the mathematics field of deduction.
Logica Universalis is a peer-reviewed academic journal which covers research related to Universal logic.
In logic and mathematics, the logical biconditional (sometimes known as the material biconditional) is the logical connective of two statements asserting "P if and only if Q", where P is an antecedent and Q is a consequent.
In logic, mathematics and linguistics, And (∧) is the truth-functional operator of logical conjunction; the and of a set of operands is true if and only if all of its operands are true.
In logic, a logical connective (also called a logical operator, sentential connective, or sentential operator) is a symbol or word used to connect two or more sentences (of either a formal or a natural language) in a grammatically valid way, such that the value of the compound sentence produced depends only on that of the original sentences and on the meaning of the connective.
Logical consequence (also entailment) is a fundamental concept in logic, which describes the relationship between statements that hold true when one statement logically follows from one or more statements.
In logic and mathematics, or is the truth-functional operator of (inclusive) disjunction, also known as alternation; the or of a set of operands is true if and only if one or more of its operands is true.
In philosophy and mathematics, a logical form of a syntactic expression is a precisely-specified semantic version of that expression in a formal system.
Logical truth is one of the most fundamental concepts in logic, and there are different theories on its nature.
Logicism is one of the schools of thought in the philosophy of mathematics, putting forth the theory that mathematics is an extension of logic and therefore some or all mathematics is reducible to logic.
Logos (lógos; from λέγω) is a term in Western philosophy, psychology, rhetoric, and religion derived from a Greek word variously meaning "ground", "plea", "opinion", "expectation", "word", "speech", "account", "reason", "proportion", and "discourse",Henry George Liddell and Robert Scott,: logos, 1889.
Ludvig Holberg, Baron of Holberg (3 December 1684 – 28 January 1754) was a writer, essayist, philosopher, historian and playwright born in Bergen, Norway, during the time of the Dano-Norwegian dual monarchy.
Ludwig Josef Johann Wittgenstein (26 April 1889 – 29 April 1951) was an Austrian-British philosopher who worked primarily in logic, the philosophy of mathematics, the philosophy of mind, and the philosophy of language.
Many-sorted logic can reflect formally our intention not to handle the universe as a homogeneous collection of objects, but to partition it in a way that is similar to types in typeful programming.
In logic, a many-valued logic (also multi- or multiple-valued logic) is a propositional calculus in which there are more than two truth values.
The material conditional (also known as material implication, material consequence, or simply implication, implies, or conditional) is a logical connective (or a binary operator) that is often symbolized by a forward arrow "→".
In logic, inference is the process of deriving logical conclusions from premises known or assumed to be true.
Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics.
A mathematical model is a description of a system using mathematical concepts and language.
Mathematical notation is a system of symbolic representations of mathematical objects and ideas.
Mathematics (from Greek μάθημα máthēma, "knowledge, study, learning") is the study of such topics as quantity, structure, space, and change.
Mechanics (Greek μηχανική) is that area of science concerned with the behaviour of physical bodies when subjected to forces or displacements, and the subsequent effects of the bodies on their environment.
Metalogic is the study of the metatheory of logic.
Metaphysics is a branch of philosophy that explores the nature of being, existence, and reality.
Sir Michael Anthony Eardley Dummett, FBA (27 June 192527 December 2011) was an English philosopher, described as "among the most significant British philosophers of the last century and a leading campaigner for racial tolerance and equality." He was, until 1992, Wykeham Professor of Logic at the University of Oxford.
The formal fallacy of the modal fallacy is a special type of fallacy that occurs in modal logic.
Modal logic is a type of formal logic primarily developed in the 1960s that extends classical propositional and predicate logic to include operators expressing modality.
In mathematics, model theory is the study of classes of mathematical structures (e.g. groups, fields, graphs, universes of set theory) from the perspective of mathematical logic.
In propositional logic, modus ponens (MP; also modus ponendo ponens (Latin for "mode that affirms by affirming") or implication elimination) is a rule of inference.
Monotonicity of entailment is a property of many logical systems that states that the hypotheses of any derived fact may be freely extended with additional assumptions.
In neuropsychology, linguistics, and the philosophy of language, a natural language or ordinary language is any language that has evolved naturally in humans through use and repetition without conscious planning or premeditation.
The Navya-Nyāya or Neo-Logical darśana (view, system, or school) of Indian logic and Indian philosophy was founded in the 13th century CE by the philosopher Gangeśa Upādhyāya of Mithila and continued by Raghunatha Siromani.
In logic, necessity and sufficiency are terms used to describe an implicational relationship between statements.
In logic, negation, also called the logical complement, is an operation that takes a proposition P to another proposition "not P", written \neg P (¬P), which is interpreted intuitively as being true when P is false, and false when P is true.
Nicholas Rescher (born 15 July 1928) is a German-American philosopher at the University of Pittsburgh.
Nicolai Alexandrovich Vasiliev (Николай Александрович Васильев), also Vasil'ev, Vassilieff, Wassilieff (– December 31, 1940), was a Russian logician, philosopher, psychologist, poet.
Non-classical logics (and sometimes alternative logics) are formal systems that differ in a significant way from standard logical systems such as propositional and predicate logic.
Nuel D. Belnap Jr. (born 1930) is an American logician and philosopher who has made contributions to the philosophy of logic, temporal logic, and structural proof theory.
(Sanskrit: न्याय, ny-āyá), literally means "rules", "method" or "judgment".
On Truth and Lies in a Nonmoral Sense (Über Wahrheit und Lüge im aussermoralischen Sinne, also called On Truth and Lie in an Extra-Moral SenseWalter Kaufmann's translation, appearing in The Portable Nietzsche, 1976 edition. Viking Press.) is a philosophical essay by Friedrich Nietzsche.
The Online Etymology Dictionary is a free online dictionary written and compiled by Douglas Harper that describes the origins of English-language words.
The Organon (Greek: Ὄργανον, meaning "instrument, tool, organ") is the standard collection of Aristotle's six works on logic.
Logic is the formal science of using reason and is considered a branch of both philosophy and mathematics.
Mathematics is a field of study that investigates topics including number, space, structure, and change.
The following outline is provided as an overview of and topical guide to philosophy: Philosophy – study of general and fundamental problems concerning matters such as existence, knowledge, values, reason, mind, and language.
A paraconsistent logic is a logical system that attempts to deal with contradictions in a discriminating way.
A paradox is a statement that, despite apparently sound reasoning from true premises, leads to an apparently self-contradictory or logically unacceptable conclusion.
The paradoxes of material implication are a group of formulae that are truths of classical logic but are intuitively problematic.
The Perseus Project (version 4 also known as "Perseus Hopper") is a digital library project of Tufts University, which is located in Medford and Somerville, near Boston, in the U.S. state of Massachusetts.
Philo the Dialectician (Φίλων; fl. 300 BC) was a dialectic philosopher of the Megarian school.
Philosophical logic refers to those areas of philosophy in which recognized methods of logic have traditionally been used to solve or advance the discussion of philosophical problems.
Realism (in philosophy) about a given object is the view that this object exists in reality independently of our conceptual scheme.
Philosophical skepticism (UK spelling: scepticism; from Greek σκέψις skepsis, "inquiry") is a philosophical school of thought that questions the possibility of certainty in knowledge.
Philosophy (from Greek φιλοσοφία, philosophia, literally "love of wisdom") is the study of general and fundamental problems concerning matters such as existence, knowledge, values, reason, mind, and language.
The philosophy of mathematics is the branch of philosophy that studies the assumptions, foundations, and implications of mathematics, and purports to provide a viewpoint of the nature and methodology of mathematics, and to understand the place of mathematics in people's lives.
Philosophy of mind is a branch of philosophy that studies the nature of the mind.
Plato (Πλάτων Plátōn, in Classical Attic; 428/427 or 424/423 – 348/347 BC) was a philosopher in Classical Greece and the founder of the Academy in Athens, the first institution of higher learning in the Western world.
Port-Royal Logic, or Logique de Port-Royal, is the common name of La logique, ou l'art de penser, an important textbook on logic first published anonymously in 1662 by Antoine Arnauld and Pierre Nicole, two prominent members of the Jansenist movement, centered on Port-Royal.
The Posterior Analytics (Ἀναλυτικὰ Ὕστερα; Analytica Posteriora) is a text from Aristotle's Organon that deals with demonstration, definition, and scientific knowledge.
In philosophy, potentiality and actuality are principles of a dichotomy which Aristotle used to analyze motion, causality, ethics, and physiology in his Physics, Metaphysics, Nicomachean Ethics and De Anima, which is about the human psyche.
Pragma-dialectics, or pragma-dialectical theory, developed by Frans H. van Eemeren and Rob Grootendorst (see 1984; 1992; 2004) at the University of Amsterdam, is an argumentation theory that is used to analyze and evaluate argumentation in actual practice.
Predicable (Lat. praedicabilis, that which may be stated or affirmed, sometimes called quinque voces or five words) is, in scholastic logic, a term applied to a classification of the possible relations in which a predicate may stand to its subject.
The Principia Mathematica (often abbreviated PM) is a three-volume work on the foundations of mathematics written by Alfred North Whitehead and Bertrand Russell and published in 1910, 1912, and 1913.
In logic, the semantic principle (or law) of bivalence states that every declarative sentence expressing a proposition (of a theory under inspection) has exactly one truth value, either true or false.
The principle of distributivity states that the algebraic distributive law is valid for classical logic, where both logical conjunction and logical disjunction are distributive over each other so that for any propositions A, B and C the equivalences and hold.
The principle of explosion (Latin: ex falso (sequitur) quodlibet (EFQ), "from falsehood, anything (follows)", or ex contradictione (sequitur) quodlibet (ECQ), "from contradiction, anything (follows)"), or the principle of Pseudo-Scotus, is the law of classical logic, intuitionistic logic and similar logical systems, according to which any statement can be proven from a contradiction.
Principles of Mathematical Logic is the 1950 American translation of the 1938 second edition of David Hilbert's and Wilhelm Ackermann's classic text Grundzüge der theoretischen Logik, on elementary mathematical logic.
The Prior Analytics (Ἀναλυτικὰ Πρότερα; Analytica Priora) is Aristotle's work on deductive reasoning, which is known as his syllogistic.
Future contingent propositions (or simply, future contingents) are statements about states of affairs in the future that are contingent: neither necessarily true nor necessarily false.
The problem of multiple generality names a failure in traditional logic to describe certain intuitively valid inferences.
A programming language is a formal language that specifies a set of instructions that can be used to produce various kinds of output.
Prolog is a general-purpose logic programming language associated with artificial intelligence and computational linguistics.
In mathematical logic, a proof calculus or a proof system is built to prove statements.
Proof theory is a major branchAccording to Wang (1981), pp.
Proof-theoretic semantics is an approach to the semantics of logic that attempts to locate the meaning of propositions and logical connectives not in terms of interpretations, as in Tarskian approaches to semantics, but in the role that the proposition or logical connective plays within the system of inference.
The term proposition has a broad use in contemporary analytic philosophy.
Propositional calculus is a branch of logic.
Psychologism is a philosophical position, according to which psychology plays a central role in grounding or explaining some other, non-psychological type of fact or law.
Psychology is the science of behavior and mind, including conscious and unconscious phenomena, as well as feeling and thought.
The Qin dynasty was the first dynasty of Imperial China, lasting from 221 to 206 BC.
In logic, quantification specifies the quantity of specimens in the domain of discourse that satisfy an open formula.
In quantum mechanics, quantum logic is a set of rules for reasoning about propositions that takes the principles of quantum theory into account.
Rationality is the quality or state of being rational – that is, being based on or agreeable to reason.
In mathematics, a real number is a value of a continuous quantity that can represent a distance along a line.
Reason is the capacity for consciously making sense of things, establishing and verifying facts, applying logic, and changing or justifying practices, institutions, and beliefs based on new or existing information.
Relevance logic, also called relevant logic, is a kind of non-classical logic requiring the antecedent and consequent of implications to be relevantly related.
Rhetoric is the art of discourse, wherein a writer or speaker strives to inform, persuade, or motivate particular audiences in specific situations.
The history of logic as a subject has been characterised by many disputes over what the topic deals with, and the main article 'Logic' has as a result been hesitant to commit to a particular definition of logic.
Robert Boyce Brandom (born March 13, 1950) is an American philosopher who teaches at the University of Pittsburgh.
Routledge is a British multinational publisher.
Rule induction is an area of machine learning in which formal rules are extracted from a set of observations.
In logic, a rule of inference, inference rule or transformation rule is a logical form consisting of a function which takes premises, analyzes their syntax, and returns a conclusion (or conclusions).
In the foundations of mathematics, Russell's paradox (also known as Russell's antinomy), discovered by Bertrand Russell in 1901, showed that some attempted formalizations of the naïve set theory created by Georg Cantor led to a contradiction.
Saul Aaron Kripke (born November 13, 1940) is an American philosopher and logician.
Scholasticism is a method of critical thought which dominated teaching by the academics ("scholastics", or "schoolmen") of medieval universities in Europe from about 1100 to 1700, and a program of employing that method in articulating and defending dogma in an increasingly pluralistic context.
In logic and mathematics second-order logic is an extension of first-order logic, which itself is an extension of propositional logic.
A semantic theory of truth is a theory of truth in the philosophy of language which holds that truth is a property of sentences.
Semantics (from σημαντικός sēmantikós, "significant") is the linguistic and philosophical study of meaning, in language, programming languages, formal logics, and semiotics.
In programming language theory, semantics is the field concerned with the rigorous mathematical study of the meaning of programming languages.
Set theory is a branch of mathematical logic that studies sets, which informally are collections of objects.
Sextus Empiricus (Σέξτος Ἐμπειρικός; c. 160 – c. 210 CE, n.b., dates uncertain), was a physician and philosopher, who likely lived in Alexandria, Rome, or Athens.
In mathematical logic, a logical system has the soundness property if and only if every formula that can be proved in the system is logically valid with respect to the semantics of the system.
Southern Illinois University Press or SIU Press, founded in 1956, is a university press located in Carbondale, Illinois, owned and operated by Southern Illinois University.
The Stanford Encyclopedia of Philosophy (SEP) combines an online encyclopedia of philosophy with peer-reviewed publication of original papers in philosophy, freely accessible to Internet users.
Stephen Edelston Toulmin (25 March 1922 – 4 December 2009) was a British philosopher, author, and educator.
Stewart Shapiro (born 1951) is O'Donnell Professor of Philosophy at the Ohio State University.
Stoic logic is the system of propositional logic developed by the Stoic philosophers in ancient Greece.
Stoicism is a school of Hellenistic philosophy founded by Zeno of Citium in Athens in the early 3rd century BC.
In logic, a strict conditional is a conditional governed by a modal operator, that is, a logical connective of modal logic.
In mathematical logic, structural proof theory is the subdiscipline of proof theory that studies proof calculi that support a notion of analytic proof.
In universal algebra and in model theory, a structure consists of a set along with a collection of finitary operations and relations that are defined on it.
The Summa Logicae ("Sum of Logic") is a textbook on logic by William of Ockham.
In philosophical logic, supervaluationism is a semantics for dealing with irreferential singular terms and vagueness.
Supposition theory was a branch of medieval logic that was probably aimed at giving accounts of issues similar to modern accounts of reference, plurality, tense, and modality, within an Aristotelian context.
Susan Haack (born 1945) is Distinguished Professor in the Humanities, Cooper Senior Scholar in Arts and Sciences, Professor of Philosophy, and Professor of Law at the University of Miami.
A syllogism (συλλογισμός syllogismos, "conclusion, inference") is a kind of logical argument that applies deductive reasoning to arrive at a conclusion based on two or more propositions that are asserted or assumed to be true.
In logic, a tautology (from the Greek word ταυτολογία) is a formula or assertion that is true in every possible interpretation.
In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time.
In philosophy, term logic, also known as traditional logic, syllogistic logic or Aristotelian logic, is a loose name for an approach to logic that began with Aristotle and that was dominant until the advent of modern predicate logic in the late nineteenth century.
Terminology is the study of terms and their use.
The tetralemma is a figure that features prominently in the logic of India.
The Gay Science (Die fröhliche Wissenschaft) or The Joyful Wisdom is a book by Friedrich Nietzsche, first published in 1882 and followed by a second edition, which was published after the completion of Thus Spoke Zarathustra and Beyond Good and Evil, in 1887.
An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities by George Boole, published in 1854, is the second of Boole's two monographs on algebraic logic.
In logic, a three-valued logic (also trinary logic, trivalent, ternary, or trilean, sometimes abbreviated 3VL) is any of several many-valued logic systems in which there are three truth values indicating true, false and some indeterminate third value.
The Topics (Τοπικά; Topica) is the name given to one of Aristotle's six works on logic collectively known as the Organon: The Topics constitutes Aristotle's treatise on the art of dialectic—the invention and discovery of arguments in which the propositions rest upon commonly held opinions or endoxa (ἔνδοξα in Greek).
Truth is most often used to mean being in accord with fact or reality, or fidelity to an original or standard.
In logic and mathematics, a truth value, sometimes called a logical value, is a value indicating the relation of a proposition to truth.
In computer science and mathematical logic the Turing degree (named after Alan Turing) or degree of unsolvability of a set of natural numbers measures the level of algorithmic unsolvability of the set.
Universal logic is the field of logic that studies the common features of all logical systems, aiming to be to logic what universal algebra is to algebra.
In predicate logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any" or "for all".
University of California Press, otherwise known as UC Press, is a publishing house associated with the University of California that engages in academic publishing.
In logic, an argument is valid if and only if it takes a form that makes it impossible for the premises to be true and the conclusion nevertheless to be false.
Vector logicMizraji, E. (1992).
Walter Burley (or Burleigh) (c. 1275–1344/5) was a medieval English scholastic philosopher and logician with at least 50 works attributed to him.
Wilfrid Augustine Hodges, FBA (born 27 May 1941) is a British mathematician, known for his work in model theory.
Wilfrid Stalker Sellars (May 20, 1912 – July 2, 1989) was an American philosopher and prominent developer of critical realism, who "revolutionized both the content and the method of philosophy in the United States".
Wilhelm Friedrich Ackermann (29 March 1896 – 24 December 1962) was a German mathematician best known for the Ackermann function, an important example in the theory of computation.
Willard Van Orman Quine (known to intimates as "Van"; June 25, 1908 – December 25, 2000) was an American philosopher and logician in the analytic tradition, recognized as "one of the most influential philosophers of the twentieth century." From 1930 until his death 70 years later, Quine was continually affiliated with Harvard University in one way or another, first as a student, then as a professor of philosophy and a teacher of logic and set theory, and finally as a professor emeritus who published or revised several books in retirement.
William Calvert Kneale (22 June 1906 – 24 June 1990) was an English logician best known for his 1962 book The Development of Logic, a history of logic from its beginnings in Ancient Greece written with his wife Martha.
William of Ockham (also Occam, from Gulielmus Occamus; 1287 – 1347) was an English Franciscan friar and scholastic philosopher and theologian, who is believed to have been born in Ockham, a small village in Surrey.
William Wallace (11 May 1844 – 18 February 1897) was a Scottish philosopher and academic who became fellow of Merton College and White's Professor of Moral Philosophy at Oxford University.
Classical two-valued logic, Compound proposition, DefinitionOfLogic, Formal symbolic logic, Logic of mathematics, Logic/alternate-start, Logical, Logical rules, Logically, Logician, Logico, Logics, Logicus, Logika, Logike, Lógica, Material logic, Types of logic.