This paper concerns Carnap’s early contributions to formal semantics in his work on general axiomatics between 1928 and 1936. Its main focus is on whether he held a variable domain conception of models. I argue that interpreting Carnap’s account in terms of a fixed domain approach fails to describe his premodern understanding of formal models. By drawing attention to the second part of Carnap’s unpublished manuscript Untersuchungen zur allgemeinen Axiomatik, an alternative interpretation of the notions ‘model’, ‘model extension’ and ‘submodel’ (...) in his theory of axiomatics is presented. Specifically, it is shown that Carnap’s early model theory is based on a convention to simulate domain variation that is not identical but logically comparable to the modern account. (shrink)

The work of Hugh MacColl (1837–1909) suffered the same fate after his death as before it:despite being vaguely alluded to and in part even commended, on the whole it has remained an unknown quantity. Even worse, those of his ideas which have played a decisive role in the history of logic have been credited to his successors; this is especially the case with the definition of strict implication and the first formal development of formal modal logic. This paper takes an (...) initial step towards a rectification of this unfortunate misrepresentation, presenting a bibliography of MacColl’s most significant publications with particular regard to their reception. (shrink)

In 1902 there arrived in Jena a letter from Russell laying out a proof that shattered Frege’s confidence in logicism, which is widely taken to be the doctrine according to which every truth of arithmetic is re-expressible without relevant loss as a provable truth about a purely logical object. Frege was persuaded that Russell had exposed a pathology in logicism, which faced him with the task of examining its symptoms, diagnosing its cause, assessing its seriousness, arriving at a treatment option, (...) and making an estimate of future prospects. The symptom was the contradiction that had crept into naïve set theory in the form of the set that provably is and is not its own member. The diagnosis was that it is caused by Basic Law V of the Grundgesetze (Frege, In: Grundgesetze der Arithmetik: Begrifsschriftlich abgeleitet, Jena: Herman Pohle, 1893/1903. Translated into English as Basic Laws of Arithmetic, also edited by Philip A. Ebert and Marcus Rossberg, with Crispin Wright, Oxford: Oxford University Press, 2013). Triage answers the question, “How bad is it?” The answer was that the contradiction irreparably destroys the logicist project. The treatment option was nil. The disease was untreatable. In due course, the prognosis turned out to be that a scaled-down Fregean logic could have an honourable life as a theory inference for various domains of mathematical discourse, but not for domains containing the logical objects required for logicism. Since there aren’t such objects, there aren’t such domains. On the face of it, Frege’s logicist collapse is astonishing. Why wouldn’t he have repaired the fault in Law V and gone back to the business of bringing logicism to an assured realization? In the course of our reflections, we will have nice occasion to consider the good it might have done Frege to have booked some time with Aristotle had he been able to. By the time we’re finished, we’ll have cause to think that in the end the Russell might well have begged the question against Frege. (shrink)

We show that, by choosing definitions carefully, a version of Frege's theorem can be proved in intuitionistic logic.

The German debates concerning the need for a reform of logic in post-Hegelian times took place under the label “The logical question”, a label introduced by Friedrich Adolf Trendelenburg. The main objective of these debates was to overcome the Hegelian identification of logic and metaphysics without re-establishing the old Aristotelian-scholastic formal logic. This paper presents the positions developed by Friedrich Adolf Trendelenburg, Otto Friedrich Gruppe, and Carl v. Prantl, each of whom advocated the importance of language in logic in order (...) to introduce a more dynamical element into the alleged static character of formal logic. (shrink)

The paper attempts to analyze in some detail the main problems encountered in reasoning using diagrams, which may cause errors in reasoning, produce doubts concerning the reliability of diagrams, and impressions that diagrammatic reasoning lacks the rigour necessary for mathematical reasoning. The paper first argues that such impressions come from long neglect which led to a lack of well-developed, properly tested and reliable reasoning methods, as contrasted with the amount of work generations of mathematicians expended on refining the methods of (...) reasoning with formulae and predicate calculus. Next, two main groups of problems occurring in diagrammatic reasoning are introduced. The second group, called diagram imprecision, is then briefly summarized, its detailed analysis being postponed to another paper. The first group, called collectively the generalization problem, is analyzed in detail in the rest of the paper. The nature and causes of the problems from this group are explained, methods of detecting the potentially harmful occurrences of these problems are discussed, and remedies for possible errors they may cause are proposed. Some of the methods are adapted from similar methods used in reasoning with formulae, several other problems constitute new, specifically diagrammatic ways of reliable reasoning. (shrink)

We show that Dedekind, in his proof of the principle of definition by mathematical recursion, used implicitly both the concept of an inductive cone from an inductive system of sets and that of the inductive limit of an inductive system of sets. Moreover, we show that in Dedekind’s work on the foundations of mathematics one can also find specific occurrences of various profound mathematical ideas in the fields of universal algebra, category theory, the theory of primitive recursive mappings, and set (...) theory, which undoubtedly point towards the mathematics of twentieth and twenty-first centuries. (shrink)

There is an ambiguity in the concept of deductive validity that went unnoticed until the middle of the twentieth century. Sometimes an inference rule is called valid because its conclusion is a theorem whenever its premises are. But often something different is meant: The rule's conclusion follows from its premises even in the presence of other assumptions. In many logical environments, these two definitions pick out the same rules. But other environments are context-sensitive, and in these environments the second notion (...) is stronger. Sorting out this ambiguity has led to profound mathematical investigations with applications in complexity theory and computer science. The origins of this ambiguity and the history of its resolution deserve philosophical attention, because our understanding of logic stands to benefit from their details. I am eager to examine together with you, Crito, whether this argument will appear in any way different to me in my present circumstances, or whether it remains the same, whet... (shrink)

