Results 131 to 140 of about 798 (178)
, 1980 Some of the next articles are maybe not open access.
Related searches:
Related searches:
Neologicism, Frege's Constraint, and the Frege‐Heck Condition
Noûs, 2018AbstractOne of the more distinctive features of Bob Hale and Crispin Wright's neologicism about arithmetic is their invocation of Frege's Constraint – roughly, the requirement that the core empirical applications for a class of numbers be “built directly into” their formal characterization.
Snyder, Eric +2 more
openaire +2 more sources
Did Frege Believe Frege's Principle?
Journal of Logic, Language and Information, 2001The author surveys different positions concerning the so-called `Frege Principle' held within the `Frege Industry'. In fact, two principles are called `Frege Principle', (1) the Principle of Semantic Compositionality, according to which ``the meaning of a syntactically complex expression is a function (only) of the meanings of its syntactic parts and ...
openaire +2 more sources
Grazer Philosophische Studien, 2007
In recent work on Frege, one of the most salient issues has been whether he was prepared to make serious use of semantical notions such as reference and truth. I argue here Frege did make very serious use of semantical concepts. I argue, fi rst, that Frege had reason to be interested in the question how the axioms and rules of his formal theory might ...
openaire +1 more source
In recent work on Frege, one of the most salient issues has been whether he was prepared to make serious use of semantical notions such as reference and truth. I argue here Frege did make very serious use of semantical concepts. I argue, fi rst, that Frege had reason to be interested in the question how the axioms and rules of his formal theory might ...
openaire +1 more source
Frege’s philosophy of geometry
Synthese, 2017zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
LOGICAL CONTEXTUALITY IN FREGE
The Review of Symbolic Logic, 2018AbstractLogical universalism, a label that has been pinned on to Frege, involves the conflation of two features commonly ascribed to logic: universality and radicality. Logical universality consists in logic being about absolutely everything. Logical radicality, on the other hand, corresponds to there being the one and the same logic that any reasoning
openaire +1 more source
2021
Abstract This book is about Frege and his contribution to philosophy. It has three parts. Part I presents his general picture of thought, that is, the object of a capacity for thought (what may be thought). The point is to stress the value of separating the business of being true from thinkers’ engagement with such business, thus from ...
openaire +1 more source
Abstract This book is about Frege and his contribution to philosophy. It has three parts. Part I presents his general picture of thought, that is, the object of a capacity for thought (what may be thought). The point is to stress the value of separating the business of being true from thinkers’ engagement with such business, thus from ...
openaire +1 more source
On Frege and Extended Frege Proof Systems
1995We propose a framework for proving lower bounds to the size of EF-proofs (equivalently, to the number of proof-steps in F-proofs) in terms of boolean valuations. The concept is motivated by properties of propositional provability in models of bounded arithmetic and it is a finitisation of a particular forcing construction explained also in the paper ...
openaire +1 more source
The horizontal in Frege’s Begriffsschrift
Synthese, 2020zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
2011
Gottlob Frege (Wismar 1848 – Bad Kleinen 1925) is one of the founding fathers of modern logic and philosophy of mathematics, and, in general, of analytic philosophy. He was the first to acknowledge that the problem of the foundations of mathematics awaited an answer, and it is in the light of his foundational programme that his whole intellectual ...
openaire +2 more sources
Gottlob Frege (Wismar 1848 – Bad Kleinen 1925) is one of the founding fathers of modern logic and philosophy of mathematics, and, in general, of analytic philosophy. He was the first to acknowledge that the problem of the foundations of mathematics awaited an answer, and it is in the light of his foundational programme that his whole intellectual ...
openaire +2 more sources