While according to the inferentialists, meaning is always a kind of inferential role, proponents of other approaches to semantics often doubt that actual meanings, as they see them, can be generally reduced to inferential roles. In this paper we propose a formal framework for considering the hypothesis of the.

The concept ofsemantic interpretation is a source of chronic confusion: the introduction of a notion ofinterpretation can be the result of several quite different kinds of considerations.Interpretation can be understood in at least three ways: as a process of dis-abstraction of formulas, as technical tool for the sake of characterizing truth, or as a reconstruction of meaning-assignment. However essentially different these motifs are and however properly they must be kept apart, these can all be brought to one and the same (...) notion of interpretation: to the notion of a compositional evaluation of expressions inducing a possible distribution of truth values among statements. (shrink)

One particular topic in the literature on Frege’s conception of sense relates to two apparently contradictory theses held by Frege: the isomorphism of thought and language on one hand and the expressibility of a thought by different sentences on the other. I will divide the paper into five sections. In (1) I introduce the problem of the tension in Frege’s thought. In (2) I discuss the main attempts to resolve the conflict between Frege’s two contradictory claims, showing what is wrong (...) with some of them. In (3), I analyze where, in Frege’s writings and discussions on sense identity, one can find grounds for two different conceptions of sense. In (4) I show how the two contradictory theses held by Frege are connected with different concerns, compelling Frege to a constant oscillation in terminology. In (5) I summarize two further reasons that prevented Frege from making the distinction between two conceptions of sense clear: (i) the antipsychologism problem and (ii) the overlap of traditions in German literature contemporary to Frege about the concept of value. I conclude with a hint for a reconstruction of the Fregean notion of ‘thought’ which resolves the contradiction between his two theses. (shrink)

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)

Robert Stalnaker has argued that mathematical information is information about the sentences and expressions of mathematics. I argue that this metalinguistic account is open to a variant of Alonzo Church's translation objection and that Stalnaker's attempt to get around this objection is not successful. If correct, this tells not only against Stalnaker's account of mathematical truths, but against any metalinguistic account of truths that are both necessary and informative.

How does your information change when you learn that something might be the case, where the modal “might” is epistemic? On the orthodox view, a proposition is added to your information base; on the view defended here, no propositions are added to your information base but some are removed from it. I argue that Stephen Yablo’s recent attempt to define this removal operation as a kind of propositional subtraction fails, offer a definition of my own in terms of the part–whole (...) relations between the truthmakers of the propositions one accepts, and argue that a deontic analogue of this account solves a problem about permission posed long ago by David Lewis. (shrink)

Discussion of Frege’s theory of fiction has tended to focus on the problem of empty names, and has consequently missed the truly problematic aspect of the theory, Frege’s commitment to the view that even fictional sentences that contain no empty names fail to refer. That claim prima facie conflicts with his commitment to the cognitive transparency of sense, and the determination of reference by sense. Resolving this tension compels us to recognize that fiction for Frege is a special kind of (...) force, and that words express a sense capable of picking out a referent only in the presence of the appropriate assertoric force. In effect, Frege’s theory of fiction reveals his commitment to an act-centered rather than an expression-centered semantics. (shrink)

Some Carrollian posthumous manuscripts reveal, in addition to his famous ‘logical diagrams’, two mysterious ‘logical charts’. The first chart, a strange network making out of fourteen logical sentences a large 2D ‘triangle’ containing three smaller ones, has been shown equivalent—modulo the rediscovery of a fourth smaller triangle implicit in Carroll's global picture—to a 3D tetrahedron, the four triangular faces of which are the 3+1 Carrollian complex triangles. As it happens, such an until now very mysterious 3D logical shape—slightly deformed—has been (...) rediscovered, independently from Carroll and much later, by a logician , a mathematician and a linguist studying the geometry of the ‘opposition relations’, that is, the mathematical generalisations of the ‘logical square’. We show that inside what is called equivalently ‘n-opposition theory’, ‘oppositional geometry’ or ‘logical geometry’, Carroll's first chart corresponds exactly, duly reshap.. (shrink)

