Results 181 to 190 of about 39,231 (218)
Some of the next articles are maybe not open access.
CHAPTER 12 Can Frege Pose Frege's Puzzle?
2009Abstract Frege maintains that two name‐containing identity sentences, represented schematically as a = a and a = b, can both be made true by the same object's self‐identity but nonetheless differ in their epistemic profiles. According to Frege, sentences of the form a = a are knowable a priori and uninformative; those of the form a = b ...
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
Frege’s Little Theorem and Frege’s Way Out
2019Shortly before the second volume of Basic Laws went to press, Frege appended an Afterword, analyzing the Russell paradox and suggesting an alternate formulation of basic law V. This attempted ‘way out’ has been characterized as “the wrong guess of a man in a hurry” and has been accused of leading to either paradoxes or absurd consequences.
openaire +1 more source
2010
Una presentazione critica del pensiero di Frege basata non sulla esposizione cronologica delle opere, ma sulla riflessione sui concetti centrali di funzione, concetto, senso e riferimento. Si presentano così in modo nuovo le idee logiche, epistemologiche e ontologiche dell'inventore della logica matematica.
openaire +1 more source
Una presentazione critica del pensiero di Frege basata non sulla esposizione cronologica delle opere, ma sulla riflessione sui concetti centrali di funzione, concetto, senso e riferimento. Si presentano così in modo nuovo le idee logiche, epistemologiche e ontologiche dell'inventore della logica matematica.
openaire +1 more source