Results 1 to 10 of about 47,415 (256)
A Mathematical Analysis of an Election System Proposed by Gottlob Frege. [PDF]
Erkenntnis, 2022 In 1998 a long-lost proposal for an election law by Gottlob Frege (1848–1925) was rediscovered in the Thüringer Universitäts- und Landesbibliothek in Jena, Germany.
Harrenstein P, Lackner ML, Lackner M.
europepmc +3 more sources
Quasipolynomial size frege proofs of Frankl's Theorem on the trace of sets [PDF]
Journal of Symbolic Logic (JSL), 2016 We extend results of Bonet, Buss and Pitassi on Bondy's Theorem and of Nozaki, Arai and Arai on Bollobas' Theorem by proving that Frankl's Theorem on the trace of sets has quasipolynomial size Frege proofs.
Aisenberg, James +2 more
core +3 more sources
FREGE’S CONSTRAINT AND THE NATURE OF FREGE’S FOUNDATIONAL PROGRAM
The Review of Symbolic Logic, 2018 AbstractRecent discussions on Fregean and neo-Fregean foundations for arithmetic and real analysis pay much attention to what is called either ‘Application Constraint’ ($AC$) or ‘Frege Constraint’ ($FC$), the requirement that a mathematical theory be so outlined that it immediately allows explaining for its applicability.
Panza, Marco, Sereni, Andrea
openaire +5 more sources
The NP Search Problems of Frege and Extended Frege Proofs
ACM Transactions on Computational Logic, 2017 Sam Buss
exaly +2 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
FREGE’S THEORY OF REAL NUMBERS: A CONSISTENT RENDERING [PDF]
The Review of Symbolic Logic, 2021 Frege’s definition of the real numbers, as envisaged in the second volume of Grundgesetze der Arithmetik, is fatally flawed by the inconsistency of Frege’s ill-fated Basic Law V.
F. Boccuni, M. Panza
semanticscholar +1 more source
EmotiCon: Context-Aware Multimodal Emotion Recognition Using Frege’s Principle [PDF]
Computer Vision and Pattern Recognition, 2020 We present EmotiCon, a learning-based algorithm for context-aware perceived human emotion recognition from videos and images. Motivated by Frege's Context Principle from psychology, our approach combines three interpretations of context for emotion ...
Trisha Mittal +5 more
semanticscholar +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