Bücher veröffentlicht von College Publications

The Journal of Applied Logics - IfCoLog Journal of Logics and their Applications (FLAP) covers all areas of pure and applied logic, broadly construed. All papers published are open access, and available via the College Publications website. This Journal is open access, and available in both printed and electronic formats. It is published by College Publications, on behalf of IfCoLog (www.ifcolog.net).

The Journal of Applied Logics - IfCoLog Journal of Logics and their Applications (FLAP) covers all areas of pure and applied logic, broadly construed. All papers published are open access, and available via the College Publications website. This Journal is open access, and available in both printed and electronic formats. It is published by College Publications, on behalf of IfCoLog (www.ifcolog.net).

Logic and philosophy of logic have increasingly become areas of research and great interest in Latin America and Spain, where significant work has been done and continues to be done in both of these fields. The goal of this volume is to draw attention to this work through a collection of original and unpublished papers by specialists from Latin America and Spain.Some of the papers are of importance for set-theory and model theory. They cover topics such as the foundations of paraconsistency, the use of paraconsistent logic as a basis for set-theory, and the methodological aspects in both the justi¿cation of new axioms in set theory and the formalization of pre-theoretic notions. Other papers are related to epistemic logic. They deal with the issues of abduction and the choice of the simplest hypothesis, the definition of group probability, and the nature of explanation and understanding in such logic. There are also papers on logical paradoxes, the semantics of names (including fictional names), and the nature of relations. Max A. Freund is Professor of Logic and Philosophy at the University of Costa Rica and the National University of Costa Rica. He is co-author of the book Modal Logic: its syntax and semantics (Oxford University Press, 2008), as well as the author of Judicial Logic (Costa Rica Institute of Technology Press, 2007), and of a forthcoming book The Logic of Sortals (Springer, 2019).Max Fernandez de Castro is Professor of Logic and Philosophy at the Autonomous Metropolitan University of Mexico (at Iztapalapa). He is the author of the book Quine y la Ontología Abstracta (Porrúa, 2003) and co-author of the books Lógica Matemática I: lógica proposicional, intuicionista y modal (País, 2011), Lógica Matemática II: clásica, intuicionista y modal (País, 2011), Teoría de Conjuntos, Lógica y Temas Afines I (UAM Press, 2013). Marco Ruffino is Professor of Philosophy at the University of Campinas (UNICAMP, Brazil) and the editor of Manuscrito, the Brazilian international journal for Analytic Philosophy. He has many publications, in important philosophical journals, in the philosophy of language, of logic, and of mathematics; in the history of analytic philosophy, and on Frege and Wittgenstein.

Factual reasoning is reasoning with statements that are certain, called facts. Classical propositional logic is often used for such reasoning. However classical propositional logic has two faults. Its most serious fault is the irrational way it behaves when the statements are inconsistent. The second, less serious, fault is that there is an intuitive understanding of the meaning of 'follows from' that classical propositional logic does not capture. Various new consistent subsets of a set of inconsistent statements are investigated. This yields new more rational propositional logics for factual reasoning that capture the missing intuitive meaning of 'follows from'.Logics that do factual reasoning have properties that can be expressed by using consequence functions. A consequence function is meant to be a function whose input is a set of formulas and whose output is the set of consequences of those formulas. However, there is no adequate definition of what a consequence function is. A new definition of what a consequence function should be is proposed and shown to have many desirable properties.Plausible reasoning is reasoning with statements that are either facts, or are likely, called defeasible statements. Moreover all defeasible statements have the same likelihood; hence there are no numbers, like probabilities, involved. Many principles of plausible reasoning are suggested and several important plausible reasoning examples are considered. A propositional logic is defined that satisfies all the principles and reasons correctly with all the examples. As far as we are aware, this is the only such logic.

