SOPhiA 2018

Salzburgiense Concilium Omnibus Philosophis Analyticis

SOPhiA ToolsDE-pageEN-page

Programme - Talk

Tense and Logicality
(Logic, English)

This paper is about time and logicality: which tense-operator, if any, is logical? Tarski proposal is that logicality can be captured by invariance under arbitrary permutations of objects of the universe. The first part of the paper will show how to extend standard invariance criterions for logicality to tense operators, looking at transformations of times. It will be shown what tense operators are logical, under this extended conception of invariance. The second part of the paper is an indirect defence of the first part. MacFarlane (2000) proposed an argument against the invariance test: for him, the test is too exclusive, since he defends the logicality of tense operators sensitive to the ordering of times, like the past or the future operator. I will defend the plausibility of the results of the first section, against MacFarlane's contention. I will show that any theory that makes such operators logical will distort the set of logical truths, making them sensitive to some physical/metaphysical aspects of time, like its density, infinity or linearity. This is not acceptable, if one wants to keep logic "topic-neutral". I will back up my claim, by exploring different accounts of logical truths, following Etchemendy's (1990) distinction between "interpretational" and "representational" accounts of models. In both accounts, theories like MacFarlane's tend to overgenerate logical truths. This gives indirect support to standard invariance theories.

Chair: Tobias Koch
Time: 15:20-15:50, 14 September 2018 (Friday)
Location: SR 1.006

Marco Grossi 
(University of St Andrews, Uk)

Marco Grossi, MPhil Candidate at University of St Andrews.

Testability and Meaning deco