We present an embedding of quantified multimodal logics into simple type theory and prove its soundness and completeness. A correspondence between QKπ models for quantified multimodal logics and Henkin models is established and exploited. Our embedding supports the application of off-the-shelf higher-order theorem provers for reasoning within and about quantified multimodal logics. Moreover, it provides a starting point for further logic embeddings and their combinations in simple type theory.

We introduce a multimodal logic for order of magnitude reasoning which considers a new logic-based alternative to the notion of closeness, we provide an axiom system and prove its soundness and completeness.

We present a formalization of some ideas from Chomsky [9] in the framework of multimodal type logical grammar.

ABSTRACT Two objects o1, o2 of an information system are said to be complementary with respect to attribute a if α(o1) = -α(o2), where α(o) is the set of values of attribute a assigned to o. They are said to be complementary with respect to a set of attributes A if they are complementary with respect to each attribute α ε A. A multi-modal logical language for reasoning about complementarity relations is presented, with modalities [A] and ?A? parameterised by subsets (...) of a given set ATTR of attributes. Two complete deduction system for the language are presented: a Rasiowa-Sikorski style system using signed formulae, and an equivalent sequent calculus system in Gentzen style complete for theories. (shrink)

Three notions of definability in multimodal logic are considered. Two are analogous to the notions of explicit definability and implicit definability introduced by Beth in the context of first-order logic. However, while by Beth’s theorem the two types of definability are equivalent for first-order logic, such an equivalence does not hold for multimodal logics. A third notion of definability, reducibility, is introduced; it is shown that in multimodal logics, explicit definability is equivalent to the (...) combination of implicit definability and reducibility. The three notions of definability are characterized semantically using algebras. The use of algebras, rather than frames, is shown to be necessary for these characterizations. (shrink)

We present a relational proof system in the style of dual tableaux for the relational logic associated with a multimodal propositional logic for order of magnitude qualitative reasoning with a bidirectional relation of negligibility. We study soundness and completeness of the proof system and we show how it can be used for verification of validity of formulas of the logic.

Three notions of definability in multimodal logic are considered. Two are analogous to the notions of explicit definability and implicit definability introduced by Beth in the context of first-order logic. However, while by Beth’s theorem the two types of definability are equivalent for first-order logic, such an equivalence does not hold for multimodal logics. A third notion of definability, reducibility, is introduced; it is shown that in multimodal logics, explicit definability is equivalent to the (...) combination of implicit definability and reducibility. The three notions of definability are characterized semantically using (modal) algebras. The use of algebras, rather than frames, is shown to be necessary for these characterizations. (shrink)

We present a proof system for a multimode and multimodal logic, which is based on our previous work on modal Martin-Löf type theory. The specification of modes, modalities, and implications between them is given as a mode theory, i.e., a small 2-category. The logic is extended to a lambda calculus, establishing a Curry–Howard correspondence.

This is a preface for the Special Issue on Multimodal Logics published in Logica Universalis, March 2013, Volume 7, Issue 1, pp 1-5.

XML documents and, more generally, semistructured data, can be seen as labelled graphs. In this paper we set a correspondence between such graphs and the models of a language of hybrid multimodal logic. This allows us to characterize a schema for semistructured data as a formula of hybrid multimodal logic, and instances of the schema as models of this formula. We also investigate how to express in such a logic integrity constraints on semistructured data, in (...) particular some classes of constraints widely considered in the literature. The contribution of this work is twofold: 1) We generalize the notion of schema, by proposing a definition of schema were references are “well typed”. 2) We formalize semistructured data, schema for semistructured data and integrity constraints in a unique framework, namely hybrid multimodal logic. (shrink)

Kripke completeness of some infinitary predicate modal logics is presented. More precisely, we prove that if a normal modal logic above is -persistent and universal, the infinitary and predicate extension of with BF and BF is Kripke complete, where BF and BF denote the formulas pi pi and x x, respectively. The results include the completeness of extensions of standard modal logics such as , and its extensions by the schemata T, B, 4, 5, D, and their combinations. The (...) proof is obtained by extending the correspondence between the representation of modal algebras and the completeness of propositional modal logic to infinite. (shrink)

