Douglas Patterson (ed.)
- Published in print:
- 2008
- Published Online:
- September 2010
- ISBN:
- 9780199296309
- eISBN:
- 9780191712272
- Item type:
- book
- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780199296309.001.0001
- Subject:
- Philosophy, Logic/Philosophy of Mathematics
This book shows the way to a proper understanding of the philosophical legacy of the great logician, mathematician, and philosopher Alfred Tarski (1902–983). The contributors are an international ...
More
This book shows the way to a proper understanding of the philosophical legacy of the great logician, mathematician, and philosopher Alfred Tarski (1902–983). The contributors are an international group of scholars, some expert in the historical background and context of Tarski's work, others specializing in aspects of his philosophical development, others more interested in understanding Tarski in the light of contemporary thought. The chapters can be seen as addressing Tarski's seminal treatment of four basic questions about logical consequence. (1) How are we to understand truth, one of the notions in terms of which logical consequence is explained? What is it that is preserved in valid inference, or that such inference allows us to discover new claims to have on the basis of old? (2) Among what kinds of things does the relation of logical consequence hold? (3) Given answers to the first two questions, what is involved in the consequence relationship itself? What is the preservation at work in ‘truth preservation’? (4) Finally, what do truth and consequence so construed have to do with meaning?Less
This book shows the way to a proper understanding of the philosophical legacy of the great logician, mathematician, and philosopher Alfred Tarski (1902–983). The contributors are an international group of scholars, some expert in the historical background and context of Tarski's work, others specializing in aspects of his philosophical development, others more interested in understanding Tarski in the light of contemporary thought. The chapters can be seen as addressing Tarski's seminal treatment of four basic questions about logical consequence. (1) How are we to understand truth, one of the notions in terms of which logical consequence is explained? What is it that is preserved in valid inference, or that such inference allows us to discover new claims to have on the basis of old? (2) Among what kinds of things does the relation of logical consequence hold? (3) Given answers to the first two questions, what is involved in the consequence relationship itself? What is the preservation at work in ‘truth preservation’? (4) Finally, what do truth and consequence so construed have to do with meaning?
Hartry Field
- Published in print:
- 2008
- Published Online:
- May 2008
- ISBN:
- 9780199230747
- eISBN:
- 9780191710933
- Item type:
- chapter
- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780199230747.003.0013
- Subject:
- Philosophy, Logic/Philosophy of Mathematics
This chapter is concerned with the extent to which supervaluation and revision theories can declare that their rules all preserve truth. The extent varies from one such theory to another, but none ...
More
This chapter is concerned with the extent to which supervaluation and revision theories can declare that their rules all preserve truth. The extent varies from one such theory to another, but none can do so entirely, and many actually declare some of their rules not to be truth-preserving. The question is raised whether this makes the theories ‘self-undermining’, and a reason is given why it doesn't. Connections to Gödel's second incompleteness theorem are drawn.Less
This chapter is concerned with the extent to which supervaluation and revision theories can declare that their rules all preserve truth. The extent varies from one such theory to another, but none can do so entirely, and many actually declare some of their rules not to be truth-preserving. The question is raised whether this makes the theories ‘self-undermining’, and a reason is given why it doesn't. Connections to Gödel's second incompleteness theorem are drawn.
Hartry Field
- Published in print:
- 2008
- Published Online:
- May 2008
- ISBN:
- 9780199230747
- eISBN:
- 9780191710933
- Item type:
- chapter
- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780199230747.003.0027
- Subject:
- Philosophy, Logic/Philosophy of Mathematics
Priest has argued that his dialetheic theories declare themselves sound and in this regard are better than non-dialetheic theories. This chapter shows this to be unfounded. Indeed, dialetheic ...
More
Priest has argued that his dialetheic theories declare themselves sound and in this regard are better than non-dialetheic theories. This chapter shows this to be unfounded. Indeed, dialetheic theories cannot on pain of triviality declare modus ponens to be truth-preserving, and those that accept excluded middle declare it not to be. Moreover, Priest's favored dialetheic theories say that modus ponens doesn't preserve truth even when applied to premises we accept. In this respect, they do worse than glut theories in classical logic and weakly classical theories. This however is not a problem for all dialetheic theories.Less
Priest has argued that his dialetheic theories declare themselves sound and in this regard are better than non-dialetheic theories. This chapter shows this to be unfounded. Indeed, dialetheic theories cannot on pain of triviality declare modus ponens to be truth-preserving, and those that accept excluded middle declare it not to be. Moreover, Priest's favored dialetheic theories say that modus ponens doesn't preserve truth even when applied to premises we accept. In this respect, they do worse than glut theories in classical logic and weakly classical theories. This however is not a problem for all dialetheic theories.
Hartry Field
- Published in print:
- 2008
- Published Online:
- May 2008
- ISBN:
- 9780199230747
- eISBN:
- 9780191710933
- Item type:
- chapter
- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780199230747.003.0003
- Subject:
- Philosophy, Logic/Philosophy of Mathematics
This chapter gives an initial discussion of the relation between validity and necessary truth-preservation. It argues that the so-called ‘soundness theorems’ of first order logic are misnamed, and ...
More
This chapter gives an initial discussion of the relation between validity and necessary truth-preservation. It argues that the so-called ‘soundness theorems’ of first order logic are misnamed, and that the soundness of first order logic is not provable (even ‘rule-circularly’) in standard set theory.Less
This chapter gives an initial discussion of the relation between validity and necessary truth-preservation. It argues that the so-called ‘soundness theorems’ of first order logic are misnamed, and that the soundness of first order logic is not provable (even ‘rule-circularly’) in standard set theory.
Hartry Field
- Published in print:
- 2008
- Published Online:
- May 2008
- ISBN:
- 9780199230747
- eISBN:
- 9780191710933
- Item type:
- chapter
- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780199230747.003.0009
- Subject:
- Philosophy, Logic/Philosophy of Mathematics
This chapter deals with classical theories that postulate truth value gluts, especially theories that accept the right-to-left half of the Tarski biconditionals. The duality with gap theories is ...
More
This chapter deals with classical theories that postulate truth value gluts, especially theories that accept the right-to-left half of the Tarski biconditionals. The duality with gap theories is explored, and with it the question of whether the theories are notational variants. It is shown that these theories take modus ponens not to be truth-preserving. Reasons are given why this is not as debilitating as declaring one's axioms untrue. Still, glut theories like gap theories preclude truth from having its usual role in expressing agreement and disagreement.Less
This chapter deals with classical theories that postulate truth value gluts, especially theories that accept the right-to-left half of the Tarski biconditionals. The duality with gap theories is explored, and with it the question of whether the theories are notational variants. It is shown that these theories take modus ponens not to be truth-preserving. Reasons are given why this is not as debilitating as declaring one's axioms untrue. Still, glut theories like gap theories preclude truth from having its usual role in expressing agreement and disagreement.
JC Beall
- Published in print:
- 2005
- Published Online:
- October 2011
- ISBN:
- 9780199288403
- eISBN:
- 9780191700491
- Item type:
- chapter
- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780199288403.003.0005
- Subject:
- Philosophy, Logic/Philosophy of Mathematics
The Generalised Tarski Thesis (GTT) yields classical consequence when its cases are taken to be possible worlds, where possible worlds are complete and consistent with respect to negation. That ...
More
The Generalised Tarski Thesis (GTT) yields classical consequence when its cases are taken to be possible worlds, where possible worlds are complete and consistent with respect to negation. That (classical) precisification of ‘follows from’ is familiar and useful, however, it is not the only sense of ‘follows from’ apparent in English. Another strongly apparent sense of ‘follows from’ takes ‘from’ seriously. There is a sense of ‘follows from’ that is more restrictive than the classical sense; it demands that premises be ‘relevant’ to conclusions. That sense of ‘follows from’ is more restrictive than the classical one: it imposes constraints that go beyond truth-preservation over possible worlds. The constraints, in effect, concern the behaviour of negation. What is required is not only truth-preservation over possible worlds, but truth-preservation over cases that go beyond the constraints of worlds, beyond the constraints of completeness and consistency. The task is to specify such cases, thereby cashing out relevant consequence.Less
The Generalised Tarski Thesis (GTT) yields classical consequence when its cases are taken to be possible worlds, where possible worlds are complete and consistent with respect to negation. That (classical) precisification of ‘follows from’ is familiar and useful, however, it is not the only sense of ‘follows from’ apparent in English. Another strongly apparent sense of ‘follows from’ takes ‘from’ seriously. There is a sense of ‘follows from’ that is more restrictive than the classical sense; it demands that premises be ‘relevant’ to conclusions. That sense of ‘follows from’ is more restrictive than the classical one: it imposes constraints that go beyond truth-preservation over possible worlds. The constraints, in effect, concern the behaviour of negation. What is required is not only truth-preservation over possible worlds, but truth-preservation over cases that go beyond the constraints of worlds, beyond the constraints of completeness and consistency. The task is to specify such cases, thereby cashing out relevant consequence.
Mark Rowlands
- Published in print:
- 2012
- Published Online:
- January 2013
- ISBN:
- 9780199842001
- eISBN:
- 9780199979844
- Item type:
- chapter
- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780199842001.003.0002
- Subject:
- Philosophy, Moral Philosophy, General
Emotions, in the sense relevant to this book, are identified as intentional states that are individuated by their content. The attribution of such states to animals is thought to be problematic. The ...
More
Emotions, in the sense relevant to this book, are identified as intentional states that are individuated by their content. The attribution of such states to animals is thought to be problematic. The problems are identified and resolved in this chapter. A definition of what it is for an emotion to possess moral content is supplied.Less
Emotions, in the sense relevant to this book, are identified as intentional states that are individuated by their content. The attribution of such states to animals is thought to be problematic. The problems are identified and resolved in this chapter. A definition of what it is for an emotion to possess moral content is supplied.
Mark Rowlands
- Published in print:
- 2019
- Published Online:
- May 2019
- ISBN:
- 9780190846039
- eISBN:
- 9780190846060
- Item type:
- chapter
- Publisher:
- Oxford University Press
- DOI:
- 10.1093/oso/9780190846039.003.0004
- Subject:
- Philosophy, Moral Philosophy, Philosophy of Mind
Problems in attributing beliefs to animals stem from the fact that the contents (of beliefs and desires) used in such attribution are anchored to humans. This chapter spells out a de-anchoring ...
More
Problems in attributing beliefs to animals stem from the fact that the contents (of beliefs and desires) used in such attribution are anchored to humans. This chapter spells out a de-anchoring strategy. The result of this is that it can be appropriate to explain the behavior of an animal using contents that only humans can entertain as long as our contents track theirs. That is: (a) the truth of a belief with our content guarantees the truth of their belief, and (b) our belief and theirs share narrow content. This is important not just in the case of animals. There are good reasons for thinking that tracking begins at home. There are no stable belief contents shared by different humans or even attaching to a single human through time. Content must be de-anchored in order to make sense of ourselves as well as other animals.Less
Problems in attributing beliefs to animals stem from the fact that the contents (of beliefs and desires) used in such attribution are anchored to humans. This chapter spells out a de-anchoring strategy. The result of this is that it can be appropriate to explain the behavior of an animal using contents that only humans can entertain as long as our contents track theirs. That is: (a) the truth of a belief with our content guarantees the truth of their belief, and (b) our belief and theirs share narrow content. This is important not just in the case of animals. There are good reasons for thinking that tracking begins at home. There are no stable belief contents shared by different humans or even attaching to a single human through time. Content must be de-anchored in order to make sense of ourselves as well as other animals.