Results 21 to 30 of about 47,415 (256)
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
Frege Systems for Quantified Boolean Logic
Journal of the ACM, 2020 We define and investigate Frege systems for quantified Boolean formulas (QBF). For these new proof systems, we develop a lower bound technique that directly lifts circuit lower bounds for a circuit class C to the QBF Frege system operating with lines ...
Olaf Beyersdorff +3 more
semanticscholar +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
The myth of occurrence-based semantics [PDF]
, 2020 The principle of compositionality requires that the meaning of a complex expression remains the same after substitution of synonymous expressions. Alleged counterexamples to compositionality seem to force a theoretical choice: either apparent synonyms ...
Pickel, Bryan, Rabern, Brian
core +4 more sources
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
Ø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
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
The deduction theorem for strong propositional proof systems [PDF]
, 2007 This paper focuses on the deduction theorem for propositional logic. We define and investigate different deduction properties and show that the presence of these deduction properties for strong proof systems is powerful enough to characterize the ...
C. Glaßer +15 more
core +6 more sources
A Study of Frege’s Influence on A. J. Ayer’s Theory of Emotivism [PDF]
Pizhūhish/hā-yi Falsafī- Kalāmī, 2020 No doubt, Gottlob Frege and A. J. Ayer are considered to be among the most prominent contemporary philosophers. Insofar as one of them has revolutionized the linguistic domain while the other has influenced the domain of ethics in a diametrical fashion ...
Mohsen Shiravand
doaj +1 more source
Frege sobre “decisiones” (Entschlüsse): intencionalidad y motivación en Frege y Husserl
Revista de Filosofia, 2013 Existe en Frege no solo una concepción intencional de la conciencia, sino también uma concepción motivacional de su causalidad, esto es, Frege concibe la idea de una causalidade específica, diferente de la científico-natural, y que tiene como presupuesto
Mario González Porta
doaj +1 more source