The object of this paper is to show why recent research in the psychology of deductive and probabilistic reasoning does not have.

Russell's involuted path in the development of his theory of logical types from 1903 to 1910-13 is examined and explained in terms of the development in his early philosophy of the notion of a logical subject vis-a-vis the problem of the one and many; i.e., the problem for russell, first, of a class-as-one as a logical subject as opposed to a class as many, and, secondly, of a propositional function as a single and separate logical subject as opposed to existing (...) only in the many propositions that are its values. (shrink)

The article presents two concepts of indexicality. The first, more standard and narrow, identifies indexicality with systematic (meaning controlled) context-sensitivity. The second, broader (derived from the work of Jerzy Pelc), conceives indexicality in terms of the potential variability of the general semiotic characteristics expressions (with respect to the context of use). The text introduces the concept of a pragmatic matrix that serves for a schematic representation of contextual variation. I also recapitulate briefly the views of Jerzy Pelc on the meaning (...) (manner of use) and use of expressions, and briefly indicate its relationship approaches with contemporary debates around contextualism and status of non-sentential speech acts. Finally, the relationship between the broader notion of indexicality and the directival theory of meaning is analyzed. (shrink)

History and the modern sciences are characterized by what is sometimes called a “methodological naturalism” that disregards talk of divine agency. Some religious thinkers argue that this reflects a dogmatic materialism: a non-negotiable and a priori commitment to a materialist metaphysics. In response to this charge, I make a sharp distinction between procedural requirements and metaphysical commitments. The procedural requirement of history and the sciences—that proposed explanations appeal to publicly-accessible bodies of evidence—is non-negotiable, but has no metaphysical implications. The metaphysical (...) commitment is naturalistic, but is both a posteriori and provisional, arising from the fact that formore than 400 years no proposed theistic explanation has been shown capable ofmeeting the procedural requirement. I argue that there is nothing to prevent religious thinkers from seeking to overturn this metaphysically naturalistic stance. But in order to do so they would need to show that their proposed theistic explanations are the best available explanations of a range of phenomena. Until this has been done, the metaphysical naturalism of history and the sciences remains defensible. (shrink)

Wittgenstein’s Tractatus contains some very striking theses. We read, e.g., that „in a sense” we could not be wrong in logic, and that the whole subject matter of the theory of modalities could be reconstructed on the ground of the insights in the mechanism of the linguistic reference. Yet in the light of the last sentences of Tractatus the whole semantics turns out to be principaly ineffable. In our paper we will try to clarify these matters. We show how these (...) theses could be made plausible in the context of the transcendental method of Wittgenstein’s Tractatus. (shrink)

Conceptual engineering is the design, implementation, and evaluation of concepts. Conceptual engineering includes or should include de novo conceptual engineering (designing a new concept) as well as conceptual re-engineering (fixing an old concept). It should also include heteronymous (different-word) as well as homonymous (same-word) conceptual engineering. I discuss the importance and the difficulty of these sorts of conceptual engineering in philosophy and elsewhere.

Two-dimensional approaches to semantics, broadly understood, recognize two "dimensions" of the meaning or content of linguistic items. On these approaches, expressions and their utterances are associated with two different sorts of semantic values, which play different explanatory roles. Typically, one semantic value is associated with reference and ordinary truth-conditions, while the other is associated with the way that reference and truth-conditions depend on the external world. The second sort of semantic value is often held to play a distinctive role in (...) analyzing matters of cognitive significance and/or context-dependence. (shrink)

What is involved in the meaning of our expressions? Frege suggested that there is an aspect of an expression.

This explorative article is organized around a set of questions concerning the concept of a function. First, a summary of certain general facts about functions that are a common coin in contemporary logic is given. Then Frege's attempt at clarifying the nature of functions in his famous paper Function and Concept and in his Grundgesetze is discussed along with some questions which Freges' approach gave rise to in the literature. Finally, some characteristic uses of functional notions to be found in (...) the work of Bernard Bolzano and in Edmund Husserl's early work are presented and elucidated. (shrink)

The symmetries of a physical theory are often associated with two things: conservation laws and representational redundancies. But how can a physical theory's symmetries give rise to interesting conservation laws, if symmetries are transformations that correspond to no genuine physical difference? In this article, I argue for a disambiguation in the notion of symmetry. The central distinction is between what I call "analytic" and "synthetic" symmetries, so called because of an analogy with analytic and synthetic propositions. "Analytic" symmetries are the (...) turning of idle wheels in a theory's formalism, and correspond to no physical change; "synthetic" symmetries cover all the rest. I argue that analytic symmetries are distinguished because they act as fixed points or constraints in any interpretation of a theory, and as such are akin to Poincaré's conventions or Reichenbach's 'axioms of co-ordination', or 'relativized constitutive a priori principles'. (shrink)