I examine the difficulties that several philosophers of language are liable to encounter in their attempts to provide an account of the connection between truth and assertion. I then attempt to provide an account of this connection. The analysis is concerned chiefly with difficulties which consist in elucidating the conceptual connection between truth and assertion in a way that respects certain linguistic intuitions while at the same time rendering the concept of truth amenable to a semantic interpretation. The proposed view (...) suggests one way in which we might go about meeting the theoretical demands implicit in addressing this concern, among others, demonstrating the extent to which a theory of truth should be regarded as belonging to the province of epistemology. Insofar as semantical considerations figure into such a theory, a more systematic investigation of the interface between epistemology and natural language semantics is recommended. The solution to many problems at this interface, I argue, lay in an analysis of judgment. (shrink)

Mathematics in the 19th century underwent explosive development. The discussion among philosophers was motivated by new results which conflicted with Kant’s very influential conception. One of the most important areas which lead to the meeting of philosophy and mathematics was a rigorous account of the infinitesimal calculus. In his article the author shows that considerations of this type found in Bolzano and Frege are important not only for the overcoming of the Kantian conception, but as for what we today call (...) the linguistic turn. (shrink)

Logic and philosophy of science share a long history, though contacts have gone through ups and downs. This paper is a brief survey of some major themes in logical studies of empirical theories, including links to computer science and current studies of rational agency. The survey has no new results: we just try to make some things into common knowledge.

Around the turn of the century, Poincare and Hilbert each published an account of geometry that took the discipline to be an implicit definition of its concepts. The terms ‘point’, ‘line’, and ‘plane’ can be applied to any system of objects that satisfies the axioms. Each mathematician found spirited opposition from a different logicist—Russell against Poincare' and Frege against Hilbert— who maintained the dying view that geometry essentially concerns space or spatial intuition. The debates illustrate the emerging idea of mathematics (...) as the science of structure. The article closes with some remarks on structuralist and nonstructuralist themes in Frege's own development of arithmetic. (shrink)

Among Leibniz’s contributions to the philosophy of mind, two topics bear relevance to contemporary discussions in cognitive sciences: the mind-body problem, and the universal language. Leibniz’s deterministic view rejects inter-substance causality between mental and bodily states, as well as between mental or bodily states of different individuals. In addition, Leibniz believed in the need to enhance communication through a universal language based on symbolic representations. Here I reconsider Leibniz’s ideas in the light of experimental evidence coming from mirror neurons. These (...) recently discovered brain cells, responsive to both action execution and observation, are thought to enable the interpretation of the action performer’s intentions through their representation in the observer’s own brain, thus storing embodied shared representations. I propose that mirror neurons’ cross-modal responsiveness, whereby seeing an action being performed by somebody else triggers similar neural response to that of performing that action oneself, can be interpreted as an instantiation of intersubstance causality. I suggest that mirror neurons’ properties speak not only to the non-dualistic equation, supported by brain science in general, whereby in a given individual, mental states arise from bodily states but also introduce the possibility that bodily states may arise from someone else’s bodily states. In addition, I propose that this automatic embodied flow of information between individuals (from performer to observer) bears relevance to Leibniz’s intuitions on symbols. Specifically, I suggest that the shared representations stored in mirror neurons, thought to enable the interpretation of the action performer’s intentions, may be seen as a biological instantiation of Leibniz’s planned, but never realized, universal characteristic. (shrink)

This paper concentrates on some aspects of the history of the analyticsynthetic distinction from Kant to Bolzano and Frege. This history evinces considerable continuity but also some important discontinuities. The analytic-synthetic distinction has to be seen in the first place in relation to a science, i.e. an ordered system of cognition. Looking especially to the place and role of logic it will be argued that Kant, Bolzano and Frege each developed the analytic-synthetic distinction within the same conception of scientific rationality, (...) that is, within the Classical Model of Science: scientific knowledge as cognitio exprincipiis. But as we will see, the way the distinction between analytic and synthetic judgments or propositions functions within this model turns out to differ considerably between them. (shrink)

Jarmo Pulkkinen, The threat of logical mathematism. A study on the critique of mathematical logic in Germany at the turn of the 20th century. Frankfurt a.M:Peter Lang, 1994. Scandinavian University Studies in the Humanities and Social Sciences; 7). 186 pp. 24 DM. ISBN 3-631-47409-1.

The Research Assessment Exercise was introduced in 1986 by Thatcher, and was continued by Blair. So it has now been running for 21 years. During this time, the rules governing the RAE have changed considerably, and the interval between successive RAEs has also varied. These changes are not of great importance as far as the argument of this paper is concerned. We will concentrate on the main features of the RAE which can be summarised as follows.

In 1837, Dirichlet proved that there are infinitely many primes in any arithmetic progression in which the terms do not all share a common factor. We survey implicit and explicit uses ofDirichlet characters in presentations of Dirichlet’s proof in the nineteenth and early twentieth centuries, with an eye toward understanding some of the pragmatic pressures that shaped the evolution of modern mathematical method.

Cognitive sciences are grouped together according to their substantial disciplines such as neurobiology, psychology, linguistics and many others. From more than ten years a search has been undertaken for the best fitting cognitive research method, that does not influence the scientific output. More recently attention has been turned to systems which might operate through their dynamic aspect, called the dynamic approach. Their great advantage is to see the old linguistic axioms such as connectivity in a new way.