We study straightforward embeddings of propositional normal multimodal logic and propositional intuitionistic logic in simple type theory. The correctness of these embeddings is easily shown. We give examples to demonstrate that these embeddings provide an effective framework for computational investigations of various non-classical logics. We report some experiments using the higher-order automated theorem prover LEO-II.

Name der Zeitschrift: Semiotica Jahrgang: 2018 Heft: 220 Seiten: 95-121.

This paper shows that some classes of multimodal paraconsistent logics endowed with weak forms of negation are incompletable with respect to Kripke semantics. The reach of such incompleteness is discussed, and we argue that this shortcoming, more than just a logical predicament, may be relevant for attempts to characterize quantum logics and to handle quantum information and quantum computation.

In this paper we compare grammatical inference in the context of simple and of mixed Lambek systems. Simple Lambek systems are obtained by taking the logic of residuation for a family of multiplicative connectives /, *, \, together with a package of structural postulates characterizing the resource management properties of the * connective. Different choices for Associativity and Commutativity yield the familiar logics NL, L, NLP, LP. Semantically, a simple Lambek system is a unimodal logic: the connectives get (...) a Kripke style interpretation in terms of a single ternary accessibility relation modeling the notion of linguistic composition for each individual system.The simple systems each have their virtues in linguistic analysis. But none of them in isolation provides a basis for a full theory of grammar. In the second part of the paper, we consider two types of mixed Lambek systems.The first type is obtained by combining a number of unimodal systems into one multimodal logic. The combined multimodal logic is set up in such a way that the individual resource management properties of the constituting logics are preserved. But the inferential capacity of the mixed logic is greater than the sum of its component parts through the addition of interaction postulates, together with the corresponding interpretive constraints on frames, regulating the communication between the component logics.The second type of mixed system is obtained by generalizing the residuation scheme for binary connectives to families of n-ary connectives, and by putting together families, of different arities in one logic. We focus on residuation for unary connectives, hence on mixed frames, as these already represent the complexities in full. We prove a number of elementary logical results for unary families of residuated connectives and their combination with binary families. The existing proposals for unary ‘structural modalities’ are situated within this general framework, and a number of new linguistic applications is given. (shrink)

The analysis of multimodal argumentation in advertising is a crucial and problematic area of research. While its importance is growing in a time characterized by images and pictorial messages, the methods used for interpreting and reconstructing the structure of arguments expressed through verbal and visual means capture only isolated dimensions of this complex phenomenon. This paper intends to propose and illustrate a methodology for the reconstruction and analysis of “double-mode” arguments in advertisements, combining the instruments developed in social semiotics, (...) pragmatics, and argumentation theory. An advertisement is processed through a five-step path. The analysis of its context, text genre, and images leads to a first representation of the messages that it encodes both pictorially and verbally (step 1). These first semantic representations are further enriched by including their polyphonic articulations and presuppositions (step 2), their explicatures (step 3), and their dialogical functions and illocutionary forces (step 4). These pragmatic steps retrieve the commitment structure of the ad, which allows a further argument analysis conducted through argumentation schemes (step 5). (shrink)

Digitization of every daily procedure requires trustworthy verification schemes. People tend to overlook the security of the passwords they use, i.e. they use the same password on different occasions, they neglect to change them periodically or they often forget them. This raises a major security issue, especially for elderly people who are not familiar with modern technology and its risks and challenges. To overcome these drawbacks, biometric factors were utilized, and nowadays, they have been widely adopted due to their convenience (...) of use and ease of hardware installation. Many biometric-based authentication schemes were proposed, but despite the advantages that they offer, recent research has shown that biometrics by itself cannot be considered as an inviolable technique. Recently, we have proposed StegoPass, a novel method that obtains the 68 facial points of a user and utilizes them as a stego message to an image. This produced stego image was the password. Although the experiments conducted showed maximum security, it would be challenging to enhance the robustness of the proposed model for even more attacks. This paper examines the utilization of multimodal biometrics as the secret message embedded in the image. More specifically, besides the extraction of the facial points, we extract the unique minutiae moments and combine them in a feature vector. This feature vector is then embedded in the image. Two different datasets were used, and the security of the method was tested against state-of-the-art deep learning models, i.e. generative adversarial networks, to test whether the image could be digitally synthesized and fool the proposed verification scheme. The results proved that the new enhanced version of StegoPass offers an extremely secure method as its predecessor. (shrink)