This volume is a homage to the computer scientist and philosopher Tarcísio Haroldo Cavalcante Pequeno. Tarcísio dedicated his research to subjects ranging from logic to philosophy through artificial intelligence, theoretical computer science and language. His main contributions were in nonmonotonic and paraconsistent logics, especially the study of negation; algebraic approaches to the semantics of programming languages, applications of intuitions from game semantics to automatic theorem proving; tableaux methods for paraconsistent logics and the role of rule following and rule consciousness in cognition, motivated by his interest in philosophy and the problem of demarcation of rationality. The contributions to this volume reflect the broad range of interests characteristic of Tarcísio's scientific interests. Topics include relations between logic and category theory, specifications of model checkers, philosophy of paraconsistent logics, epistemic logic, abstract argumentation semantics, natural language processing, foundations of mathematics, philosophical aspects of natural language processing, philosophy of logic and language, metaphysics, philosophy of science. During the last forty years, Tarcísio oriented, inspired and collaborated with many researchers and established the field of logic as an active research area in Northeast Brazil. This book expresses the admiration of his colleagues and the recognition of his influence on their academic lives.

In a career that spans 60 years so far, W.W. Tait has made many highly influential contributions to logic, the philosophy of mathematics, and their history. The present collection of new essays - contributed by former students, colleagues, and friends - is a Festschrift, i.e., a celebration of his life and work. The essays address a variety of themes prominent in his work or related to it. The collection starts with an introduction in which Tait's contributions are sketched and put into context. The eleven essays that follow are arranged in three parts: Part I. Proof Theory and its History; Part II. Logic and Philosophy of Mathematics; and Part III. History of Logic and Philosophy of Mathematics. Each of the essays contributes substantially to one or several of these areas. The authors included are: Steve Awodey, Solomon Feferman, Michael Friedman, Warren Goldfarb, Geoffrey Hellman, William Howard, Stephen Menn, Rebecca Morris, Charles Parsons, Erich Reck, Thomas Ricketts, and Wilfried Sieg. The editor, Erich H. Reck is Professor of Philosophy at the University of California at Riverside.

An Introduction to Ontology Engineering introduces the student to a comprehensive overview of ontology engineering, and offers hands-on experience that illustrate the theory. The topics covered include: logic foundations for ontologies with languages and automated reasoning, developing good ontologies with methods and methodologies, the top-down approach with foundational ontologies, and the bottomup approach to extract content from legacy material, and a selection of advanced topics that includes Ontology-Based Data Access, the interaction between ontologies and natural languages, and advanced modelling with fuzzy and temporal ontologies. Each chapter contains review questions and exercises, and descriptions of two group assignments are provided as well.The textbook is aimed at advanced undergraduate/postgraduate level in computer science and could fi t a semester course in ontology engineering or a 2-week intensive course. Domain experts and philosophers may fi nd a subset of the chapters of interest, or work through the chapters in a different order.Maria Keet is an Associate Professor with the Department of Computer Science, University of Cape Town, South Africa. She received her PhD in Computer Science in 2008 at the KRDB Research Centre, Free University of Bozen-Bolzano, Italy. Her research focus is on knowledge engineering with ontologies and Ontology, and their interaction with natural language and conceptual data modelling, which has resulted in over 100 peer-reviewed publications. She has developed and taught multiple courses on ontology engineering and related courses at various universities since 2009.

This book is a Festschrift dedicated to Guillermo Ricardo Simari on the occasion of his 70th birthday. It contains contributions by his students, colleagues, and friends.The articles, written by computer scientists, mathematicians, and philosophers address recent research in the area of knowledge representation and reasoning, in particular in topics such as argumentation, belief revision, and non-monotonic reasoning.

The Journal of Applied Logics - IfCoLog Journal of Logics and their Applications (FLAP) covers all areas of pure and applied logic, broadly construed. All papers published are open access, and available via the College Publications website. This Journal is open access, and available in both printed and electronic formats. It is published by College Publications, on behalf of IfCoLog (www.ifcolog.net).

The Journal of Applied Logics - IfCoLog Journal of Logics and their Applications (FLAP) covers all areas of pure and applied logic, broadly construed. All papers published are open access, and available via the College Publications website. This Journal is open access, and available in both printed and electronic formats. It is published by College Publications, on behalf of IfCoLog (www.ifcolog.net).