In this paper we consider whether a pragmatics of semantic content can be a useful approach to legal interpretation. More broadly speaking, since a pragmatic conception of meaning is a component of inferential semantics, we consider whether an inferentialist approach to legal interpretation can be useful in dealing with some problems of this important aspect of law. In other words, we ask whether Legal Inferentialism is a suitable conception for legal interpretation. In Section 1 we briefly consider the semantics/pragmatics debate (...) in contemporary philosophy of language and in relation to legal interpretation. In Section 2 we discuss the relations between a pragmatics of semantic content and an inferentialist conception of content. In Section 3 we consider how Inferentialism can be applied to legal interpretation. Finally, in Section 4 we consider some possible advantages and drawbacks of Inferentialism applied to legal interpretation and adjudication. (shrink)

A novel non-classical mereological concept built up by blending the Metaphysics of Xavier Zubiri and the Quantum Theory of Atoms in Molecules of R. F. W. Bader is proposed. It is argued that this philosophical concept is necessary to properly account for what happens in a chemical reaction. From the topology of the gradient of the laplacian of the electronic charge density, \\) within the QTAIM framework, different “atomic graphs” are found for each atom depending on the molecular context, reflecting (...) how the whole molecule affects each atom. In this way, the whole molecular system imposes certain geometry onto each atom, and every atom exhibits different ontological modality. On the Metaphysical side, for X. Zubiri real things are system of different notes. The physical essence is the subsystem of essential notes with a coherence unity. Every note is grounded on the essence. The unity of the system is present somehow in every note-of beforehand, and every essential note-of turns towards the other. The essence determines the position of each note within the system, and hence is the grounding for modality of the notes. By conflating both “theories” and taking the atoms as essential notes, we propose the concept of “Molecule in atoms-of” or “atoms-of in Molecules”. Within the course of a chemical reaction the atoms-of modified their “of” as required by the new molecular unity being formed, and eventually change their modality. The validity to the Zubiri’s statements, is attained by evaluating necessity and possibility in a set-up of finite accessible “possible worlds”. (shrink)

A new kind of defense of the Millian theory of names is given, which explains intuitive counter-examples as depending on pragmatic effects of the relevant sentences, by direct application of Grice’s and Sperber and Wilson’s Relevance Theory and uncontroversial assumptions. I begin by arguing that synonyms are always intersubstitutable, despite Mates’ considerations, and then apply the method to names. Then, a fairly large sample of cases concerning names are dealt with in related ways. It is argued that the method, as (...) applied to the various cases, satisfies the criterion of success: that for every sentence in context, it is a counter-example to Millianism to the extent that it has pragmatic effects (matching speakers’ intuitions). (shrink)

The author puts forth an approach to propositional attitude contexts based upon the view that one does not have beliefs of ordinary extensional entitiessimpliciter. Rather, one has beliefs of such entities as presented in various manners. Roughly, these are treated as beliefs of ordered pairs — the first member of which is the ordinary extensional entity and the second member of which is a predicate that it satisfies. Such an approach has no difficulties with problems involving identity, such as of (...) The Morning Star and The Evening Star (section 1). Given the second members of the pairs, the modes of presentation, it is quite natural to allow exportation everywhere. There is no need for essentialism. (One also can have non-essentialistic modal logic if one grants analyticity or the like.) (section 2). Given that the second member of the pair need only be one that is satisfied by the entity that is the first member (and need not be specificative), the method has no difficulties when one is concerned only with discriminations (and not specifications) (section 3). When this method is combined with the Frege-Carnap method of descriptions, fictional entities can be accommodated; Goodman''s unicorn-picture and the like can be brought within a Tarskian semantics; and Geach''s difficulties with intentional identity appear to be handled (section 4). Given the author''s ordered pair construals, there appears to be no additional need for notional construals; i.e., the author''s one unified method appears satisfactory for dealing with both traditionalde re (relational) andde dicto (notional) construals. The Paradox of the Knower and the like do not appear formulatable against the author''s approach. (section 5). The author also argues against the basic principles behind the Church-Langford translation argument (section 6). (shrink)

