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)

The Neuroethics of Memory is a thematically integrated analysis and discussion of neuroethical questions about memory capacity and content, as well as interventions to alter it. These include: how does memory function enable agency, and how does memory dysfunction disable it? To what extent is identity based on our capacity to accurately recall the past? Could a person who becomes aware during surgery be harmed if they have no memory of the experience? How do we weigh the benefits and risks (...) of brain implants designed to enhance, weaken or erase memory? Can a person be responsible for an action if they do not recall it? Would a victim of an assault have an obligation to retain a memory of this act, or the right to erase it? This book uses a framework informed by neuroscience, psychology, and philosophy combined with actual and hypothetical cases to examine these and related questions. (shrink)

A most sensible exposition of Nietzsche's philosophy.

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)

The Dialectical Forge identifies dialectical disputation as a primary formative dynamic in the evolution of pre-modern Islamic legal systems, promoting dialectic from relative obscurity to a more appropriate position at the forefront of Islamic legal studies. The author introduces and develops a dialectics-based analytical method for the study of pre-modern Islamic legal argumentation, examines parallels and divergences between Aristotelian dialectic and early juridical jadal-theory, and proposes a multi-component paradigm—the Dialectical Forge Model—to account for the power of jadal in shaping Islamic (...) law and legal theory.In addition to overviews of current evolutionary narratives for Islamic legal theory and dialectic, and expositions on key texts, this work shines an analytical light upon the considerably sophisticated “proto-system” of juridical dialectical teaching and practice evident in Islam’s second century, several generations before the first “full-system” treatises of legal and dialectical theory were composed. This proto-system is revealed from analyses of dialectical sequences in the 2nd/8th century Kitāb Ikhtilāf al-ʿIrāqiyyīn / ʿIrāqiyyayn through a lens molded from 5th/11th century jadal-theory treatises. Specific features thus uncovered inform the elaboration of a Dialectical Forge Model, whose more general components and functions are explored in closing chapters. (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)

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)

In a recent contribution to this journal, Andrew Fenton and Sheri Alpert have argued that the so-called “extended mind hypothesis” allows us to understand why Brain Computer Interfaces (BCIs) have the potential to change the self of patients suffering from Locked-in syndrome (LIS) by extending their minds beyond their bodies. I deny that this can shed any light on the theoretical, or philosophical, underpinnings of BCIs as a tool for enabling communication with, or bodily action by, patients with LIS: BCIs (...) are not a case of cognitive extension. I argue that Fenton and Alpert’s claim to the contrary is the result of a widespread confusion about some related, but significantly different, approaches to cognition that all fall under the heading of “situated cognition.” I first provide a short taxonomy of various situated approaches to cognition, highlighting (some of) their important commonalities and differences, which should dissolve some of the confusions surrounding them. Then I show why the extended mind hypothesis is unsuitable as a model of BCI enhancements of LIS patients’ capacity to interact with their surroundings, and I argue that the situated approach with obvious bearings on the sort of questions that were driving Fenton and Alpert is not the idea that cognition is extended , but the idea that cognition is enacted. (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)

This paper provides an overview over the debate about so-called “situated approaches to cognition” that depart from the intracranialism associated with traditional cognitivism insofar as they stress the importance of body, world, and interaction for cognitive processing. It sketches the outlines of an overarching framework that reveals the differences, commonalities, and interdependencies between the various claims and positions of second-generation cognitive science, and identifies a number of apparently unresolved conceptual and ontological issues.

This essay addresses the question: given the flattening out of the cultural hierarchy that was the vestige of colonialism and nation-building, is there anything that might be uniquely common about the common school in this postmodern age? By ‘uniquely common’ I do not mean those subjects that all schools might teach, such as reading or arithmetic. Nor do I mean just subjects that might serve a larger public purpose, but that might be taught in either publicly supported or privately supported (...) schools. Rather I mean subjects that speak to the shaping of a child’s identity as a member of a common community in the way that the common school was intended to create when its commission was to develop and maintain a single national or colonial identity and loyalty. I argue that there is a kind of connectivity that common schools should foster even as the nation-building and colonial past is rejected, and that this connectivity is what is common about the common schools. I argue that any concept of culture that merely flattens out the normative dimension of educating is deficient as an educational theory, and propose a conception of culture that is educationally productive. (shrink)

Mental causation, our mind's ability to causally affect the course of the world, is part and parcel of our ‘manifest image’ of the world. That there is mental causation is denied by virtually no one. How there can be such a thing as mental causation, however, is far from obvious. In recent years, discussions about the problem of mental causation have focused on Jaegwon Kim's so-called Causal Exclusion Argument, according to which mental events are ‘screened off’ or ‘preempted’ by physical (...) events unless mental causation is a genuine case of overdetermination or mental properties are straightforwardly reducible to physical properties. (shrink)

The author nationally recognized for the quality and depth of his teaching in religious studies has written the first full-scale introduction to the history and methods of the study of religion.