Logic deals with the fundamental notions of truth and falsity. Modal logic arose from the philosophical study of "modes of truth" with the two most common modes being "necessarily true" and "possibly true". Research in modal logic now spans philosophy, computer science, and mathematics, using techniques from relational structures, universal algebra, topology, and proof theory. These proceedings record the papers presented at the 2018 conference on Advances in Modal Logic, a biennial conference series with the aim of reporting important new developments in pure and applied modal logic. The topics include decidability and complexity results, proof theory, model theory, interpolation, as well as other related problems in algebraic logic.

DEON 2018's special focus is "Deontic reasoning for responsible AI". The successes of Artificial Intelligence over the last few years have brought to the fore a new and important application area for deontic logic: Responsible AI. On the one hand, this concerns systems for checking and proving responsibility characteristics of artificial intelligent agents and their designs, and on the other hand, it concerns responsible decision making and machine ethics. This DEON's special theme "Deontic reasoning for responsible AI" solicits contributions that address issues related to these two subjects. Topics of interest in this special theme include, but are not limited to: * moral decision making * norm awareness * accountability * explainability * causal and probabilistic theories of responsibility * operationalizations of ethical theories * collective responsibility * grades of responsibility

The present collection of papers and critical studies by Prof. Guillermo E. Rosado Haddock under the title Unorthodox Analytic Philosophy brings together both older studies and recent papers on Husserl, Frege, Carnap, Kant and other philosophers, as well as contributions of the author to central problems in the philosophy of logic, the philosophy of mathematics, and semantics. All papers are written in the tradition of rigorous philosophy, conscious of the developments of the more exact sciences, but completely free from the prejudices of empiricist and anti-Platonist ideology.

Do we live in a quantum universe? Or a classical relativistic universe? Or a universe that is somehow a hybrid of the two?The papers collected in Quantum Heresies argue that it is quantum all the way down, and probably all the way up, too. Peacock criticizes the orthodox view that quantum mechanics and relativity stand in a relation of ‘peaceful coexistence’, and argues that new concepts of simultaneity are needed in order to think about time and causation in the radically nonlocal world that quantum mechanics reveals.Papers in collaboration with John Woods and Brian Hepburn explore the logic of quantum mechanics and the dynamics of entangled states, and an Envoi points to the work still to be done.

This volume of the Logica Yearbook series brings together articles presented at the annual international symposium Logica 2017, Hejnice, the Czech Republic. The articles range over mathematical and philosophical logic, history and philosophy of logic, and the analysis of natural language.

