Este texto apresenta um breve histórico da lógica TK, originalmente motivada pelo conceito de operador de consequência de Tarski, a sua adequação segundo os Espaços de Tarski e uma caracterização como uma lógica modal não normal. Como novidade, mostra como interpretar suas fórmulas em polinômios sobre uma TK-álgebra e discorre sobre a decidibilidade algébrica de TK segundo esta interpretação polinomial.

This article is divided into introduction andd three section. In the first section we examine Leibniz’ termini necesitas-possibilitas. In the second section we propose a minimal modal logic, LLM, arise from the addition of modal priciples. Finally in the last section we examine his complex studie towards the interpretation of modal language in the possible worlds. The resulting interplay between the minimal modallogic and the possible worlds perspective is one of the main charms of semantics.

El presente artículo tiene por objeto exponer cómo la lógica modal de Saúl Kripke, abordada principalmente en su libro Naming and Necessity, trata el concepto de propiedad esencial y las falencias o inconsistencias que esto acarrea.

Objetivo de este artículo es dar una idea de la complejidad de los temas tratados por tomas de mercado, dominico del siglo XVI nacido en Sevilla. Se alude a la naturaleza de las proposiciones modales, la relación entre modalidad y temporalidad, las reglas para la equivalencia y oposición entre las proposiciones modales.

En este artículo discuto el supuesto compromiso de la lógica modal cuantificada con el esencialismo. Entre otros argumentos, Quine, el más emblemático de los críticos de la modalidad, ha objetado a la lógica modal cuantificada que ésta se compromete con una doctrina filosófica usualmente considerada sospechosa, el esencialismo: la concepción que distingue, de entre los atributos de una cosa, aquellos que le son esenciales de otros poseidos sólo contingentemente. Examino en qué medida Quine puede tener razón (...) sobre ese punto explorando una analogía entre la lógica modal y la logica clásica de primer orden. Con ello se pretende proporcionar una visión clarificadora sobre el estatus de la lógica modal y su relación con la lógica en general.In this paper I discuss the alleged commitment of quantified modal logic to philosophical essentialism. Besides some other more or less related arguments against quantified modal logic, Quine (its more prominent critic) objects to it by claiming its commitment to a philosophical doctrine usually regarded as suspicious, essentialism: the view that some of the attributes of a thing are essential to it, and others are accidental. I study to what extent Quine can be right about this specific issue. I defend some of his views by exploring an analogy between modal logic and standard first order logic. That serves to get a better understanding of the status of modal logic and its relation with logic in general. (shrink)

According to Etchemendy, in attempting to offer an analysis of the modal features of the intuitive concept of logical consequence, Tarski has committed a modal fallacy. In this paper, I consider the thesis according to it is posible to analyze the modals properties of concept of logical consequence through of a generalization on set-theoretical interpretations. As is known, some philosophers have tried to argue for the transit from the general to the modal by showing that there are (...) enough settheoretic interpretations so as to be able to represent the modal features of the intuitive concept of consequence. As is also known, those people have encountered a lot of difficulties. In the present paper, I will try to show that those problems are related not with the specific possibility of accounting for the modal features by means of a set-theoretic notion of model but with the possibility of coming up with a precise mathematical theory for the concept of interpretation, and, as such, they can be solved by way of appealing to the usual solutions to this problem. (shrink)

info:eu-repo/semantics/publishedVersion.

La lógica modal epistémica estándar se ha constituido en una herramienta realmente útil para los estudiosos interesados en la descripción formal de diferentes nociones epistémicas, tales como las de conocimiento y creencia, que desempeñan un importante papel en muchos estudios ? losó? cos. En este trabajo se muestra cómo el mayor poder expresivo de las modalidades graduadas puede ser utilizado en la lógica epistémica para poder hacer referencia a un tipo de conocimiento que no es siempre absolutamente (...) verdadero, sino que puede admitir excepciones e incertidumbre. (shrink)

