Results 191 to 200 of about 5,967 (224)
Some of the next articles are maybe not open access.
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
2013
Gottlob Frege: Ein Wegbereiter der analytischen Philosophie Das Studium der Philosophie ist von Freges Denken durchdrungen. Jeder, der eine Logikvorlesung, ein Seminar zur Sprachphilosophie oder zur Argumentationstheorie besucht, begegnet seinen Ideen. Mehr und mehr Einführungsseminare behandeln jetzt auch Freges Philosophie.
openaire +1 more source
Gottlob Frege: Ein Wegbereiter der analytischen Philosophie Das Studium der Philosophie ist von Freges Denken durchdrungen. Jeder, der eine Logikvorlesung, ein Seminar zur Sprachphilosophie oder zur Argumentationstheorie besucht, begegnet seinen Ideen. Mehr und mehr Einführungsseminare behandeln jetzt auch Freges Philosophie.
openaire +1 more source