This is a thorough treatment of first-order modal logic. The book covers such issues as quantification, equality (including a treatment of Frege's morning star/evening star puzzle), the notion of existence, non-rigid constants and function symbols, predicate abstraction, the distinction between nonexistence and nondesignation, and definite descriptions, borrowing from both Fregean and Russellian paradigms.

I present a reconstruction of the logical system of the Tractatus, which differs from classical logic in two ways. It includes an account of Wittgenstein’s “form-series” device, which suffices to express some effectively generated countably infinite disjunctions. And its attendant notion of structure is relativized to the fixed underlying universe of what is named. -/- There follow three results. First, the class of concepts definable in the system is closed under finitary induction. Second, if the universe of objects is countably (...) infinite, then the property of being a tautology is \Pi^1_1-complete. But third, it is only granted the assumption of countability that the class of tautologies is \Sigma_1-definable in set theory. -/- Wittgenstein famously urges that logical relationships must show themselves in the structure of signs. He also urges that the size of the universe cannot be prejudged. The results of this paper indicate that there is no single way in which logical relationships could be held to make themselves manifest in signs, which does not prejudge the number of objects. (shrink)

This paper concerns the formal semantic analysis of imperative sentences. It is argued that such an analysis cannot be deferred to the semantics of propositions, under any of the three commonly adopted strategies: the performative analysis, the sentence radical approach to propositions, and the (nondeclarative) mood-as-operator approach. Whereas the first two are conceptually problematic, the third faces empirical problems: various complex imperatives should be analysed in terms of semantic operators over simple imperatives. One particularly striking case is the Dutch pluperfect (...) imperative. It is argued that this construction should be analysed as a genuine counterfactual imperative. On the constructive side, in the last part of the paper a formal semantic analysis of imperatives is presented, in the framework of Update Semantics. On this analysis, imperatives are sui generis semantic entities, on a par with propositions. The analysis also includes an account of the counterfactual imperatives. (shrink)

The affirmative answer to the title question is justified in two ways: logical and empirical. The logical justification is due to Gödel’s discovery that in any axiomatic formalized theory, having at least the expressive power of PA, at any stage of development there must appear unsolvable problems. However, some of them become solvable in a further development of the theory in question, owing to subsequent investigations. These lead to new concepts, expressed with additional axioms or rules. Owing to the so-amplified (...) axiomatic basis, new routine procedures like algorithms, can be reached. Those, in turn, help to gain new insights which lead to still more powerful axioms, and consequently again to ampler algorithmic resources. Thus scientific progress proceeds to an ever higher scope of solvability. The existence of such feedback cycles –in a formal way rendered with Turing’s systems of logic based on ordinal – gets empirically supported by the history of mathematics and other exact sciences. An instructive instance of such a process is found in the history of the number zero. Without that insight due to some ancient Hindu mathematicians there could not arise such an axiomatic theory as PA. It defines the algorithms of arithmetical operations, which in turn help intuitions; those, inturn, give rise to algorithmic routines, not available in any of the previous phases of the process in question. While the logical substantiation of the point of this essay is a well-established result of logico-semantic inquiries, its empiricalclaim, based on historical evidences, remains open for discussion. Hence the author’s intention to address philosophers and historians of science, and to encourage their critical responses. (shrink)

Let me start with a well-known story. Kant held that logic and conceptual analysis alone cannot account for our knowledge of arithmetic: “however we might turn and twist our concepts, we could never, by the mere analysis of them, and without the aid of intuition, discover what is the sum [7+5]” (KrV, B16). Frege took himself to have shown that Kant was wrong about this. According to Frege’s logicist thesis, every arithmetical concept can be defined in purely logical terms, and (...) every theorem of arithmetic can be proved using only the basic laws of logic. Hence, Kant was wrong to think that our grasp of arithmetical concepts and our knowledge of arithmetical truth depend on an extralogical source—the pure intuition of time (Frege 1884, §89, §109). Arithmetic, properly understood, is just a part of logic. (shrink)

Logical guarantees of validity must be understood as subject to the proviso that no equivocation is committed. But we do not have a formal theory of equivocation. This paper attempts to formulate rules for responding to equivocal arguments in the context of dialogue. What occurs when one distinguishes meanings of an equivocal expression turns out to be rather different from definition.

This article responds to Johan Dahlbeck’s ‘Towards a pure ontology: Children’s bodies and morality’, 2014, pp. 8–23). His arguments from Nietzsche and Spinoza do not carry the weight he supposes, and the conclusions he draws from them about pedagogy would be ill-advised in practice.