In the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebibliographyofthisbranchoflogic,supposingthat someone were capable to compile it, would?ll itself a ponderous volume. What is impressive in the growth of modal logic has not been so much the quick accumulation of results but the richness of its thematic dev- opments. In the 1960s, when Kripke semantics gave new credibility to the logic of modalities? which was already known and appreciated in the Ancient and Medieval times? (...) no one could have foreseen that in a short time modal logic would become a lively source of ideas and methods for analytical philosophers,historians of philosophy,linguists, epistemologists and computer scientists. The aim which oriented the composition of this book was not to write a new manual of modal logic buttoo?ertoeveryreader,evenwithnospeci?cbackground in logic, a conceptually linear path in the labyrinth of the current panorama of modal logic. The notion which in our opinion looked suitable to work as a compass in this enterprise was the notion of multimodality, or, more speci?cally, the basic idea of grounding systems on languages admitting more than one primitive modal operator. (shrink)

In this paper we compare grammatical inference in the context of simple and of mixed Lambek systems. Simple Lambek systems are obtained by taking the logic of residuation for a family of multiplicative connectives /,,\, together with a package of structural postulates characterizing the resource management properties of the connective.Different choices for Associativity and Commutativity yield the familiar logics NL, L, NLP, LP. Semantically, a simple Lambek system is a unimodal logic: the connectives get a Kripke style interpretation (...) in terms of a single ternary accessibility relation modeling the notion of linguistic composition for each individual system.The simple systems earch have their virtues in linguistic analysis. But none of them in isolation provides a basis for a full theory of grammar. In the second part of the paper, we consider two types of mixed Lambek systems. (shrink)

The aim of the present paper is to contribute to a better understanding of the role of heraldry, in particular of para-heraldic devices known as “badges”, in 15th-century England. The case chosen for examination is that of the white rose, one of the major badges of Edward IV. The data consists of four contemporary texts in which Edward is referred to as the “rose”, analysed against the background of the use of the white rose of York as a heraldic device. (...) This includes surviving artefacts ranging from effigies to stained glass to seals and manuscript illuminations, as well as contemporary descriptions and depictions of those artefacts. Using the methodological apparatus of cognitive linguistics, specifically the multimodal metaphor and metonymy analysis, the author examines the interplay between language and heraldry. The results show that while the primary function of the white rose and of other badges employed by Edward IV was to emphasize his heritage and thus invite a metonymic reading, the badge inspired other, metaphorical readings, which were employed rhetorically by his supporters. In this context, the concept of the badge may be reinterpreted as a metaphtonymy. The analysis supports the view of heraldry as an integral element of medieval society. From a semiotic perspective, heraldry should be seen as a dynamic system that could be exploited creatively to suit the needs of its users, which in turn corresponds to the dynamic theory of metaphor. (shrink)

Our brains make up a series of signs and are engaged in making or manifesting or reacting to a series of signs: through this semiotic activity they are at the same time engaged in “being minds” and so in thinking intelligently. An important effect of this semiotic activity of brains is a continuous process of “externalization of the mind” that exhibits a new cognitive perspective on the mechanisms underling the semiotic emergence of abductive processes of meaning formation. To illustrate this (...) process I will take advantage of the analysis of some aspects of the cognitive interplay between internal and external representations. I consider this interplay critical in analyzing the relation between meaningful semiotic internal resources and devices and their dynamical interactions with the externalized semiotic materiality suitably stocked in the environment. Hence, minds are material, “extended” and artificial in themselves. A considerable part of human abductive thinking is occurring through an activity consisting in a kind of reification in the external environment and a subsequent re-projection and reinterpretation through new configurations of neural networks and chemical processes. I also illustrate how this activity takes advantage of hybrid representations and how it can nicely account for various processes of creative and selective abduction, bringing up the question of how multimodal aspects involving a full range of sensory modalities are important in hypothetical reasoning. (shrink)

