Results 11 to 20 of about 5,967 (224)

The NP Search Problems of Frege and Extended Frege Proofs [PDF]

ACM Transactions on Computational Logic, 2017
We study consistency search problems for Frege and extended Frege proofs—namely the NP search problems of finding syntactic errors in Frege and extended Frege proofs of contradictions. The input is a polynomial time function, or an oracle, describing a proof of a contradiction; the output is the location of a syntactic error in the proof ...
Arnold Beckmann, Sam Buss
exaly   +6 more sources

Frege's New Science [PDF]

Notre Dame Journal of Formal Logic, 2000
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Robert May
exaly   +4 more sources

Frege's Proof of Referentiality

Notre Dame Journal of Formal Logic, 2004
The paper provides a deep analysis of \textit{G. Frege}'s ``Grundgesetze der Arithmetik'', Vol.\ 1, \S\S\ 29--31. In these paragraphs Frege attempts to show that every expression of his language has a unique denotation. There is little agreement about the validity of this proof.
ØYSTEIN Linnebo
exaly   +4 more sources

Ramified Frege Arithmetic

Journal of Philosophical Logic, 2010
This is a contribution to the so-called neologicist program according to which Frege's logicist foundation of arithmetic can be vindicated on the ground of a consistent fragment of Frege's \textit{Grundgesetze der Arithmetik}, basically including second-order logic with full impredicative comprehension and the so-called Hume's principle HP (for a ...
Richard G Heck
exaly   +4 more sources

Frege’s Equivalence Thesis and Reference Failure [PDF]

Organon F, 2021
Frege claims that sentences of the form ‘A’ are equivalent to sentences of the form ‘it is true that A’ (The Equivalence Thesis). Frege also says that there are fictional names that fail to refer, and that sentences featuring fictional names fail to ...
Nathan Hawkins
doaj   +1 more source

Concepts May Still Be Objects [PDF]

Organon F, 2023
In his book (2021) Trueman attempts to provide a solution to the problem of the concept horse, which according to Frege’s published writings is an object, not a concept.
Harold Noonan
doaj   +1 more source

The Comparison between Aristotle's and Frege's Analyses of the Categorical Proposition [PDF]

Journal of Philosophical Investigations, 2022
The main question of this article is that what are the important differences or similarities between Aristotle's and Frege's analysis of the categorical proposition?
Ahmad Hamdollahi
doaj   +1 more source

Subject and Predicate in Existential Propositions: A Survey of Frege’s Problem and Its Solutions [PDF]

Organon F, 2020
Frege argues that considering Socrates as an object in the proposition “Socrates exists” raises two problems. First, this proposition would be uninformative. Second, its negation entails a contradiction.
Siavash Asadi
doaj   +1 more source

Russell’s Paradox: a historical study about the paradox in Frege’s theories

Revista Brasileira de História da Matemática, 2020
For over twenty years, Frege tried to find the foundations of arithmetic through logic, and by doing this, he attempted to establish the truth and certainty of the knowledge.
Aline Germano Fonseca Coury, Denise Silva Vilela   +1 more
doaj   +3 more sources

Conteo, cardinalidad y equinumerosidad: motivos para una revisión crítica de las objeciones de Husserl a Frege en "Filosofía de la Aritmética"

Filosofia Unisinos, 2021
En el apartado Freges Versuch (Intento de Frege), incluido en Filosofía de la aritmética, Husserl abiertamente señala que en los Fundamentos de la aritmética de G. Frege no existe un análisis lógico adecuado del concepto de número en términos
Luis Alberto Canela Morales
doaj   +1 more source