Classical logic yields counterintuitive results for numerous propositional argument forms. The usual alternatives (modal logic, relevance logic, etc.) generate counterintuitive results of their own. The counterintuitive results create problems—especially pedagogical problems—for informal logicians who wish to use formal logic to analyze ordinary argumentation. This paper presents a system, PL– (propositional logic minus the funny business), based on the idea that paradigmatic valid argument forms arise from justificatory or explanatory discourse. PL– avoids the pedagogical difficulties without sacrificing insight into (...) argument. (shrink)

The paradox of material implication has remained unresolved since antiquity because it was believed that the nature of implication was entailment. The article shows that this nature is opposition and therefore the name "implication" should be replaced with the name "competition". A solution to the paradox is provided along with appropriate changes in nomenclature, the addition of connectives and the postulate that the biconditional take over the role of the previous implication. In addition, changes to (...) the nomenclature of logic gates reflecting the competition in electronics are proposed. (shrink)

In this paper a formalized logic of propositions, PA1, is presented. It is proven consistent and its relationships to traditional logic, to PM ([15]), to subjunctive (including contrary-to-fact) implication and to the “paradoxes” of material and strict implication are developed. Apart from any intrinsic merit it possesses, its chief significance lies in demonstrating the feasibility of a general logic containing theprinciple of subjunctive contrariety, i.e., the principle that ‘Ifpwere true thenqwould be true’ and ‘Ifpwere true thenqwould (...) be false’ are incompatible. (shrink)

This paper has its genesis in concerns about the return to “the real” in social and political theory and analysis. This trend is linked to a reaction against the “linguistic turn”, on the grounds that an exclusive focus on language undercuts political analysis by refusing to engage with “material reality”. Foucault and “discourse” are common targets of this critique. Against this interpretation, the authors direct attention to the analytic and political usefulness of Foucault’s concept of “discursive practices”, which, (...) it argues, has been much misunderstood. Discursive practices, as developed by Foucault, refers to the practices of discourses, meaning knowledge formations, not to linguistic practices or language use. The focus is on how knowledge is produced through plural and contingent practices across different sites. Such an approach bridges a symbolic-material distinction and signals the always political nature of “the real”. (shrink)

The aim of this paper is to clarify the truth-functional interpretation of the logical connective of the material implication. The importance of such clarification lies in the fact that it allows avoiding the supposed paradoxes introduced by C. I. Lewis (1918). I argue that an adequate understanding of the history and purposes of logic is enough to dissolve them away. The defense is based on an exposition of propositional compositionalism. To compare, I also present Stalnaker’s (1968) (...) alternative that seeks to explain the implicit concept of conditionality of conditionals assertions. In order to reinforce my aim I expound the twelve different meanings of ‘implication’ stated by Corcoran (1993) in order to hold that a proper understanding of these meanings allows us to avoid ambiguities and confusions. Finally, I expect to show that despite the possible alternatives, compositionalism is still the best explanation for the truth-functionality account of logical connectives. (shrink)

The so-called paradoxes of material implication have motivated the development of many non-classical logics over the years, such as relevance logics, paraconsistent logics, fuzzy logics and so on. In this note, we investigate some of these paradoxes and classify them, over minimal logic. We provide proofs of equivalence and semantic models separating the paradoxes where appropriate. A number of equivalent groups arise, all of which collapse with unrestricted use of double negation elimination. Interestingly, the principle (...) ex falso quodlibet, and several weaker principles, turn out to be distinguishable, giving perhaps supporting motivation for adopting minimal logic as the ambient logic for reasoning in the possible presence of inconsistency. (shrink)

