There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express metalogical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the logics of formal inconsistency and by the logics of formal undeterminedness. LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover the validity of (...) the principle of excluded middle in a paracomplete scenario. We introduce definitions of duality between inference rules and connectives that allow comparing rules and connectives that belong to different logics. Two formal systems are studied, the logics mbC and mbD, that display the duality between paraconsistency and paracompleteness as a duality between inference rules added to a common core—in the case studied here, this common core is classical positive propositional logic. The logics mbC and mbD are equipped with recovery operators that restore classical logic for, respectively, consistent and determined propositions. These two logics are then combined obtaining a pair of LFI and undeterminedness, namely, mbCD and mbCDE. The logic mbCDE exhibits some nice duality properties. Besides, it is simultaneously paraconsistent and paracomplete, and able to recover the principles of excluded middle and explosion one at a time. The last sections offer an algebraic account for such logics by adapting the swap structures semantics framework of the LFIs the LFUs. This semantics highlights some subtle aspects of these logics, and allows us to prove decidability by means of finite nondeterministic matrices. (shrink)

There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express meta-logical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the Logics of Formal Inconsistency (LFIs) and by the Logics of Formal Undeterminedness (LFUs). LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover the (...) validity of the principle of excluded middle in a paracomplete scenario. We introduce definitions of duality between inference rules and connectives that allow comparing rules and connectives that belong to different logics. Two formal systems are studied, the logics mbC and mbD, that display the duality between paraconsistency and paracompleteness as a duality between inference rules added to a common core– in the case studied here, this common core is classical positive propositional logic (CPL + ). The logics mbC and mbD are equipped with recovery operators that restore classical logic for, respectively, consistent and determined propositions. These two logics are then combined obtaining a pair of logics of formal inconsistency and undeterminedness (LFIUs), namely, mbCD and mbCDE. The logic mbCDE exhibits some nice duality properties. Besides, it is simultaneously paraconsistent and paracomplete, and able to recover the principles of excluded middle and explosion at once. The last sections offer an algebraic account for such logics by adapting the swap-structures semantics framework of the LFIs the LFUs. This semantics highlights some subtle aspects of these logics, and allows us to prove decidability by means of finite non-deterministic matrices. (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)

David Friedman attacks deontological or principled libertarianism from a utilitarian point of view. The present essay is an attempt to refute his critique of this philosophy, and to cast aspersions on the utilitarian version of libertarianism he favors.

What is the role of consciousness in nature? The science of consciousness has largely neglected the question through its emphasis on human experience. In this précis of A Philosophy for the Science of Animal Consciousness, I outline how we can move from a top-down approach that begins with investigations in humans to an evolutionary bottom-up approach that targets the adaptive origins of even the most minimal forms of subjective experience. I will also offer an introduction to the central thesis of (...) the book, i.e. the pathological complexity thesis, according to which consciousness evolved in order to enable animals to adaptively respond to their life history challenges. (shrink)

In Block I offered a compromise between the pro choice position that fervently supports stem cell research, and the pro life philosophy which bitterly opposes it. The compromise was a contest: allow would be researchers to create as many fertilized eggs as they wished. But, also, these should be offered up to would be parents to adopt all of these “children” as they wanted. If and only if there were any unadopted fetuses remaining in the laboratories of the nation would (...) it be licit, on libertarian grounds, for research on them to take place. In the present paper I respond to several objections to this “modest proposal.”. (shrink)

uber das Programm der kommenden Philosophie. ZUr Kritik der Gewalt. SChicksal und Charakter. GEschichtsphilosophische Thesen. THeologisch-politisches Fragment.

This paper intends to open a discussion on how certain dangerous kinds of deceptive reasoning can be defined, in which way it is achieved in a discussion, and which would be the strategies for defense against such deceptive attacks on the light of some principles accepted as fundamental for rationality and logic.

This essay examines Michael Polanyi’s notion of tacit knowing and seeks to clarify and elaborate upon its claims. Tacit knowing, which is conscious although inarticulate, must be distinguished from tacit processes, which are largely unconscious. Schematization is explored as a primary tacit process that humans share with all animals. This tacit process organizes and secures, in long-term memory, information of interest provided by receptors and those learned skifls conducive to survival. Human empirical knowing integrates schematized subsidiaries info articulate explicitness through (...) culturally-embedded symbols evoked in terms of felt fittingness. (shrink)

The providential state.--The collectivist movement.--The reconstruction of liberalism.--The testament of liberty.

This essay critically discusses books not previously reviewed in Tradition and Discovery yet making significant use of Michael Polanyi’s thought. These works suggest Polanyi’s thought continues to play an importanf, if limited, role in contemporary scholarship.

This original and accessible text is more than an introduction to comparative philosophy in the East and West. It is also a guide to 'philosophizing' as a thinking process. In addition to outlining the presuppositions of different traditions, it discusses their methods and techniques for reasoning in what the author calls four dimensions of 'philosophical space': object, subject, the situational and the aspective/perspective dimension.