Proceedings of the 2016 "one word" colloquium of the The Philosophical Society of Finland. The word was "Possibility".

This book is conceived as an introductory text into the theory of syntactic and semantic information, and information flow.

David Kaplan distinguishes between character and content in his theory of demonstratives and indexicals. This paper argues that David Kaplan's theory of demonstratives contains two different, incompatible, descriptions of what character is. It argues that one of them is superior. It argues that, ultimately, a theory of indexicals needs a theory of structured characters.

Amidst the progress being made in the various (sub-)disciplines of the behavioural and brain sciences a somewhat neglected subject is the problem of how everything fits into one world and, derivatively, how the relation between different levels of discourse should be understood and to what extent different levels, domains, approaches, or disciplines are autonomous or dependent. In this paper I critically review the most recent proposals to specify the nature of interdiscourse relations, focusing on the concept of supervenience. Ideally supervenience (...) is a relation between different discourses which has all the advantages of reduction, but without its disadvantages. I apply the more abstract considerations to two concrete cases: schizophrenia and colour. Usually an interlevel or interdiscourse relation is seen as asymmetrical: the overlaying discourse depends on the underlying discourse (and not vice versa), where the out- or un-spoken assumption is that the ultimate underlying discourse is physical. Instead I argue that scientific categories referred to in interdiscourse relations are, ultimately, dependent on common sense categories and common sense normative criteria. It is the manifest categories and common sense ideas about what is reasonable and what is right that determine the relevant categorisations at the deeper, underlying levels. I suggest that the implications of this are not merely methodological or epistemological. (shrink)

According to a criterion of difference for thoughts derived from Frege, two thoughts are different if it is at the same time possible for a rational subject to take conflicting epistemic attitudes toward them. But applying this criterion to perception-based demonstrative thoughts seems to slice thoughts too finely and lead to their proliferation which makes the criterion implausible. I argue that such a proliferation of thoughts is blocked by transforming this criterion into a related one that is shown to be (...) essential in individuating thoughts as they are conceived of in this paper. This has to do with the fact that what makes demonstrative sense synchronically or diachronically the same is the subject’s unreflective taking-for-granted that the object that she is perceiving is a single object that does not require her to keep track of it in the sense supposed by Evans and Campbell. (shrink)

Ever since Kripke’s influential arguments against descriptivism philosophers have attempted to provide solutions to Frege’s puzzle of substitution failure that adhere to Naïve Semantics—the view that names contribute their referents and referents alone to propositions expressed by sentences containing them. Recently, philosophers have also appealed to psychological objects called mental files, which are used to represent and store information on individuals, in solving the puzzle. Combining the two promises to revive a simple commonsensical theory while, at least prima facie, doing (...) away with the need to rely on Fregean senses. Though I welcome the combined approach, I argue that the only plausible version of it is a pretense-based one. (shrink)

This is a response to Jerry Fodor’s article, Fodor, J. (1980). "Methodological solipsism as a research strategy in cognitive psychology." Behavioral and Brain Sciences 3: 63-109.

Combining logics has become a rapidly expanding enterprise that is inspired mainly by concerns about modularity and the wish to join together tailor made logical tools into more powerful but still manageable ones. A natural question is whether it offers anything new over and above existing standard languages. By analysing a number of applications where combined logics arise, we argue that combined logics are a potentially valuable tool in applied logic, and that endorsements of standard languages often miss the point. (...) Using the history of quantified modal logic as our main example, we also show that the use of combined structures and logics is a recurring theme in the analysis of existing logical systems. (shrink)

This paper is an attempt to clarify why Ludwig Boltzmann from about 1895 to 1905 seemed to adopt a series of extreme epistemological positions, ranging from phenomenalism to pragmatism, while emphatically rejecting what he called ‘metaphysics’ (by which he meant all traditional philosophy). He concluded that all philosophical differences were merely linguistic and most were ultimately meaningless. But at about the time that young Ludwig Wittgenstein began absorbing these desperate ideas (1905), Boltzmann himself under the influence of Franz Brentano seemed (...) to assume a type of representationalism about the external physical world, while in his own mind adopting it for pragmatic reasons. Why? Because “it worked”. He seems to have defended his non-representationalist Bildtheorie on similar grounds, but his suicide followed shortly (1906). (shrink)