Paradoxes have played an important role both in philosophy and in mathematics and paradox resolution is an important topic in both fields. Paradox resolution is deeply important because if such resolution cannot be achieved, we are threatened with the charge of debilitating irrationality. This is supposed to be the case for the following reason. Paradoxes consist of jointly contradictory sets of statements that are individually plausible or believable. These facts about paradoxes then give rise to a deeply (...) troubling epistemic problem. Specifically, if one believes all of the constitutive propositions that make up a paradox, then one is apparently committed to belief in every proposition. This is the result of the principle of classical logical known as ex contradictione (sequitur) quodlibetthat anything and everything follows from a contradiction, and the plausible idea that belief is closed under logical or material implication (i.e. the epistemic closure principle). But, it is manifestly and profoundly irrational to believe every proposition and so the presence of even one contradiction in one’s doxa appears to result in what seems to be total irrationality. This problem is the problem of paradox-induced explosion. In this paper it will be argued that in many cases this problem can plausibly be avoided in a purely epistemic manner, without having either to resort to non-classical logics for belief (e.g. paraconsistent logics) or to the denial of the standard closure principle for beliefs. The manner in which this result can be achieved depends on drawing an important distinction between the propositional attitude of belief and the weaker attitude of acceptance such that paradox constituting propositions are accepted but not believed. Paradox-induced explosion is then avoided by noting that while belief may well be closed under material implication or even under logical implication, these sorts of weaker commitments are not subject to closure principles of those sorts. So, this possibility provides us with a less radical way to deal with the existence of paradoxes and it preserves the idea that intelligent agents can actually entertain paradoxes. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:The Logic Pamphlets of Charles Lutwidge Dodgson and Related PiecesIrving H. AnellisFrancine F. Abeles, editor. The Logic Pamphlets of Charles Lutwidge Dodgson and Related Pieces. The Pamphlets of Lewis Carroll, 4. New York-Charlottesville-London: Lewis Carroll Society of North America-University Press of Virginia, 2010. Pp. xx + 271. Cloth, $75.00.Until William Bartley’s rediscovery and reconstruction of Dodgson’s lost Part II of Symbolic Logic, Lewis Carroll’s reputation in logic, when (...) taken seriously, rested upon his few published articles on logical paradoxes and puzzles, while his published books, The Game of Logic and Symbolic Logic, were regarded as suitable perhaps as pedagogical tools, but dismissed otherwise as amusements, on a par with the Alice works. Richard Braithwaite asserted (“Lewis Carroll as Logician”) that “Carroll regarded formal and symbolic logic not as a corpus of systematic knowledge about valid thought nor yet as an art for teaching a person to think correctly.” He suggested that Dodgson used his pseudonym for his popular and whimsical writings, reserving his legal name only for his serious mathematical products. Philosophers practicing linguistic analysis in their assault on nonsense deriving from misuse of language meanwhile developed an interest in Carroll (e.g. George Pitcher, “Wittgenstein, Nonsense, and Lewis Carroll”). Abeles, on the contrary, stresses the seriousness of Dodgson’s pedagogical and popularizing mission (195–99).Bartley’s discovery opened the door for reevaluating Dodgson as a serious logician, and Abeles has been in the forefront of that reevaluation. Her general introduction and introductions to the main divisions of this collection of Carroll’s publications (and additional material from his Nachlass and a handful of publications of others, composed in response to Carroll’s published articles) place his serious logical work and its significance in historical perspective, providing a deeper, more sophisticated view than found in Bartley’s “Editor’s Introduction” to Lewis Carroll’s Symbolic Logic. Abeles also offers brief introductions to the individual entries, which describe their physical characteristics and circumstances of composition.Dodgson aligned with the majority of those British logicians of his day, starting with George Boole, who understood formal logic to be Aristotelian syllogistic, and symbolic logic to be syllogistic logic expressed algebraically. His notational innovation was employing indices to terms so that, independently of the arrangement of terms, propositions could easily be read; thus, “xy0” can be read as “no x are y” or “no y are x” and “x1y0” as “all x are not y” or “no x are y”. In dealing with the classical elimination problem in the class calculus—to determine the maximum information, without duplications, obtainable from a given set of premises—Dodgson in his later work and unpublished letters anticipated several concepts of automated theorem proving.Central to both geometry and to formal logic are the rules of logical inference that establish the validity of arguments and guarantee that conclusions inferred from true [End Page 506] premises are true. The modern analytic tableaux, or tree method, is a fundamental tool in this regard, both for deriving theorems and for determining the validity or invalidity of the proofs for propositional calculus and first-order predicate calculus.Introducing his reconstruction of Part II of Symbolic Logic, Bartley noted that, along with the logic diagrams that Carroll devised, he also devised a tableau method that strongly resembled Beth’s semantic tableaux. Abeles went more deeply and convincingly into that resemblance in her earlier research. Beth’s tableaux, together with Hintikka’s model sets, were the direct ancestors of Smullyan’s analytic tableaux, which in turn are the theoretical basis for the Robinson resolution method that continues to be central to much work in programming logic.Abeles has also shown that the work in Studies in Logic by Charles Peirce and his logic students at Johns Hopkins University served as a source of inspiration for Dodgson. More critically, she demonstrated that Dodgson devised and employed the tree method for carrying out proofs of syllogisms and chains of syllogisms, or soriteses, in Part II of Symbolic Logic (see her “Lewis Carroll’s Method of Trees: Its Origins in Studies in Logic,” Modern Logic 1 [1990]: 25–34). The tree... (shrink)

Demonstrates that the "paradoxes of material implication" are only apparent, sticking entirely within the confines of classical logic.

The paper argues that metaphysical thought, or thought in whose context our general framework of sense is under scrutiny, involves, legitimates, and requires a variety of informal analogues of the ‘true contradictions’ supported in some paraconsistent formal logics. These are what we can call informal ‘legitimate logical inadequacies’. These paradoxical logical structures also occur in deeply pluralist contexts, where more than one, conflicting general framework for sense is relevant. The paper argues further that these legitimate logical inadequacies are real or (...) inherent in sense itself rather than conventional, shows how they can feature in argumentative practice in these metaphysical and pluralist contexts, and discusses some of their implications for metaphysical truth and for philosophical inquiry and disagreement. (shrink)

