It is widely held that propositions are structured entities. In The Nature and Structure of Content (2007), Jeff King argues that the structure of propositions is none other than the syntactic structure deployed by the speaker/hearers who linguistically produce and consume the sentences that express the propositions. The present paper generalises from King’s position and claims that syntax provides the best in-principle account of propositional structure. It further seeks to show, however, that the account faces severe problems pertaining to the (...) fine individuation of propositions that the account entails. The ‘fineness of cut’ problem has been raised by Collins (The unity of linguistic meaning, 2007) and others. King (Philos Stud 163(3):763–781, 2013) responds to these complaints in ways this paper rebuts. Thus, the very idea of structured propositions is brought into doubt, for the best in-principle account of such structure appears to fail. (shrink)

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)

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)

Carnap’s seminal ‘Empiricism, Semantics and Ontology’ makes important use of the notion of a framework and the related distinction between internal and external questions. But what exactly is a framework? And what role does the internal/external distinction play in Carnap’s metaontology? In an influential series of papers, Matti Eklund has recently defended a bracingly straightforward interpretation: A Carnapian framework, Eklund says, is just a natural language. To ask an internal question, then, is just to ask a question in, say, English. (...) To try to ask an external question is to try, absurdly, to ask a question in no language at all. Finding that so trivial an I/e distinction can’t help to explain Carnap’s deflationary metaontology, Eklund is led to attribute to Carnap a view he calls ontological pluralism. In this paper, I show that Eklund misreads Carnap, and I argue that this misreading obscures fundamental features of Carnap’s philosophy. I then defend an account of frameworks as what Carnap called semantical systems, and I place this account in the context of Carnap’s philosophical program of explication. Finally, I discuss the role that frameworks and the I/e distinction play in ESO, showing that ESO provides no reason to attribute the doctrine of ontological pluralism to Carnap. (shrink)

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)

In this paper, I investigate whether we can use a world-involving framework to model the epistemic states of non-ideal agents. The standard possible-world framework falters in this respect because of a commitment to logical omniscience. A familiar attempt to overcome this problem centers around the use of impossible worlds where the truths of logic can be false. As we shall see, if we admit impossible worlds where “anything goes” in modal space, it is easy to model extremely non-ideal agents that (...) are incapable of performing even the most elementary logical deductions. A much harder, and considerably less investigated challenge is to ensure that the resulting modal space can also be used to model moderately ideal agents that are not logically omniscient but nevertheless logically competent. Intuitively, while such agents may fail to rule out subtly impossible worlds that verify complex logical falsehoods, they are nevertheless able to rule out blatantly impossible worlds that verify obvious logical falsehoods. To model moderately ideal agents, I argue, the job is to construct a modal space that contains only possible and non-trivially impossible worlds where it is not the case that “anything goes”. But I prove that it is impossible to develop an impossible-world framework that can do this job and that satisfies certain standard conditions. Effectively, I show that attempts to model moderately ideal agents in a world-involving framework collapse to modeling either logical omniscient agents, or extremely non-ideal agents. (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 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)

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)