Results 81 to 90 of about 5,967 (224)
Cadernos de Filosofia Alemã, 2001 Tradução de Guido Imaguire.
Gottlob Frege, Guido Imaguire
doaj +1 more source
Exponential Lower Bounds for AC0-Frege Imply Superpolynomial Frege Lower Bounds [PDF]
, 2011 We give a general transformation which turns polynomial-size Frege proofs to subexponential-size AC0-Frege proofs. This indicates that proving exponential lower bounds for AC0-Frege is hard, since it is a longstanding open problem to prove super ...
Rahul Santhanam +5 more
core +1 more source
The ontological argument generalized Bull Ç Frege semantics
RUDN Journal of Philosophy, 2016 On the basis of the joint examination of semantics of logic Boole and Frege and their subsequent agreement to construct a semantic theory which is named Boole Ç Frege semantics.
S A Pavlov
doaj
George Duke, Dummett on Abstract Objects
Journal for the History of Analytical Philosophy, 2013 Review of G. Duke: Dummett on Abstract Objects References G. Frege. Über Sinn und Bedeutung. Zeitschrift für Philosophie und philosophische Kritik, 100, 25–50, 1892.
Bob Hale
doaj
Nomes próprios e identidade em Frege e Kripke
Inquietude, 2020 Neste artigo, apresento as formulações e respostas ao problema da identidade entre nomes desenvolvidas por Gottlob Frege e Saul Kripke. O problema da identidade entre nomes próprios ocorre em sentenças de identidade que envolvem dois nomes próprios ...
Francisco Rafael da Silva Gomes
doaj
Wittgenstein and Frege on Negation and Denial [PDF]
Frege maintains that there are not two distinct acts, assertion and denial; rather, denying p is one and the same as asserting not-p. Wittgenstein appears not to recognise this identity in Frege, attributing to him the contrary view that a proposition ...
Johnston, Colin
core
The sense of the circumstances : the debate on deixis in philosophical semantics of Gottlob Frege.
, 2017 En este artículo se expone el debate entre John Perry y Gareth Evans acerca de la consideración de la semántica de Gottlob Frege como una propuesta para dar cuenta del significado de los deícticos. En opinión de Perry, la semántica fregeana es inadecuada
Bejarano Chaves, Ángela Rocío
core +1 more source
Proof internalization in generalized Frege systems for classical logic [PDF]
, 2014 We present a general method for inserting proofs in Frege systems for classical logic that produces systems that can internalize their own ...
Savateev, Yury
core +1 more source
A Critical Examination of Frege’s View on The Predicative Existence in The Light of Transcendental Wisdom [PDF]
حکمت صدرایی, 2016 By assimilation of existential propositions to numerical propositions, Frege concludes that the existence is a second rate predicate and thus only could be beard on the concepts and not on the objects.
majid ahsan +2 more
doaj
The evolution of Frege’s critique of psychologism and the Brentano school
Filosofia Unisinos, 2015 Frege’s criticism of psychologism evolved over time. The main point of this evolution is the passage from the criticism of psychologism in the “Foundations of arithmetic” to that of the “Basic laws of arithmetic”. The determining role in this passage is
Mario Ariel González Porta
doaj +1 more source