The introduction and elimination rules for material implication in natural deduction are not complete with respect to the implicational fragment of classical logic. A natural way to complete the system is through the addition of a new natural deduction rule corresponding to Peirce's formula → A) → A). E. Zimmermann [6] has shown how to extend Prawitz' normalization strategy to Peirce's rule: applications of Peirce's rule can be restricted to atomic conclusions. The aim of the present paper is (...) to extend Seldin's normalization strategy to Peirce's rule by showing that every derivation Π in the implicational fragment can be transformed into a derivation Π' such that no application of Peirce's rule in Π' occurs above applications of →-introduction and →-elimination. As a corollary of Seldin's normalization strategy we obtain a form of Glivenko's theorem for the classical {→}-fragment. (shrink)

Here I present a new objection to the material or "hook" analysis of indicative conditionals - the thesis that an indicative conditional 'If A then C' has the truth-conditions of the so-called material conditional - based on Liar-like reasoning. This objection seems invulnerable to any Grice-Lewis-Jackson-inspired pragmatic rejoinder.

In this paper Grice's requirements for assertability are imposed on the disjunction of Classical Logic. Defining material implication in terms of negation and disjunction supplemented by assertability conditions, results in the disappearance of the most important paradoxes of material implication. The resulting consequence relation displays a very strong resemblance to Schurz's conclusion-relevant consequence relation.

The aggregation of individual judgments on logically interconnected propositions into a collective decision on the same propositions is called judgment aggregation. Literature in social choice and political theory has claimed that judgment aggregation raises serious concerns. For example, consider a set of premises and a conclusion where the latter is logically equivalent to the former. When majority voting is applied to some propositions (the premises) it may give a different outcome than majority voting applied to another set of propositions (the (...) conclusion). This problem is known as the discursive dilemma (or paradox). The discursive dilemma is a serious problem since it is not clear whether a collective outcome exists in these cases, and if it does, what it is like. Moreover, the two suggested escape-routes from the paradox—the so-called premise-based procedure and the conclusion-based procedure—are not, as I will show, satisfactory methods for group decision-making. In this paper I introduce a new aggregation procedure inspired by an operator defined in artificial intelligence in order to merge belief bases. The result is that we do not need to worry about paradoxical outcomes, since these arise only when inconsistent collective judgments are not ruled out from the set of possible solutions. (shrink)

When the student of logic is first initiated into the problem of the relation of implication as expressed by the hypothetical proposition, he enters into a portion of logic which seems to him an impenetrable jungle. Elementary statements of the meaning of implication, as he is acquainted with them, are so meagre that they have failed to give any indication of the problems and paradoxes involved. Adequate discussions, on the other hand, are so abstruse that the initiate (...) is lost in their incomprehensibility, for these are issues discussed by the technical logicians largely among themselves. When one considers the important bearings implicit in the interpretation of implication, such a state of affairs is greatly to be deplored. Through a simple but adequate presentation of the meaning of a hypothetical proposition one may be led not only to an understanding of a fundamental paradox of logic but to the whole question of modal logic and of the philosophy of logic. It is my purpose in what follows to present as simply as possible the various interpretations of the meaning of implication and to show their relations to modal logic. Having done this I believe it will be possible to state the case in favor of material implication in a new light. (shrink)

It is shown that the paradoxes of confirmation are closely linked to the paradoxes of material implication and that they can be avoided by formulating natural laws in terms of a genuine if-Connective rather than the material conditional. However, Natural laws so expressed are not confirmed by simple conjunctions. The question then is whether the common assumption that simple conjunctions do confirm universal generalizations is correct. The answer given is that it is not. In particular, (...) A confirming proposition of the form 'this is a black raven' is not equivalent to 'this is a raven and this is black'. (shrink)

The paradox of the Aged Care Act 1997: the marginalisation of nursing discourse This paper examines the marginalisation of nursing discourse, which followed the enactment of the Aged Care Act 1997. This neo‐reform period in aged care, dominated by theories of economic rationalism, enshrined legislation based upon market principles and by implication, the provision of care at the cheapest possible price. This paper exposes some of the gaps in the neo‐reform period and challenges the assertion that the amalgamation of (...) nursing homes and hostels in such an environment can provide better quality of care and life for residents. It argues that this amalgamation entails a transformation towards a social model of care and fails to address the professional healthcare needs of the acutely sick and complex extreme old person and makes evident new gaps in the provision of aged care services. The paper proceeds to present strategies where the future for nursing practice in aged care necessarily involves a judicious balancing of individual cases alongside economic prescriptions of care and ever‐changing public policy initiatives. It concludes that this can be achieved through a more interactive public, professional and advocacy discourse. The methodology involves extensive analysis of public documents including media, academic journals, government reports and interviews with recognised leaders in the field of aged care. The study utilises a critical interpretative framework consistent with the logic of Michel Foucault. (shrink)