The problem of completeness for predicate modal logics is still under investigation, although some results have been obtained in the last few years . As far as we know, the case of multimodal logics has not been addressed at all. In this paper, we study the combination of modal logics in terms of combining their semantics. We demonstrate by a simple example that in this sense predicate modal logics are not so easily manipulated as propositional ones: mixing two Kripke-complete (...) predicate modal logics results in a Kripke-incomplete system. (shrink)

We present a novel way of using proof nets for the multimodal Lambek calculus, which provides a general treatment of both the unary and binary connectives. We also introduce a correctness criterion which is valid for a large class of structural rules and prove basic soundness, completeness and cut elimination results. Finally, we will present a correctness criterion for the original Lambek calculus Las an instance of our general correctness criterion.

This book shares the recent debates by systemic functional linguistics and other linguistic forums. Its principal focus is on how we use language to make meaning of the world, on how the systems and structures of the ideational function of language represent the realisation of our experiences of the world around us. The volume captures the endeavours of scholars working in different contexts, disciplines and languages around the world. Their contributions explore what underlies experiential and logical meaning-making through specific analyses (...) of recently-created, contextually diverse, single texts or collections of texts, from mono- to multimodal texts. The issues addressed are: layers of meaning through the transitivity system; agency and subjectivity; what kinds of participants and circumstances are associated with various processes and how these vary across languages; new ways of researching and capturing the interaction of the experiential function with the other functions of language - interpersonal, textual and logical - in communicative contexts; how multimodality and new ways of modelling experience semiotically influence the work of linguists, linguistic description and application. The book displays the dynamic dialogue on theoretical and applied interests of scholars interested in functional linguistics and working in a wide range of academic contexts. At post-graduate level advanced students will benefit from new perspectives, the innovative thinking and research accounts that make up the collection. The papers highlight the flexibility of systemic functional linguistic approach and exemplify how it can offer deeper and further insights into potential ways of exploring meaning-making by drawing on recent seminal developments in ideation. (shrink)

In this paper, we introduce a general technology, calledtaming, for finding well-behaved versions of well-investigated logics. Further, we state completeness, decidability, definability and interpolation results for a multimodal logic, calledarrow logic, with additional operators such as thedifference operator, andgraded modalities. Finally, we give a completeness proof for a strong version of arrow logic.

ABSTRACT The goal of this paper is to improve heuristics for hard news discourse by proposing a cognitive model of abstraction, regarding social media contexts. To this end, hard news is discussed as a genre, structure and metalanguage, under the formal definition of a semiotic mode. Annotation is a successful technology to control the effects of genre operations, reveal relations, and to inquire about data and documents. It proceeds to characterize Twitter’s interface, in terms of formal and material regularities, employed (...) recursively. It further demonstrates the formalization of a semantics for hard news discourse in the so-called logical forms, which has been adapted from analytical tools developed by the Segmented Theory of Discourse Representation (SDRT) in order to examine coherence in different levels of detail. Finally, the implication of this approach as a discipline is discussed, regarding the production of transversal knowledge aiming at digital literacy, which urges in present times.1. (shrink)

In this work we propose an encoding of Reiter’s Situation Calculus solution to the frame problem into the framework of a simple multimodal logic of actions. In particular we present the modal counterpart of the regression technique. This gives us a theorem proving method for a relevant fragment of our modal logic.

Qualitative Reasoning (QR) is an area of research within Artificial Intelligence that automates reasoning and problem solving about the physical world. QR research aims to deal with representation and reasoning about continuous aspects of entities without the kind of precise quantitative information needed by conventional numerical analysis techniques. Order-of-magnitude Reasoning (OMR) is an approach in QR concerned with the analysis of physical systems in terms of relative magnitudes. In this paper we consider the logic OMR_N for order-of-magnitude reasoning with (...) the bidirectional negligibility relation. It is a multi-modal logic given by a Hilbert-style axiomatization that reflects properties and interactions of two basic accessibility relations (strict linear order and bidirectional negligibility). Although the logic was studied in many papers, nothing was known about its decidability. In the paper we prove decidability of OMR N by showing that the logic has the strong finite model property. (shrink)

