Pages that link to "Item:Q2846553"
From MaRDI portal
The following pages link to Basic laws of arithmetic. Derived using concept-script. Volume 1 and 2. Translated and edited by Philip A. Ebert and Marcus Rossberg. With a foreword by Crispin Wright and an appendix by Roy T. Cook (Q2846553):
Displaying 30 items.
- Predicativity, the Russell-Myhill paradox, and Church's intensional logic (Q300834) (← links)
- Open texture and mathematics (Q1982002) (← links)
- Rescuing implicit definition from abstractionism (Q2080582) (← links)
- On structural features of the implication fragment of Frege's \textit{Grundgesetze} (Q2409390) (← links)
- \textit{Begriffsschrift}'s logic (Q2656211) (← links)
- Identity and intensionality in univalent foundations and philosophy (Q2695034) (← links)
- Frege and the origins of model theory in nineteenth century geometry (Q2695380) (← links)
- (Q3143381) (← links)
- Denotation, Paradox and Multiple Meanings (Q3305675) (← links)
- (Q3589835) (← links)
- (Q4227561) (← links)
- THE SEMANTICS OF VALUE-RANGE NAMES AND FREGE’S PROOF OF REFERENTIALITY (Q4577995) (← links)
- Function and Argument in<i>Begriffsschrift</i> (Q4608199) (← links)
- The Status of Value-ranges in the Argument of <i>Basic Laws of Arithmetic</i> I §10 (Q4608201) (← links)
- On Frege's Begriffsschrift Notation for Propositional Logic: Design Principles and Trade-Offs (Q4608221) (← links)
- LOGICAL CONTEXTUALITY IN FREGE (Q4637946) (← links)
- DEDUCTIVE CARDINALITY RESULTS AND NUISANCE-LIKE PRINCIPLES (Q5024503) (← links)
- FREGE’S THEORY OF REAL NUMBERS: A CONSISTENT RENDERING (Q5099780) (← links)
- When Logic Gives Out. Frege on Basic Logical Laws (Q5116951) (← links)
- Contemporary Reviews of Frege’s Grundgesetze (Q5116970) (← links)
- FREGE’S CONSTRAINT AND THE NATURE OF FREGE’S FOUNDATIONAL PROGRAM (Q5381033) (← links)
- Gottlob Freges „Grundgesetze der Arithmetik“ (Q5856590) (← links)
- Indicating a Translation for ‘<i>Bedeutung</i>’ (Q6043021) (← links)
- The horizontal in Frege's Begriffsschrift (Q6088512) (← links)
- From many-valued consequence to many-valued connectives (Q6088601) (← links)
- Logic and science: science and logic (Q6147143) (← links)
- The normative role of logic for reasoning (Q6177082) (← links)
- Understanding Frege's notion of presupposition (Q6180133) (← links)
- Frege's class theory and the logic of sets (Q6612866) (← links)
- Categorical Propositions and Existential Import: A Post-modern Perspective (Q6650469) (← links)