Correção: o link correto é https://meet.google.com/yjz-ayex-wen .
Em seg., 5 de jul. de 2021 às 08:00, Bruno Lopes <br...@ic.uff.br> escreveu: > Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de > Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de > convidar a todos a participarem do Seminário "Lógicos em Quarentena". > Trata-se de um seminário remoto com apresentações informais por membros da > comunidade e espaço para perguntas no fim. As apresentações usualmente são > gravadas e disponibilizadas na página do evento http://lq.sbl.org.br (com > a agenda completa). > > Data: 08 de julho de 2021 (quinta-feira) > Horário: 14:00h GMT-3 > Apresentador: Tero Tulenheimo (CNRS-STL & Université de Lille) > Título: Objects and Modalities > Resumo: I describe a generalization of possible world semantics, called > ‘world line semantics’. The approach is the result of my critical > assessment of ideas initially proposed by Hintikka in 1960s. Crucially, I > recognize worlds and links between world-bound objects (world lines, > individuals) as mutually independent aspects of modal semantics. The two > factors are indeed independent: even if one describes worlds in the > minutest detail, one will not have even touched the question of which > individuals are defined over those worlds. A basic set of local objects is > postulated. Worlds partition this set in one way, world lines in another > way. The framework is motivated philosophically, by viewing a structure of > world lines as a precondition of modal talk. The framework allows even > providing a uniform analysis of quantification over individuals (physical > objects) and objects of thought (intentional objects). What is proposed is > a radically new paradigm in modal semantics. The adopted understanding of > individuals is diametrically opposed to Kripke’s and Kaplan’s popular > views; their notions of rigid designator and direct reference are > predicated on the assumption that literally one and the same thing can > itself reside in various worlds. If attention is confined to a single > temporally extended world, then individuals (world lines) in my sense are > four-dimensional like individuals in Lewis’s sense and local objects are > time-bound like temporal parts of individuals are according to Lewis. > However, according to Lewis, any difference between two worlds is grounded > in differences in their local qualities, and counterpart relations between > denizens of distinct worlds are supervenient on world-internal qualitative > considerations (Humean supervenience). My position is explicitly > antithetical to such a view, given the mutual independence of worlds and > world lines—local features of a context cannot give rise to anything that > presupposes cross-context identity. > A apresentação ocorrerá pelo Google Meet através do link público > http://meet.google.com/mmp-nuvx-xby . > > -- > Bruno Lopes > Professor Adjunto > Instituto de Computação > Universidade Federal Fluminense > http://www.ic.uff.br/~bruno > -- Bruno Lopes Professor Adjunto Instituto de Computação Universidade Federal Fluminense http://www.ic.uff.br/~bruno -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAD-Wq09AgXuUKVNJw%2BD-DveqRS8CqRiii19DyFp5uVkdL2dBVw%40mail.gmail.com.
