scientific article

Publication date: 18 September 1992

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

higher-order logic semantics second-order logic foundations of mathematics foundationalism

Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)

Related Items

PREDICATIVISM AS A FORM OF POTENTIALISM ⋮ EXTERNALISM, INTERNALISM, AND LOGICAL TRUTH ⋮ A NOTE ON CHOICE PRINCIPLES IN SECOND-ORDER LOGIC ⋮ On the completeness and the decidability of strictly monadic second‐order logic ⋮ Internal categoricity, truth and determinacy ⋮ Epistemic logics with quantification over epistemic operators: decidability and expressiveness ⋮ Can Identity Be Relativized? ⋮ Maddy On The Multiverse ⋮ Set Theory and Structures ⋮ Varieties of Pluralism and Objectivity in Mathematics ⋮ Alternating (in)dependence-friendly logic ⋮ Prolegomena to virtue-theoretic studies in the philosophy of mathematics ⋮ HUME’S PRINCIPLE, BAD COMPANY, AND THE AXIOM OF CHOICE ⋮ TWO-SORTED FREGE ARITHMETIC IS NOT CONSERVATIVE ⋮ Bicontextualism ⋮ A modal loosely guarded fragment of second-order propositional modal logic ⋮ Mathematical modality: an investigation in higher-order logic ⋮ POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND ⋮ CAPTURING CONSEQUENCE ⋮ From finitary to infinitary second‐order logic ⋮ WHAT CAN A CATEGORICITY THEOREM TELL US? ⋮ NOTES ONω-INCONSISTENT THEORIES OF TRUTH IN SECOND-ORDER LANGUAGES ⋮ HARMONIC INFERENTIALISM AND THE LOGIC OF IDENTITY ⋮ A Framework for Formalizing Set Theories Based on the Use of Static Set Terms ⋮ The Search for New Axioms in the Hyperuniverse Programme ⋮ The Search for New Axioms in the Hyperuniverse Programme ⋮ What is Neologicism? ⋮ Neo-Logicism and Its Logic ⋮ Keeping Semantics Pure ⋮ The Story About Propositions ⋮ On representations of intended structures in foundational theories ⋮ Frege, Boolos, and logical objects ⋮ 1998 European Summer Meeting of the Association for Symbolic Logic ⋮ ISOMORPHISM INVARIANCE AND OVERGENERATION ⋮ Filters in fuzzy class theory ⋮ Why Predicative Sets? ⋮ Logic reduced to bare (proof-theoretical) bones ⋮ Predicative foundations of arithmetic ⋮ On Arbitrary sets andZFC ⋮ Yablo's paradox in second-order languages: consistency and unsatisfiability ⋮ Carnap’s Untersuchungen: Logicism, Formal Axiomatics, and Metatheory ⋮ The foundational problem of logic ⋮ Life on the Ship of Neurath: Mathematics in the Philosophy of Mathematics ⋮ Analysis in a formal predicative set theory ⋮ Tarski's staggering existential assumptions ⋮ Cognitive Development of Proof ⋮ Higher-order logic and disquotational truth ⋮ Can logic be combined with probability? Probably ⋮ Automatic synthesis of logical models for order-sorted first-order theories ⋮ Second-order characterizable cardinals and ordinals ⋮ FREGE MEETS BROUWER (OR HEYTING OR DUMMETT) ⋮ RELATIVE CATEGORICITY AND ABSTRACTION PRINCIPLES ⋮ LOGICISM, INTERPRETABILITY, AND KNOWLEDGE OF ARITHMETIC ⋮ Model theoretic characterizations of large cardinals ⋮ The objectivity of mathematics ⋮ JUXTAPOSITION: A NEW WAY TO COMBINE LOGICS ⋮ Theories of truth without standard models and Yablo's sequences ⋮ Is logic in the mind or in the world? ⋮ Natural language semantics and computability ⋮ Second-Order Logic and Foundations of Mathematics ⋮ On the Innocence and Determinacy of Plural Quantification ⋮ Axiomatization and models of scientific theories ⋮ Second-order logic and the power set ⋮ Cardinality and acceptable abstraction ⋮ Can Church's thesis be viewed as a Carnapian explication? ⋮ In defence of higher-level plural logic: drawing conclusions from natural language ⋮ Requiem for logical nihilism, or: logical nihilism annihilated ⋮ Towards a theory of universes: structure theory and the mathematical universe hypothesis ⋮ Comparing Peano arithmetic, Basic Law V, and Hume's Principle ⋮ Second order inductive logic and Wilmers' principle ⋮ A defense of second-order logic ⋮ Multiversism and Concepts of Set: How Much Relativism Is Acceptable? ⋮ Forcing, Multiverse and Realism ⋮ The Significance of a Categoricity Theorem for Formal Theories and Informal Beliefs ⋮ Did Tarski commit “Tarski's fallacy”? ⋮ Carnap, Quine, Quantification and Ontology ⋮ Absolute Generality and Semantic Pessimism ⋮ What’s So Bad About Second-Order Logic? ⋮ Carnap's early semantics ⋮ Mathematical determinacy and the transferability of aboutness ⋮ CARNAP ON EXTREMAL AXIOMS, “COMPLETENESS OF THE MODELS,” AND CATEGORICITY ⋮ On the virtue of categoricity ⋮ Open texture and mathematics ⋮ Propositional epistemic logics with quantification over agents of knowledge ⋮ Sets and supersets ⋮ Applicable Mathematics in a Minimal Computational Theory of Sets ⋮ Pluralism and “Bad” Mathematical Theories: Challenging our Prejudices ⋮ NEITHER CATEGORICAL NOR SET-THEORETIC FOUNDATIONS ⋮ Against the judgment-dependence of mathematics and logic ⋮ Revising Carnap's semantic conception of modality ⋮ The logic of finite order ⋮ FREGE MEETS ZERMELO: A PERSPECTIVE ON INEFFABILITY AND REFLECTION ⋮ How to be a structuralist all the way down ⋮ Toward a theory of second-order consequence ⋮ Well- and non-well-founded Fregean extensions ⋮ Continuum, name and paradox ⋮ Neo-Fregeanism: an embarrassment of riches ⋮ Iteration one more time ⋮ `Now' and `then' in tense logic ⋮ 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03 ⋮ Fraenkel-Carnap properties ⋮ Solving the Caesar problem without categorical sortals ⋮ Somehow things do not relate: on the interpretation of polyadic second-order logic ⋮ Sellars, Second-order Quantification, and Ontological Commitment ⋮ The logic of the ontological square ⋮ Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics ⋮ Possible predicates and actual properties ⋮ Axiomatizations of arithmetic and the first-order/second-order divide ⋮ Second-order logic: properties, semantics, and existential commitments ⋮ The middle ground-ancestral logic ⋮ Using well-founded relations for proving operational termination ⋮ A metasemantic challenge for mathematical determinacy ⋮ WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER ⋮ Non-well-founded deduction for induction and coinduction ⋮ IDENTITY AND INDISCERNIBILITY ⋮ Use of Logical Models for Proving Operational Termination in General Logics ⋮ The good, the bad and the ugly ⋮ Hume's big brother: Counting concepts and the bad company objection ⋮ Bad company generalized ⋮ Hofweber's nominalist naturalism ⋮ Rescuing implicit definition from abstractionism ⋮ Structural relativity and informal rigour ⋮ Integrating induction and coinduction via closure operators and proof cycles ⋮ The Ontological Innocence of Schematic Logic ⋮ Frege meets Dedekind: A neologicist treatment of real analysis ⋮ A critical appraisal of second-order logic ⋮ DEDUCTIVE CARDINALITY RESULTS AND NUISANCE-LIKE PRINCIPLES ⋮ On the referential indeterminacy of logical and mathematical concepts