In this paper we give a detailed comparison of the key elements of Frege’s formal language of thought and apparently similar views in Stoic formal logic. That is, we compare their views on the following topics: connectives, negation, simple sentences, propositional content, predicates and their incompleteness, and quantifications. We show that in most of these cases the similarities between Frege’s views and the Stoic views are only superficial. Frege’s views are far more systematic, better developed and can in no case (...) directly or fully be traced back to Stoic ideas. Furthermore, we show that Prantl, pace Bobzien 2021, is in most of these cases not a reliable source with respect to Stoic logic and that it is very unlikely that Frege’s views on logic were influenced by Prantl’s interpretation of Stoic formal logic. (shrink)

In many accounts of the history of logic, especially from the second half of the twentieth century and partly still today, Frege’s first book, Begriffsschrift (1879), is singled out as the beginnin...

One of Gottlob Frege’s most original contributions to logic and philosophy was his logical notation, his ‘Begriffsschrift’. While long criticized, dismissed, or simply ignored, the recent secondary literature contains some helpful re-evaluations and partial defenses of it. These rely largely on technical, pragmatic, or cognitive-psychological considerations. In this paper, we reconsider Frege’s own reasons for valuing his notation highly. We argue that there is a further semiotic dimension, one that matters epistemologically. This dimension becomes evident once one takes seriously, partly (...) also literally, some striking visual metaphors Frege uses. The result is an interpretation highlighting a side of Frege’s position that is not widely known. It involves his views about the indispensable role that language, or sign systems more generally, play for human thought, and especially, for logic and mathematics. More particularly and as we read Frege, a good logical notation allows for expressing conceptual/inferential relations in a ‘visually inscribed’, thus ‘perspicuous’ way, and this leads to a special kind of ‘insight’ in mathematics. Or as we elaborate this point further, it involves a kind of articulation and understanding hardly possible without it. Frege designed his Begriffsschrift with that specific goal in mind. (shrink)

This very brief paperli provides plausible answers to the two residual questions that Jamie Tappenden states, but leaves unanswered, in his 2024 paper ‘Following Bobzien: Some notes on Frege’s development and engagement with his environment’, namely, why Frege read Sigwart’s Logik and what caused Frege to read Prantl. (This paperli is merely historical and offers no special philosophical insights of any sort.) ---------- OPEN ACCESS. Choose 'without proxy' below.

Loosely connected reflections on some issues raised by Susanne Bobzien concerning the extent to which Frege interacted with scholars in his environment, and what he may have learned from them. I first note a pattern in Frege's pre-Grundlagen writings: his references to other logicians tend to be in response to criticism. I then discuss the period 1885–1891, suggesting that Frege may have been more engaged with his teaching and his colleagues than is sometimes believed, in response to the ‘unsatisfied need (...) for communication’ that he describes in an 1882 letter. Finally, I explore one of the ways that the influence of Frege's environment may be reflected in the language and philosophical framing he uses to communicated with a philosophical audience, noting the ways that the philosophical language and metaphors of Grundlagen, §88 may have been shaped by Frege's relationship with Rudolf Eucken. (shrink)

Throughout this paper, we are trying to show how and why our Mathematical frame-work seems inappropriate to solve problems in Theory of Computation. More exactly, the concept of turning back in time in paradoxes causes inconsistency in modeling of the concept of Time in some semantic situations. As we see in the first chapter, by introducing a version of “Unexpected Hanging Paradox”,first we attempt to open a new explanation for some paradoxes. In the second step, by applying this paradox, it (...) is demonstrated that any formalized system for the Theory of Computation based on Classical Logic and Turing Model of Computation leads us to a contradiction. We conclude that our mathematical frame work is inappropriate for Theory of Computation. Furthermore, the result provides us a reason that many problems in Complexity Theory resist to be solved.(This work is completed in 2017 -5- 2, it is in vixra in 2017-5-14, presented in Unilog 2018, Vichy). (shrink)

This entry introduces the reader to the main ideas in Frege's philosophy of logic, mathematics, and language.