6 research outputs found
Recommended from our members
Essentialism and quantified modal logic : Quine\u27s argument and Kripke\u27s semantics.
Recommended from our members
Stalnaker and Field on truth and intentionality.
In a series of publications, Robert Stalnaker and Hartry Field have undertaken a dispute about what is the correct way to explain intentionality naturalistically. Field wishes to assimilate mental intentionality to linguistic intentionality and to explain both kinds of intentionality using Tarskian truth theory plus the causal theory of reference. Stalnaker wishes to subsume mental intentionality under the notion of indication and to explain it on the model of measurement theory, leaving linguistic intentionality to be explained derivatively. I attempt to adjudicate their dispute, paying particular attention to the question whether Tarskian truth theory has a role to play in explaining intentionality naturalistically. The first half of the dissertation examines Tarski\u27s theory. I argue that Field and Stalnaker are incorrect when they agree that Tarski\u27s reduction of the notion of truth is defective and I explain Tarski\u27s \u27structural\u27 notion of truth. In the second half of the dissertation, I argue that Stalnaker\u27s criticisms of Field mostly do not stand up to scrutiny, but that Field\u27s theory is unsatisfactory nonetheless; I also argue that certain criticisms of Stalnaker do more damage than he thinks. I conclude that neither has solved \u27the problem of intentionality\u27, but that Stalnaker is right that truth theory as such will not have a role in the correct solution
Variables
Variables is a project at the intersection of the philosophies of language and logic. Frege, in the Begriffsschrift, crystalized the modern notion of formal logic through the first fully successful characterization of the behaviour of quantifiers. In Variables, I suggest that the logical tradition we have inherited from Frege is importantly flawed, and that Frege's move from treating quantifiers as noun phrases bearing word-world connection to sentential operators in the guise of second-order predicates leaves us both philosophically and technically wanting
The problem of non-existents
Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/43856/1/11245_2004_Article_BF00157548.pd
Semantics of Temporal Indexicals
The thesis investigates the formal semantics of temporal indexical expressions in English.
Examples of such expressions include now, tomorrow and last year.
In the past, research has concentrated on instances of such expressions which have two
major properties. These indexicals are sensitive to extralinguistic context, and while they
do possess descriptive meaning, that meaning does not appear within the propositions
which correspond to utterances of the sentences which contain the indexicals.
The thesis argues that this line of research has neglected a significant body of natural
language evidence in which indexicals display rather different behaviour. We term indexicals
from the first group unbound, and indexicals from the second group bound. Given
these two domains of indexical evidence, the thesis sets out to achieve three primary aims.
The first aim is to provide a formal semantic representation of both bound and unbound
indexicals which systematically relates them, while distinguishing them from non-indexical
expressions. To establish this aim, we informally investigate the relationship between the
two types of indexical, and propose a unifying generalisation. This generalisation is then
embedded within an existing but novel semantic system, due to Richards, called IQ. IQ is
an interval-based semantics for tenses and temporal quantifiers in English which makes use
of double-indexing. IQ must be modified so as to properly accommodate indexicals. With a
new representation in hand, we demonstrate that the thesis can adequately treat both types
of indexical occurrence.
The second aim of the thesis is to assess the effects of the incorporation of the two types
of indexical on the semantic entities of IQ. The propositions of IQ already include two
major types: value free and value specific. Using the new representation of indexicals, the
thesis shows that there are further varieties of the value free proposition. These propositions
are then compared with Kaplan's contents, Frege's thoughts and Russell's propositions.
The final aim is to establish a rigorous formulation of a fragment of the version of IQ
derived in the thesis. Given this formulation, it is possible to assess its position relative to
a landmark in the logic of indexicals. Using mathematical techniques, the thesis proves
that the tense operators and indexical operators of the final version of IQ have particular
properties which distinguish them from those in other indexical logics also based on
double-indexing