That inferences of the form "If M then S and possibly M, therefore possibly S" are invalid in possible worlds modal logics can be viewed as another fallacy of material implication. However, this paper argues that properly analyzing this and related inferences requires treating the possibility involved as a practical modality. Specifically, ordinary language propositions of the form "It is possible that M" must be understood to mean that there is a non-negligible probability of M being the case. (...) But this entails reexamining the very idea of logical validity. (shrink)

Zeno’s paradoxes of motion, allegedly denying motion, have been conceived to reinforce the Parmenidean vision of an immutable world. The aim of this article is to demonstrate that these famous logical paradoxes should be seen instead as paradoxes of immobility. From this new point of view, motion is therefore no longer logically problematic, while immobility is. This is convenient since it is easy to conceive that immobility can actually conceal motion, and thus the proposition “immobility is mere (...) illusion of the senses” is much more credible than the reverse thesis supported by Parmenides. Moreover, this proposition is also supported by modern depiction of material bodies: the existence of a ceaseless random motion of atoms—the ‘thermal agitation’—in the scope of contemporary atomic theory, can offer a rational explanation of this ‘illusion of immobility’. Our new approach to Zeno’s paradoxes therefore leads to presenting the novel concept of ‘impermobility’, which we think is a more adequate description of physical reality. (shrink)

The famous dispute between Protagoras and Euathlus concerning Protagoras’s tuition fee reportedly owed to him by Euathlus is solved on the basis of practical argumentation concerning actions. The dispute is widely viewed as a kind of a logical paradox, and I show that such treating arises due to the double confusion in the dispute narrative. The linguistic expressions used to refer to Protagoras’s, Euathlus’s and the jurors’ actions are confused with these actions themselves. The other confusion is the collision between (...) the pairs of incompatible actions ambiguously expressed by two different pairs of sentences, one of which is a propositionally consistent pair whereas the other is an inconsistent one. The actional paradox solution aims to clear up these confusions by means of two core borderlines, propositional and expressive, drawn between the actions and the propositions. The propositional distinction says that actions are empirical facts and they lack truth values unlike propositions, which are mental entities and are often employed for referring to the actions. This distinction helps to avoid the confusion between the empirical incompatibility of actions and the truth-functional inconsistency of propositions. The expressive distinction claims that although the same linguistic sentences can be used to refer both to actions and propositions, two empirically incompatible actions can be expressed both by a pair of inconsistent propositions as well as by a pair of consistent ones. Therefore, the action of Protagoras’s being paid may be linguistically symbolized in four different ways: Protagoras gets paid due to the verdict, Protagoras gets paid due to the contract that amount to Protagoras does not get paid by the contract and Protagoras does not get paid by the verdict respectively, and likewise for Euathlus’s actions. The two distinctions are used for classifying the two groups of paradox solutions, legal and logical, proposed so far depending on which of the two confusions they purport to escape from. The actional reconstruction of the paradox suggests that there is only one single agent in the dispute, Protagoras, while the other named Euathlus is a ‘phantom,’ which most probably was invented by Protagoras himself for the sake of creating this challenging sophism. (shrink)

Professor Barbara Stanosz was a years-long lecturer at the Institute of Philosophy, University of Warsaw. In her work she mainly – but not exclusively – focused on the theory of language, particularly semantics and the issues of logical description of phrases in language. She was an author of renowned textbooks, including the famous Ćwiczenia z logiki [Exercises in logic], a vastly popular exercise book helping students to acquire the material on propositional logic, predicate logic and set theory. It (...) is worth mentioning that besides her academic and teaching activities, she was also a social activist and a great supporter of the state’s worldview neutrality. She died on 7th June 2014. (shrink)

_ Source: _Volume 55, Issue 4, pp 273 - 306 Jan Dullaert was a direct student of John Mair and a teacher of Gaspar Lax, Juan de Celaya, and Juan Luis Vives. His commentary on Aristotle’s _Peri Hermeneias_ addresses the foundations of propositional logic, including a detailed analysis of conditionals and the semantics of logical connectives. Dullaert’s propositional logic is limited to the immediate implications of the semantics of these connectives, i.e., their introduction and elimination rules. In the (...) same context, he discusses several alternative treatments of semantic paradoxes, paying most attention to the approaches derived from Martin Le Maistre and John Mair. (shrink)

This paper shows Hilbert system (C+J)-, given by del Cerro and Herzig (1996) is semantically incomplete. This system is proposed as a proof theory for Kripke semantics for a combination of intuitionistic and classical propositional logic, which is obtained by adding the natural semantic clause of classical implication into intuitionistic Kripke semantics. Although Hilbert system (C+J)- contains intuitionistic modus ponens as a rule, it does not contain classical modus ponens. This paper gives an argument ensuring that the system (...) (C+J)- is semantically incomplete because of the absence of classical modus ponens. Our method is based on the logic of paradox, which is a paraconsistent logic proposed by Priest (1979). (shrink)

