This dissertation consists of three parts. Part I is a defense of an artificial language methodology in philosophy and a historical and systematic defense of the logical empiricists' application of an artificial language methodology to scientific theories. These defenses provide a justification for the presumptions of a host of criteria of empirical significance, which I analyze, compare, and develop in part II. On the basis of this analysis, in part III I use a variety of criteria to evaluate the scientific (...) status of intelligent design, and further discuss confirmation, reduction, and concept formation. (shrink)

Logic is about reasoning, or so the story goes. This thesis looks at the concept of logic, what it is, and what claims of correctness of logics amount to. The concept of logic is not a settled matter, and has not been throughout the history of it as a notion. Tools from conceptual analysis aid in this historical venture. Once the unsettledness of logic is established we see the repercussions in current debates in the philosophy of logic. Much of the (...) battle over the ‘one true logic’ is conceptually talking past each other. The theory of logics-as-formalizations is presented as a conceptually open theory of logic which is Carnapian in flavour and grounding. Rudolf Carnap’s notions surrounding ‘external’ and ‘pseudo-questions’ about linguistic frameworks apply to formalizations, thus logics, as well. An account of what formalizations are, a more structured sub-set of modelling, is given to ground the claim that logics are formalizations. Finally, a novel account of correctness, the COFE framework, is developed which allows the notions of logical monism, pluralism and nihilism to be more precisely formulated than they currently are in the discourse. (shrink)

The question “what is an interpretation?” is often intertwined with the perhaps even harder question “what is a scientific theory?”. Given this proximity, we try to clarify the first question to acquire some ground for the latter. The quarrel between the syntactic and semantic conceptions of scientific theories occupied a large part of the scenario of the philosophy of science in the 20th century. For many authors, one of the two currents needed to be victorious. We endorse that such debate, (...) at least in the terms commonly expressed, can be misleading. We argue that the traditional notion of “interpretation” within the syntax/semantic debate is not the same as that of the debate concerning the interpretation of quantum mechanics. As much as the term is the same, the term “interpretation” as employed in quantum mechanics has its meaning beyond (pure) logic. Our main focus here lies on the formal aspects of the solutions to the measurement problem. There are many versions of quantum theory, many of them incompatible with each other. In order to encompass a wider variety of approaches to quantum theory, we propose a different one with an emphasis on pure formalism. This perspective has the intent of elucidating the role of each so-called “interpretation” of quantum mechanics, as well as the precise origin of the need to interpret it. (shrink)

Logicism finds a prominent place in textbooks as one of the main alternatives in the foundations of mathematics, even though it lost much of its attraction from about 1950. Of course the neologicist trend has revitalized the movement on the basis of Hume’s Principle and Frege’s Theorem, but even so neologicism restricts itself to arithmetic and does not aim to account for all of mathematics. The present contribution does not focus on the classical logicism of Frege and Dedekind, nor on (...) the Russell-Carnap period, and also not on recent neologicism; its aim is to call attention to some forms of heritage from logicism that normally go quite unnoticed. In the 1920s, 1930s and 1940s, the logicist thesis became a stimulus for some deep innovations in the field of mathematical logic. One can argue, in particular, that two key ideas linked with formal semantics had their origins in the conception of logic associated with the logicist trend – the expansion of metamathematics brought about by Tarski, opening the way to model theory, and the insistence on the “full” set-theoretic semantics as “standard” for second-order logic. The paper proposes an analysis of those inheritances and argues that that logical theory ought to avoid some of their implications. (shrink)

Logics that have many truth values—more than just True and False—have been argued to be useful in the analysis of very many philosophical and linguistic puzzles. In this paper, which is a followup to, we will start with a particularly well-motivated four-valued logic that has been studied mainly in its propositional and first-order versions. And we will then investigate its second-order version. This four-valued logic has two natural three-valued extensions: what is called a “gap logic”, and what is called a (...) “glut logic”. We mention various results about the second-order version of these logics as well. And we then follow our earlier papers, where we had added a specific conditional connective to the three valued logics, and now add that connective to the four-valued logic under consideration. We then show that, although this addition is “conservative” in the sense that no new theorems are generated in the four-valued logic unless they employ this new conditional in their statement, nevertheless the resulting second-order versions of these logics with and without the conditional are quite different in important ways. We close with a moral for logical investigations in this realm. (shrink)

I argue that absolutism, the view that absolutely unrestricted quantification is possible, is to blame for both the paradoxes that arise in naive set theory and variants of these paradoxes that arise in plural logic and in semantics. The solution is restrictivism, the view that absolutely unrestricted quantification is not possible. -/- It is generally thought that absolutism is true and that restrictivism is not only false, but inexpressible. As a result, the paradoxes are blamed, not on illicit quantification, but (...) on the logical conception of set which motivates naive set theory. The accepted solution is to replace this with the iterative conception of set. -/- I show that this picture is doubly mistaken. After a close examination of the paradoxes in chapters 2--3, I argue in chapters 4 and 5 that it is possible to rescue naive set theory by restricting quantification over sets and that the resulting restrictivist set theory is expressible. In chapters 6 and 7, I argue that it is the iterative conception of set and the thesis of absolutism that should be rejected. (shrink)

In this paper, I will attempt to develop and defend a common form of intuitive resistance to the companions in guilt argument. I will argue that one can reasonably believe there are promising solutions to the access problem for mathematical realism that don’t translate to moral realism. In particular, I will suggest that the structuralist project of accounting for mathematical knowledge in terms of some form of logical knowledge offers significant hope of success while no analogous approach offers such hope (...) for moral realism. (shrink)

Syntactic approaches in the philosophy of science, which are based on formalizations in predicate logic, are often considered in principle inferior to semantic approaches, which are based on formalizations with the help of structures. To compare the two kinds of approach, I identify some ambiguities in common semantic accounts and explicate the concept of a structure in a way that avoids hidden references to a specific vocabulary. From there, I argue that contrary to common opinion (i) unintended models do not (...) pose a significant problem for syntactic approaches to scientific theories, (ii) syntactic approaches can be at least as language-independent as semantic ones, and (iii) in syntactic approaches, scientific theories can be as well connected to the world as in semantic ones. Based on these results, I argue that syntactic and semantic approaches fare equally well when it comes to (iv) ease of application, (v) accommodating the use of models in the sciences, and (vi) capturing the theory-observation relation. (shrink)