atomic sentence
11Semantic theory of truth — A semantic theory of truth is a theory of truth in the philosophy of language which holds that truth is a property of sentences.[1] Contents 1 Origin 2 Tarski s Theory 3 See also …
12Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… …
13Tarski's axioms — Tarski s axioms, due to Alfred Tarski, are an axiom set for the substantial fragment of Euclidean geometry, called elementary, that is formulable in first order logic with identity, and requiring no set theory. Other modern axiomizations of… …
14Deflationary theory of truth — A deflationary theory of truth is one of a family of theories which all have in common the claim that assertions that predicate truth of a statement do not attribute a property called truth to such a statement. Contents 1 Redundancy theory 2… …
15List of philosophy topics (A-C) — 110th century philosophy 11th century philosophy 12th century philosophy 13th century philosophy 14th century philosophy 15th century philosophy 16th century philosophy 17th century philosophy 18th century philosophy 19th century philosophy220th… …
16Supervaluationism — In logic, supervaluationism is a semantics for dealing with irreferential singular terms and vagueness. Consider the sentence Pegasus likes licorice in which the name Pegasus fails to refer. What should its truth value be? There is nothing in the …
17Von Neumann–Bernays–Gödel set theory — In the foundations of mathematics, von Neumann–Bernays–Gödel set theory (NBG) is an axiomatic set theory that is a conservative extension of the canonical axiomatic set theory ZFC. A statement in the language of ZFC is provable in NBG if and only …
18List of mathematics articles (A) — NOTOC A A Beautiful Mind A Beautiful Mind (book) A Beautiful Mind (film) A Brief History of Time (film) A Course of Pure Mathematics A curious identity involving binomial coefficients A derivation of the discrete Fourier transform A equivalence A …
19Is logic empirical? — is the title of two articles 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 …
20Fitch-style calculus — is a method for constructing formal proofs used in first order logic. It was invented by American logician Frederic Brenton Fitch. Fitch style proofs involve the atomic sentences of first order logic, which are arranged in premises, lemmas, and… …