A system is classified as multimodal if its language has more than one modal operator as primitive, and such operators are not interdefinable. We extend the anodic and cathodic modal systems, introduced in Bueno-Soler and Bueno-Soler , to a class of the so-called basilar multimodal systems generating, in this way, the classes of anodic and cathodic multimodal logics. The cathodic multimodal systems are defined as extensions of positive multimodal systems by adding degrees of negation plus (...) consistency operators. In this way, cathodic multimodal systems are logics of formal inconsistency [the paraconsistent LFIs, as treated in Carnielli et al. ] enriched with multimodal operators. We focus the attention on models for such classes of systems and discuss how modal possible-translation semantics, as well as possible-worlds , can be defined to interpret basilar cathodic multimodal systems. While anodic systems are modeled by Kripke models only, we introduce the modal possible-translation models for cathodic systems. Such models, given by combinations of three-valued modal logics, besides their own interest, explain the role of non-trivializing contradictions in multimodal environment. (shrink)

We investigate an enrichment of the propositional modal language L with a "universal" modality ■ having semantics x ⊧ ■φ iff ∀y(y ⊧ φ), and a countable set of "names" - a special kind of propositional variables ranging over singleton sets of worlds. The obtained language ℒ $_{c}$ proves to have a great expressive power. It is equivalent with respect to modal definability to another enrichment ℒ(⍯) of ℒ, where ⍯ is an additional modality with the semantics x ⊧ ⍯φ (...) iff Vy(y ≠ x → y ⊧ φ). Model-theoretic characterizations of modal definability in these languages are obtained. Further we consider deductive systems in ℒ $_{c}$ . Strong completeness of the normal ℒ $_{c}$ logics is proved with respect to models in which all worlds are named. Every ℒ $_{c}$ -logic axiomatized by formulae containing only names (but not propositional variables) is proved to be strongly frame-complete. Problems concerning transfer of properties ([in]completeness, filtration, finite model property etc.) from ℒ to ℒ $_{c}$ are discussed. Finally, further perspectives for names in multimodal environment are briefly sketched. (shrink)

The present article is devoted to a logical treatment of some fundamental concepts involved in responsibility attribution. We specify a theoretical framework based on a language of temporal deontic logic with agent-relative operators for deliberate causal contribution. The framework is endowed with a procedure to solve normative conflicts which arise from the assessment of different normative sources. We provide a characterization result for a basic system within this framework and illustrate how the concepts formalized can be put at work (...) in the analysis of examples of legal reasoning. (shrink)

We consider the problem of axiomatizing various natural "successor" logics for 2-dimensional integral spacetime. We provide axiomatizations in monomodal and multimodal languages, and prove completeness theorems. We also establish that the irreflexive successor logic in the "standard" modal language (i.e. the language containing □ and ◊) is not finitely axiomatizable.

Dynamic Topological Logic ( ) is a modal logic which combines spatial and temporal modalities for reasoning about dynamic topological systems , which are pairs consisting of a topological space X and a continuous function f : X → X . The function f is seen as a change in one unit of time; within one can model the long-term behavior of such systems as f is iterated. One class of dynamic topological systems where the long-term behavior of (...) f is particularly interesting is that of minimal systems ; these are dynamic topological systems which admit no proper, closed, f -invariant subsystems. In such systems the orbit of every point is dense, which within translates into a non-trivial interaction between spatial and temporal modalities. This interaction, however, turns out to make the logic simpler, and while s in general tend to be undecidable, interpreted over minimal systems we obtain decidability, although not in primitive recursive time; this is the main result that we prove in this paper. We also show that interpreted over minimal systems is incomplete for interpretations on relational Kripke frames and hence does not have the finite model property; however it does have a finite non-deterministic quasimodel property. Finally, we give a set of formulas of which characterizes the class of minimal systems within the class of dynamic topological systems, although we do not offer a full axiomatization for the logic. (shrink)

