Jack Copeland
"Prior, Translational Semantics, and the 'Smiley Barrier'"
14:15 - 15:00
Prior, Translational Semantics, and the 'Smiley Barrier',
Jack Copeland, University of Canterbury, New Zealand.
ABSTRACT:
Prior, Translational Semantics, and the 'Smiley Barrier',
Jack Copeland, University of Canterbury, New Zealand.
ABSTRACT:
Peter Øhrstrøm
"Prior's Peircean Inspiration"
David Jakobsen
"Prior and Scientia Media"
16:00 - 16:45
Prior and Scientia Media
David Jakobsen, Aalborg University, Denmark.
ABSTRACT: Arthur Norman Prior's work on the problem of divine omniscience and human freedom launched a debate when Luis De Molina's theory of scientia media was revived in the 1970s and introduced into the controversy. It was a debate in which Prior did not live to participate. Nevertheless, Prior already knew about scientia media at the beginning of the 1940s and criticised it in an article on the Westminster Confession. Previous views on scientia media are treated here in light of his work on an Ockhamistic model for the contingent future, and they are compared to a Molinistic model of the true future. Finally, it is argued that Prior's rejection of scientia media is in line with his views on what he had already termed in the 1940s as 'real freedom.'
Prior and Scientia Media
David Jakobsen, Aalborg University, Denmark.
ABSTRACT: Arthur Norman Prior's work on the problem of divine omniscience and human freedom launched a debate when Luis De Molina's theory of scientia media was revived in the 1970s and introduced into the controversy. It was a debate in which Prior did not live to participate. Nevertheless, Prior already knew about scientia media at the beginning of the 1940s and criticised it in an article on the Westminster Confession. Previous views on scientia media are treated here in light of his work on an Ockhamistic model for the contingent future, and they are compared to a Molinistic model of the true future. Finally, it is argued that Prior's rejection of scientia media is in line with his views on what he had already termed in the 1940s as 'real freedom.'
anp_scientia_media.pptx | |
File Size: | 2061 kb |
File Type: | pptx |
Torben Braüner
"Prior's Egocentric Logic: With an Application to Psychological False-Belief Tests"
16:45 - 17:30
Prior's Egocentric Logic: With an Application to Psychological False-Belief Tests
Torben Braüner, Roskilde University (RUC), Denmark
ABSTRACT: "I begin by giving a brief description of Prior's egocentric logic and its connection to hybrid logic. I then show how a hybrid-logical proof system can be used to formalize the so-called Sally-Anne task which is used in cognitive psychology to test childrens theory of mind. Giving a correct answer to the Sally-Anne task requires a shift from one's own perspective to another perspective (time or person). This perspective shift can be handled directly in hybrid logic by letting points in a model represent perspectives. I finish by making some remarks about the connection to childrens development of language, and also, second-order false-belief tests."
Prior's Egocentric Logic: With an Application to Psychological False-Belief Tests
Torben Braüner, Roskilde University (RUC), Denmark
ABSTRACT: "I begin by giving a brief description of Prior's egocentric logic and its connection to hybrid logic. I then show how a hybrid-logical proof system can be used to formalize the so-called Sally-Anne task which is used in cognitive psychology to test childrens theory of mind. Giving a correct answer to the Sally-Anne task requires a shift from one's own perspective to another perspective (time or person). This perspective shift can be handled directly in hybrid logic by letting points in a model represent perspectives. I finish by making some remarks about the connection to childrens development of language, and also, second-order false-belief tests."