This monograph presents Azzouni’s new approach to the rule-following paradox. His solution leaves intact an isolated individual’s capacity to follow rules, and it simultaneously avoids replacing the truth conditions for meaning-talk with mere assertability conditions for that talk. Kripke’s influential version of Wittgenstein’s rule-following paradox—and Wittgenstein’s views more generally—on the contrary, make rule-following practices and assertions about those practices subject to community norms without which they lose their cogency. Azzouni summarizes and develops Kripke’s original version of Wittgenstein’s rule-following paradox to (...) make salient the linchpin assumptions of the paradox. By doing so, Azzouni reveals how compelling Kripke’s earlier work on the paradox was. Objections raised over the years by Fodor, Forbes Ginsborg, Goldfarb, Tait, Wright, and many others, are all shown to fail. No straight solution can be made to work. Azzouni illustrates this in detail by showing that a popular family of straight solutions due to Lewis and refined by Williams, “reference magnetism,” fail as well. And yet an overlooked sceptical solution is still available in logical space. Azzouni describes a series of “disposition-meaning” private languages that he shows can be successfully used by a population of speakers to communicate with one another despite their ideolectical character. The same sorts of languages enable solitary “Robinson Crusoes” to survive and flourish in their island habitats. These languages—sufficiently refined—have the same properties normal human languages have; and this is the key to solving the rule-following paradox without sacrificing the individual’s authority over her self-imposed rules or her ability to follow those rules. Azzouni concludes this unusual monograph by uncovering a striking resemblance between the rule-following paradox and Hume’s problem of induction: he shows the rule-following paradox to be a corollary of Hume’s problem that arises when the problem of induction is applied to an individual’s own abilities to follow rules. (shrink)

In this paper, we aim to devise a logic that can deal with both the paradoxes that motivate dialetheism and the paradoxes related to the irrelevance of material implication. We propose the semantics and the sequent calculus of a relevant logic inspired by difference-making accounts of causation and arguably true to Graham Priest’s Logic of Paradox \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {LP}$$\end{document}: a relevant logic that validates those and only those \documentclass[12pt]{minimal} (...) \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {LP}$$\end{document}-consequences that are not irrelevant. The new logic’s relevant implication is then added to \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {LP}$$\end{document} to obtain a logic with the logical vocabulary required to cope with the mentioned paradoxes. (shrink)

The history of contemporary modal logic dates back to the writings of C. S. Lewis in the early part of this century. Since then, a growing body of literature has attested to professional interest in the area, and in a number of related issues in philosophical logic which have received wide attention. The recent development of powerful formal techniques for modal system building, together with an increasing interest in modal logic as a tool for philosophical analysis, have created a need (...) for an up-to-date text to introduce students to this material. Snyder's book attempts to answer this need. Assuming an understanding of elementary propositional logic, Snyder introduces a reductive technique called cancellation for detecting the theorems of a system of logic. This technique, analogous to the construction of Smullyan trees but more compact, is extended to modal and quantified contexts. Cancellation versions of the systems M and Mn of G. H. von Wright, and S4 and S5 of Lewis are developed. Snyder uses a Hintikka type of semantics, showing how the various formal systems are differentiated at the semantic level by differing conditions which must be imposed on the model systems used as interpretations for them. These model systems, and the conditions imposed upon them, are in turn described by means of a metalanguage which is essentially first-order quantificational logic. The power of this technique stems from the fact that for every object language formula of a system, there is a corresponding formula in the metalanguage which describes the conditions an interpretation must meet in order to satisfy the original formula. The conditions that the interpretations of a given system of logic must meet are reflected in this metalanguage as "antecedent assumptions," and these in turn correspond to cancellation rules for the object language. This correspondence is constructed in such a way that the metalinguistic counterpart of each theorem of the system will be a theorem of first-order logic. Snyder's primary interest is in showing how modal logic can be used, with the help of these techniques, to build a large variety of formal systems and to "tailor" such systems to meet a variety of analytical tasks. Simple modal systems are developed for the articulation of a number of modal concepts, in addition to the classic alethic ones. Examples are taken from temporal, deontic, and epistemic logic to show how specific interpretations of the meanings of the relevant operators lead to the incorporation of appropriate conditions in the formal systems used to articulate them. An entire chapter is devoted to a discussion of the paradoxes of material and strict implication, and to an attempt to articulate the notion of entailment through the development of formal systems which include a dyadic modal operator that is free of these paradoxes. The final chapter discusses such classical issues as proper names, reference, fictional entities, definite descriptions, and existence presuppositions. Appendices deal with such matters as the equivalence of the cancellation systems to more classical axiomatic-deduction systems, and the sketch of a proof of soundness and completeness for all the modal systems presented. While designed as a text, this volume should be of interest to both logicians and those working in metaphysics and language analysis, since the primary concern of the author is to develop techniques that will facilitate the usefulness of modal logic as a tool for philosophical analysis. The instructor's manual contains many suggestions derived from the author's experience in teaching this non-standard treatment of the subject.--K. T. (shrink)