There are two known general results on the finite model property of commutators [L0,L1]. If L is finitely axiomatizable by modal formulas having universal Horn first-order correspondents, then both [L,K] and [L,S5] are determined by classes of frames that admit filtration, and so they have the fmp. On the negative side, if both L0 and L1 are determined by transitive frames and have frames of arbitrarily large depth, then [L0,L1] does not have the fmp. In this paper we show that (...) commutators with a “weakly connected” component often lack the fmp. Our results imply that the above positive result does not generalize to universally axiomatizable component logics, and even commutators without “transitive” components such as [K3,K] can lack the fmp. We also generalize the above negative result to cases where one of the component logics has frames of depth one only, such as [S4.3,S5] and the decidable product logic S4.3×S5. We also show cases when already half of commutativity is enough to force infinite frames. (shrink)

IntroductionIf we were to identify the beginning of the study of visual argumentation, we would have to choose 1996 as the starting point. This was the year that Leo Groarke published “Logic, art and argument” in Informal logic, and it was the year that he and David Birdsell co-edited a special double issue of Argumentation and Advocacy on visual argumentation . Among other papers, the issue included Anthony Blair’s “The possibility and actuality of visual arguments”. It was also (...) the year that Gail J. Chryslee, Sonja K. Foss and Arthur L. Ranney published their short text on “The construction of claims in visual argumentation” , stating that even though theorists may know a great deal about the process of argumentation, “virtually none of this knowledge is applicable to visual argumentation […] because of the properties that distinguish visual imagery from discursive symbols” .Texts on visual rhetoric have been written as far back as the early 1980s, .. (shrink)

A case study of multimodal systems and a new interpretation of Charles S. Peirce's theory of reasoning and signs based on an analysis of his system of ...

A lot of research has been done on the detection of mental workload using various bio-signals. Recently, deep learning has allowed for novel methods and results. A plethora of measurement modalities have proven to be valuable in this task, yet studies currently often only use a single modality to classify MWL. The goal of this research was to classify perceived mental workload using a deep neural network that flexibly makes use of multiple modalities, in order to allow for feature sharing (...) between modalities. To achieve this goal, an experiment was conducted in which MWL was simulated with the help of verbal logic puzzles. The puzzles came in five levels of difficulty and were presented in a random order. Participants had 1 h to solve as many puzzles as they could. Between puzzles, they gave a difficulty rating between 1 and 7, seven being the highest difficulty. Galvanic skin response, photoplethysmograms, functional near-infrared spectrograms and eye movements were collected simultaneously using LabStreamingLayer. Marker information from the puzzles was also streamed on LSL. We designed and evaluated a novel intermediate fusion multimodal DNN for the classification of PMWL using the aforementioned four modalities. Two main criteria that guided the design and implementation of our DNN are modularity and generalisability. We were able to classify PMWL within-level accurate on a seven-level workload scale using the aforementioned modalities. The model architecture allows for easy addition and removal of modalities without major structural implications because of the modular nature of the design. Furthermore, we showed that our neural network performed better when using multiple modalities, as opposed to a single modality. The dataset and code used in this paper are openly available. (shrink)

The main project of this dissertation is to analyze various temporal conceptions of modality for discrete n-dimensional spacetime. The first chapter contains an introduction to the problem and known results. Chapter 2 consists of a study of logics which are analogues of the so-called 'logic of today and tomorrow' and 'logic of tomorrow' investigated by Segerberg and others. We consider the analogues of these successor logics for 2-dimensional integral spacetime. We provide axiomatizations in monomodal and multimodal languages (...) and prove completeness theorems. We also establish that the irreflexive successor logic in the "standard" modal language is not finitely axiomatizable. ;Chapter 3 investigates the axiomatization problem for 2-dimensional integral spacetime frames with Robb's irreflexive 'after' relation. We provide an axiomatization in a multimodal language and prove that this axiomatization is complete. We use this result to prove the system in the "standard" modal language is decidable. ;In Chapter 4 we take up the problem of what the correct Diodorean modal logic is for 2-dimensional integral spacetime. We show that the corresponding Diodorean modal logic is not S4.2, nor indeed any known modal system. We then present several candidate axioms and prove their independence in the context of S4.2. We also study some of the sublogics of the Diodorean modal logic for 2-dimensional discrete spacetime . ;The final chapter contains some general results. First we prove that for every n ≥ 2 the n-dimensional frame determines a unique Diodorean modal logic. We also consider temporal logics in the language with F and P for two kinds of irreflexive spacetime frames. We prove that for every n ≥ 2 the n-dimensional frame with Robb's 'after' relation determines a unique temporal logic. We also prove a generalized completeness theorem for n-dimensional irreflexive successor logics. Finally, in an appendix, we provide a list of selected open problems and indicate directions for future research in this area. (shrink)