Husserl and Frege reject logical psychologism, the view that logical laws are psychological 'laws of thought'. This paper offers an account of these famous objections and argues that their crucial premise, the necessity of logical laws, is justified with reference to a problematic metaphysics. However, this premise can be established in a more plausible way, namely via a transcendental argument which starts from the practice of rational criticism. This argument is developed through a discussion of Quine's holism, which at first (...) appears to make the idea of the necessity of logical laws even less plausible, but eventually turns out to speak in favor of this view. (shrink)

In his Tractatus Logico-Philosophicus Ludwig Wittgenstein (1889–1951) presents the concept of order in terms of a notational iteration that is completely logical but not part of logic. Logic for him is not the foundation of mathematical concepts but rather a purely formal way of reflecting the world that at the minimum adds absolutely no content. Order for him is not based on the concepts of logic but is instead revealed through an ideal notational series. He states that logic is “transcendental”. (...) As such it requires an ideal that his philosophical method eventually forces him to reject. I argue that Wittgenstein’s philosophy is more dialectical than transcendental. (shrink)

Leibniz's overall view of the relationship between reasoning and computation is discussed on the basis of two broad claims that one finds in his writings, concerning respectively the nature of human reasoning and the possibility of replacing human thinking by a mechanical procedure. A joint examination of these claims enables one to appreciate the wide scope of Leibniz's interests for mechanical procedures, concerning a variety of philosophical themes further developed both in later logical investigations and in methodological contributions to cognitive (...) psychology. (shrink)

Philosophers disagree whether composition as identity entails mereological universalism. Bricker :264–294, 2016) has recently considered an argument which concludes that composition as identity supports universalism. The key step in this argument is the thesis that any objects are identical to some object, which Bricker justifies with the principle of the universality of identity. I will spell out this principle in more detail and argue that it has an unexpected consequence. If the universality of identity holds, then composition as identity not (...) only leads us to universalism, but also leads to the view that there are no mereological atoms. (shrink)

Hume's Principle, dear to neo-Logicists, maintains that equinumerosity is both necessary and sufficient for sameness of cardinal number. All the same, Whitehead demonstrated in Principia Mathematica's logic of relations that Cantor's power-class theorem entails that Hume's Principle admits of exceptions. Of course, Hume's Principle concerns cardinals and in Principia's ‘no-classes’ theory cardinals are not objects in Frege's sense. But this paper shows that the result applies as well to the theory of cardinal numbers as objects set out in Frege's Grundgesetze. (...) Though Frege did not realize it, Cantor's power-theorem entails that Frege's cardinals as objects do not always obey Hume's Principle. (shrink)

The paper first formalizes the ramified type theory as (informally) described in the Principia Mathematica [32]. This formalization is close to the ideas of the Principia, but also meets contemporary requirements on formality and accuracy, and therefore is a new supply to the known literature on the Principia (like [25], [19], [6] and [7]).As an alternative, notions from the ramified type theory are expressed in a lambda calculus style. This situates the type system of Russell and Whitehead in a modern (...) setting. Both formalizations are inspired by current developments in research on type theory and typed lambda calculus; see [3]. (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)

This paper explores applications of concepts from argumentation theory to mathematical proofs. Note is taken of the various contexts in which proofs occur and of the various objectives they may serve. Examples of strategic maneuvering are discussed when surveying, in proofs, the four stages of argumentation distinguished by pragma-dialectics. Derailments of strategies (fallacies) are seen to encompass more than logical fallacies and to occur both in alleged proofs that are completely out of bounds and in alleged proofs that are at (...) least mathematical arguments. These considerations lead to a dialectical and rhetorical view of proofs. (shrink)

