Our topic for Spring 2018 will be Formal Frameworks for Semantics and Pragmatics. We’ll be investigating a range of questions in semantics and/or pragmatics which involve or are relevant to the choice between different kinds of overall structure for theories in these areas.
In most sessions, the members of the seminar will receive a week in advance, copies of recent work, or work in progress from a thinker at another university. After reading this work, students discuss it with one of the instructors on the day before the colloquium. Then at the Tuesday colloquium, the instructors give a summary review and raise criticisms or questions about the work. The author responds to these, and also to questions from the audience.
Meetings
The main seminar meetings are on Tuesday from 4-7, in the second floor seminar room of the Philosophy Department. Additionally, there will be a supplementary meeting open to all students participating in the seminar (whether enrolled or not) on Mondays from 4-5, in the same location in the fifth-floor seminar room.
This seminar is open to all interested parties.
There is a googlegroups mailing list for the class. If you want to receive announcements, please add yourself to that list. (To be able to access the mailing list’s web interface, you’ll need to log into Google’s systems using an identity Google recognizes, like a Gmail address, or a NYU email address because of how NYU’s authentication systems are connected to Google. But there’s no real need to see the mailing list’s web interface. You just need some email address to be added to list, then any messages we send to the list will get forwarded to all the email addresses then registered on the list. If you want us to add an address to the list that you can’t log into Google’s systems with, just send us a message with the address you want registered.)
Schedule and Papers
Papers will be posted here as they become available. Some may be password-protected; the password will be distributed in class.
- 23 Jan
- Introductory session (no meeting on Monday 22 Jan), Jim’s handoutSome people asked for more background reading. Here are two useful textbooks: Heim & Kratzer, then von Fintel & Heim. Here is a survey article about different treatments of pronoun anaphora. Here is a course page with links to more reading.
- 30 Jan
- Jim Pryor (NYU, web, mail), “De Jure Codesignation“
- 6 Feb
- Mandy Simons (CMU, web, mail), “Convention, Intention, and the Conversational Record” and (with Kevin Zollman) “Natural Conventions and the Semantics/Pragmatics Divide“(Mandy is also speaking in the NYPL on Monday 5 Feb at 6:30.)
- 13 Feb
- Paul Pietroski (Rutgers, mail), “Semantic Typology and Composition” (minor updates posted on Friday 9 Feb at 1:06 AM).
- 20 Feb
- Karen Lewis (Columbia/Barnard, web, mail), “Anaphora and Negation” and “Discourse dynamics, pragmatics, and indefinites“
- 27 Feb
- Daniel Rothschild (UCL, web, mail), “A Trivalent Approach to Anaphora and Presupposition” and (with Matt Mandelkern) “Projection from Situations“(Daniel is also speaking in the NYPL on Monday 26 Feb at 6:30.)
- 6 Mar
- John Hawthorne (USC, mail), (with Cian Dorr) Selections from If… : A Theory of Conditionals
- 13 Mar
- Spring Break
- 20 Mar
- Lucas Champollion (NYU, web, mail), (with Dylan Bumford and Robert Henderson) “Donkeys under discussion”
Lucas suggests that readers who are short on time might skip or skim section 6, which is exclusively devoted to discussion of previous work. - 27 Mar
- Matthew Mandelkern (Oxford, web, mail), “Bounded Modality“
- 3 Apr
- Paolo Santorio (UC-San Diego, web, mail), “Conditional Excluded Middle in Expressivist Semantics” (primary) and “Nonclassical counterfactuals” (secondary)
- 10 Apr
- Una Stojnić (Columbia, web, mail), “Discourse and Argument“
- 17 Apr
- Seth Yalcin (UC-Berkeley, web, mail), “Conditional Belief and Conditional Assertion” and “Notes on iffy knowledge“
- 24 Apr
- Stephen Schiffer (NYU, web, mail), “When Meaning Meets Vagueness (Accommodating Vagueness in Semantics and Metasemantics)” (revised 20 April)
- 1 May
- Maria Aloni (ILLC and Philosophy/Amsterdam, web, mail), “FC disjunction in state-based semantics“(Maria is also speaking in the NYPL on Monday 30 Apr at 6:30.)
We’re a community of philosophers of language centered in New York City. We have a meeting each week at which a speaker presents a piece of their own work relating to the philosophy of language.
28 January
Luca Incurvati (ILLC/Amsterdam)
4 February
Dan Hoek (NYU)
11 February
Peter Klecha (Swarthmore)
25 February
Ginger Schultheis (NYU/Chicago) and
David Boylan (Rutgers)
4 March
Chris Tancredi (Keio University, Tokyo)
11 March
TBD
25 March
Yael Sharvit (UCLA)
1 April
Thony Gillies (Rutgers)
8 April
Yale Weiss (CUNY)
15 April
Friederike Moltmann (CNRS)
22 April
Amir Anvari (Institut Jean Nicod, ENS)
29 April
David Balcarras (MIT)
6 May
Nadine Theiler (ILLC, Amsterdam)
13 May
Valentine Hacquard (Maryland)
Our topic for Spring 2018 will be Formal Frameworks for Semantics and Pragmatics. We’ll be investigating a range of questions in semantics and/or pragmatics which involve or are relevant to the choice between different kinds of overall structure for theories in these areas.
In most sessions, the members of the seminar will receive a week in advance, copies of recent work, or work in progress from a thinker at another university. After reading this work, students discuss it with one of the instructors on the day before the colloquium. Then at the Tuesday colloquium, the instructors give a summary review and raise criticisms or questions about the work. The author responds to these, and also to questions from the audience.
Meetings
The main seminar meetings are on Tuesday from 4-7, in the second floor seminar room of the Philosophy Department. Additionally, there will be a supplementary meeting open to all students participating in the seminar (whether enrolled or not) on Mondays from 4-5, in the same location in the fifth-floor seminar room.
This seminar is open to all interested parties.
There is a googlegroups mailing list for the class. If you want to receive announcements, please add yourself to that list. (To be able to access the mailing list’s web interface, you’ll need to log into Google’s systems using an identity Google recognizes, like a Gmail address, or a NYU email address because of how NYU’s authentication systems are connected to Google. But there’s no real need to see the mailing list’s web interface. You just need some email address to be added to list, then any messages we send to the list will get forwarded to all the email addresses then registered on the list. If you want us to add an address to the list that you can’t log into Google’s systems with, just send us a message with the address you want registered.)
Schedule and Papers
Papers will be posted here as they become available. Some may be password-protected; the password will be distributed in class.
- 23 Jan
- Introductory session (no meeting on Monday 22 Jan), Jim’s handoutSome people asked for more background reading. Here are two useful textbooks: Heim & Kratzer, then von Fintel & Heim. Here is a survey article about different treatments of pronoun anaphora. Here is a course page with links to more reading.
- 30 Jan
- Jim Pryor (NYU, web, mail), “De Jure Codesignation“
- 6 Feb
- Mandy Simons (CMU, web, mail), “Convention, Intention, and the Conversational Record” and (with Kevin Zollman) “Natural Conventions and the Semantics/Pragmatics Divide“(Mandy is also speaking in the NYPL on Monday 5 Feb at 6:30.)
- 13 Feb
- Paul Pietroski (Rutgers, mail), “Semantic Typology and Composition” (minor updates posted on Friday 9 Feb at 1:06 AM).
- 20 Feb
- Karen Lewis (Columbia/Barnard, web, mail), “Anaphora and Negation” and “Discourse dynamics, pragmatics, and indefinites“
- 27 Feb
- Daniel Rothschild (UCL, web, mail), “A Trivalent Approach to Anaphora and Presupposition” and (with Matt Mandelkern) “Projection from Situations“(Daniel is also speaking in the NYPL on Monday 26 Feb at 6:30.)
- 6 Mar
- John Hawthorne (USC, mail), (with Cian Dorr) Selections from If… : A Theory of Conditionals
- 13 Mar
- Spring Break
- 20 Mar
- Lucas Champollion (NYU, web, mail), (with Dylan Bumford and Robert Henderson) “Donkeys under discussion”
Lucas suggests that readers who are short on time might skip or skim section 6, which is exclusively devoted to discussion of previous work. - 27 Mar
- Matthew Mandelkern (Oxford, web, mail), “Bounded Modality“
- 3 Apr
- Paolo Santorio (UC-San Diego, web, mail), “Conditional Excluded Middle in Expressivist Semantics” (primary) and “Nonclassical counterfactuals” (secondary)
- 10 Apr
- Una Stojnić (Columbia, web, mail), “Discourse and Argument“
- 17 Apr
- Seth Yalcin (UC-Berkeley, web, mail), “Conditional Belief and Conditional Assertion” and “Notes on iffy knowledge“
- 24 Apr
- Stephen Schiffer (NYU, web, mail), “When Meaning Meets Vagueness (Accommodating Vagueness in Semantics and Metasemantics)” (revised 20 April)
- 1 May
- Maria Aloni (ILLC and Philosophy/Amsterdam, web, mail), “FC disjunction in state-based semantics“(Maria is also speaking in the NYPL on Monday 30 Apr at 6:30.)
We’re a community of philosophers of language centered in New York City. We have a meeting each week at which a speaker presents a piece of their own work relating to the philosophy of language.
28 January
Luca Incurvati (ILLC/Amsterdam)
4 February
Dan Hoek (NYU)
11 February
Peter Klecha (Swarthmore)
25 February
Ginger Schultheis (NYU/Chicago) and
David Boylan (Rutgers)
4 March
Chris Tancredi (Keio University, Tokyo)
11 March
TBD
25 March
Yael Sharvit (UCLA)
1 April
Thony Gillies (Rutgers)
8 April
Yale Weiss (CUNY)
15 April
Friederike Moltmann (CNRS)
22 April
Amir Anvari (Institut Jean Nicod, ENS)
29 April
David Balcarras (MIT)
6 May
Nadine Theiler (ILLC, Amsterdam)
13 May
Valentine Hacquard (Maryland)
Our topic for Spring 2018 will be Formal Frameworks for Semantics and Pragmatics. We’ll be investigating a range of questions in semantics and/or pragmatics which involve or are relevant to the choice between different kinds of overall structure for theories in these areas.
In most sessions, the members of the seminar will receive a week in advance, copies of recent work, or work in progress from a thinker at another university. After reading this work, students discuss it with one of the instructors on the day before the colloquium. Then at the Tuesday colloquium, the instructors give a summary review and raise criticisms or questions about the work. The author responds to these, and also to questions from the audience.
Meetings
The main seminar meetings are on Tuesday from 4-7, in the second floor seminar room of the Philosophy Department. Additionally, there will be a supplementary meeting open to all students participating in the seminar (whether enrolled or not) on Mondays from 4-5, in the same location in the fifth-floor seminar room.
This seminar is open to all interested parties.
There is a googlegroups mailing list for the class. If you want to receive announcements, please add yourself to that list. (To be able to access the mailing list’s web interface, you’ll need to log into Google’s systems using an identity Google recognizes, like a Gmail address, or a NYU email address because of how NYU’s authentication systems are connected to Google. But there’s no real need to see the mailing list’s web interface. You just need some email address to be added to list, then any messages we send to the list will get forwarded to all the email addresses then registered on the list. If you want us to add an address to the list that you can’t log into Google’s systems with, just send us a message with the address you want registered.)
Schedule and Papers
Papers will be posted here as they become available. Some may be password-protected; the password will be distributed in class.
- 23 Jan
- Introductory session (no meeting on Monday 22 Jan), Jim’s handoutSome people asked for more background reading. Here are two useful textbooks: Heim & Kratzer, then von Fintel & Heim. Here is a survey article about different treatments of pronoun anaphora. Here is a course page with links to more reading.
- 30 Jan
- Jim Pryor (NYU, web, mail), “De Jure Codesignation“
- 6 Feb
- Mandy Simons (CMU, web, mail), “Convention, Intention, and the Conversational Record” and (with Kevin Zollman) “Natural Conventions and the Semantics/Pragmatics Divide“(Mandy is also speaking in the NYPL on Monday 5 Feb at 6:30.)
- 13 Feb
- Paul Pietroski (Rutgers, mail), “Semantic Typology and Composition” (minor updates posted on Friday 9 Feb at 1:06 AM).
- 20 Feb
- Karen Lewis (Columbia/Barnard, web, mail), “Anaphora and Negation” and “Discourse dynamics, pragmatics, and indefinites“
- 27 Feb
- Daniel Rothschild (UCL, web, mail), “A Trivalent Approach to Anaphora and Presupposition” and (with Matt Mandelkern) “Projection from Situations“(Daniel is also speaking in the NYPL on Monday 26 Feb at 6:30.)
- 6 Mar
- John Hawthorne (USC, mail), (with Cian Dorr) Selections from If… : A Theory of Conditionals
- 13 Mar
- Spring Break
- 20 Mar
- Lucas Champollion (NYU, web, mail), (with Dylan Bumford and Robert Henderson) “Donkeys under discussion”
Lucas suggests that readers who are short on time might skip or skim section 6, which is exclusively devoted to discussion of previous work. - 27 Mar
- Matthew Mandelkern (Oxford, web, mail), “Bounded Modality“
- 3 Apr
- Paolo Santorio (UC-San Diego, web, mail), “Conditional Excluded Middle in Expressivist Semantics” (primary) and “Nonclassical counterfactuals” (secondary)
- 10 Apr
- Una Stojnić (Columbia, web, mail), “Discourse and Argument“
- 17 Apr
- Seth Yalcin (UC-Berkeley, web, mail), “Conditional Belief and Conditional Assertion” and “Notes on iffy knowledge“
- 24 Apr
- Stephen Schiffer (NYU, web, mail), “When Meaning Meets Vagueness (Accommodating Vagueness in Semantics and Metasemantics)” (revised 20 April)
- 1 May
- Maria Aloni (ILLC and Philosophy/Amsterdam, web, mail), “FC disjunction in state-based semantics“(Maria is also speaking in the NYPL on Monday 30 Apr at 6:30.)
We’re a community of philosophers of language centered in New York City. We have a meeting each week at which a speaker presents a piece of their own work relating to the philosophy of language.
28 January
Luca Incurvati (ILLC/Amsterdam)
4 February
Dan Hoek (NYU)
11 February
Peter Klecha (Swarthmore)
25 February
Ginger Schultheis (NYU/Chicago) and
David Boylan (Rutgers)
4 March
Chris Tancredi (Keio University, Tokyo)
11 March
TBD
25 March
Yael Sharvit (UCLA)
1 April
Thony Gillies (Rutgers)
8 April
Yale Weiss (CUNY)
15 April
Friederike Moltmann (CNRS)
22 April
Amir Anvari (Institut Jean Nicod, ENS)
29 April
David Balcarras (MIT)
6 May
Nadine Theiler (ILLC, Amsterdam)
13 May
Valentine Hacquard (Maryland)
Our topic for Spring 2018 will be Formal Frameworks for Semantics and Pragmatics. We’ll be investigating a range of questions in semantics and/or pragmatics which involve or are relevant to the choice between different kinds of overall structure for theories in these areas.
In most sessions, the members of the seminar will receive a week in advance, copies of recent work, or work in progress from a thinker at another university. After reading this work, students discuss it with one of the instructors on the day before the colloquium. Then at the Tuesday colloquium, the instructors give a summary review and raise criticisms or questions about the work. The author responds to these, and also to questions from the audience.
Meetings
The main seminar meetings are on Tuesday from 4-7, in the second floor seminar room of the Philosophy Department. Additionally, there will be a supplementary meeting open to all students participating in the seminar (whether enrolled or not) on Mondays from 4-5, in the same location in the fifth-floor seminar room.
This seminar is open to all interested parties.
There is a googlegroups mailing list for the class. If you want to receive announcements, please add yourself to that list. (To be able to access the mailing list’s web interface, you’ll need to log into Google’s systems using an identity Google recognizes, like a Gmail address, or a NYU email address because of how NYU’s authentication systems are connected to Google. But there’s no real need to see the mailing list’s web interface. You just need some email address to be added to list, then any messages we send to the list will get forwarded to all the email addresses then registered on the list. If you want us to add an address to the list that you can’t log into Google’s systems with, just send us a message with the address you want registered.)
Schedule and Papers
Papers will be posted here as they become available. Some may be password-protected; the password will be distributed in class.
- 23 Jan
- Introductory session (no meeting on Monday 22 Jan), Jim’s handoutSome people asked for more background reading. Here are two useful textbooks: Heim & Kratzer, then von Fintel & Heim. Here is a survey article about different treatments of pronoun anaphora. Here is a course page with links to more reading.
- 30 Jan
- Jim Pryor (NYU, web, mail), “De Jure Codesignation“
- 6 Feb
- Mandy Simons (CMU, web, mail), “Convention, Intention, and the Conversational Record” and (with Kevin Zollman) “Natural Conventions and the Semantics/Pragmatics Divide“(Mandy is also speaking in the NYPL on Monday 5 Feb at 6:30.)
- 13 Feb
- Paul Pietroski (Rutgers, mail), “Semantic Typology and Composition” (minor updates posted on Friday 9 Feb at 1:06 AM).
- 20 Feb
- Karen Lewis (Columbia/Barnard, web, mail), “Anaphora and Negation” and “Discourse dynamics, pragmatics, and indefinites“
- 27 Feb
- Daniel Rothschild (UCL, web, mail), “A Trivalent Approach to Anaphora and Presupposition” and (with Matt Mandelkern) “Projection from Situations“(Daniel is also speaking in the NYPL on Monday 26 Feb at 6:30.)
- 6 Mar
- John Hawthorne (USC, mail), (with Cian Dorr) Selections from If… : A Theory of Conditionals
- 13 Mar
- Spring Break
- 20 Mar
- Lucas Champollion (NYU, web, mail), (with Dylan Bumford and Robert Henderson) “Donkeys under discussion”
Lucas suggests that readers who are short on time might skip or skim section 6, which is exclusively devoted to discussion of previous work. - 27 Mar
- Matthew Mandelkern (Oxford, web, mail), “Bounded Modality“
- 3 Apr
- Paolo Santorio (UC-San Diego, web, mail), “Conditional Excluded Middle in Expressivist Semantics” (primary) and “Nonclassical counterfactuals” (secondary)
- 10 Apr
- Una Stojnić (Columbia, web, mail), “Discourse and Argument“
- 17 Apr
- Seth Yalcin (UC-Berkeley, web, mail), “Conditional Belief and Conditional Assertion” and “Notes on iffy knowledge“
- 24 Apr
- Stephen Schiffer (NYU, web, mail), “When Meaning Meets Vagueness (Accommodating Vagueness in Semantics and Metasemantics)” (revised 20 April)
- 1 May
- Maria Aloni (ILLC and Philosophy/Amsterdam, web, mail), “FC disjunction in state-based semantics“(Maria is also speaking in the NYPL on Monday 30 Apr at 6:30.)
We’re a community of philosophers of language centered in New York City. We have a meeting each week at which a speaker presents a piece of their own work relating to the philosophy of language.
28 January
Luca Incurvati (ILLC/Amsterdam)
4 February
Dan Hoek (NYU)
11 February
Peter Klecha (Swarthmore)
25 February
Ginger Schultheis (NYU/Chicago) and
David Boylan (Rutgers)
4 March
Chris Tancredi (Keio University, Tokyo)
11 March
TBD
25 March
Yael Sharvit (UCLA)
1 April
Thony Gillies (Rutgers)
8 April
Yale Weiss (CUNY)
15 April
Friederike Moltmann (CNRS)
22 April
Amir Anvari (Institut Jean Nicod, ENS)
29 April
David Balcarras (MIT)
6 May
Nadine Theiler (ILLC, Amsterdam)
13 May
Valentine Hacquard (Maryland)
Our topic for Spring 2018 will be Formal Frameworks for Semantics and Pragmatics. We’ll be investigating a range of questions in semantics and/or pragmatics which involve or are relevant to the choice between different kinds of overall structure for theories in these areas.
In most sessions, the members of the seminar will receive a week in advance, copies of recent work, or work in progress from a thinker at another university. After reading this work, students discuss it with one of the instructors on the day before the colloquium. Then at the Tuesday colloquium, the instructors give a summary review and raise criticisms or questions about the work. The author responds to these, and also to questions from the audience.
Meetings
The main seminar meetings are on Tuesday from 4-7, in the second floor seminar room of the Philosophy Department. Additionally, there will be a supplementary meeting open to all students participating in the seminar (whether enrolled or not) on Mondays from 4-5, in the same location in the fifth-floor seminar room.
This seminar is open to all interested parties.
There is a googlegroups mailing list for the class. If you want to receive announcements, please add yourself to that list. (To be able to access the mailing list’s web interface, you’ll need to log into Google’s systems using an identity Google recognizes, like a Gmail address, or a NYU email address because of how NYU’s authentication systems are connected to Google. But there’s no real need to see the mailing list’s web interface. You just need some email address to be added to list, then any messages we send to the list will get forwarded to all the email addresses then registered on the list. If you want us to add an address to the list that you can’t log into Google’s systems with, just send us a message with the address you want registered.)
Schedule and Papers
Papers will be posted here as they become available. Some may be password-protected; the password will be distributed in class.
- 23 Jan
- Introductory session (no meeting on Monday 22 Jan), Jim’s handoutSome people asked for more background reading. Here are two useful textbooks: Heim & Kratzer, then von Fintel & Heim. Here is a survey article about different treatments of pronoun anaphora. Here is a course page with links to more reading.
- 30 Jan
- Jim Pryor (NYU, web, mail), “De Jure Codesignation“
- 6 Feb
- Mandy Simons (CMU, web, mail), “Convention, Intention, and the Conversational Record” and (with Kevin Zollman) “Natural Conventions and the Semantics/Pragmatics Divide“(Mandy is also speaking in the NYPL on Monday 5 Feb at 6:30.)
- 13 Feb
- Paul Pietroski (Rutgers, mail), “Semantic Typology and Composition” (minor updates posted on Friday 9 Feb at 1:06 AM).
- 20 Feb
- Karen Lewis (Columbia/Barnard, web, mail), “Anaphora and Negation” and “Discourse dynamics, pragmatics, and indefinites“
- 27 Feb
- Daniel Rothschild (UCL, web, mail), “A Trivalent Approach to Anaphora and Presupposition” and (with Matt Mandelkern) “Projection from Situations“(Daniel is also speaking in the NYPL on Monday 26 Feb at 6:30.)
- 6 Mar
- John Hawthorne (USC, mail), (with Cian Dorr) Selections from If… : A Theory of Conditionals
- 13 Mar
- Spring Break
- 20 Mar
- Lucas Champollion (NYU, web, mail), (with Dylan Bumford and Robert Henderson) “Donkeys under discussion”
Lucas suggests that readers who are short on time might skip or skim section 6, which is exclusively devoted to discussion of previous work. - 27 Mar
- Matthew Mandelkern (Oxford, web, mail), “Bounded Modality“
- 3 Apr
- Paolo Santorio (UC-San Diego, web, mail), “Conditional Excluded Middle in Expressivist Semantics” (primary) and “Nonclassical counterfactuals” (secondary)
- 10 Apr
- Una Stojnić (Columbia, web, mail), “Discourse and Argument“
- 17 Apr
- Seth Yalcin (UC-Berkeley, web, mail), “Conditional Belief and Conditional Assertion” and “Notes on iffy knowledge“
- 24 Apr
- Stephen Schiffer (NYU, web, mail), “When Meaning Meets Vagueness (Accommodating Vagueness in Semantics and Metasemantics)” (revised 20 April)
- 1 May
- Maria Aloni (ILLC and Philosophy/Amsterdam, web, mail), “FC disjunction in state-based semantics“(Maria is also speaking in the NYPL on Monday 30 Apr at 6:30.)
14.30 – 15.30: Kit Fine: A Truthmaker Semantics for Conditional Imperatives
15.30 – 15.45: Coffee Break
15.45 – 16.45: Friederike Moltmann: Underspecification of Attitudes and Truthmaker
Semantics
16.45-17.00: Coffee Break
17.00 – 18.00: Federico Faroldi: Truthmaker Semantics for Justification Logics – Open
Problems (joint work with Tudor Protopopescu)
18.00-18.15: Coffee Break
18.15 – 19.15: Cian Dorr: Truthmaking in the Object Language
K. Fine: A Truthmaker Semantics for Conditional Imperatives
I provide a truth-maker semantics for conditional imperatives and indicate how it might be extended to other conditional constructions.
F. Moltmann: Underspecification of Attitudes and Truthmaker Semantics
It has been argued that the satisfaction conditions of a desire can be underspecified by the complement clause. This provides support for the view according to which the complement clause gives a partial content of the reported desire, where partial content is formulated in terms of truthmaker theory. In this talk, I will discuss the extent of such underspecification and whether it truly supports a truthmaker-based approach to the content of attitudes.
Optional preparatory reading here.
F. Faroldi: Truthmaker Semantics for Justification Logics – Open Problems
Justification logics are a family of logic where "implicit" modal operators are substituted by explicit terms to get formulas of the form t : A, where t could be evidence, a reason, etc. why A is known, believed, obligatory, etc., thus resulting in an “objectual” approach to modalities. In this talk we explore how to give a truthmaker semantics for justification logics, we provide some philosophical reasons to do so, and note some technical open problems.
Cian Dorr: Truthmaking in the Object Language
I consider a simple language with Boolean connectives, sentential variables and quantifiers binding them, and a connective for propositional identity (‘for it to be the case that … is for it to be the case that …’). Using familiar techniques, the possible-worlds model theory for such a language can be ‘internalised’ to derive a theory stated in the language itself, based on the definition of ‘world-proposition’ as ‘maximal consistent proposition’, and this theory can be shown to follow from the theory that propositions form a complete atomic Boolean algebra. In this paper, I will consider to what extent something similar can be done for Fine’s truthmaker semantics. This will involve looking for a way of picking out a class of special propositions to serve as surrogates for the states, and a binary relation among propositions to serve as a surrogate for the verification relation, and using these definitions to rewrite the metalinguistic definition of a model as theory in the object-language. I will make a start at considering to what extent the axioms of this theory can be derived from an independently natural weakening of the theory that propositions form a complete atomic Boolean algebra.