Trying to overcome Dugundji’s result on uncharacterisability of modal logics by finite logical matrices, Kearns and Ivlev proposed, independently, a characterisation of some modal systems by means of four-valued multivalued truth-functions , as an alternative to Kripke semantics. This constitutes an antecedent of the non-deterministic matrices introduced by Avron and Lev . In this paper we propose a reconstruction of Kearns’s and Ivlev’s results in a uniform way, obtaining an extension to another modal systems. The first part of the paper (...) is devoted to four-valued Nmatrices, including Kearns’s and Ivlev’s. Besides proving with full details Kearns’s results for T, S4 and S5, we also obtain a characterisation of the system B by four-valued Nmatrices with level valuations. Concerning Ivlev’s results, two new modal systems are introduced and char.. (shrink)

In 1940 Dugundji proved that no system between S1 and S5 can be characterized by finite matrices. Dugundji’s result forced the development of alternative semantics, in particular Kripke’s relational semantics. The success of this semantics allowed the creation of a huge family of modal systems. With few adaptations, this semantics can characterize almost the totality of the modal systems developed in the last five decades. This semantics however has some limits. Two results of incompleteness showed that not every modal logic (...) can be characterized by Kripke frames. Besides, the creation of non-classical modal logics puts the problem of characterization of finite matrices very far away from the original scope of Dugundji’s result. In this sense, we will show how to update Dugundji’s result in order to make precise the scope and the limits of many-valued matrices as semantic of modal systems. A brief comparison with the useful Chagrov and Zakharyaschev’s criterion of tabularity for modal logics is provided. (shrink)

In the first part of this paper we analyzed finite non-deterministic matrix semantics for propositional non-normal modal logics as an alternative to the standard Kripke possible world semantics. This kind of modal system characterized by finite non-deterministic matrices was originally proposed by Ju. Ivlev in the 70s. The aim of this second paper is to introduce a formal non-deterministic semantical framework for the quantified versions of some Ivlev-like non-normal modal logics. It will be shown that several well-known controversial issues of (...) quantified modal logics, relative to the identity predicate, Barcan’s formulas and de re and de dicto modalities, can be tackled from a new angle within the present framework. (shrink)

In this note, an error in the axiomatization of Ivlev’s modal system Sa+ which we inadvertedly reproduced in our paper “Finite non-deterministic semantics for some modal systems”, is fixed. Additionally, some axioms proposed in were slightly modified. All the technical results in which depend on the previous axiomatization were also fixed. Finally, the discussion about decidability of the level valuation semantics initiated in is taken up. The error in Ivlev’s axiomatization was originally pointed out by H. Omori and D. Skurt (...) in the paper “More modal semantics without possible worlds”, where an alternative solution was proposed. (shrink)

In this paper we introduce non-normal modal extensions of the sub-classical logics CLoN, CluN and CLaN, in the same way that S0.5 0 extends classical logic. The first modal system is both paraconsistent and paracomplete, while the second one is paraconsistent and the third is paracomplete. Despite being non-normal, these systems are sound and complete for a suitable Kripke semantics. We also show that these systems are appropriate for interpreting □ as “is provable in classical logic”. This allows us to (...) recover the theorems of propositional classical logic within three sub-classical modal systems. (shrink)

In this paper we explore the connections between the monadic second-order theory of one successor (MSO[<] for short) and the theories of ?-layered structures for time granularity. We first prove that the decision problem for MSO[<] and that for a suitable first-order theory of the upward unbounded layered structure are inter-reducible. Then, we show that a similar result holds for suitable chain variants of the MSO theory of the totally unbounded layered structure (this allows us to solve some decision problems (...) about theories of time granularity left open by Franceschet et al. [FRA 06]). (shrink)

In view of the limitations of classical, free, and modal logics to deal with fictional names, we develop in this paper a four-valued logical framework that we see as a promising strategy for modeling contexts of reasoning in which those names occur. Specifically, we propose to evaluate statements in terms of factual and fictional truth values in such a way that, say, declaring ‘Socrates is a man’ to be true does not come down to the same thing as declaring ‘Sherlock (...) Holmes is a man’ to be so. As a result, our framework is capable of representing reasoning involving fictional characters that avoids evaluating statements according to the same semantic standards. The framework encompasses two logics that differ according to alternative ways one may interpret the relationships among the factual and fictional truth values. (shrink)

Este relato apresenta recorte da experiência de estágio supervisionado de História no Colégio de Aplicação da Universidade Federal de Santa Catarina (UFSC), em 2018, na turma 2B do ensino médio. De modo específico, trata da metodologia utilizada nas aulas para debater sobre o período da Primeira República no Brasil (1889-1930). Tal metodologia foi centrada no trabalho com diferentes fontes: o samba enredo da escola Imperatriz Leopoldinense, Liberdade! Liberdade! Abra as asas sobre nós (1989); o Hino da Proclamação da República e (...) a pintura (1890), A Redenção de Cam (1895). Essas obras foram utilizadas para compreender determinado contexto histórico, do auge do pensamento racialista na esfera pública e representativo de um projeto de nação que se pretendia branca. A experiência de interpretar as referidas fontes permitiu compreender o contexto de transição entre o império e a república e questionar ideias internalizadas que se apresentam como naturais em relação a cultura afro-brasileira na história do Brasil. (shrink)

Le vicomte Théodore Hersart de La Villemarqué a longtemps été accusé d’avoir inventé de toutes pièces les chansons arthuriennes qui apparaissent dans son recueil de chants populaires de la Bretagne, le Barzaz-Breiz. Cet article tente de mettre en évidence les restaurations effectuées par le collecteur sur ces chants arthuriens et de montrer le rôle joué par certains pourvoyeurs de « chansons nouvelles ». Viscount Théodore Hersart de La Villemarqué was accused of fabricating the Arthurian songs collected in his Barzaz-Breiz, the (...) first famous collection of popular songs from Brittany published in the 19th century. This paper aims to demonstrate how the editor actually rewrote the texts and to shed some light on La Villemarqué’s relationships with the persons who gave him access to these “new songs”. (shrink)

Intentionality plays a fundamental part in human social interactions and we know that interpretation of behaviours of conspecifics depends on the intentions underlying them. Most of the studies on intention attribution were undertaken with primates. However, very little is known on this topic in animals more distantly related to humans such as birds. Three hand-reared African grey parrots were tested on their ability to understand human intentional actions. The subjects’ attention was not equally distributed across the conditions and their behavioural (...) pattern also changed depending on the condition: the parrots showed more requesting behaviours when the experimenter was unwilling to give them seeds, and bit the wire mesh more that represented the obstacle when the experimenter was trying to give them food. For the first time we showed that a bird species, like primates, may be sensitive to behavioural cues of a human according to his intentions. Keywords: Grey parrots; intention attribution; theory of mind. (shrink)