Contribución de eruditos autores sobre aspectos trascendentales de la teoría pura del derecho. Esta obra debe verse como una expresión de esa renovada ocupación con los problemas de la doctrina de Kelsen.

Based on a comparison of various sources, such as different editions, correspondence, reviews, and lecture transcripts, it is shown that Ludwig Heinrich Jakob’s Outline of the General Logic and Critical Elements of Metaphysics in General uses one or more transcripts of Kant’s Logic Lectures as a source. In addition to the thus far known texts by Kiesewetter and Hippel, Jakob’s textbook should therefore also be added to the list of secondary transmissions of Kant’s Logic Lectures.

This book is the first in the field of paraconsistency to offer a comprehensive overview of the subject, including connections to other logics and applications in information processing, linguistics, reasoning and argumentation, and philosophy of science. It is recommended reading for anyone interested in the question of reasoning and argumentation in the presence of contradictions, in semantics, in the paradoxes of set theory and in the puzzling properties of negation in logic programming. Paraconsistent logic comprises a major logical theory and (...) offers the broadest possible perspective on the debate of negation in logic and philosophy. It is a powerful tool for reasoning under contradictoriness as it investigates logic systems in which contradictory information does not lead to arbitrary conclusions. Reasoning under contradictions constitutes one of most important and creative achievements in contemporary logic, with deep roots in philosophical questions involving negation and consistency This book offers an invaluable introduction to a topic of central importance in logic and philosophy. It discusses the history of paraconsistent logic; language, negation, contradiction, consistency and inconsistency; logics of formal inconsistency and the main paraconsistent propositional systems; many-valued companions, possible-translations semantics and non-deterministic semantics; paraconsistent modal logics; first-order paraconsistent logics; applications to information processing, databases and quantum computation; and applications to deontic paradoxes, connections to Eastern thought and to dialogical reasoning. (shrink)

The purpose of this paper is to present a paraconsistent formal system and a corresponding intended interpretation according to which true contradictions are not tolerated. Contradictions are, instead, epistemically understood as conflicting evidence, where evidence for a proposition A is understood as reasons for believing that A is true. The paper defines a paraconsistent and paracomplete natural deduction system, called the Basic Logic of Evidence, and extends it to the Logic of Evidence and Truth. The latter is a logic of (...) formal inconsistency and undeterminedness that is able to express not only preservation of evidence but also preservation of truth. LETj is anti-dialetheist in the sense that, according to the intuitive interpretation proposed here, its consequence relation is trivial in the presence of any true contradiction. Adequate semantics and a decision method are presented for both BLE and LETj, as well as some technical results that fit the intended interpretation. (shrink)

Climate change mitigation has become a paradigm case both for externalities in general and for the game-theoretic model of the Tragedy of the Commons (ToC) in particular. This situation is worrying, as we have reasons to suspect that some models in the social sciences are apt to be performative to the extent that they can become self-fulfilling prophecies. Framing climate change mitigation as a hardly solvable coordination problem may force us into a worse situation, by changing real-world behaviour to fit (...) our model, rather than the other way around. But while this problem of the performativity of the ToC has been noted in a recent paper in this journal by Matthew Kopec, his proposed strategies for dealing with their self-fulfilling nature fall short of providing an adequate solution. Instead of relying on the idea that modelling assumptions are always strictly speaking false, this paper shows that the problem may be better framed as a problem of underdetermination between competing explanations. Our goal here is to provide a framework for choosing between this set of competing models that allows us to avoid a ‘Russian Roulette’-like situation in which we gamble with existential risk. (shrink)

The workshop will discuss new insights in the interaction between logic and law, and more precisely the study of different answers to the question: What role does logic play in legal reasoning? It will present both current challenges and historical perspectives in the relation between logic and law. The perspectives to be discussed involve the interface of the following studies.

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)

The post-classical (or post-Avicennan, post-Rāzian) genre of the “protocols for dialectical inquiry and disputation” (ādāb al-baḥth wa-l-munāẓara) has its more proximate origins in the famed Risāla of Shams al-Dīn al-Samarqandī (d. 722/1322). The greater part of his conceptions and methodology, however, consists in a streamlining and universalizing of the more strictly juristic dialectic (jadal / khilāf) of his teacher Burhān al-Dīn al-Nasafī (d. 687/1288); and this in turn draws on the highly logicized dialectic of Rukn al-Dīn al-ʿAmīdī (d. 615/1218) and (...) his teacher Raḍī al-Dīn al-Nīsābūrī (d. 617/1220). At the heart of methods in this lineage, and carried forward by al-Samarqandī into the universal ādāb al-baḥth, are three truth-preserving logical relationships critical to the truth-seeking enterprise of dialectic: entailment (talāzum / mulāzama), mutual negation or exclusion (tanāfin / munāfā), and causal concomitance (dawarān). The practical elaboration of these relations reveals a logic in action—a premodern dialogical logic for living disputation praxis. In fact, so critical were these to the dialectical enterprise that al-Samarqandī devoted a specialized treatise entirely to summarizing their defining features and rules, aptly naming it the ʿAyn al-Naẓar, or “Wellspring of Rational Investigation.” In this article, and drawing upon a recently published digital critical edition, I will present an analytical outline of these core logical relations as presented in the ʿAyn al-Naẓar. Then I will address a number of points of interest in this text, grouped under six themes: the potential for cross-disciplinary advancement; notions in discursive development; significant or uniquely contributive formulations; peculiarities of content; signs of an evolving, universalist agenda; and evidence that the ʿAyn al-Naẓar was designed as an aide-mémoire for the active disputant. (shrink)