La determinación husserliana de la evidencia como cumplimiento [Erfüllung] llevó a una tácita identificación de la evidencia con la conciencia plena. Sin embargo, el desarrollo de su fenomenología revela que en todo caso se presenta como una síntesis particular de plenitud y vacío, configuración que resulta modal por tratarse de una conciencia de posibilidad aunque en un sentido material y no cualitativo. Los Prolegómenos aportan un primer elemento en esta línea –que sólo en la fenomenología genética resulta explícita–: la (...) evidencia como vivencia de la verdad supone que la validez de un enunciado se sustenta en la posibilidad de la existencia de otros enunciados idénticos de la misma forma y materia; con las Investigaciones lógicas, estas multiplicidades posibles serán comprendidas como momentos en un nuevo contexto descriptivo: la mención y el cumplimiento, lo cual otorga estatuto intencional a la objetividad que se configura como escorzo de sentido, esto es, el modo en que la unidad determinada de plenitud y vacío –en cuanto horizonte de cumplimiento posible– conforma la evidencia objetiva.Husserlian determination of evidence as fulfillment [Erfüllung] brought a tacit identification of evidence with full consciousness. However, the development of his phenomenology reveals that it always appears as a particular synthesis of fullness and emptiness, configuration that turns out to be modal because it is a consciousness of possibility though in a material and not qualitative sense. The Prolegomena introduce a first element in this perspective –that only in the genetic phenomenology becomes explicit–: evidence as experience of truth supposes that the validity of a judgment supports itself in the possibility of existence of other identical judgments with the same form and matter; with the Logical Investigations, this possible multiplicities will be understood as moments in a new descriptive context: mention and fulfillment, whereby objectivity –configured as adumbration of sense– acquires intentional status, i. e., the mode in which the determined unity of fullness and emptiness –as horizon of possible fulfillment– shapes objective evidence. (shrink)

Thomas Aquinas maintained that God foreknows future contingent events and that his foreknowledge does not entail that they are necessarily the case. More specifically, he stated that if God knows a future contingent event, this future contingent event will be necessarily the case de sensu composito, but not de sensu diviso. After emphasizing the unified nature of Aquinas’ notion of necessity, we propose an interpretation of his theses by restating them within the framework of non-normal modal logics. In this (...) framework, the K-axiom does not hold, i.e. the necessity operator does not distribute over the material implication. Moreover, assuming that Aquinas rejected the K-axiom is not only consistent, but also leads to a logical framework that allows us to understand other theses maintained by the Doctor Angelicus. In particular, we argue that Aquinas’ remarks on the principle of non-contradiction rest on an impossible worlds semantics for non-normal modal logics. (shrink)

Standard reasoning about Kripke semantics for modal logic is almost always based on a background framework of classical logic. Can proofs for familiar definability theorems be carried out using anonclassical substructural logicas the metatheory? This article presents a semantics for positive substructural modal logic and studies the connection between frame conditions and formulas, via definability theorems. The novelty is that all the proofs are carried out with anoncontractive logicin the background. This sheds light on which modal principles (...) are invariant under changes of metalogic, and provides (further) evidence for the general viability of nonclassical mathematics. (shrink)

Introducción a la lógica moderna es un libro de texto dedicado al estudio de la lógica simbólica elemental. No presupone familiaridad alguna con la lógica, las matemáticas o la filosofía, y se ha hecho un esfuerzo deliberado por adaptarlo a los intereses de estudiantes provenientes de las más diversas disciplinas. Al mismo tiempo, los conceptos centrales son expuestos de una manera precisa y rigurosa, sin ocultar los detalles y problemas técnicos y filosóficos que hacen de la (...) class='Hi'>lógica un área de estudio interesante en sí misma. El libro está dividido en tres partes. La primera se ocupa de la lógica proposicional, la segunda de la lógica de primer orden y la tercera de la lógica modal proposicional. Los tres temas se estudian semánticamente utilizando árboles de verdad, y sintácticamente a través de sistemas de deducción natural. Al final de cada sección hay numerosos ejercicios de práctica, la mitad de los cuales son resueltos en el apéndice. El texto está diseñado para un curso de un año de duración y permite gran flexibilidad en el diseño del mismo. (shrink)

In this note we introduce the variety $${{\mathcal C}{\mathcal D}{\mathcal M}_\square}$$ of classical modal De Morgan algebras as a generalization of the variety $${{{\mathcal T}{\mathcal M}{\mathcal A}}}$$ of Tetravalent Modal algebras studied in [ 11 ]. We show that the variety $${{\mathcal V}_0}$$ defined by H. P. Sankappanavar in [ 13 ], and the variety S of Involutive Stone algebras introduced by R. Cignoli and M. S de Gallego in [ 5 ], are examples of classical modal (...) De Morgan algebras. We give a representation theory, and we study the regular filters, i.e., lattice filters closed under an implication operation. Finally we prove that the variety $${{{\mathcal T}{\mathcal M}{\mathcal A}}}$$ has the Amalgamation Property and the Superamalgamation Property. (shrink)

En este artículo se sintetiza una visión moderna de las lógicas modales y temporales. En vez de dar una motivación histórica, el paper presenta estas lógicas en relación con ciertos fragmentos de la lógica de primer orden que poseen propiedades interesantes. Esta visión de la lógica es seductora porque nos permite diseñar lenguajes a medida, es decir, optimizados para una tarea específica.

