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, ON EXISTENTIAL DECLARATIONS OF INDEPENDENCE IN IF LOGIC, 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09, A PSPACE-complete first-order fragment of computability logic, Henkin quantifiers and the definability of truth, Team Logic and Second-Order Logic, Between proof and truth, Erratum to: ``Between proof and truth, Axiomatizing first-order consequences in dependence logic, What is the axiomatic method?, IF logic, definitions and the vicious circle principle, Complexity of two-variable dependence logic and IF-logic, Transition semantics: the dynamics of dependence logic, The aim of Russell's early logicism: a reinterpretation, 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, Herbrand's fundamental theorem in the eyes of Jean van Heijenoort, Dependence and independence, Lottery semantics: a compositional semantics for probabilistic first-order logic with imperfect information, Epistemic operators in dependence logic, Compositional natural language semantics using independence friendly logic or dependence logic, IF modal logic and classical negation, Semantic games with chance moves revisited: from IF logic to partial logic, How to Lewis a Kripke-Hintikka, Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies, 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