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)

Propositions represent the entities from which they are formed. This fact has puzzled philosophers and some have put forward radical proposals in order to explain it. This paper develops a primitivist account of the representational properties of propositions that centers on the operation of application. As we will see, this theory wins out over its competitors on grounds of strength, systematicity and unifying power.

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)

According to act theories, propositions are structured cognitive act‐types. Act theories appear to make propositions inherently representational and truth‐evaluable, and to provide solutions to familiar problems with alternative theories, including Frege’s and Russell’s problems, and the third‐realm and unity problems. Act theories have critical problems of their own, though: acts as opposed to their objects are not truth evaluable, not structured in the right way, not expressed by sentences, and not the objects of propositional attitudes. I show how identifying propositions (...) with other cognitive event‐types, namely thoughts, has the perceived virtues of act theories without the defects. (shrink)

The paper reviews the central components of the cognitive theory of propositions and explains both its empirical advantages for theories of language and mind and its foundational metaphysical and epistemological advantages over other theories. It then answers a leading objection to the theory, before closing by raising the issue of how questions, which are the contents of interrogative sentences, and directives, which are the contents of imperative sentences, are related to propositions.