scientific article; zbMATH DE number 1764654
From MaRDI portal
Publication:4539489
zbMath1005.03006MaRDI QIDQ4539489
Publication date: 8 July 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items (66)
The Composition of Thoughts ⋮ FOR BETTER AND FOR WORSE. ABSTRACTIONISM, GOOD COMPANY, AND PLURALISM ⋮ Counterfactual logic and the necessity of mathematics ⋮ Life on the Ship of Neurath: Mathematics in the Philosophy of Mathematics ⋮ Logicism as making arithmetic explicit ⋮ Neologicist nominalism ⋮ The paradox of the knower revisited ⋮ THE STRENGTH OF ABSTRACTION WITH PREDICATIVE COMPREHENSION ⋮ THE POTENTIAL IN FREGE’S THEOREM ⋮ Grounding and auto-abstraction ⋮ Reference for neo-Fregeans ⋮ Potential infinity, abstraction principles and arithmetic (Leśniewski style) ⋮ Identity and the cognitive value of logical equations in Frege's foundational project ⋮ Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons) ⋮ The unbearable circularity of easy ontology ⋮ The functional composition of sense ⋮ HUME’S PRINCIPLE, BAD COMPANY, AND THE AXIOM OF CHOICE ⋮ TWO-SORTED FREGE ARITHMETIC IS NOT CONSERVATIVE ⋮ Why inference to the best explanation doesn't secure empirical grounds for mathematical Platonism ⋮ The adverbial theory of numbers: some clarifications ⋮ INTERLEAVING LOGIC AND COUNTING ⋮ How to properly lose direction ⋮ Essence and definition by abstraction ⋮ Hume's principle: a plea for austerity ⋮ Identity and sortals (and Caesar) ⋮ Comparing Peano arithmetic, Basic Law V, and Hume's Principle ⋮ Ontological realism and sentential form ⋮ Semantic Nominalism: How I Learned to Stop Worrying and Love Universals ⋮ Indispensability and explanation: an overview and introduction ⋮ Singular terms revisited ⋮ FREGE MEETS ZERMELO: A PERSPECTIVE ON INEFFABILITY AND REFLECTION ⋮ Well- and non-well-founded Fregean extensions ⋮ Frege's proof of referentiality ⋮ Frege's other program ⋮ Neo-Fregeanism: an embarrassment of riches ⋮ Solving the Caesar problem without categorical sortals ⋮ Size and function ⋮ THE CONCEPTHORSEIS A CONCEPT ⋮ From the unity of the proposition to linguistic idealism ⋮ Possible predicates and actual properties ⋮ Bad company objection to Joongol Kim's adverbial theory of numbers ⋮ Frege's unofficial arithmetic ⋮ A metasemantic challenge for mathematical determinacy ⋮ Frege, Dedekind, and the Origins of Logicism ⋮ On Frege's Notion of Predicate Reference ⋮ Ramified Frege arithmetic ⋮ A deflationary theory of reference ⋮ Double vision: two questions about the neo-Fregean program ⋮ Focus restored: Comments on John MacFarlane ⋮ Bad company and neo-Fregean philosophy ⋮ The good, the bad and the ugly ⋮ Bad company tamed ⋮ Bad company generalized ⋮ Introduction to the special issue on the bad company problem ⋮ Abstraction in Fitch's Basic Logic ⋮ Rescuing implicit definition from abstractionism ⋮ Extensionalizing intensional second-order logic ⋮ Cardinality, counting, and equinumerosity ⋮ Neo-Fregean foundations for real analysis: Some reflections on Frege's constraint ⋮ Frege meets Dedekind: A neologicist treatment of real analysis ⋮ Abstraction and set theory ⋮ A logical foundation of arithmetic ⋮ Neo-Logicism and Its Logic ⋮ DEDUCTIVE CARDINALITY RESULTS AND NUISANCE-LIKE PRINCIPLES ⋮ The indefinability of ``one ⋮ Term models for abstraction principles
This page was built for publication:
