Dugundji proved in 1940 that most parts of standard modal systems cannot be characterized by a single finite deterministic matrix. In the eighties, Ivlev proposed a semantics of four-valued non-deterministic matrices, in order to characterize a hierarchy of weak modal logics without the necessitation rule. In a previous paper, we extended some systems of Ivlev’s hierarchy, also proposing weaker six-valued systems in which the axiom was replaced by the deontic axiom. In this paper, we propose even weaker systems, by eliminating (...) both axioms, which are characterized by eight-valued non-deterministic matrices. In addition, we prove completeness for those new systems. It is natural to ask if a characterization by finite ordinary logical matrices would be possible for all those Ivlev-like systems. We will show that finite deterministic matrices do not characterize any of them. (shrink)

The Logics of Deontic (In)Consistency (LDI's) can be considered as the deontic counterpart of the paraconsistent logics known as Logics of Formal (In)Consistency. This paper introduces and studies new LDI's and other paraconsistent deontic logics with different properties: systems tolerant to contradictory obligations; systems in which contradictory obligations trivialize; and a bimodal paraconsistent deontic logic combining the features of previous systems. These logics are used to analyze the well-known Chisholm's paradox, taking profit of the fact that, besides contradictory obligations do (...) not trivialize in LDI's, several logical dependencies of classical logic are blocked in the context of LDI's, allowing to dissolve the paradox. (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 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)

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 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 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)

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)

Dugundji proved in 1940 that most parts of standard modal systems cannot be characterized by a single finite deterministic matrix. In the eighties, Ivlev proposed a semantics of four-valued non-deterministic matrices (which he called quasi-matrices), in order to characterize a hierarchy of weak modal logics without the necessitation rule. In a previous paper, we extended some systems of Ivlev’s hierarchy, also proposing weaker six-valued systems in which the (T) axiom was replaced by the deontic (D) axiom. In this paper, we (...) propose even weaker systems, by eliminating both axioms, which are characterized by eight-valued non-deterministic matrices. In addition, we prove completeness for those new systems. It is natural to ask if a characterization by finite ordinary (deterministic) logical matrices would be possible for all those Ivlev-like systems. We will show that finite deterministic matrices do not characterize any of them. (shrink)

C’est à Maurolic, et non à Dominis, comme l’ont dit certains auteurs, que, selon nous, Descartes doit quelques éléments de son explication de l’arc- en-ciel, en particulier l’idée du rôle fondamental et de la position relative générale du soleil et des gouttes d’eau.Mais cette théorie, magistrale application de la Méthode, porte surtout la marque du génie cartésien par la forme mathématique que prennent les résultats des expériences.Lies physiciens cartésiens la reproduisirent. Malebranche l’élargit sous l’influence de Huygens et de Newton, (...) et l’exprima en termes d’optique ondulatoire. (shrink)

This study empirically tests a sequential mediation model that links ethical leadership with employees’ unethical behaviour. The corruption index for countries is used as the moderator, because it represents both the instrumental ethical climate and the employee displacement of responsibility embedded in society’s ethical standards. A total of 175 participants comprising 41 teams (134 dyads) across 13 countries participated in a dyadic two-wave survey. The findings show that ethical leadership has an indirect influence on the avoidance of unethical behaviour by (...) reducing the instrumental ethical climate and by negating the displacement of individuals’ responsibility. In addition, the results also show that this process is not sensitive to the countries’ corruption levels. Such findings suggest that organizations are less prone to adjust their ethical standards to the environment than is usually expected. Accordingly, ethical leaders of MNCs may be instrumental in counteracting any corruptive pressure in the social environment, and likewise, non-ethical leaders may be a contributing factor to fostering corrupt organizations in a society that otherwise values ethical principles in business. (shrink)

Comparing Averroes' and Hegel's positions on the relation between philosophy and religion, this book explores the relation between faith and reason in a medieval Islamic and a modern Christian context. Through an in-depth analysis of Averroes' and Hegel's views on philosophical and religious language and method, Belo presents new insights into their perspectives on the relation between philosophical knowledge and religious knowledge. In addition to discussing the parallels and differences of their positions, Belo explores particular works which have not yet (...) been analysed by modern scholarship. (shrink)