The concept of indiscernibility in a structure is analysed with the aim of emphasizing that in asserting that two objects are indiscernible, it is useful to consider these objects as members of (the domain of) a structure. A case for this usefulness is presented by examining the consequences of this view to the philosophical discussion on identity and indiscernibility in quantum theory.

In this paper I suggest an answer to the question of what Frege means when he says that his logical system, the Begrijfsschrift, is like the language Leibniz sketched, a lingua characteristica, and not merely a logical calculus. According to the nineteenth century studies, Leibniz's lingua characteristica was supposed to be a language with which the truths of science and the constitution of its concepts could be accurately expressed. I argue that this is exactly what the Begriffsschrift is: it is (...) a language, since, unlike calculi, its sentential expressions express truths, and it is a characteristic language, since the meaning of its complex expressions depend only on the meanings of their constituents and on the way they are put together. In fact it is in itself already a science composed in accordance with the Classical Model of Science. What makes the Begrijfsschrift so special is that Frege is able to accomplish these goals with using only grammatical or syncategorematic terms and so has a medium with which he can try to show analyticity of the theorems of arithmetic. (shrink)

In this paper I suggest an answer to the question of what Frege means when he says that his logical system, the Begriffsschrift, is like the language Leibniz sketched, a lingua characteristica, and not merely a logical calculus. According to the nineteenth century studies, Leibniz’s lingua characteristica was supposed to be a language with which the truths of science and the constitution of its concepts could be accurately expressed. I argue that this is exactly what the Begriffsschrift is: it is (...) a language, since, unlike calculi, its sentential expressions express truths, and it is a characteristic language, since the meaning of its complex expressions depend only on the meanings of their constituents and on the way they are put together. In fact it is in itself already a science composed in accordance with the Classical Model of Science. What makes the Begriffsschrift so special is that Frege is able to accomplish these goals with using only grammatical or syncategorematic terms and so has a medium with which he can try to show analyticity of the theorems of arithmetic. (shrink)

This paper aims to shed light on the broader significance of Frege’s logicism against the background of discussing and comparing Wittgenstein’s ‘showing/saying’-distinction with Brandom’s idiom of logic as the enterprise of making the implicit rules of our linguistic practices explicit. The main thesis of this paper is that the problem of Frege’s logicism lies deeper than in its inconsistency : it lies in the basic idea that in arithmetic one can, and should, express everything that is implicitly presupposed so that (...) nothing is left unsaid. This, in fact, is the target of Wittgenstein’s critique. Rather than the Tractatus, with its claim that logicism attempts to say something that can only be shown, it is the Philosophical Investigations, with its argument by regress against the thesis that every rule which one can follow must be of an explicit nature, that is of real significance here. (shrink)

The article deals with Cantor's argument for the non-denumerability of reals somewhat in the spirit of Lakatos' logic of mathematical discovery. At the outset Cantor's proof is compared with some other famous proofs such as Dedekind's recursion theorem, showing that rather than usual proofs they are resolutions to do things differently. Based on this I argue that there are "ontologically" safer ways of developing the diagonal argument into a full-fledged theory of continuum, concluding eventually that famous semantic paradoxes based on (...) diagonal construction are caused by superficial understanding of what a name is. (shrink)

We offer an interpretation of the words and works of Richard Dedekind and the David Hilbert of around 1900 on which they are held to entertain diverging views on the structure of a deductive science. Firstly, it is argued that Dedekind sees the beginnings of a science in concepts, whereas Hilbert sees such beginnings in axioms. Secondly, it is argued that for Dedekind, the primitive terms of a science are substantive terms whose sense is to be conveyed by elucidation, whereas (...) Hilbert dismisses elucidation and consequently treats the primitives as schematic. (shrink)