Perhaps the most counterintuitive property of classical logic (as well as of its most famous rival, intuitionistic logic) is the fact that it allows the inference of any proposition from a single pair of contradicting statements. A lot of work and efforts have been devoted over the years to develop alternatives to classical logic that do not have this drawback. Those alternatives are nowadays called `paraconsistent systems', and the corresponding research area --- paraconsistent reasoning.The purpose of this book is to provide a comprehensive methodological presentation of the rich mathematical theory that exists by now concerning the mostfundamental part of paraconsistent reasoning: propositional (monotonic) logics. Among those logics it mainly concentrates on those which are effective(in the sense that they are decidable, have a concrete semantics, and can be equipped with implementable analytic proof systems).The first part of the book defines in precise terms all the basic notions that are related to paraconsistency, after reviewing all the necessary preliminaries. The other parts describe in detail all of the main approaches to the subject. This includes finite-valued semantics (both truth functional and non-deterministic);logics of formal inconsistency; relevant logics; constructive paraconsistent logics which are based on positive intuitionistic logic; and paraconsistent logics which are based on modal logics. The book covers thousands of paraconsistent logics, each of which is studied both from a semantical and from a prooftheoretical points of view. In addition, most of those logics are characterized in terms of minimality or maximality properties that they may have.

The Journal of Applied Logics - IfCoLog Journal of Logics and their Applications (FLAP) covers all areas of pure and applied logic, broadly construed. All papers published are open access, and available via the College Publications website. This Journal is open access, and available in both printed and electronic formats. It is published by College Publications, on behalf of IfCoLog (www.ifcolog.net).

The Handbook of Normative Multiagent Systems presents a comprehensive overview of the state-of-the-art and trends in the research field of normative multiagent systems (NorMAS). The handbook provides a solid introduction to the essentials of the field for newcomers and a selection of advanced issues as a base for future research directions.Norms are widely used to represent ethical, legal, and interactive aspects of social systems. Normative multiagent systems provide a promising model for human and artificial agent coordination since they integrate norms and individual intelligence. Thus, in the NorMAS community we build upon computer science but also logic, legal theory, sociology, psychology, and cognitive science.The handbook is organised in four parts. The introduction part describes the foundations and the history of the field and adds a particular focus on the social sciences' view on norms.The second part describes the major achievements the NorMAS research fi eld attained in the modelling of normative multiagent systems and the main challenges still open. Examples of these challenges include how to specify norms, verify systems of norms, model norm emergence and norm change, detect and subsequently manage norm violations, model organisations and institutions, and the use of agent-based simulation models to study these norm-related processes.Part C is concerned with the engineering of normative multiagent systems, more in particular interaction protocols to convey normative meaning and how to computationally organise normative multiagent systems.The final part is concerned with logically analyzing normative multiagent systems. Given the profound importance of norms in multiagent systems, it is fundamental to understand, e.g., which norms are valid in certain environments, how to interpret them, and to determine the deontic conclusions of such norms.

The Journal of Applied Logics - IfCoLog Journal of Logics and their Applications (FLAP) covers all areas of pure and applied logic, broadly construed. All papers published are open access, and available via the College Publications website. This Journal is open access, and available in both printed and electronic formats. It is published by College Publications, on behalf of IfCoLog (www.ifcolog.net).

This is Volume II of the proceedings of the 2nd European Conference on Argumentation: Argumentation and Inference, held at the University of Fribourg, Switzerland, in June 2017. The European Conference on Argumentation (ECA) is an established pan-European initiative aiming to consolidate and advance various streaks of research into argumentation and reasoning: philosophy, communication, linguistics, discourse analysis, computer science, psychology, cognitive studies, legal theory, etc. These proceedings reflect the current state of the art of argumentation scholarship across these disciplines and, as such, are a testimony to the vigour of the field. A majority of contributions presented in these volumes frontally tackle the conference theme, thereby offering a valuable and focused discussion on various aspects of inference and on its role in argumentative practices to scholars interested in the topic but also, more broadly, in argumentation theory.

This is Volume I of the proceedings of the 2nd European Conference on Argumentation: Argumentation and Inference, held at the University of Fribourg, Switzerland, in June 2017. The European Conference on Argumentation (ECA) is an established pan-European initiative aiming to consolidate and advance various streaks of research into argumentation and reasoning: philosophy, communication, linguistics, discourse analysis, computer science, psychology, cognitive studies, legal theory, etc. These proceedings reflect the current state of the art of argumentation scholarship across these disciplines and, as such, are a testimony to the vigour of the field. A majority of contributions presented in these volumes frontally tackle the conference theme, thereby offering a valuable and focused discussion on various aspects of inference and on its role in argumentative practices to scholars interested in the topic but also, more broadly, in argumentation theory.This is Volume I of the proceedings of the 2nd European Conference on Argumentation: Argumentation and Inference, held at the University of Fribourg, Switzerland, in June 2017. The European Conference on Argumentation (ECA) is an established pan-European initiative aiming to consolidate and advance various streaks of research into argumentation and reasoning: philosophy, communication, linguistics, discourse analysis, computer science, psychology, cognitive studies, legal theory, etc. These proceedings reflect the current state of the art of argumentation scholarship across these disciplines and, as such, are a testimony to the vigour of the field. A majority of contributions presented in these volumes frontally tackle the conference theme, thereby offering a valuable and focused discussion on various aspects of inference and on its role in argumentative practices to scholars interested in the topic but also, more broadly, in argumentation theory.

This text, volume II of a two-volume work, examines in depth the so-called "standard" predicate logic. Including a foundational lexicon of terms and a detour through the classical propositional logic, this volume can be used independently of the first. As a means toward teasing out theoretical subtleties and negotiating formal and philosophic challenges, this work uses detailed examples and exercises; because of this feature, the text can also be used to study formal logic in a rigorous fashion. Given its expressive power, predicate logic is deemed as minimally adequate for formalization of such fundamental languages as that of Mathematics and for translations of the meanings of English (or other natural-language) sentences. Laying foundations in this area is key to a technical understanding of deductive reasoning and to honing rigorous critical thinking and problem-solving skills. Notable (some of them unusual) features that are covered in the present volume include the following: The overview of propositional logic includes positive semantic trees, in addition to the negative semantic tree method. Prenex forms and conversion to equivalent prenex forms. Relational (ultimately polyadic) predicate symbols, function symbols and identity are made available. The decision problem and the L¿wenheim Result are discussed. Proof-theoretic methods are presented analytically and extensive justifications are offered for the required restrictions on the deduction rules. The semantics of predicate logic modeling are presented in analytical detail along with inquiries into the logical-philosophical significance of predicate logic. Translation from English into the predicate logic idiom (formalization, symbolization) is examined thoroughly, accompanied by motivating linguistic observations and thorough scrutiny of available options; aspects of this inquiry include translations under restricted and unrestricted domains, translations of compacted predicates, rendering of non-classically quantified phrases, translations of numerical statements, definite descriptions and regimentation, and guidance on how to render existential presuppositions. Disambiguation is imposed on translations and an extensive list of examples is presented. Translations of idiomatic linguistic expressions are studied. Semantic tree decision procedures (for finitarian domains) - including negative and positive semantic tree systems - are constructed and applied. Appendices on Set Theory, Mathematical Induction and Dialogical Logic are presented.

This text, volume I of a two-volume work, examines in depth the standard (also called classical) propositional logic. This is a theoretical work that aims at a philosophically exploratory and technically rigorous presentation. Detailed examples and exercises are used to tease out technical minutiae, solidify understanding, and point to logical-philosophical puzzles and challenges; because of this feature, the text can also be used to study formal logic in a rigorous fashion. The study of propositional logic can reward the dedicated and patient student by unveiling technical mysteries of critical thinking and problem-solving, by shedding light on relevant concepts in the study of reasoning, by showing how the powerful formal tools and methods work in applications, and by unlocking the crypts of logical analysis. It can hone insights that further contribute both to understanding how logic works and to preparing for future pursuits in the study of formal reasoning.This text encompasses certain topics and decision mechanisms that are usually absent from Logic texts and can be canvassed only through acquaintance with ever larger chunks of the extant bibliography. Rarely covered topics of the present text include: possible-worlds analysis, analyticity and non-cognitivism, detailed investigations of logical relations, alternative grammatical and computational systems, truth tables for dynamic flow of information and corrected truth tables, negative and positive semantic trees, normal forms and Karnaugh maps, Intuitionistic natural deduction, normalization and harmony in proof-theoretic systems, and dialogical logic.

The objective of the present work is to develop a theory of meaning based on the method of transcendental phenomenology. The key idea of the project is to explain the constitution of the meaning by means of the analyses of the intentionality. We have investigated different intentional acts which are functioning in the expression and in constructing the meanings. In this regard we have studied, first, the act of the primordial expression, in which a content of an intuition is raised to the realm of the ideal, and then the acts of the categorial synthesis, in which further meanings are constituted in the absence of their proper intuition. We have investigated the effects of the phenomenological theory of meaning to the conception of pure logic. Dialogical semantics is shown to be an adequate framework, from the phenomenological point of view, to interpret logical reasoning and to explain the meaning of the logical constants as well. We have also discussed the meanings of some logical connectives, and their formalizations, using our phenomenologico-dialogical method. In particular, the meaning explanations of negation(s), strict implication and necessity are given in a way which is not model theoretic nor proof theoretic, but based on the transcendental intentionality as manifested in the course of the dialogue.

The IfCoLog Journal of Logics and their Applications (FLAP) covers all areas of pure and applied logic, broadly construed. All papers published are open access, and available via the College Publications website. This Journal is open access, and available in both printed and electronic formats. It is published by College Publications, on behalf of IfCoLog (www.ifcolog.net).