The called Middle Ages was a time marked by the outbreak of resistance movements which had as main and common characteristic the opposition to the stance adopted by the Roman Catholic Church during this period of history. The target of this research is to identify the main features of the clergy in this period, as well as identify what were these resistance movements and their theological basis. The method adopted here is to search for bibliographical material, establishing as the main (...) base, notably the writings of the theologian José Comblin, who produced vast material on this issue. As result of this work, it could be detected that these movements occurred in a profuse way. Over that, it was also evident in this search result that power centralization, enrichment and inattention to the reality of the poor, all these outstanding features in the behavior of the Catholic Church in the period were elements that constituted the main cause of the outbreak of such movements. (shrink)

En contrepoint à son œuvre mathématique et physique — et en relation avec elle — d'Alembert a développé une théorie de la connaissance influencée par Locke et le sensualisme de Condillac, mais centrée avant tout sur une épistémologie de la physique newtonienne. Réaliste, prônant le recours à l'expérience, il est en même temps profondément rationaliste, et même précisément, quoiqu'il s'en défende plutôt, dans la lignée de Descartes, Mais, bien que la Raison soit sa référence fondamentale, à tel point qu'il voudrait (...) fonder sur ses principes les plus évidents toute la science physico-mathématique — c'est-à-dire par excellence la Mécanique —, son programme ne peut être dit cartésien : non seulement il rejette les idées innées, mais il accepte la critique d'une rationalité apparente requise par la considération de faits irréductibles (l'attraction par exemple). Son épistémologie est un réalisme rationnel référé à l'être même de la Nature (la Raison et la Nature se rejoignent en profondeur). C'est en fonction de ces conceptions qu'il accepte ou rejette certaines notions physiques soit ambiguës, soit incertaines. Son rejet du concept de force comme celui de la considération d'une texture intime des corps semblent en faire, par le refus de ce qui ne serait pas directement mesurable, l'annonciateur du positivisme de Laplace et de Comte : une telle interprétation serait inexacte, et d'Alembert considère que la pensée peut parvenir à la connaissance du réel. Si ses conceptions s'élaborent en contrepoint de son activité scientifique, c'est en même temps en lutte et polémique contre la métaphysique, au sein de son engagement philosophique — il est tête de file, avec Voltaire, du « parti philosophique » — et notamment dans l'Encyclopédie. Bien qu'il se réfère, comme Newton, à une Intelligence suprême à l'œuvre dans l'Univers, il n'est pas déiste et affiche bientôt une position sceptique. Sa recherche et son affirmation de l'autonomie des lois de la Nature sont a-thées au sens privatif qui annonce Laplace. Il s'oppose au matérialisme de d'Holbach ou Helvétius, mais il se rapproche peu à peu — et notamment vers 1765, sans doute sous l'influence de Diderot qui rédigea vers cette époque Le rêve de d'Alembert et avec qui il venait de renouer — d'un matérialisme dynamique : mais, ce matérialisme, il ne le professe qu'en privé (essentiellement dans sa correspondance avec Frédéric de Prusse). L'âme est matérielle, et si « le plus simple raisonnement prouve qu'il y a un être éternel » , ce Dieu est matériel, il « n'est que la matière en tant qu'intelligente » , ce qui rejoint la définition du matérialisme donnée par Diderot dans l'Encyclopédie. Toutefois, refusant de se prononcer sur l'en-soi des choses, et sur la nature de la matière elle-même, comme de se définir métaphysiquement, son matérialisme tardif est encore marqué de scepticisme. (shrink)