This paper addresses an issue with the sign ‘⊢’ in Frege’s mature version of Begriffsschrift, i.e., the version in ‘Function and Concept’ and Grundgesetze. The sign is a performative for asserting in that writing down ‘⊢p’ is equivalent to asserting that p. Frege further says that writing ‘ p’ is also equivalent to identifying the reference of ‘p’ with the truth-value True. It looks as if he holds that asserting that p consists in identifying the True with the reference of (...) ‘p’. Frege’s commitment to it, however, seems to encounter a number of tensions. This paper aims to show that these tensions can be avoided by endorsing a non-assertive conception of identification under which making an identification is not making an identity assertion. The suggested reading leads to an entirely di erent understanding of the compositionality of the sign ‘⊢’ as well as Frege’s conception of assertion and judgment. (shrink)

I develop a new reading of Frege’s argument for the indefinability of truth. I concentrate on what Frege literally says in the passage that contains the argument. This literal reading of the passage establishes that the indefinability argument is an arguably sound argument to the following conclusion: provided that the Fregean conception of judgment—which has recently been countered by Hanks—is correct and that truth is a property of truth-bearers, a vicious infinite regress is produced. Given this vicious regress, Frege chooses (...) to reject that truth is a property of truth-bearers. Frege’s choice leads to a unique version of the Fregean conception of judgment. His unique conception of judgment can cope with Hanks’s recent criticisms against the Fregean conception. (shrink)

Part 1 sets out the logical/semantical background to ‘On Denoting’, including an exposition of Russell's views in Principles of Mathematics, the role and justification of Frege's notorious Axiom V, and speculation about how the search for a solution to the Contradiction might have motivated a new treatment of denoting. Part 2 consists primarily of an extended analysis of Russell's views on knowledge by acquaintance and knowledge by description, in which I try to show that the discomfiture between Russell's semantical and (...) epistemological commitments begins as far back as 1903. I close with a non-Russellian critique of Russell's views on how we are able to make use of linguistic representations in thought and with the suggestion that a theory of comprehension is needed to supplement semantic theory. (shrink)

In this article, we study the prehistory of type theory up to 1910 and its development between Russell and Whitehead's Principia Mathematica ([71], 1910-1912) and Church's simply typed λ-calculus of 1940. We first argue that the concept of types has always been present in mathematics, though nobody was incorporating them explicitly as such, before the end of the 19th century. Then we proceed by describing how the logical paradoxes entered the formal systems of Frege, Cantor and Peano concentrating on Frege's (...) Grundgesetze der Arithmetik for which Russell applied his famous paradox and this led him to introduce the first theory of types, the Ramified Type Theory (RTT). We present RTT formally using the modern notation for type theory and we discuss how Ramsey, Hilbert and Ackermann removed the orders from RTT leading to the simple theory of types STT. We present STT and Church's own simply typed λ-calculus (λ → C) and we finish by comparing RTT, STT and λ → C. (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)

An unconventional formalization of the canonical square of opposition in the notation of classical symbolic logic secures all but one of the canonical square’s grid of logical interrelations between four A-E-I-O categorical sentence types. The canonical square is first formalized in the functional calculus in Frege’s Begriffsschrift, from which it can be directly transcribed into the syntax of contemporary symbolic logic. Difficulties in received formalizations of the canonical square motivate translating I categoricals, ‘Some S is P’, into symbolic logical notation, (...) not conjunctively as \, but unconventionally instead in an ontically neutral conditional logical symbolization, as \. The virtues and drawbacks of the proposal are compared at length on twelve grounds with the explicit existence expansion of A and E categoricals as the default strategy for symbolizing the canonical square preserving all original logical interrelations. (shrink)

