ABSTRACT Act-based theories of content hold that propositions are identical to acts of predication that we perform in thought and talk. To undergo an occurrent thought with a particular content is just to perform the act of predication that individuates that content. But identifying the content of a thought with the performance of an act of predication makes it difficult to explain the intentionality of bouletic mental activity, like wanting and desiring. In this paper, I argue that this difficulty is (...) insurmountable: the contents of occurrent desires cannot be determined by acts of predication. (shrink)

Jeffrey King, Scott Soames, and others have recently challenged the familiar identification of a Russellian proposition, such as the proposition that Brutus stabbed Caesar, with an ordered sequence constructed out of objects, properties, and relations. There is, as they point out, a surplus of candidate sequences available that are each equally serviceable. If so, any choice among these candidates will be arbitrary. In this paper, I show that, unless a controversial assumption is made regarding the nature of nonsymmetrical relations, none (...) of the proffered candidate sequences are in fact adequate to the play the role. Moreover, as I argue, the most promising alternative theory of relations—one that avoids the problematic assumption and, in addition, fits most naturally into the sequentialist’s framework—fails to meet a basic requirement: it cannot distinguish between the proposition that Brutus stabbed Caesar and the proposition that Caesar stabbed Brutus. The upshot is that the conspicuously structured entities that are widely assumed to be up to the task of “playing the proposition role” shed no light on the very structure they are invoked to represent. (shrink)

We propose a formal framework to examine the relationship between models and observations. To make our analysis precise,models are reduced to first-order theories that represent both terminological knowledge – e.g., the laws that are supposed to regulate the domain under analysis and that allow for explanations, predictions, and simulations – and assertional knowledge – e.g., information about specific entities in the domain of interest. Observations are introduced into the domain of quantification of a distinct first-order theory that describes their nature (...) and their organization and takes track of the way they are experimentally acquired or intentionally elaborated. A model mainly represents the theoretical knowledge or hypotheses on a domain, while the theory of observations mainly represents the empirical knowledge and the given experimental practices. We propose a precise identity criterion for observations and we explore different links between models and observations by assuming a degree of independence between them. By exploiting some techniques developed in the field of social choice theory and judgment aggregation, we sketch some strategies to solve inconsistencies between a given set of observations and the assumed theoretical hypotheses. The solutions of these inconsistencies can impact both the observations – e.g., the theoretical knowledge and the analysis of the way observations are collected or produced may highlight some unreliable sources – and the models – e.g. empirical evidences may invalidate some theoretical laws. (shrink)

Many philosophers believe in things, propositions, which are the things that we believe, assert etc., and which are the contents of sentences. The act-type theory of propositions is an attempt to say what propositions are, to explain how we stand in relations to them, and to explain why they are true or false. The core idea of the act-type theory is that propositions are types of acts of predication. The theory is developed in various ways to offer explanations of the (...) important properties of propositions. I present the core idea of the theory, and some developments of it. I discuss the relationship between the theory and the content–force distinction. I also present an important type of objection that has been raised to the explanations offered by the act-type theory. (shrink)

ABSTRACT In recent work, Scott Soames has declared that we need a new conception of propositions to overcome critical objections to traditional theories of semantics and propositional attitudes. Propositions must be cognitive to account for their inherent intentionality, structure, and epistemic accessibility, and to overcome Frege’s and Russell’s problems. I have previously worked out a foundational semantics in which cognitive propositions are what sentences express. My objective in this paper is to identify some of the limitations of Soames’s theory, and (...) show how they can be overcome within the cognitive framework. Soames’s conception of propositions is needlessly encumbered by identifying them with acts rather than objects. Soames has not fully exploited the possibilities opened up by embracing cognitive propositions, and is still too attached to Russellian propositions and Millian semantics. As a result, his conception of the constituents of propositions is untenable, and his semantics still faces Frege’s and Russell’s problem, which are easily avoidable with the resources of cognitive propositions. Soames was led astray by a mistaken assumption about transparent attitude reports. (shrink)

The theory that structured propositions are complex act-types has been independently articulated by Peter Hanks and Scott Soames. The present paper argues that the role of the act in such theories is supererogatory, for the individuation conditions of the act-based propositions remain wholly at the level of concepts and their formal combination, features which the traditional structured proposition theorist endorses. Thus, it is shown that the traditional problems for structured propositions are only ameliorable on the act conception by appeal to (...) the very resources of the traditional conception. It is also shown that the act theories have no act-based account of quantification and other operator-involving relations. An elementary account of propositions is sketched, after Fodor, which retains the virtues of the traditional structural conception without falling into ’Platonism’. (shrink)