Identity and the cognitive value of logical equations in Frege's foundational project
From MaRDI portal
Publication:6123818
DOI10.1215/00294527-2023-0014OpenAlexW4393208153MaRDI QIDQ6123818
Publication date: 8 April 2024
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1215/00294527-2023-0014
Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03)
Cites Work
- Comparing Peano arithmetic, Basic Law V, and Hume's Principle
- Frege's proof of referentiality
- Some criteria for acceptable abstraction
- Frege's permutation argument revisited
- Introduction to the special issue on the bad company problem
- Fregean abstraction, referential indeterminacy and the logical foundations of arithmetic
- Consistent fragments of \textit{Grundgesetze} and the existence of non-logical objects
- Cardinality and acceptable abstraction
- Frege's new science
- Frege on axioms, indirect proof, and independence arguments in geometry: Did Frege reject independence arguments?
- Neo-Fregean foundations for real analysis: Some reflections on Frege's constraint
- Frege meets Dedekind: A neologicist treatment of real analysis
- Frege's philosophy of geometry
- Abstraction principles and the classification of second-order equivalence relations
- Hume's Principle and Axiom V reconsidered: Critical reflections on Frege and his interpreters
- Early analytic philosophy -- new perspectives on the tradition
- Abstractionism
- Frege’s Conception of Logic
- Frege on Sense Identity, Basic Law V, and Analysis
- HUME’S PRINCIPLE, BEGINNINGS
- RELATIVE CATEGORICITY AND ABSTRACTION PRINCIPLES
- Frege on Quantities and Real Numbers in Consideration of the Theories of Cantor, Russell and Others
- Frege on Formality and the 1906 Independence-Test
- Which Abstraction Principles are Acceptable? Some Limitative Results
- Frege's Theory of Real Numbers
- THE SEMANTICS OF VALUE-RANGE NAMES AND FREGE’S PROOF OF REFERENTIALITY
- The Company Kept by Cut Abstraction (and its Relatives)
- Grundgesetze der Arithmetic I §10
- Frege, Dedekind, and the Origins of Logicism
- Frege's Approach to the Foundations of Analysis (1874–1903)
- FREGE’S THEORY OF REAL NUMBERS: A CONSISTENT RENDERING
- Axioms in Frege
- When Logic Gives Out. Frege on Basic Logical Laws
- Grundgesetze and the Sense/Reference Distinction
- Double Value-Ranges
- The Proof of Hume’s Principle
- Frege’s Theorems on Simple Series
- Frege’s Relation to Dedekind: Basic Laws and Beyond
- Frege on Creation
- Frege on the Real Numbers
- Frege’s Little Theorem and Frege’s Way Out
- “How did the serpent of inconsistency enter Frege’s paradise?”
- Second-Order Abstraction Before and After Russell’s Paradox
- Formal Arithmetic Before Grundgesetze
- Definitions in Begriffsschrift and Grundgesetze
- Essays on Frege's Basic Laws of Arithmetic
- IN GOOD COMPANY? ON HUME’S PRINCIPLE AND THE ASSIGNMENT OF NUMBERS TO INFINITE CONCEPTS
- WE HOLD THESE TRUTHS TO BE SELF-EVIDENT: BUT WHAT DO WE MEAN BY THAT?
- FREGE’S CONSTRAINT AND THE NATURE OF FREGE’S FOUNDATIONAL PROGRAM
- Frege on Consistency and Conceptual Analysis
- Freges Begründung der Analysis
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Identity and the cognitive value of logical equations in Frege's foundational project