L'œuvre de Cassirer nous offre une vision pluraliste du XVIIIe siècle. Sous cet éclairage, Rousseau redevient citoyen de Genève et Bayle le banni de Rotterdam, le cartésianisme se fait principalement hollandais et Voltaire l'interprète de Newton. Pour Cassirer, le XVIIIe siècle est ce foisonnement convergent qui rompt les frontières nationales comme les frontières de langues, de classes ou de disciplines. Dans cette brillante synthèse, Cassirer s'emploie à balayer les poncifs. Certes, le XVIIIe siècle politique, mais il est aussi un (...) grand siècle religieux : celui de la lutte contre l'intolérance et la superstition, celui, surtout, de l'élaboration des fondements de la foi. Siècle qui marque la naissance de l'esprit historique, le XVIIIe siècle a le sens de la relativité des valeurs. Enfin, il est le siècle de l'esthétique : toute théorie de l'art en viendra. (shrink)

Research has demonstrated that policing is a stressful occupation and has a negative impact on police officers’ mental and physical health, performance, and interactions with citizens. Mental health at the workplace has become a concern due to the costs of depression, anxiety, burnout, and even suicide, which is high among police officers.To ameliorate occupational health, it is crucial therefore to identify stress and burnout levels on a regular basis. However, the instruments frequently used to measure stress have not valorized the (...) specificity of policing tasks. This study aims: i) conducting a literature review, to identify questionnaires used to assess occupational stress and burnout among police officers; ii) to analyze the psychometric characteristics of a Portuguese version of Operational Police Stress Questionnaire (PSQ-Op); and, using the PSQ-op and other questionnaires, iii) to identify operational stress, burnout, and distress levels among Portuguese police officers. The literature review identified 108 studies, which use a multiplicity of questionnaires to measure burnout or occupational stress among police officers, but few studies use specific police stress questionnaires. Sample sizes were mostly below 500 participants and studies were mainly developed in the last decade in the USA and Brazil, but also in another 24 countries, showing the extent of the interest in this topic. This study applied to 2057 police officers from National Portuguese Police, a force policing urban centers, the PSQ-Op, as well the Spanish Burnout Inventory and the Kessler Psychological Distress Scale.The results show that the psychometric properties of the Portuguese version of PSQ-Op are adequate. Factorial analysis revealed two dimensions defined as social and work issues, which were associated with measures of distress and burnout.Fit indices suggested a second-order solution called operational police stress. Overall, and considering the scale range of each questionnaire, the results showed moderate values of operational stress, distress, and burnout. However, considering their cut-off points, 85% of the sample presented high operational stress levels, 11% critical values for burnout, and 28% high distress levels, with 55% of the sample at risk of psychological disorder. These results reinforce the need to prevent stress and to invest in police officers’ occupational health. (shrink)

O recrutamento de diplomatas pelo Ministério dos Negócios Estrangeiros português é levado a cabo por intermédio de um concurso público. O formato desse concurso tem variado ao longo do tempo. Muito pouco é conhecido quanto à progressão diacrónica desse formato. Parece, no entanto, haver um consenso geral tácito de que os Concursos não são transparentes, e um artigo recente assevera-o explicitamente no que diz respeito ao período do Estado Novo. O presente estudo mostra que, pelo contrário – pelo menos ao (...) nível do enquadramento legal a que estão sujeitos – os concursos têm vindo a evoluir lentamente na direcção de uma cada vez maior abertura. Mostra também em que sentido tais representações são compreensíveis, uma vez que o design geral do concurso mantém claros traços que apontam claramente na direcção de uma “reprodução simples” do “corpo” de funcionários que visa recrutar. Os concursos são assim encarados enquanto um rito cívico complexo de iniciação que tem sobrevivido tant bien que mal no quadro de um Estado moderno. (shrink)

Provability, Computability and Reflection.

How does our understanding of what it means to be rational affect our interpretation of the world around us? ... Essayists discuss the nature and extent of rationality - its content, focus, and the intrinsic guidelines for using the term "rational" when describing persons or actions. The distinguished contributors to this collection include Max Black, Steven J. Brams, James H. Bunn, Christopher Cherniak, Murray Clarke, Marjorie Clay, Paul Diesing, Antony Flew, John T. Kearns, D. Mark Kilgour, Hilary Kornblith, Charles H. (...) Lambros, Duncan MacIntosh, Alistair MacLeod, Robert G. Meyers, Erwin Segal, Zeno G. Swijtink, Brice R. Wachterhauser, and Paul Weirich. (shrink)

