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)

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)

A most sensible exposition of Nietzsche's philosophy.

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.

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)

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)

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 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)

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.

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)

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)

Fundamental aspects of human use of the environment can be explained by game theory. Game theory explains aggregate behaviour of the human species driven by perceived costs and benefits. In the 'game' of global environmental protection and conservation, the stakes are the living conditions of all species including the human race, and the playing field is our planet. The question is can we control humanity's hitherto endless appetite for resources before we irreparably harm the global ecosystem and cause extinction of (...) even more species? The central problem is that some proportion of the individuals or groups will behave selfishly. The inducement for using more than a fair share, or 'cheating', increases as that resource becomes rarer, thus the benefits of cheating increase. In addition, the total number of people is increasing, so the proportion of cheaters must decrease to even keep total resource use constant. Cost benefit analysis of the effect of regulation and incentives on potential cheaters may provide a rational approach to controlling environmental problems. While it is debatable that environmental values are constant across cultures, communal use of resources seems to follow global rules. Cooperative use and punishment of those who use more than their share appear to be ubiquitous in human societies. Schemes for controlling human impact on the global environment must take into consideration basic behaviours including development of social norms and the positive feedback created because resources become more valuable with increasing rarity leading to more incentive for consumption. (shrink)

This is the first complete English translation of _On the Purity of the Art of Logic, _a handbook of logic written in Latin by English philosopher Walter Burley. The work circulated in the Middle Ages in two versions, a shorter and a longer one, both translated here by Paul Vincent Spade. The translations are based on the only complete edition of Burley’s treatises, corrected by Spade on the basis of one of the surviving manuscripts. The book also includes an (...) extensive introduction, explanatory notes, a table of corresponding passages between the two versions, a select annotated bibliography, and three indexes. A contemporary of John Duns Scotus and William of Ockham, Burley was active at the universities of both Paris and Oxford. He became one of the most important figures in the transformation of medieval logic and semantics that took place in the early fourteenth century. Burley used new tools and techniques of logical and semantical analysis, yet in many cases he used them in defense of traditional views, such as a realist metaphysical theory of “universals_._”_ On the Purity of the Art of Logic_ shows_ _both these sides of Burley—the innovator and the conservative—as well as some of the ways in which his views corresponded or clashed with those of William of Ockham. (shrink)