The logic B+ is Routley and Meyer’s basic positive logic. We define the logics BK+ and BK'+ by adding to B+ the K rule and to BK+ the characteristic S4 axiom, respectively. These logics are endowed with a relatively strong non-constructive negation. We prove that all the logics defined lack the K axiom and the standard paradoxes of consistency.

This paper deals with the simple paradoxes of validity and with the possibility of solving them in terms of Bradwardinian-Buridanian semantics. The paradoxes of validity as conceived here are cases of semantic pathology, which result due to the use of terms signifying the validity of inference. Semantic paradoxes are a semantico-epistemological phenomenon which is a symptom of the need to revise several apparently acceptable semantic assumptions. The analysis of possible solutions to the paradoxes focuses on Bradwardinian-Buridanian (...) semantics and as a result on the closed, token-based semantic theories that assume the existence of an implicit meaning of propositions. The key theses, as far as the solution to the paradoxes is concerned, are the principle of truth-implication which claims that every proposition expresses or implies its own truth and the closure principle which claims that every proposition asserts or expresses everything that follows from it logically. The present paper advances on recent research in claiming that (with certain reservations) the application of these principles can effectively solve inconsistency-paradoxes but not indeterminacy-paradoxes of validity. (shrink)

The post-classical genre of the “protocols for dialectical inquiry and disputation” has its more proximate origins in the famed Risāla of Shams al-Dīn al-Samarqandī. The greater part of his conceptions and methodology, however, consists in a streamlining and universalizing of the more strictly juristic dialectic of his teacher Burhān al-Dīn al-Nasafī ; and this in turn draws on the highly logicized dialectic of Rukn al-Dīn al-ʿAmīdī and his teacher Raḍī al-Dīn al-Nīsābūrī. 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, mutual negation or exclusion, and causal concomitance. 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)

We construct a a system PLRI which is the classical propositional logic supplied with a ternary construction , interpreted as the intensional identity of statements and in the context . PLRI is a refinement of Roman Suszko’s sentential calculus with identity (SCI) whose identity connective is a binary one. We provide a Hilbert-style axiomatization of this logic and prove its soundness and completeness with respect to some algebraic models. We also show that PLRI can be used to give a (...) partial solution to the paradox of analysis. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Readymades, Monochromes, Etc.:Nominalism and the Paradox of ModernismJ. M. Bernstein (bio)If Schopenhauer's thesis of art as an image of the world once over bears a kernel of truth, then it does so only insofar as this second world is composed out of elements that have been transposed out of the empirical world in accord with Jewish descriptions of the messianic order as an order just like the habitual order (...) but changed in the slightest degree.—T. W. Adorno, Aesthetic TheoryAdorno's philosophy as a whole, and his aesthetic theory in particular, is irrevocably bound to the tradition and achievements of high modernism. Although Adorno himself did not recognize American Abstract Expression as the apotheosis of high modernism in painting, that judgment now hardly seems contentious.1 And that raises a problem: it is the problem of R. Mutt, again, the problem of the porcelain urinal called Fountain, which was refused admittance to the Society of Independent Artists' Exhibition in April 1917 in spite of the Society's proclaimed democratic slogan "No jury, no prizes"—the work whose life or after-life begins with the beautiful photograph of it by Stieglitz set against the background of Marsden Hartley's The Warriors and that appeared shortly thereafter in the new avant-garde journal The Blind Man. Whatever the immediate repercussions of Fountain, there can be little doubt that much of what is most vital in art in the second half of this century is unthinkable without it; Duchamp's readymade offers an exemplary alternative to the tradition of high modernist painting that has continued to be generative. For a modernist like Adorno, for whom authentic art is that which best rises to the demands and necessities of artistic materials, for whom internal consistency and rigor would appear to be everything, for whom, finally, aesthetic form is the "objective organization within each artwork of what appears as bindingly eloquent" [AT 143; emphasis mine], Duchamp's gesture of simply naming or claiming artistic status for an ordinary bathroom fixture must be anathema. In this respect, Adorno's aesthetic theory would seem to be in the same predicament as Clement Greenberg's modernism: inextricably bound to a tradition that history has left behind. And while the option of refuting the claim of Fountain is certainly possible, and should not be too quickly suppressed (there is something in the claim that will forever be skeptically self-defeating), nonetheless there does appear to be an exemplariness to Fountain that exceeds the narrow provocation of Duchamp's nominalist gesture; something in the readymade, in fact, seems (art historically? aesthetically? conceptually?) irresistible. If so, then modernist [End Page 83] formalism must either find a way of accommodating the readymade without departing from its internal logic or find its claim to our attention forfeited.After laying out the bold outlines of Adorno's formalism, the remainder of this essay will seek to uncover an account of the readymade in the context of what I will eventually call "the paradox of modernism" in order to locate in what way the readymade can be accommodated to a defense of Adorno's late modernism. For the purposes of this argument, I am going to assume that the best overall defense of Duchamp's gesture, which makes it foundational for the understanding of modern art, is that offered by Thierry de Duve in his Kant after Duchamp. My elaboration of Adorno's late modernism will hence proceed, in part, through a charting of some of the fault lines in de Duve's Duchamp. My contention shall be that the generativity of Fountain as readymade not only belongs within modernism, but is only intelligible within a wholly modernist and formalist frame of reference.Adorno's Formalism and the Material MotiveAdorno opens the section of Aesthetic Theory entitled "Coherence and Meaning" with the drastic sounding thesis that "Although artworks are neither conceptual nor judgmental, they are logical" [AT 136]. He continues:In them nothing would be enigmatic if their immanent logicality did not accommodate discursive thought, which criteria they nevertheless regularly disappoint. They most resemble the form of a syllogism and its prototype in empirical thought. That in the temporal... (shrink)

