In the nineteenth century, the separation of naturalist or psychological accounts of validity from normative validity came into question. In his 1877 Logical Studies (Logische Studien), Friedrich Albert Lange argues that the basis for necessary inference is demonstration, which takes place by spatially delimiting the extension of concepts using imagined or physical diagrams. These diagrams are signs or indications of concepts' extension, but do not represent their content. Only the inference as a whole captures the objective content of the proof. (...) Thus, Lange argues, the necessity of an inference is independent of psychological accounts of how we grasp the content of a proposition. (shrink)

Kant claims that Aristotles logic as complete, explain the historical and philosophical considerations that commit him to proving the completeness claim and sketch the proof based on materials from his logic corpus. The proof will turn out to be an integral part of Kant’s larger reform of formal logic in response to a foundational crisis facing it.

Cassirer’s neo-Kantian epistemology has become a classical reference in contemporary history and philosophy of science. However, the historical aspects of his thought are sometimes seen to be in some tension with his defence of a priori elements of knowledge. This paper reconsiders Cassirer’s strategy to address this tension by positing functional dependencies at the core of the notion of objectivity. This requires the epistemologist to account for the determination of the objects of knowledge within given scientific theories, but also for (...) conceptual changes over time. (shrink)

After the publication of Begriffsschrift, a conflict erupted between Frege and Schröder regarding their respective logical systems which emerged around the Leibnizian notions of lingua characterica and calculus ratiocinator. Both of them claimed their own logic to be a better realisation of Leibniz’s ideal language and considered the rival system a mere calculus ratiocinator. Inspired by this polemic, van Heijenoort (1967b) distinguished two conceptions of logic—logic as language and logic as calculus—and presented them as opposing views, but did not explain (...) Frege’s and Schröder’s conceptions of the fulfilment of Leibniz’s scientific ideal. -/- In this paper I explain the reasons for Frege’s and Schröder’s mutual accusations of having created a mere calculus ratiocinator. On the one hand, Schröder’s construction of the algebra of relatives fits with a project for the reduction of any mathematical concept to the notion of relative. From this stance I argue that he deemed the formal system of Begriffsschrift incapable of such a reduction. On the other hand, first I argue that Frege took Boolean logic to be an abstract logical theory inadequate for the rendering of specific content; then I claim that the language of Begriffsschrift did not constitute a complete lingua characterica by itself, more being seen by Frege as a tool that could be applied to scientific disciplines. Accordingly, I argue that Frege’s project of constructing a lingua characterica was not tied to his later logicist programme. (shrink)

ABSTRACTIn 1931 Wittgenstein wrote: ‘the limit of language manifests itself in the impossibility of describing the fact that corresponds to a sentence without simply repeating the sentence’. Here, Wittgenstein claims, ‘we are involved … with the Kantian solution of the problem of philosophy’. This paper shows how this remark fits with Wittgenstein's early account of the substance of the world, his account of logic, and ultimately his view of philosophy. By contrast to the currently influential resolute reading of the Tractatus, (...) the paper argues that the early Wittgenstein did not aim at destroying the idea of a limit of language, but that the notion lies at the very heart of Wittgenstein's early view. In doing so, the paper employs and defends the Kantian interpretation of Wittgenstein's early philosophy. (shrink)