Results 11 to 20 of about 39,435 (218)
A Paradox for the Existence Predicate
Bulletin of the Section of Logic, 2022 In this paper, a paradox is shown to arise in the context of classical logic from prima facie highly plausible assumptions for the existence predicate as applied to definite descriptions.
Uwe Meixner
doaj +1 more source
Uma Uma conversa sobre a lógica entre Frege e Wittgenstein
Principia: An International Journal of Epistemology, 2023 O artigo começa com uma conversa entre Frege e Wittgenstein. Frege fala primeiro, e apresenta o seu ponto de vista sobre os fundamentos da lógica. Daí, Wittgenstein responde em três momentos: (a) primeiro ele brinca e experimenta com as ideias de Frege ...
Carlos Eduardo Fisch de Brito
doaj +1 more source
Frege on the Generality of Logical Laws [PDF]
, 2020 Frege claims that the laws of logic are characterized by their “generality,” but it is hard to see how this could identify a special feature of those laws.
Beaney M. +26 more
core +1 more source
Øystein Linnebo’s “Thin” objects: The problem of reference [PDF]
Известия Саратовского университета. Новая серия: Серия Философия. Психология. ПедагогикаIntroduction. The introduction formulates the problem of abstract objects for the philosophy of mathematics, epistemology, and metaphysics. Special attention is paid to the problem of reference. Theoretical analysis.
Burian, Veronika V.
doaj +1 more source
Quasipolynomial size frege proofs of Frankl's Theorem on the trace of sets [PDF]
, 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 +2 more sources
Como ler o primeiro parágrafo de “Sobre o sentido e a referência”
Principia: An International Journal of Epistemology, 2021 Neste artigo ofereço uma interpretação mais frutífera do Problema de Frege como formulado na passagem de abertura de “Sobre o sentido e a referência”. Argumento que essa formulação é problemática sob vários aspectos, e que algumas das noções que Frege ...
Filipe Martone
doaj +1 more source
Frege on Identity and Co-Reference [PDF]
Organon F, 2022 In “Über Sinn und Bedeutung” (1892) Frege raises a problem concerning identity statements of the form a=b and he criticizes the view he holds in the Begriffsschrift (1879, § 8). In building on a suggestion by Perry (2001/12, ch.
Eros Corazza
doaj +1 more source
Polylogarithmic Cuts in Models of V^0 [PDF]
, 2013 We study initial cuts of models of weak two-sorted Bounded Arithmetics with respect to the strength of their theories and show that these theories are stronger than the original one.
Müller, Sebastian
core +2 more sources
, 2020 We attempt here to trace the evolution of Frege’s thought about truth. What most frames the way we approach the problem is a recognition that hardly any of Frege’s most familiar claims about truth appear in his earliest work. We argue that Frege’s mature
Heck, Richard Kimberly, May, Robert C.
core +2 more sources
Proof Complexity of Systems of (Non-Deterministic) Decision Trees and Branching Programs [PDF]
, 2019 This paper studies propositional proof systems in which lines are sequents of decision trees or branching programs, deterministic or non-deterministic.
Buss, Sam, Das, Anupam, Knop, Alexander
core +4 more sources