Una interpretación particularmente influyente de la teoría de la implicación lógica de Bertrand Russell y Clarence I. Lewis es la propuesta por Quine en su artículo “Reply to Professor Marcus”. Allí Quine sostiene que la lógica modal de Lewis nació en pecado: el pecado de confundir uso con mención, ya que cuando se afirma que una oración implica lógicamente a otra, estas oraciones no están siendo usadas sino mencionadas. Según la interpretación de Quine, Clarence I. Lewis persistió (...) en el error de Russell, que consistió en confundir la implicación material con la implicación lógica, y confundió la implicación estricta con la implicación lógica. Estos ‘pecados’ de Russell y Lewis pueden entenderse mejor si se tiene en cuenta que tanto Lewis como Russell sostienen que los axiomas y los teoremas en un cálculo lógico se usan de dos maneras: (a) como premisas a partir de las cuales se obtienen nuevos teoremas, y (b) como reglas de inferencia mediante las cuales se obtienen nuevos teoremas. En efecto, estos autores suscriben la teoría del doble uso de los principios lógicos que parece originarse en la obra de Peano y que ha sido casi completamente ignorada en la literatura acerca de la historia de la lógica. -/- A particularly influential interpretation of Bertrand Russell’s and Clarence I. Lewis’s theory of logical implication is the one proposed by Quine in his article "Reply to Professor Marcus". In that article Quine argues that Lewis's modal logic was born in sin: the sin of confusing use with mention, since when it is stated that a sentence logically implies another sentence, these sentences are not being used but mentioned. According to Quine's interpretation, Clarence I. Lewis persisted in Russell's error, which consisted in confusing material implication with logical implication, and confused strict implication with logical implication. These 'sins' of Russell and Lewis can be better understood if we take into account that both logicians argue that the axioms and theorems in a logical calculus are used in two ways: (a) as premises from which new theorems are obtained, and (b) as rules of inference by which new theorems are obtained. In fact, these authors subscribe to the theory of the double use of logical principles that seems to originate in Peano's work and that has been almost completely ignored in the literature about the history of logic. (shrink)

En este artículo, presentamos un sistema de lógica modal que permite representar relaciones entre conjuntos o clases de individuos definidos por una propiedad específica. Introducimos dos operadores modales, [a] y, que se utilizan respectivamente para expresar "para todo A" y "existe un A". Tanto la sintaxis como la semántica del sistema tienen dos niveles que evitan el anidamiento del operador modal. La semántica se basa en una variante de la semántica de Kripke, en donde los operadores modales (...) se indexan sobre fórmulas de lógica proposicional (“pre-fórmulas” en el trabajo). Además, presentamos un conjunto de axiomas y reglas que rigen el sistema, y demostramos que el sistema es correcto y completo con relación a los modelos de Kripke. En la sección final del artículo, discutimos posibles trabajos futuros. Consideramos la posibilidad de combinar nuestro operador modal con otras modalidades, como necesidad o conocimiento. Además, como ejemplo de la utilidad de nuestro operador modal, analizamos brevemente la fórmula de Barcan adaptada de manera conveniente dentro del marco de nuestro sistema. En resumen, proponemos la combinación de nuestro operador modal con otros como una forma más simple y compacta, aunque con un menor poder expresivo, para abordar la lógica modal cuantificada. (shrink)

This book marks the inauguration of the Historia Logicae book series, which seeks to publish high-quality monographs, dissertations, textbooks, proceedings, and anthologies on the history of logic in either German or English. Serving as the inaugural volume in this series, the book explores the contemporary interpretation of logic across many centuries and cultures. The first section of the volume comprises a compilation of papers dedicated to ancient and medieval logic, examining prominent thinkers such as Plato, Aristotle, Seneca, Porphyry, Proclus, Boethius, (...) Buridan, and Kilwardby. The second section shifts focus towards early-modern and contemporary logics, including the works of Caramuel, Kant, Drobisch, Husserl, and Jaskowski. Topics of discussion encompass the relationship between mathematics and logic, natural deduction, intuitionism, graph theory, categorical judgments, theories of truth, modal logic, opposition relations, logic diagrams, definitions of formal logic, many-sorted logic, model theory, and paraconsistent logic. (shrink)