Karl Popper developed a theory of deductive logic in the late 1940s. In his approach, logic is a metalinguistic theory of deducibility relations that are based on certain purely structural rules. Logical constants are then characterized in terms of deducibility relations. Characterizations of this kind are also called inferential definitions by Popper. In this paper, we expound his theory and elaborate some of his ideas and results that in some cases were only sketched by him. Our focus is on Popper's (...) notion of duality, his theory of modalities, and his treatment of different kinds of negation. This allows us to show how his works on logic anticipate some later developments and discussions in philosophical logic, pertaining to trivializing connectives, the duality of logical constants, dual-intuitionistic logic, the conservativeness of language extensions, the existence of a bi-intuitionistic logic, the non-logicality of minimal negation, and to the problem of logicality in general. (shrink)

This paper concerns the semantics of belief-sentences. I pass over ontologically lavish theories which appeal to impossible worlds, or other points of reference which contain more than possible worlds. I then refute ontologically stingy, quotational theories. My own theory employs the techniques of possible worlds semantics to elaborate a Fregean analysis of belief-sentences. In a belief-sentence, the embedded clause does not have its usual reference, but refers rather to its own semantic structure. I show how this theory can accommodate quantification (...) into belief-contexts. I close with skirmishes against the threat posed by the Liar Paradox. (shrink)

Explication usually plays the role of the method of language revision. The paper sticks to the Carnapian project of explication and develops some of the formal requirements imposed on the explicatum. However, it departs from Carnap’s view when it comes to how to construe the simplicity condition. It is suggested that in some cases the simplicity condition, which in the Carnapian project plays the derived role with respect to the other three conditions—the similarity, exactness, and fruitfulness conditions—may be substantive for (...) the overall evaluation of explications. Based on a case study of three different explications of the H-D concept of confirmation :391–437, 1991; Erkenntnis 41:183–188, 1994; Gemes in Philos Sci 60:477–487, 1993; Erkenntnis 49:1–20, 1998; Sprenger in Philos Compass 6:497–508, 2011), we show that there are cases where competing explicata of a common explicandum satisfy the first three conditions equally well. In those cases, then, the simplicity condition is supposed to make the difference. However, instead of using Carnap’s construal of simplicity, we suggest a Principle of instrumental simplicity according to which, ceteris paribus, the simpler the explicatum is, the more likely is its ‘survival’ in competition with other explicata. Moreover, it is suggested that whereas the similarity, exactness and fruitfulness conditions are, in some sense, formal criteria, the simplicity condition is rather tested empirically. (shrink)

Everyone knows what David Lewis' possible worlds are, what role they play in his account of possibility and necessity, and Saul Kripke's criticisms. But what, instead, are Kripke's possible worlds, and what role do they play in his account of possibility and necessity? The answers are not so obvious. Recently, it has even been claimed that, contrary to what is standardly assumed, Kripke's approach to modality has not always been consistently metaphysical. In particular, an interpretation of the famous passage in (...) the preface to Naming and Necessity with Kripke's discussion of the dice example has been put forward, according to which he purports there to clarify the modal notions in terms of that of possible world, model-theoretically construed, in a way which is reminiscent of Carnap's. In this paper, I shall point out some internal difficulties of this interpretation, and offer a different one, according to which in the dice passage Kripke is trying, consistently with his metaphysical approach, to legitimize the technically useful notion of possible world starting from modal notions, to be accounted for in another way (arguably, in an essentialistic framework). My final goal, however, will be philosophical elucidation rather than mere exegesis. Indeed, I am interested in shedding some light on what possible worlds might possibly be, if something like Kripke's metaphysical approach is on the right track. (shrink)

In a seminal paper of 1923 on vagueness, Bertrand Russell discussed some of the most important problems concerning the nature of vagueness, its extension within the language, and its relation to truth and logic. The present paper inquires into Russell's theory. The following topics will be analysed and discussed in turn in sections 1?5: Russell's definition of vagueness; his claim that all phrases are vague; his theory of the source of the vagueness in our language; his principles for the transmission (...) of vagueness; and his claim that logic is incompatible with vagueness. This paper is an attempt to give a rational reconstruction of Russell's position as expressed in his paper. Compatible passages in other of his works are also studied. (shrink)

“Flat pre-semantics” lets each parameter of truth (etc.) be considered sepa-rately and equally, and without worrying about grammatical complications. This allows one to become a little clearer on a variety of philosophical-logical points, such as the use fulness of Carnapian tolerance and the deep relativity of truth. A more definite result of thinking in terms of flat pre-semantics lies in the articulation of some instructive ways of categorizing operations on meanings in purely logical terms in relation to various parame- ters (...) of truth (etc.); namely, closing vs. leaving open, local vs. translocal, and anchored vs. unanchored. Basic relations among these categories are established. (shrink)