First and foremost, this paper concerns the combination of classical propositional logic with a relevant implication. The proposed combination is simple and transparent from a proof theoretic point of view and at the same time extremely useful for relating formal logic to natural language sentences. A specific system will be presented and studied, also from a semantic point of view. The last sections of the paper contain more general considerations on combining classical propositional logic with a relevant (...) logic that has all classical theorems as theorems. (shrink)

The ‘Dialectical school’ denotes a group of early Hellenistic philosophers that were loosely connected by philosophizing in the — Socratic — tradition of Eubulides of Megara and by their interest in logical paradoxes, propositional logic and dialectical expertise. . Its two best known members, Diodorus Cronus and Philo the Logician, made groundbreaking contributions to the development of theories of conditionals and modal logic. Philo introduced a version of material implication; Diodorus devised a forerunner of strict (...) class='Hi'>implication. Each developed a system of modal notions that satisfies the basic logical requirements laid down by modern standard modal theories. In antiquity, Diodorus Cronus was famous for his so called Master Argument, which aims to prove that only the actual is possible. (shrink)

It is natural to ask under what conditions negating a conditional is equivalent to negating its consequent. Given a bivalent background logic, this is equivalent to asking about the conjunction of Conditional Excluded Middle (CEM, opposite conditionals are not both false) and Weak Boethius' Thesis (WBT, opposite conditionals are not both true). In the system CI.0 of consequential implication, which is intertranslatable with the modal logic KT, WBT is a theorem, so it is natural to ask which instances of (...) CEM are derivable. We also investigate the systems CIw and CI of consequential implication, corresponding to the modal logics K and KD respectively, with occasional remarks about stronger systems. While unrestricted CEM produces modal collapse in all these systems, CEM restricted to contingent formulas yields the Alt2 axiom (semantically, each world can see at most two worlds), which corresponds to the symmetry of consequential implication. It is proved that in all the main systems considered, a given instance of CEM is derivable if and only if the result of replacing consequential implication by the material biconditional in one or other of its disjuncts is provable. Several related results are also proved. The methods of the paper are those of propositional modal logic as applied to a special sort of conditional. (shrink)

This volume began as a remembrance of Alonzo Church while he was still with us and is now finally complete. It contains papers by many well-known scholars, most of whom have been directly influenced by Church's own work. Often the emphasis is on foundational issues in logic, mathematics, computation, and philosophy - as was the case with Church's contributions, now universally recognized as having been of profound fundamental significance in those areas. The volume will be of interest to logicians, computer (...) scientists, philosophers, and linguists. The contributions concern classical first-order logic, higher-order logic, non-classical theories of implication, set theories with universal sets, the logical and semantical paradoxes, the lambda-calculus, especially as it is used in computation, philosophical issues about meaning and ontology in the abstract sciences and in natural language, and much else. The material will be accessible to specialists in these areas and to advanced graduate students in the respective fields. (shrink)

The four-valued semantics of Belnap–Dunn logic, consisting of the truth values True, False, Neither, and Both, gives rise to several nonclassical logics depending on which feature of propositions we wish to preserve: truth, nonfalsity, or exact truth. Interpreting equality of truth values in this semantics as material equivalence of propositions, we can moreover see the equational consequence relation of this four-element algebra as a logic of material equivalence. In this paper, we axiomatize all combinations of these four-valued logics, (...) for example, the logic of truth and exact truth or the logic of truth and material equivalence. These combined systems are consequence relations which allow us to express implications involving more than one of these features of propositions. (shrink)