Luiz Henrique Lopes dos Santos, em seu texto sobre "Leibniz e a questão dos futuros contingentes”, argumenta em favor de seu diagnóstico segundo o qual, no fundo, a principal diferença entre as doutrinas de Espinosa e Leibniz reside no fato de que o primeiro, diferentemente do segundo, não sabia lógica. Este texto procura objetar à sua posição, respondendo às críticas do autor à posição de Espinosa quanto à liberdade divina. Procurarei mostrar que, sob o aspecto preciso da articulação aí (...) estabelecida entre a distinção vontade/entendimento e a questão dos possíveis jamais realizados, ela não poderia estar disponível para a metafísica de Espinosa, não por ele ter ignorado um princípio básico da lógica modal, como alega o autor, mas porque ele compreende diferentemente o estatuto ontológico da unidade das coisas individuais e, portanto, dos agentes humanos. (shrink)

Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathematics, linguistics and other disciplines. Celebrated for their good computational behaviour, modal logics are used as effective formalisms for talking about time, space, knowledge, beliefs, actions, obligations, provability, etc. However, the nice computational properties can drastically change if we combine some of these formalisms into a many-dimensional system, say, to reason about knowledge bases developing in time or moving objects. (...) To study the computational behaviour of many-dimensional modal logics is the main aim of this book. On the one hand, it is concerned with providing a solid mathematical foundation for this discipline, while on the other hand, it shows that many seemingly different applied many-dimensional systems (e.g., multi-agent systems, description logics with epistemic, temporal and dynamic operators, spatio-temporal logics, etc.) fit in perfectly with this theoretical framework, and so their computational behaviour can be analyzed using the developed machinery. We start with concrete examples of applied one- and many-dimensional modal logics such as temporal, epistemic, dynamic, description, spatial logics, and various combinations of these. Then we develop a mathematical theory for handling a spectrum of 'abstract' combinations of modal logics - fusions and products of modal logics, fragments of first-order modal and temporal logics - focusing on three major problems: decidability, axiomatizability, and computational complexity. Besides the standard methods of modal logic, the technical toolkit includes the method of quasimodels, mosaics, tilings, reductions to monadic second-order logic, algebraic logic techniques. Finally, we apply the developed machinery and obtained results to three case studies from the field of knowledge representation and reasoning: temporal epistemic logics for reasoning about multi-agent systems, modalized description logics for dynamic ontologies, and spatio-temporal logics. The genre of the book can be defined as a research monograph. It brings the reader to the front line of current research in the field by showing both recent achievements and directions of future investigations (in particular, multiple open problems). On the other hand, well-known results from modal and first-order logic are formulated without proofs and supplied with references to accessible sources. The intended audience of this book is logicians as well as those researchers who use logic in computer science and artificial intelligence. More specific application areas are, e.g., knowledge representation and reasoning, in particular, terminological, temporal and spatial reasoning, or reasoning about agents. And we also believe that researchers from certain other disciplines, say, temporal and spatial databases or geographical information systems, will benefit from this book as well. Key Features: Integrated approach to modern modal and temporal logics and their applications in artificial intelligence and computer science Written by internationally leading researchers in the field of pure and applied logic Combines mathematical theory of modal logic and applications in artificial intelligence and computer science Numerous open problems for further research Well illustrated with pictures and tables. (shrink)

A new modal logic containing four dynamic modalities with the following informal reading is introduced: $${\square^\forall}$$ – always necessary , $${\square^\exists}$$ – sometimes necessary , and their duals – $${\diamondsuit^\forall}$$ – always possibly , and $${\diamondsuit^\exists}$$ – sometimes possibly . We present a complete axiomatization with respect to the intended formal semantics and prove decidability via fmp.

Modal logics have proven to be a very successful tool for reasoning about games. However, until now, although logics have been put forward for games in both normal form and games in extensive form, and for games with complete and incomplete information, the focus in the logic community has hitherto been on games with pure strategies. This paper is a first to widen the scope to logics for games that allow mixed strategies. We present a modal logic for (...) games in normal form with mixed strategies, and demonstrate its soundness and strong completeness. Characteristic for our logic is a number of infinite rules. (shrink)

Discuto la tesi di Micheletti secondo la quale ogni spiegazione fattuale presuppone premesse di ordine superiore rispetto alla spiegazione (M.Micheletti, “Radical Divine Alterity and the God-World Relationship”). Nella prima sezione del testo introdurrò la tesi, muovendo dalla analisi di alcuni esempi di spiegazione, ed elencherò le ragioni che (apparentemente) richiedono la postulazione di higher-degree propositions per rendere conto di factual propositions. Nella seconda sezione regimenterò logicamente la tesi di Micheletti. Nella terza sezione discuterò la validità della logica della spiegazione così (...) introdotta, con un’attenzione particolare alla analisi semantica della nozione di spiegazione, allo statuto modale delle ragioni che costituiscono una spiegazione, e all’approccio grammaticale alle higher order propositions. Nella quarta e ultima sezione avanzerò brevissime considerazioni conclusive. (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)

We define a multi-modal version of Computation Tree Logic (ctl) by extending the language with path quantifiers E δ and A δ where δ denotes one of finitely many dimensions, interpreted over Kripke structures with one total relation for each dimension. As expected, the logic is axiomatised by taking a copy of a ctl axiomatisation for each dimension. Completeness is proved by employing the completeness result for ctl to obtain a model along each dimension in turn. We also show (...) that the logic is decidable and that its satisfiability problem is no harder than the corresponding problem for ctl. We then demonstrate how Normative Systems can be conceived as a natural interpretation of such a multi-dimensional ctl logic. (shrink)