Publication:5691485
From MaRDI portal
zbMath0869.03003MaRDI QIDQ5691485
Publication date: 29 January 1997
completeness; model theory; Tarski's theory of truth; negation; philosophy of mathematics; axiomatization; constructivism; game-theoretical semantics; truth definitions; descriptive completeness; Independence Friendly first-order logic; limitations of set theory as the basis of mathematics; role of logic in mathematical theorizing; Gödel's imcompleteness theorem
00A30: Philosophy of mathematics
03A05: Philosophical and critical aspects of logic and foundations
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
Second-Order Logic and Foundations of Mathematics, 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02, 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09, Henkin quantifiers and the definability of truth, Team Logic and Second-Order Logic, What is the axiomatic method?, IF logic, definitions and the vicious circle principle, A remark on Henkin sentences and their contraries, Truth and definite truth, Tarski's definition and truth-makers, What languages have Tarski truth definitions?, Independence-friendly logic and axiomatic set theory, Constructive semantics for instantaneous reactions, Equilibrium semantics of languages of imperfect information, Dependence of variables construed as an atomic formula, Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information, On definability in dependence logic, On the role of language in social choice theory, On the formal semantics of IF-like logics, Hybrid logic meets IF modal logic, Propositional logic of imperfect information: Foundations and applications, The fallacies of the new theory of reference, The indefinability of ``one, Quantum logic as a fragment of independence-friendly logic, Two simple sets that are not positively Borel, Thompson transformations for IF-logic, On the computational consequences of independence in propositional logic, Some combinatorics of imperfect information, Argumentation and Proof in the Mathematics Classroom, Examining the Role of Logic in Teaching Proof, Truth Definitions, Skolem Functions and Axiomatic Set Theory