This article challenges the common view that improvements in critical thinking are best pursued by investigations in informal logic. From the perspective of research in psychology and neuroscience, hu-man inference is a process that is multimodal, parallel, and often emo-tional, which makes it unlike the linguistic, serial, and narrowly cog-nitive structure of arguments. At-tempts to improve inferential prac-tice need to consider psychological error tendencies, which are patterns of thinking that are natural for peo-ple but frequently lead to mistakes (...) in judgment. This article discusses two important but neglected error ten-dencies: motivated inference and fear-driven inference. (shrink)

I came to the topic of the title in connection with my logical investigations of the Is-Ought problem in multimodal logics . There are infinitely many mathematically possible modal logics. Are they all philosophically serious candidates? Which modal logic the “right” one — does such a question make sense? A similar question can be raised for the infinite variety of propositional logics weaker than classical logics. The Vienna Circle concept of logic was that logic holds merely (...) by form, independently from the facts of the world. Have we lost this concept completely? Is it a matter of arbitrary choice, of mere subjective-practical appropriateness, which logic one chooses? Is Quine right that there is no distinction between analytic and synthetic truth, even if we take “analytic truth” in the narrow sense of “logical truth”? These are the questions which have motivated this paper. (shrink)

In this paper a unified framework for dealing with a broad family of propositional multimodal logics is developed. The key tools for presentation of the logics are the notions of closure relation operation and monotonous relation operation. The two classes of logics: FiRe-logics (finitely reducible logics) and LaFiRe-logics (FiRe-logics with local agreement of accessibility relations) are introduced within the proposed framework. Further classes of logics can be handled indirectly by means of suitable translations. It is shown that the logics (...) from these classes have the finite model property with respect to the class of -formulae, i.e. each -formula has a -model iff it has a finite -model. Roughly speaking, a -formula is logically equivalent to a formula in negative normal form without occurrences of modal operators with necessity force. In the proof we introduce a substantial modification of Claudio Cerrato's filtration technique that has been originally designed for graded modal logics. The main core of the proof consists in building adequate restrictions of models while preserving the semantics of the operators used to build terms indexing the modal operators. (shrink)

In this paper a unified framework for dealing with a broad family of propositional multimodal logics is developed. The key tools for presentation of the logics are the notions of closure relation operation and monotonous relation operation. The two classes of logics: FiRe-logics (finitely reducible logics) and LaFiRe-logics (FiRe-logics with local agreement of accessibility relations) are introduced within the proposed framework. Further classes of logics can be handled indirectly by means of suitable translations. It is shown that the logics (...) from these classes have the finite model property with respect to the class of ♦-formulae, i.e. each ♦-formula has a ℒ-model iff it has a finite ℒ-model. Roughly speaking, a ♦-formula is logically equivalent to a formula in negative normal form without occurrences of modal operators with necessity force. In the proof we introduce a substantial modification of Claudio Cerrato's filtration technique that has been originally designed for graded modal logics. The main core of the proof consists in building adequate restrictions of models while preserving the semantics of the operators used to build terms indexing the modal operators. (shrink)