Michael Dummett has shown that the fragment ‘17 Kernsätze zur Logik’ is evidence that Frege knew Lotze's Logik Dummett’s dating of this fragment prior to 1879, however, must be rejected.The present paper shows that there are other articles of Frege’s which bear clear traces of Lotze's LogikFirst of all, the expressions Vorstellungsverlauf from ‘Über die wissenschaftliche Berechtigung einer Begriffsschrift’, and veranlassenden Ursachen, from ‘Logik’, certainly are borrowed from Lotze.Second, there are links between ‘Booles rechnende Logik und die Begriffsschrift’ and Lotze's (...) Logik. Furthermore, it is shown that Frege’s ‘Kernsätze’, the ‘Dialog mit Pünjer über Existenz’, and his ‘Logik’ are intimately connected.All of this indicates that these texts were written in roughly the same period, namely the early 1880s.Conclusive evidence for this is that the terms Vorstellung and Vorstellungsverbindung are used indiscriminately in both a psychological and a logical sense in the ‘Begriffsschrift’, a fact which contradicts the ‘Kernsätze’. (shrink)

If identity is to be taken as a relation, not between any object and itself, nor between expressions , but between "intensions" or Fregean "Sinnen" of individual constants , then not only definite descriptions but also grammatically proper names ought to have intensions. This, however, has been repudiated by J. St. Mill and, more recently and more persuasively, by Saul Kripke. So an attempt will be made to interpret proper names as definite descriptions sui generis, namely, "rigid" descriptions referring to (...) the way the bearer of the name is called, in certain contexts, in the real world. To avoid circularity or a vicious regressus in infinitum, however, one has to do this on the basis of a distinction between "names" and "name-radicals". (shrink)

As is well known, Frege gave an explicit definition of number (belonging to some concept) in ?68 of his Die Grundlagen der Arithmetik.

This paper is about the meaning and function of identity statements involving proper names. There are two prominent views on this topic, according to which identity statements ascribe a relation: the object-view, on which identity statements ascribe a relation borne by all objects to themselves, and the name-view, on which an identity statement 'a is b' says that the names 'a' and 'b' codesignate. The object- and name-views may seem to exhaust the field. I make a case for treating identity (...) statements as sui generis instead of attempting to explain them by means of the idea that they ascribe a relation. My contention is that once we do this, no analysis is required. -/- I do not wish to insist that we stop saying that identity statements ascribe a relation. The point is that there is a fundamental disanalogy between identity statements and other two-termed statements which we overlook to our peril. This will be seen to parallel the more recognized disanalogy between existence statements and other one-termed statements. One way of registering the fundamental disanalogy is to say that identity statements are not relational, but this is not essential. Following my negative arguments in section 2, I employ some simple diagrammatical models in section 3 to exhibit the fundamental disanalogy. In a final section I respond to some possible objections which may be raised against this kind of approach. (shrink)

In “Double Vision Two Questions about the Neo-Fregean Programme”, John MacFarlane’s raises two main questions: (1) Why is it so important to neo-Fregeans to treat expressions of the form ‘the number of Fs’ as a species of singular term? What would be lost, if anything, if they were analysed instead as a type of quantifier-phrase, as on Russell’s Theory of Definite Descriptions? and (2) Granting—at least for the sake of argument—that Hume’s Principle may be used as a means of implicitly (...) defining the number operator, what advantage, if any, does adopting this course possess over a direct stipulation of the Dedekind-Peano axioms? This paper attempts to answer them. In response to the first, we spell out the links between the recognition of numerical terms as vehicles of singular reference and the conception of numbers as possible objects of singular, or object-directed, thought, and the role of the acknowledgement of numbers as objects in the neo-Fregean attempt to justify the basic laws of arithmetic. In response to the second, we argue that the crucial issue concerns the capacity of either stipulation—of Hume’s Principle, or of the Dedekind-Peano axioms—to found knowledge of the principles involved, and that in this regard there are crucial differences which explain why the former stipulation can, but the latter cannot, play the required foundational role. (shrink)

This paper is concerned with the use of logic to solve philosophical problems. Such use of logic goes counter to the prevailing empiricist tradition in analytic circles. Specifically, model-theoretic tools are applied to three fundamental issues in the philosophy of logic and mathematics, namely, to the issue of the existence of mathematical entities, to the dispute between first- and second-order logic and to the definition of analyticity.