How is it possible that beginning from the negation of rational thoughts one comes to produce knowledge? This problem, besides its intrinsic interest, acquires a great relevance when the representation of a knowledge is settled, for example, on data and automatic reasoning. Many treatment ways have been tried, as in the case of the non-monotonic logics; logics that intend to formalize an idea of reasoning by default, etc. These attempts are incomplete and are subject to failure. A possible solution would (...) be to formulate a logic of the irrational, which offers a model for reasoning permitting to support contradictions as well as to produce knowledge from such situations. An intuition underlying the foundation of such a logic consists of the da Costa's paraconsistent logics presenting however, a different deduction theory and a whole distinct semantics, called here "the semantics of possible translations". The present proposing, following our argumentation, intends to enlight all this question, by a whole satisfactory logical point of view, being practically applicable and philosophically acceptable.Como é possível que a partir da negação do racional se possa obter conhecimento adicional? Esse problema, além de seu interesse intrínseco, adquire uma relevância adicional quando o encontramos na representação do conhecimento em bases de dados e raciocínio automático, por exemplo. Nesse caso, diversas tentativas de tratamento têm sido propostas, como as lógicas não-monotônicas, as lógicas que tentam formalizar a ideia do raciocínio por falha . Tais tentativas de solução, porém, são falhas e incompletas; proponho que uma solução possível seria formular uma lógica do irracional, que oferecesse um modelo para o raciocínio permitindo não só suportar contradições, como conseguir obter conhecimento, a partir de tais situações. A intuição subjacente à formulação de tal lógica são as lógicas paraconsistentes de da Costa, mas com uma teoria da dedução diferente e uma semântica completamente distinta . Tal proposta, como pretendo argumentar, fornece um enfoque para a questão que é ao mesmo tempo completamente satisfatório, aplicável do ponto de vista prático e aceitável do ponto de vista filosófico. (shrink)

[1] Man and spirit: the speculative philosophers.--[2] Man and man: the social philosophers.--[3] Man and the state: the political philosophers.--[4] Man and the universe: the philosophers of science.

O objetivo do meu artigo consiste na defesa de três princípios morais que caracterizam o que chamo de moral mínima. Esses três princípios não se referem ao conteúdo veiculado em cada jogo de linguagem moral, ou seja, eles não legitimam diretamente o uso de determinados predicados morais no interior de um jogo de linguagem moral, mas dizem respeito às condições que regulam e caracterizam o jogo de linguagem moral. Esses três princípios cumprem a função de determinar se um jogo de (...) linguagem é ou não um jogo moral. Se esses três princípios compuserem a rede de princípios que caracterizam o jogo moral, será possível sustentar uma moral mínima, conforme a qual é possível identificar e, posteriormente, condenar as atitudes ou ações que não podem se configurar como um jogo de linguagem moral. (shrink)

Using a prototype approach, we assessed people’s lay conceptions of intuition and analysis. Open-ended descriptions of intuition and analysis were generated by participants (Study 1) and resulting exemplars were sorted into features subsequently rated in centrality by independent participants (Study 2). Feature centrality was validated by showing that participants were quicker and more accurate in classifying central (as compared to peripheral) features (Study 3). Centrality ratings suggested a single-factor structure describing analysis but revealed that participants held lay conceptions of intuition (...) as involving two different types of processes: (1) as an automatic, affective, and non-logical processing, and (2) as a holistic processing that can assist in problem-solving. Additional analyses showed that the centrality ratings of intuition’s facets were predicted by participants’ self-reported intuitive style, suggesting intuition is differently perceived by intuitive and non-intuitive people. We discuss the implications of these results for the study of intuition and analysis. (shrink)