The aim of the paper is to sketch some solutions that arose along the work on Logic of Strict Processes . Three main topics are discussed: negation based on implication constructed in intuitionistic fashion; satisfiability in multimodal contexts and a proposal of a first order semantics for Dynamic Logic of Strict Processes . The system of DLSP differs from the original LSP in using the set of contexts, which are treated as ordered sets of formulas. The interpretation (...) of a context is a transition system, which is constructed solely of simple processes. After the set of non-allowed processes is constructed, the negation of molecular formula can be understood as a set o processes that, when combined with processes associated with a non-negated formula, produce non-allowed processes. Satisfiablity in a transition system is defined by a special modal operator [φ]φ which is true only when the relation of metaimplication between φ and φ holds. In conclusion the author briefly reviews first order system based on DLSP and points to several open problems waiting for further investigation. (shrink)

We present a relational proof system in the style of dual tableaux for a multimodal propositional logic for order of magnitude qualitative reasoning to deal with relations of negligibility, non-closeness, and distance. This logic enables us to introduce the operation of qualitative sum for some classes of numbers. A relational formalization of the modal logic in question is introduced in this paper, i.e., we show how to construct a relational logic associated with the logic (...) for order-of-magnitude reasoning and its dual tableau system which is a validity checker for the modal logic. For that purpose, we define a validity preserving translation of the modal language into relational language. Then we prove that the system is sound and complete with respect to the relational logic defined as well as with respect to the logic for order of magnitude reasoning. Finally, we show that in fact relational dual tableau does more. It can be used for performing the four major reasoning tasks: verification of validity, proving entailment of a formula from a finite set of formulas, model checking, and verification of satisfaction of a formula in a finite model by a given object. (shrink)

ABSTRACT In this paper we introduce and investigate various classes of multimodal logics based on frames with relative accessibility relations. We discuss their applicability to representation and analysis of incomplete information. We provide axiom systems for these logics and we prove their completeness.

The simplest combination of unimodal logics \ into a bimodal logic is their fusion, \, axiomatized by the theorems of \. Shehtman introduced combinations that are not only bimodal, but two-dimensional: he defined 2-d Cartesian products of 1-d Kripke frames, using these Cartesian products to define the frame product \. Van Benthem, Bezhanishvili, ten Cate and Sarenac generalized Shehtman’s idea and introduced the topological product \, using Cartesian products of topological spaces rather than of Kripke frames. Frame products have (...) been extensively studied, but much less is known about topological products. The goal of the current paper is to give necessary and sufficient conditions for the topological product to match the frame product, for Kripke complete extensions of \. (shrink)

First of all I would like to describe inductive and abductive reasoning in the light of the agent–based framework to the aim of clarifying their fallacious character and the role of the so-called ideal systems (logical and computational). Then I will analyze some inductive and abductive types of reasoning that in the perspective of classical and informal logic are defined fallacies. I will describe how in an agent-based reasoning this kind of fallacious reasoning can in some cases be redefined (...) and considered as a good way of reasoning. Finally, I will illustrate how what I call manipulative abduction can be interpreted as a form of practical reasoning a better understanding of which can furnish a description of human beings as hybrid reasoners in so far they are users of ideal and computational agents. (shrink)

The article is an extended version of the paper for the round table discussion “Process Logic and Philosophy of Consciousness” devoted to the key ideas of A.V. Smirnov. The paper deals with two topics: the problem of logical and the problem of the connec­tion between deep logic and linguistic-specific cognitive development. The author criti­cizes the widespread reduction of “logical” to university logic and proposes to understand A.V. Smirnov’s logic-sense theory as a program of analysis of the (...) intuitions and proce­dures underlying particular kinds of logic. The distinction between substantive logic and process logic, put forward within this theory, is analyzed in the light of schema theory. The article argues the following: 1) an essential contribution to our cognitive develop­ment is made by innate, as well as sensorimotor schemas formed in the process of onto­genesis and cultural learning; 2) they are proto-representations, which have immanent logic (logical visibility), multimodality and automaticity; 3) the difference between sub­stantive logic and process logic, is due to the dominance of one of the schemas (container vs. action) due to acquisition of language and other cultural practices; 4) this distinction is not only ontogenetic but also permanent, i.e. it is maintained in real time through im­plicit verbalizations, or “inner speech”; 5) the historical appearance of these schemes in language and cultural practices and the dominance of one of them is due to the specifics of human corporality and its embodiment in structurally organized reality. (shrink)