This is part I of a two-part essay introducing case-intensional first order logic, an easy-to-use, uniform, powerful, and useful combination of first-order logic with modal logic resulting from philosophical and technical modifications of Bressan’s General interpreted modal calculus. CIFOL starts with a set of cases; each expression has an extension in each case and an intension, which is the function from the cases to the respective case-relative extensions. Predication is intensional; identity is extensional. Definite descriptions are context-independent terms, and lambda-predicates (...) and -operators can be introduced without constraints. These logical resources allow one to define, within CIFOL, important properties of properties, viz., extensionality and absoluteness, Bressan’s chief innovation that allows tracing an individual across cases without recourse to any notion of “rigid designation” or “trans-world identity.” Thereby CIFOL abstains from incorporating any metaphysical principles into the quantificational machinery, unlike extant frameworks of quantified modal logic. We claim that this neutrality makes CIFOL a useful tool for discussing both metaphysical and scientific arguments involving modality and quantification, and we illustrate by discussing in diagrammatic detail a number of such arguments involving the extensional identification of individuals via absolute properties, essential properties, de re vs. de dicto, and the results of possible tests. (shrink)

This paper follows Part I of our essay on case-intensional first-order logic (CIFOL; Belnap and Müller (2013)). We introduce a framework of branching histories to take account of indeterminism. Our system BH-CIFOL adds structure to the cases, which in Part I formed just a set: a case in BH-CIFOL is a moment/history pair, specifying both an element of a partial ordering of moments and one of the total courses of events (extending all the way into the future) that that moment (...) is part of. This framework allows us to define the familiar Ockhamist temporal/modal connectives, most notably for past, future, and settledness. The novelty of our framework becomes visible in our discussion of substances in branching histories, i.e., in its first-order part. That discussion shows how the basic idea of tracing an individual thing from case to case via an absolute property is applicable in a branching histories framework. We stress the importance of keeping apart extensionality and moment-definiteness, and give a formal account of how the specification of natural sortals and natural qualities turns out to be a coordination task in BH-CIFOL. We also provide a detailed answer to Lewis’s well-known argument against branching histories, exposing the fallacy in that argument. (shrink)

This is part I of a two-part essay introducing case-intensional first order logic, an easy-to-use, uniform, powerful, and useful combination of first-order logic with modal logic resulting from philosophical and technical modifications of Bressan’s General interpreted modal calculus. CIFOL starts with a set of cases; each expression has an extension in each case and an intension, which is the function from the cases to the respective case-relative extensions. Predication is intensional; identity is extensional. Definite descriptions are context-independent terms, and lambda-predicates (...) and -operators can be introduced without constraints. These logical resources allow one to define, within CIFOL, important properties of properties, viz., extensionality and absoluteness, Bressan’s chief innovation that allows tracing an individual across cases without recourse to any notion of “rigid designation” or “trans-world identity.” Thereby CIFOL abstains from incorporating any metaphysical principles into the quantificational machinery, unlike extant frameworks of quantified modal logic. We claim that this neutrality makes CIFOL a useful tool for discussing both metaphysical and scientific arguments involving modality and quantification, and we illustrate by discussing in diagrammatic detail a number of such arguments involving the extensional identification of individuals via absolute properties, essential properties, de re vs. de dicto, and the results of possible tests. (shrink)

According to the standard opinions in the literature, blocking the unacceptable consequences of the notorious slingshot argument requires imposing constraints on the metaphysics of facts or on theories of definite descriptions (or class abstracts). This paper argues that both of these well-known strategies to rebut the slingshot overshoot the mark. The slingshot, first and foremost, raises the question as to the adequate logical formalization of statements about facts, i.e. of factual contexts. It will be shown that a rigorous application of (...) Quine’s maxim of shallow analysis to formalizations of factual contexts paves the way for an account of formalizing such contexts which blocks the slingshot without ramifications for theories of facts or definite descriptions. (shrink)

I argue that the project of naturalizing intentionality is misconceived. Intentionality should not be considered as a challenge to our naturalistic world-view, but rather as something which gives rise to a logical problem: how to save the principle of indiscernibility of identicals from apparent counterexamples arising from intensional discourse.