The logical properties of the 'if-then' connective of ordinary English differ markedly from the logical properties of the material conditional of classical, two-valued logic. This becomes apparent upon examination of arguments in conversational English which involve (noncounterfactual) usages of if-then'. A nonclassical system of propositional logic is presented, whose conditional connective has logical properties approximating those of 'if-then'. This proposed system reduces, in a sense, to the classical logic. Moreover, because it is equivalent to a certain nonstandard three-valued (...) logic, its decision procedure is almost as efficient as that of the classical logic. It therefore provides a rational and convenient system in which to formalize English arguments. (shrink)

The Ostrogorski paradox and the discursive dilemma are seemingly unrelated paradoxes of aggregation. The former is discussed in traditional social choice theory, while the latter is at the core of the new literature on judgment aggregation. Both paradoxes arise when, in a group, each individual consistently makes a judgment, or expresses a preference, (in the form of yes or no) over specific propositions, and the collective outcome is in some respect inconsistent. While the result is logically inconsistent (...) in the case of the discursive paradox, it is not stable with respect to the level of aggregation in the case of the Ostrogorski paradox. In the following I argue that, despite these differences, the two problems have a similar structure. My conclusion will be twofold: on the one hand, the similarities between the paradoxes support the claim that these problems should be tackled using the same aggregation procedure; on the other hand, applying the same procedure to these paradoxes will help clarify the strengths and weaknesses of the aggregation method itself. More specifically, I will show that an operator defined in artificial intelligence to merge belief bases can deal with both paradoxes. (shrink)

This chapter contains sections titled: Paradoxes Stimulate Theory Development An Analogy with Perceptual Illusions Do Logical Paradoxes Exist? Imagination Overflows Logical Possibility Paradoxes Evoke Logical Analogies An Implication about the Nature of Paradox.

Judgment aggregation theory, or rather, as we conceive of it here, logical aggregation theory generalizes social choice theory by having the aggregation rule bear on judgments of all kinds instead of merely preference judgments. It derives from Kornhauser and Sager’s doctrinal paradox and List and Pettit’s discursive dilemma, two problems that we distinguish emphatically here. The current theory has developed from the discursive dilemma, rather than the doctrinal paradox, and the final objective of the paper is to give (...) the latter its own theoretical development along the line of recent work by Dietrich and Mongin. However, the paper also aims at reviewing logical aggregation theory as such, and it covers impossibility theorems by Dietrich, Dietrich and List, Dokow and Holzman, List and Pettit, Mongin, Nehring and Puppe, Pauly and van Hees, providing a uniform logical framework in which they can be compared with each other. The review goes through three historical stages: the initial paradox and dilemma, the scattered early results on the independence axiom, and the so-called canonical theorem, a collective achievement that provided the theory with its specific method of analysis. The paper goes some way towards philosophical logic, first by briefly connecting the aggregative framework of judgment with the modern philosophy of judgment, and second by thoroughly discussing and axiomatizing the ‘general logic’ built in this framework. (shrink)

Does traditional Christianity involve paradoxical doctrines, that is, doctrines that present the appearance (at least) of logical inconsistency? If so, what is the nature of these paradoxes and why do they arise? What is the relationship between "paradox" and "mystery" in theological theorizing? And what are the implications for the rationality, or otherwise, of orthodox Christian beliefs? In Paradox in Christian Theology, James Anderson argues that the doctrines of the Trinity and the incarnation, as derived from Scripture and formulated (...) in the ecumenical creeds, are indeed paradoxical. But this conclusion, he contends, need not imply that Christians who believe these doctrines are irrational in doing so. In support of this claim, Anderson develops and defends a model of understanding paradoxical Christian doctrines according to which the presence of such doctrines is unsurprising and adherence to paradoxical doctrines cannot be considered as a serious intellectual obstacle to belief in Christianity. The case presented in this book has significant implications for the practice of systematic theology, biblical exegesis, and Christian apologetics. (shrink)

This paper introduces the logics of super-strict implications, where a super-strict implication is a strengthening of C.I. Lewis' strict implication that avoids not only the paradoxes of material implication but also those of strict implication. The semantics of super-strict implications is obtained by strengthening the (normal) relational semantics for strict implication. We consider all logics of super-strict implications that are based on relational frames for modal logics in the modal cube. it is shown (...) that all logics of super-strict implications are connexive logics in that they validate Aristotle's Theses and (weak) Boethius's Theses. A proof-theoretic characterisation of logics of super-strict implications is given by means of G3-style labelled calculi, and it is proved that the structural rules of inference are admissible in these calculi. It is also shown that validity in the S5-based logic of super-strict implications is equivalent to validity in G. Priest's negation-as-cancellation-based logic. Hence, we also give a cut-free calculus for Priest's logic. (shrink)