Boolean-valued models of set theory were independently introduced by Scott, Solovay and Vopěnka in 1965, offering a natural and rich alternative for describing forcing. The original method was adapted by Takeuti, Titani, Kozawa and Ozawa to lattice-valued models of set theory. After this, Löwe and Tarafder proposed a class of algebras based on a certain kind of implication which satisfy several axioms of ZF. From this class, they found a specific 3-valued model called PS3 which satisfies all the axioms of (...) ZF, and can be expanded with a paraconsistent negation *, thus obtaining a paraconsistent model of ZF. The logic (PS3 ,*) coincides (up to language) with da Costa and D'Ottaviano logic J3, a 3-valued paraconsistent logic that have been proposed independently in the literature by several authors and with different motivations such as CluNs, LFI1 and MPT. We propose in this paper a family of algebraic models of ZFC based on LPT0, another linguistic variant of J3 introduced by us in 2016. The semantics of LPT0, as well as of its first-order version QLPT0, is given by twist structures defined over Boolean agebras. From this, it is possible to adapt the standard Boolean-valued models of (classical) ZFC to twist-valued models of an expansion of ZFC by adding a paraconsistent negation. We argue that the implication operator of LPT0 is more suitable for a paraconsistent set theory than the implication of PS3, since it allows for genuinely inconsistent sets w such that [(w = w)] = 1/2 . This implication is not a 'reasonable implication' as defined by Löwe and Tarafder. This suggests that 'reasonable implication algebras' are just one way to define a paraconsistent set theory. Our twist-valued models are adapted to provide a class of twist-valued models for (PS3,*), thus generalizing Löwe and Tarafder result. It is shown that they are in fact models of ZFC (not only of ZF). (shrink)

This paper reviews the central points and presents some recent developments of the epistemic approach to paraconsistency in terms of the preservation of evidence. Two formal systems are surveyed, the basic logic of evidence (BLE) and the logic of evidence and truth (LET J ), designed to deal, respectively, with evidence and with evidence and truth. While BLE is equivalent to Nelson’s logic N4, it has been conceived for a different purpose. Adequate valuation semantics that provide decidability are given for (...) both BLE and LET J . The meanings of the connectives of BLE and LET J , from the point of view of preservation of evidence, is explained with the aid of an inferential semantics. A formalization of the notion of evidence for BLE as proposed by M. Fitting is also reviewed here. As a novel result, the paper shows that LET J is semantically characterized through the so-called Fidel structures. Some opportunities for further research are also discussed. (shrink)

Philosophy of science and the sciences are related in an arbitrary and noncommital way. This has problematic consequences in terms of the disciplinary autonomy of the sciences, as shown in the example of the science of education. A new determination and definition of the relation between science and the philosophy of science demands, on the one hand, a greater willingness towards metatheoretical reflection and critique of the part of the individual sciences and, on the other hand, a reorientation within the (...) philosophy of science towards performing „service functions“ with regard to the metatheoretical selfdefinitions of the sciences. This can be achieved by a constructivist, pragmatic and historical theory of knowledge and science. A central factor in a changed relationship between science and the philosophy of science is the scientific discipline's determination of its field of enquiry. This is seen to be an integral part of the process of establishing a discipline as a science. (shrink)

Proponents of situated affectivity hold that “tools for feeling” are just as characteristic of the human condition as are “tools for thinking” or tools for carpentry. An agent’s affective life, they argue, is dependent upon both physical characteristics of the agent and the agent’s reciprocal relationship to an appropriately structured natural, technological, or social environment. One important achievement has been the distinction between two fundamentally different ways in which affectivity might be intertwined with the environment: the “user-resource-model” and the “mind-invasion-model.” (...) The twofold purpose of this paper is to complement the debate about situated affectivity in general and about “mind invasion” in particular by, firstly, connecting it to situationist research in social psychology and, secondly, broadening the perspective to not only accommodate decidedly detrimental “invasions” but also potentially beneficial forms of “mind shaping” that include the manipulation of an agent’s experiential life and behaviour through the moulding of both the agent’s environment and the agent’s body. (shrink)

Proponents of situated affectivity hold that “tools for feeling” are just as characteristic of the human condition as are “tools for thinking” or tools for carpentry. An agent’s affective life, they argue, is dependent upon both physical characteristics of the agent and the agent’s reciprocal relationship to an appropriately structured natural, technological, or social environment. One important achievement has been the distinction between two fundamentally different ways in which affectivity might be intertwined with the environment: the “user-resource-model” and the “mind-invasion-model.” (...) The twofold purpose of this paper is to complement the debate about situated affectivity in general and about “mind invasion” in particular by, firstly, connecting it to situationist research in social psychology and, secondly, broadening the perspective to not only accommodate decidedly detrimental “invasions” but also potentially beneficial forms of “mind shaping” that include the manipulation of an agent’s experiential life and behaviour through the moulding of both the agent’s environment and the agent’s body. (shrink)

This book brings the idea of a public—defined in part as the quality of communication among strangers—back into focus. The benefits of doing this are many, but perhaps the most important are to adjust our understanding of what is good teaching and to widen our understanding of what counts as central to the educational process.

What is the proper punishment from the perspective of the libertarian philosophy? More specifically, in what way, if at all, may a thief benefit from his robbery? The present essay attempts to wrestle with these challenging questions.

This paper briefly outlines some advancements in paraconsistent logics for modelling knowledge representation and reasoning. Emphasis is given on the so-called Logics of Formal Inconsistency (LFIs), a class of paraconsistent logics that formally internalize the very concept(s) of consistency and inconsistency. A couple of specialized systems based on the LFIs will be reviewed, including belief revision and probabilistic reasoning. Potential applications of those systems in the AI area of KRR are tackled by illustrating some examples that emphasizes the importance of (...) a fine-tuned treatment of consistency in modelling reputation systems, preferences, argumentation, and evidence. (shrink)