In 1942 Haskell B. Curry presented what is now called Curry's paradox which can be found in a logic independently of its stand on negation. In recent years there has been a revitalised interest in non-classical solutions to the semantic paradoxes. In this article the non-classical resolution of Curry’s Paradox and Shaw-Kwei' sparadox without rejection any contraction postulate is proposed. In additional relevant paraconsistent logic C ̌_n^#,1≤n<ω, in fact,provide an effective way of circumventing triviality of da (...) Costa’s paraconsistent Set Theories〖NF〗n^C. (shrink)

In recent years there has been a revitalised interest in non-classical solutions to the semantic paradoxes. In this paper I show that a number of logics are susceptible to a strengthened version of Curry's paradox. This can be adapted to provide a proof theoretic analysis of the omega-inconsistency in Lukasiewicz's continuum valued logic, allowing us to better evaluate which logics are suitable for a naïve truth theory. On this basis I identify two natural subsystems of Lukasiewicz logic (...) which individually, but not jointly, lack the problematic feature. (shrink)

Two semantic paradoxes, the Liar and Curry’s paradox, are analysed using a newly developed conception of procedural semantics (semantics according to which the truth of propositions is determined algorithmically), whose main characteristic is its departure from methodological realism. Rather than determining pre-existing facts, procedures are constitutive of them. Of this semantics, two versions are considered: closed (where the halting of procedures is presumed) and open (without this presumption). To this end, a procedural approach to deductive reasoning is developed, based on (...) the idea of simulation. As is shown, closed semantics supports classical logic, but cannot in any straightforward way accommodate the concept of truth. In open semantics, where paradoxical propositions naturally ‘belong’, they cease to be paradoxical; yet, it is concluded that the natural choice—for logicians and common people alike—is to stick to closed semantics, pragmatically circumventing problematic utterances. (shrink)

A principle, according to which any scientific theory can be mathematized, is investigated. That theory is presupposed to be a consistent text, which can be exhaustedly represented by a certain mathematical structure constructively. In thus used, the term “theory” includes all hypotheses as yet unconfirmed as already rejected. The investigation of the sketch of a possible proof of the principle demonstrates that it should be accepted rather a metamathematical axiom about the relation of mathematics and reality. Its investigation needs philosophical (...) means. Husserl’s phenomenology is what is used, and then the conception of “bracketing reality” is modelled to generalize Peano arithmetic in its relation to set theory in the foundation of mathematics. The obtained model is equivalent to the generalization of Peano arithmetic by means of replacing the axiom of induction with that of transfinite induction. A comparison to Mach’s doctrine is used to be revealed the fundamental and philosophical reductionism of Husserl’s phenomenology leading to a kind of Pythagoreanism in the final analysis. Accepting or rejecting the principle, two kinds of mathematics appear differing from each other by its relation to reality. Accepting the principle, mathematics has to include reality within itself in a kind of Pythagoreanism. These two kinds are called in paper correspondingly Hilbert mathematics and Gödel mathematics. The sketch of the proof of the principle demonstrates that the generalization of Peano arithmetic as above can be interpreted as a model of Hilbert mathematics into Gödel mathematics therefore showing that the former is not less consistent than the latter, and the principle is an independent axiom. An information interpretation of Hilbert mathematics is involved. It is a kind of ontology of information. Thus the problem which of the two mathematics is more relevant to our being is discussed. An information interpretation of the Schrödinger equation is involved to illustrate the above problem. (shrink)

Section 1 reviews Strawson’s logic of presuppositions. Strawson’s justification is critiqued and a new justification proposed. Section 2 extends the logic of presuppositions to cases when the subject class is necessarily empty, such as (x)((Px & ~Px) → Qx) . The strong similarity of the resulting logic with Richard Diaz’s truth-relevant logic is pointed out. Section 3 further extends the logic of presuppositions to sentences with many variables, and a certain valuation is proposed. It is (...) noted that, given this valuation, Gödel’s sentence becomes neither true nor false. The similarity of this outcome with Goldstein and Gaifman’s solution of the Liar paradox, which is discussed in section 4, is emphasized. Section 5 returns to the definition of meaningfulness; the meaninglessness of certain sentences with empty subjects and of the Liar sentence is discussed. The objective of this paper is to show how all of the above-mentioned concepts are interrelated. (shrink)

This paper presents an interpretation of Immanuel Kant’s transcendental deduction of the categories, based primarily on the “two-step” argument of the B deduction of the Critique of Pure Reason. I undertake to show that Kant’s distinction between the “pure forms of intuition” and “pure formal intuition” is successful in its attempt to prove that all sensible intuitions presuppose the a priori categories, in a way which is compatible, I claim, with Kant’s statements (in the Aesthetic and elsewhere) that sensible intuition (...) is prior to all concepts; and therefore that the Transcendental Aesthetic presupposes the Transcendental Analytic. Thus my Interpretation is a "conceptualist" reading of the deduction, in holding that perception, as receptivity, presupposes an underlying spontaneity of the pure understanding and categories. The categories are held to be not just compatible with all possible sensible intuitions, but through their "transcendental content" constitutive of the relation of sensible intuitions to objects - and this explains how our thought can represent objects a priori. It is one of the claims of my interpretation that the logical forms of judgment of general logic derive from the pure categories of transcendental logic, rather than vice-versa. I.e. that the logical forms through which we make empirical judgments by combining analytical concepts in inner sense in time, are originally grounded in an atemporal categorial synthesis in pure intuition (i.e. in the form of time but not the dimension of time), referring an outer intuition in general to the transcendental object of intuition (as “something in general” outside sensibility or receptivity), thereby providing the synthetic unity of the manifold which “..all analysis presupposes.” My conceptualist reading of the deduction, I claim, avoids the problems associated with other conceptualist readings, for example inconsistency with the text (“Intuitions are prior to all concepts.” etc.) and blurring of the distinction between receptivity and spontaneity. In my paper I prove that the categories can correctly be held to provide the a priori unity of intuitions, notwithstanding the fact that the latter are “prior to all concepts,” because this unity is not provided by the categories as fully-fledged concepts in the empirical subject, but as the transcendental logical form of these concepts, as a unity in the pure understanding - and the categories therefore require their empirical content or application for their objective reality as concepts. I.e. the categories, as logical functions of judgment for transcendental apperception, in the pure forms of intuition, are prior to all "concepts", correctly speaking, as well as prior to all intuitions, and provide the necessary unity of both. Likewise, at the empirical level my version of conceptualism cannot be accused of blurring the distinction between receptivity and spontaneity, or sensibility and understanding, because although the transcendental content of the categories, as a logical function of judgment in the pure forms of intuition, in transcendental apperception, is in necessary relation to sensibility (in combining the manifold in the pure or formal representation of the transcendental object) their empirical content is not. - At the empirical level the divide between spontaneity (as judgment in the empirical subject) and receptivity (as the effect of transcendental synthesis and the transcendental object on outer and inner sense) remains intact. Conceptualist readings of the deduction also have to avoid infringing Kant’s requirement that the sensible manifold originally be given prior to and independently of all acts of the understanding, or otherwise to qualify the requirement in some way - e.g. by taking a Hegelian direction, such as that taken by John McDowell.1 On my reading of the deduction the sensible manifold given indeterminately in the pure forms of space and time must be given prior to the categorial synthesis of the manifold in the pure representation of the transcendental object, i.e. in the pure 'concept' of an object in general affecting sensibility. Therefore Kant’s requirement for an undetermined manifold given prior to, and independently of, all acts of the understanding (“..the manifold to be intuited must be given prior to the synthesis of understanding, and independently of it. How this takes place, remains here undetermined” [cf.B145/146]) is not infringed. In a later section of the paper, however, I will argue that the transcendental object (of intuition) does have pure theoretical reason as one of its two interacting immanent aspects, but is distinct from pure theoretical reason in the other of its (the transcendental object of intuition's) two interacting immanent aspects, i.e. pure will, which adds a Schopenhauerian element to my interpretation (which will be argued for in a way which supports Kantian optimism over Schopenhauerian pessimism however, in regard to the freedom of the will). Another perceived inconsistency in the deduction, which my interpretation can explain, is Kant’s description (in the B deduction) of the principle of the necessary synthetic unity of apperception as analytic, while in the A deduction it is described as synthetic. I explain this as a difference in the reference of terms such as “my representations” in the two versions - a transcendental reference in the B version but an empirical and transcendental reference in the A version of the principle. I also show that the first part of the two-step B deduction can correctly be characterised by Kant as analytic and the second, concluding part, synthetic (a point of dispute amongst Kant scholars) because transcendental logic (which refers to both the analytic and synthetic aspects of the principle of apperception) “does not abstract from the pure content of knowledge.” While being a “double aspect” rather than “two world” view of transcendental Idealism (because objects of intuition are comprised of both the empirical and transcendental object, i.e. transcendental referent, of intuition, my view differs significantly from the “double aspect” interpretation of Henry Allison (which distinguishes empirical reality from the “God’s eye” view). The view of transcendental idealism resulting from my reading of the deduction, I claim, allows a full empirical realism, because empirical intuitions, as objects of cognition, are the appearance of both the transcendental subject and the transcendental object (i.e. transcendental referent ) of transcendental synthesis (both as “something in general” outside sensibility or receptivity, or rather outside sensibility as receptivity). I conclude that Kant succeeds (although only with the addition of what I have called my 'Schopenhauerian element') in his attempt to prove that we have a transcendental unity of apperception which both constitutes, and is constituted by, the relation of sensible representations to objects, and that since transcendental apperception is the a priori underlying ground of empirical apperception, the categories (as the logical functions of judgment by which transcendental apperception relates sensible representations to objects) are the a priori underlying ground of all experience, and are therefore valid synthetically a priori for all objects of experience. 1 E.g. in “On Pippin’s Postscript.” European Journal of Philosophy 15:3 pp. 395-410. (shrink)

This paper presents a range of new triviality proofs pertaining to naïve truth theory formulated in paraconsistent relevant logics. It is shown that excluded middle together with various permutation principles such as A → (B → C)⊩B → (A → C) trivialize naïve truth theory. The paper also provides some new triviality proofs which utilize the axioms ((A → B)∧ (B → C)) → (A → C) and (A → ¬A) → ¬A, the fusion connective and the Ackermann constant. An (...) overview over various ways to formulate Leibniz’s law in non-classical logics and two new triviality proofs for naïve set theory are also provided. (shrink)

This paper reads Republic 583b-608b as a single, continuous line of argument. First, Socrates distinguishes real from apparent pleasure and argues that justice is more pleasant than injustice. Next, he describes how pleasures nourish the soul. This line of argument continues into the second discussion of poetry: tragic pleasures are mixed pleasures in the soul that seem greater than they are; indulging them nourishes appetite and corrupts the soul. The paper argues that Plato has a novel account of the ‘paradox (...) of tragedy’, and that the Republic and Philebus contain complementary discussions of tragic and comic pleasure. (shrink)

An existential interpretation of student angst in Chinese universities raises issues of autonomy and freedom. The governance arrangements in China create a conflict for Chinese students who in their coursework are urged to become critical-minded and open-minded. In this essay, Kant’s moral theory provides access to this phenomenon. His theory of duty–rationality–autonomy–freedom relates the liberty of thought to principled action. Kantian ideals still influence western business and university practice and they become relevant in China as that country modernises. The abilities (...) of graduates which officials say the country needs—insightfulness, creativity, innovation, progressiveness and commitment—are only achievable by professionals who are independent minded, rational and who commit to act on their own conclusions. Such people are Kant’s autonomous persons. Chinese students increasingly confront a conflicted educational environment. Universities require students to think, analyse and argue. An outcome of this deliberation is freedom, as construed by Kant as an ‘inner’construct. When students are unable to exercise Kantian freedom in matters which concern them they experience the angst of freedom. Students may carry a burden derived from bridles on information and authoritarian restrictions on dialogue. (shrink)

This paper inaugurates a discussion about the phenomenology of union decision-making. Phenomenology provides a new lens that may enable us to gain penetrating insights into how unions function in the fractious world of human resources management. The present paper is preliminary to any fieldwork that may be undertaken. Its main purposes are to identify theory that could be the foundation of further practical work, relate recent work in the phenomenology of management to union practices and to propose directions of enquiry. (...) The relevant theory is that of Edmund Husserl who provides us with a practical method of enquiry into the real world of human resource practice. Husserl’s work has already been applied in relation to local government functioning and some of the findings there appear relevant to the present enquiry. In particular, the nature and role of plebiscites. (shrink)

Curry's paradox for "if.. then.." concerns the paradoxical features of sentences of the form "If this very sentence is true, then 2+2=5". Standard inference principles lead us to the conclusion that such conditionals have true consequents: so, for example, 2+2=5 after all. There has been a lot of technical work done on formal options for blocking Curry paradoxes while only compromising a little on the various central principles of logic and meaning that are under threat. -/- Once we (...) have a sense of the technical options, though, a philosophical choice remains. When dealing with puzzles in the logic of conditionals, a natural place to turn is independently motivated semantic theories of the behaviour of "if... then...". This paper argues that the closest-worlds approach outlined in Nolan 1997 offers a philosophically satisfying reason to deny conditional proof and so block the paradoxical Curry reasoning, and can give the verdict that standard Curry conditionals are false, along with related "contraction conditionals". (shrink)

There are three questions associated with Simpson’s Paradox (SP): (i) Why is SP paradoxical? (ii) What conditions generate SP?, and (iii) What should be done about SP? By developing a logic-based account of SP, it is argued that (i) and (ii) must be divorced from (iii). This account shows that (i) and (ii) have nothing to do with causality, which plays a role only in addressing (iii). A counterexample is also presented against the causal account. Finally, the causal and (...) logic-based approaches are compared by means of an experiment to show that SP is not basically causal. (shrink)

In this article I define a strong conditional for classical sentential logic, and then extend it to three non-classical sentential logics. It is stronger than the material conditional and is not subject to the standard paradoxes of material implication, nor is it subject to some of the standard paradoxes of C. I. Lewis’s strict implication. My conditional has some counterintuitive consequences of its own, but I think its pros outweigh its cons. In any case, one can always augment one’s (...) language with more than one conditional, and it may be that no single conditional will satisfy all of our intuitions about how a conditional should behave. Finally, I suspect the strong conditional will be of more use for logic rather than the philosophy of language, and I will make no claim that the strong conditional is a good model for any particular use of the indicative conditional in English or other natural languages. Still, it would certainly be a nice bonus if some modified version of the strong conditional could serve as one. -/- I begin by exploring some of the disadvantages of the material conditional, the strict conditional, and some relevant conditionals. I proceed to define a strong conditional for classical sentential logic. I go on to adapt this account to Graham Priest’s Logic of Paradox, to S. C. Kleene’s logic K3, and then to J. Łukasiewicz’s logic Ł, a standard version of fuzzy logic. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Socratic Virtue: Making the Best of the Neither-Good-Nor-BadJ. Clerk ShawNaomi Reshotko. Socratic Virtue: Making the Best of the Neither-Good-Nor-Bad. Cambridge-New York: Cambridge University Press, 2006. Pp. xiv + 204. Cloth, $68.00.In this engaging and provocative book, Naomi Reshotko advances a naturalistic interpretation of Socratic philosophy, i.e., of those views expressed by Plato’s Socrates that best comport with Aristotle’s descriptions of Socrates. She contrasts her reading with those that (...) project foreign commitments onto the text, including: (i) moralism, or the separation of ethics from empirical science; (ii) two-dimensional semantics, or theories of meaning that distinguish the semantic contribution to a psychological state made by its subject’s conception of its objects from that made by its actual objects; and (iii) privileged access, or psychological theories that grant human beings incorrigibility concerning some aspect of their own psyches.Part I reviews and synthesizes views that the author shares with Terry Penner: that all desire is for one’s own real (not apparent) good, so that an agent’s belief about what is overall best for her invariably guides her actions; that all human virtue is identical to wisdom; and that virtue, so understood, guarantees the greatest possible satisfaction of the desire for one’s own real good, and so makes one live as well as possible.Part II places the distinction among the good, the bad, and the neither-good-nor-bad (NGNB) at the center of Socratic ethics. On Reshotko’s reading, the only goods are virtue and happiness, and the only bads vice and misery. She does not adequately explain why all actions are NGNB (16, 173), even though actions are individuated by their actual consequences (34–36), so that every action is either good or bad (98). Virtue’s goodness is due to its stable nomological (not conceptual or logical) connection to happiness. This makes virtue the only unconditional, other-generated good, while happiness is the only unconditional, self-generated good—its goodness does not depend on any nomological relation it enters into.Part III provides more detail about virtue and happiness. First, Reshotko explains that virtue is wisdom because it is the science of human happiness, and that this science is identical to every other science. Strictly speaking, nobody knows anything without knowing everything, although some people do grasp “some parts of knowledge” (160). Reshotko advocates this view as a solution to the closing puzzles of the Charmides. Socrates and Critias cannot figure out how temperance benefits, first because they assume that it is knowledge [End Page 132] of all things except good and bad, and then because they assume that it is knowledge of good and bad in isolation from other sciences (173a–175a). But if Socratic wisdom is the structured grasp of everything, then their puzzle is resolved. Second, Reshotko claims that happiness is a life maximally composed of pleasures. While she is sympathetic with the view that happiness is composed of modal pleasures (see G. Rudebusch, Socrates, Pleasure, and Value, Oxford 1999), she concludes that sensate pleasures can also be parts of happiness (185n7).The book’s major flaw is its limited engagement with textual evidence that seems to tell against the author’s readings and its limited coverage of alternative interpretations from the secondary literature. I mention three striking examples here.First, Reshotko argues that harming others is inconsistent with self-benefit because of the likelihood of reciprocal harm (65–71). She then notes passages where Socrates speaks as though harming others harms one’s soul simply by making it more unjust, which makes vice sound like a self-generated bad. Gorgias 472c–481b is particularly problematic in this respect, since Socrates claims there that doing injustice is less painful (but worse) than suffering it. Reshotko tries to make such passages conform with her initial explanation: harming others tends to entrench false beliefs that harming others is consistent with self-benefit, which leads to more harm of others and so more reciprocal harm (71–72, 174). This may be workable, but absent more extensive argument, it seems like an ad hoc maneuver.Second, Reshotko wants to avoid giving... (shrink)

We address the need for a model by considering two competing theories regarding the origin of life: (i) the Metabolism First theory, and (ii) the RNA World theory. We discuss two interrelated points, namely: (i) Models are valuable tools for understanding both the processes and intricacies of origin-of-life issues, and (ii) Insights from models also help us to evaluate the core objection to origin-of-life theories, called “the inefficiency objection”, which is commonly raised by proponents of both the Metabolism First theory (...) and the RNA World theory against each other. We use Simpson’s Paradox (SP) as a tool for challenging this objection. We will use models in various senses, ranging from taking them as representations of reality to treating them as theories/accounts that provide heuristics for probing reality. In this paper, we will frequently use models and theories interchangeably. Additionally, we investigate Conway’s Game of Life and contrast it with our SP-based approach to emergence-of-life issues. Finally, we discuss some of the consequences of our view. A scientific model is testable in three senses: (i) a logical sense, (ii) a nomological sense, and (iii) a current technological sense. The SP-based model is testable in the first two senses but it is not feasible to test it using current technology. (shrink)

This paper offers an analysis of a hitherto neglected text on insoluble propositions dating from the late XiVth century and puts it into perspective within the context of the contemporary debate concerning semantic paradoxes. The author of the text is the italian logician Peter of Mantua (d. 1399/1400). The treatise is relevant both from a theoretical and from a historical standpoint. By appealing to a distinction between two senses in which propositions are said to be true, it offers an unusual (...) solution to the paradox, but in a traditional spirit that contrasts a number of trends prevailing in the XiVth century. It also counts as a remarkable piece of evidence for the reconstruction of the reception of English logic in italy, as it is inspired by the views of John Wyclif. Three approaches addressing the Liar paradox (Albert of Saxony, William Heytesbury and a version of strong restrictionism) are first criticised by Peter of Mantua, before he presents his own alternative solution. The latter seems to have a prima facie intuitive justification, but is in fact acceptable only on a very restricted understanding, since its generalisation is subject to the so-called revenge problem. (shrink)

Marsilius of Inghen’s account of imaginable impossibilities became paradigmatic in logic, semantics, and metaphysics throughout the later Middle Ages and well into the early modern period. The present study focuses on imaginable impossibilities in 14th-century logic, underlining the relevance of Marsilius of Inghen’s innovative approach through a comparison with the semantic accounts proposed by other mid-14th-century Parisian nominalists, namely John Buridan and Albert of Saxony. In particular, this paper tracks the specific issue of the admissibility of absolute (...) impossibilities – such as the chimera – within Marsilius of Inghen’s semantic analysis, proving that there is a sense in which the chimera is indeed treatable. The present study does so by analysing the issues involved in impossibilities on the levels of signification, supposition, and extended reference. In doing so it provides a clearer picture of the problems involved, where they emerge and why, as well as of the significance and range of Marsilius of Inghen’s approach. (shrink)

The idea of rejection originated by Aristotle. The notion of rejection was introduced into formal logic by Łukasiewicz [20]. He applied it to complete syntactic characterization of deductive systems using an axiomatic method of rejection of propositions [22, 23]. The paper gives not only genesis, but also development and generalization of the notion of rejection. It also emphasizes the methodological approach to biaspectual axiomatic method of characterization of deductive systems as acceptance (asserted) systems and rejection (refutation) systems, introduced by (...) Łukasiewicz and developed by his student Słupecki, the pioneers of the method, which becomes relevant in modern approaches to logic. (shrink)

Any theory of truth must find a way around Curry’s paradox, and there are well-known ways to do so. This paper concerns an apparently analogous paradox, about validity rather than truth, which JC Beall and Julien Murzi call the v-Curry. They argue that there are reasons to want a common solution to it and the standard Curry paradox, and that this rules out the solutions to the latter offered by most “naive truth theorists.” To this end they recommend a radical (...) solution to both paradoxes, involving a substructural logic, in particular, one without structural contraction. In this paper I argue that substructuralism is unnecessary. Diagnosing the “v-Curry” is complicated because of a multiplicity of readings of the principles it relies on. But these principles are not analogous to the principles of naive truth, and taken together, there is no reading of them that should have much appeal to anyone who has absorbed the morals of both the ordinary Curry paradox and the second incompleteness theorem. (shrink)

As these opening quotes acknowledge, the Prisoner’s Dilemma (PD) represents a core puzzle within the formal mathematics of game theory.3 Its rise in conspicuity is evident figure 2.1 above demonstrating a relatively steady rise in incidences of the phrase’s usage between 1960 to 1995, with a stable presence persisting into the twenty first century. This famous two-person “game,” with a stock narrative cast in terms of two prisoners who each independently must choose whether to remain silent or speak, each advancing (...) self-interest at the expense of the other and thereby achieving a mutually suboptimal outcome, mires any social interaction it is applied to into perplexity. The logic of this game proves the inverse of Adam Smith’s invisible hand: individuals acting on self interest will achieve a mutually suboptimal outcome. However, as this chapter illuminates, the assumptions underlying game theory drive this conclusion. (shrink)

The idea of rejection originated by Aristotle. The notion of rejection was introduced into formal logic by Łukasiewicz [20]. He applied it to complete syntactic characterization of deductive systems using an axiomatic method of rejection of propositions [22, 23]. The paper gives not only genesis, but also development and generalization of the notion of rejection. It also emphasizes the methodological approach to biaspectual axiomatic method of characterization of deductive systems as acceptance (asserted) systems and rejection (refutation) systems, introduced by (...) Łukasiewicz and developed by his student Słupecki, the pioneers of the method, which becomes relevant in modern approaches to logic. (shrink)

After years of neglect, alienation has again reached the agenda of critical thought. In my case, I recognize alienation as a challenge for education in contemporary societies. To obtain conceptual resources to overcome this challenge, I have revisited the comprehensive 20 th century discussion of alienation. Today, alienation is naturally discussed as an existential condition of human being, but still in the 1980s, there was a strong Marxist current that claimed alienation to be implied by capitalism, in particular by the (...) institution of private property and the social division of labor, and that alienation therefore should be criticized as part of the critique of capitalism and political economy and possibly overcome. Today, under the hegemony of neo-liberal capitalism, this critical and processual concept of alienation is more relevant than ever. Hence, in the present work I argue that the basic logic of Marx's idea of alienation still has critical potential. The argument forms a long engagement with mainly 20 th century literature, departing from the very idea of capitalism, considering the ideas of history, education and democracy, discussing how to distinguish and translate key terms, considering why alienation became an object of controversy among Marxists, offering an interpretation of Marx's critique relevant for contemporary society, thus considering alienation a consequence of working under conditions of private property, i.e. being a human being in a capitalist society, and finally presenting Marx's idea of communism as relevant to the contemporary educational agenda. (shrink)

Faith has many aspects. One of them is whether absolute logical proof for God’s existence is a prerequisite for the proper establishment and individual acceptance of a religious system. The treatment of this question, examined here in the Jewish context of Rabbi Prof. Eliezer Berkovits, has been strongly influenced in the modern era by the radical foundationalism and radical skepticism of Descartes, who rooted in the Western mind the notion that religion and religious issues are “all or nothing” questions. Cartesianism, (...) which surprisingly became the basis of modern secularism, was criticized by the classical American pragmatists. Peirce, James and Dewey all rejected the attempt to achieve infallible absolute knowledge, as well as the presumptuousness of establishing such a knowledge by means of casting Cartesian hyperbolic doubt. They advocated an alternative approach which was more holistic and humane. This paper lays out Descartes’s approach and the pragmatists’ critique. Despite the place that pragmatic considerations hold in Jewish tradition, some thinkers reject the relevance of these ideas. Yet Berkovits’s thought suggest a different path. He rejected Descartes’ radical skepticism and his radical foundationalism, in favor of a moderate foundationalism, which allows for a belief in God alongside constructive doubts. Similar to Peirce’s conception of the fixation of belief, Berkovits views local doubts (distinct from the hyperbolic doubt) as necessary for thought. Berkovits’s understanding of the biblical human-divine encounter, following Rosenzweig, Buber, and Heschel, is conceptualized here as “encounter theology”. Berkovits criticizes the propositionalist attempts to prove God’s existence logically, as well as the presumptuousness of basing religious belief on the teleological world-order. However, Berkovits’s conception of the ‘caring God’ is not provable, and thus defined as a pragmatic ‘postulate’. The article concludes by considering Berkovits’s “encounter theology”. In contrast to the approach described by Haym Soloveitchik, of halakhic stringency and lack of subjective experience of God’s face, Berkovits’s approach is dialogic through and through. (shrink)

Moore’s Paradox is a test case for any formal theory of belief. In Knowledge and Belief, Hintikka developed a multimodal logic for statements that express sentences containing the epistemic notions of knowledge and belief. His account purports to offer an explanation of the paradox. In this paper I argue that Hintikka’s interpretation of one of the doxastic operators is philosophically problematic and leads to an unnecessarily strong logical system. I offer a weaker alternative that captures in a more accurate (...) way our logical intuitions about the notion of belief without sacrificing the possibility of providing an explanation for problematic cases such as Moore’s Paradox. (shrink)

This article shows that there is a liar-like paradox that arises for rational credence that relies only on very weak logical and credal principles. The paradox depends on a weak rational reflection principle, logical principles governing conjunction, and principles governing the relationship between rational credence and proof. To respond to this paradox, we must either reject even very weak rational reflection principles or reject some highly plausible logical or credal principle.

The idea of rejection originated by Aristotle. The notion of rejection was introduced into formal logic by Łukasiewicz. He applied it to complete syntactic characterization of deductive systems using an axiomatic method of rejection of propositions. The paper gives not only genesis, but also development and generalization of the notion of rejection. It also emphasizes the methodological approach to biaspectual axiomatic method of characterization of deductive systems as acceptance (asserted) systems and rejection (refutation) systems, introduced by Łukasiewicz and developed (...) by his student Słupecki, the pioneers of the method, which becomes relevant in modern approaches to logic. (shrink)

Psychopathy refers to a range of complex behaviors and personality traits, including callousness and antisocial behavior, typically studied in criminal populations. Recent studies have used self-reports to examine psychopathic traits among noncriminal samples. The goal of the current study was to examine the underlying factor structure of the Self-Report of Psychopathy Scale–Short Form (SRP-SF) across complementary samples and examine the impact of gender on factor structure. We examined the structure of the SRP-SF among 2,554 young adults from three undergraduate samples (...) and a high-risk young adult sample. Using confirmatory factor analysis, a four-correlated factor model and a four-bifactor model showed good fit to the data. Evidence of weak invariance was found for both models across gender. These findings highlight that the SRP-SF is a useful measure of low-level psychopathic traits in noncriminal samples, although the underlying factor structure may not fully translate across men and women. (shrink)

This paper intends to explain key differences between Aristotle’s understanding of the relationships between nous, epistêmê, and the art of syllogistic reasoning(both analytic and dialectical) and the corresponding modern conceptions of intuition, knowledge, and reason. By uncovering paradoxa that Aristotle’s understanding of syllogistic reasoning presents in relation to modern philosophical conceptions of logic and science, I highlight problems of a shift in modern philosophy—a shift that occurs most dramatically in the seventeenth century—toward a project of construction, a pervasive desire (...) for rational certainty, and a general insistence on the reducibility of the sciences. The major motivation of this analysis is my intention to show that modern attempts to reduce science/epistêmê to a single science/method of inquiry occlude dialectical and ethico-political dimensions of “reason” and, hence, also impoverish philosophy’s critical capacities. (shrink)

This paper sets out to evaluate the claim that Aristotle’s Assertoric Syllogistic is a relevance logic or shows significant similarities with it. I prepare the grounds for a meaningful comparison by extracting the notion of relevance employed in the most influential work on modern relevance logic, Anderson and Belnap’s Entailment. This notion is characterized by two conditions imposed on the concept of validity: first, that some meaning content is shared between the premises and the conclusion, (...) and second, that the premises of a proof are actually used to derive the conclusion. Turning to Aristotle’s Prior Analytics, I argue that there is evidence that Aristotle’s Assertoric Syllogistic satisfies both conditions. Moreover, Aristotle at one point explicitly addresses the potential harmfulness of syllogisms with unused premises. Here, I argue that Aristotle’s analysis allows for a rejection of such syllogisms on formal grounds established in the foregoing parts of the Prior Analytics. In a final section I consider the view that Aristotle distinguished between validity on the one hand and syllogistic validity on the other. Following this line of reasoning, Aristotle’s logic might not be a relevance logic, since relevance is part of syllogistic validity and not, as modern relevance logic demands, of general validity. I argue that the reasons to reject this view are more compelling than the reasons to accept it and that we can, cautiously, uphold the result that Aristotle’s logic is a relevance logic. (shrink)

I consider a puzzling case presented by Jose Benardete, and by appeal to this case develop a paradox involving counterfactual conditionals. I then show that this paradox may be leveraged to argue for certain non-obvious claims concerning the logic of counterfactuals.

The purpose of the article is to reveal the scientific approach that substantiates the impact of the creation of strategic alliances (SA) on the digital transformation of business and the development of their innovative power based on identified success factors. The aim was achieved using the following methods: abstract logic and typification (for classification of SA's success factors), generalization (to determine the peculiarities of SA's influence on their innovation development), analytical and ranking method (to determine the relationship between the (...) dynamics creating of SA and the degree of acceleration of digital transformation), expert evaluation (to determine the degree of influence of SA success factors by business areas). Implementing a business-integrated approach to understanding digital transformation will accelerate implementation of innovation and organizational change, identifies future prospects for market, customer and business relationships, highlighting the importance of researching the factors that ensure their success. An alternative vision of SA’s success factors is suggested, which are determined by the possibilities the organization of partnerships and organizational culture, integration of business sectors, compatibility of management goals, external relevance, obtaining synergies. Innovation is considered by the authors as an integration factor that reconciles all groups of SA success factors, giving them the necessary focus to solve business problems. The results of the study show that the creation of SA has a significant impact on accelerating and changes priority of digital transformation of business areas involved in strategic partnerships, and the impact of SA on the development of their innovation power is crucial. (shrink)

Fitch’s Paradox shows that if every truth is knowable, then every truth is known. Standard diagnoses identify the factivity/negative infallibility of the knowledge operator and Moorean contradictions as the root source of the result. This paper generalises Fitch’s result to show that such diagnoses are mistaken. In place of factivity/negative infallibility, the weaker assumption of any ‘level-bridging principle’ suffices. A consequence is that the result holds for some logics in which the “Moorean contradiction” commonly thought to underlie the result is (...) in fact consistent. This generalised result improves on the current understanding of Fitch’s result and widens the range of modalities of philosophical interest to which the result might be fruitfully applied. Along the way, we also consider a semantic explanation for Fitch’s result which answers a challenge raised by Kvanvig. (shrink)

Since it was presented in 1963, Chisholm’s paradox has attracted constant attention in the deontic logic literature, but without the emergence of any definitive solution. We claim this is due to its having no single solution. The paradox actually presents many challenges to the formalization of deontic statements, including (1) context sensitivity of unconditional oughts, (2) formalizing conditional oughts, and (3) distinguishing generic from nongeneric oughts. Using the practical interpretation of ‘ought’ as a guideline, we propose a linguistically motivated (...) logical solution to each of these problems, and explain the relation of the solution to the problem of contrary-to-duty obligations. (shrink)

1) We will begin by offering a short introduction to Epistemic Logic and presenting Fitch’s paradox in an epistemic‑modal logic. (2) Then, we will proceed to presenting three Epistemic Temporal logical frameworks creat‑ ed by Hoshi (2009) : TPAL (Temporal Public Announcement Logic), TAPAL (Temporal Arbitrary Public Announcement Logic) and TPAL+P ! (Temporal Public Announcement Logic with Labeled Past Operators). We will show how Hoshi stated the Verificationist Thesis in the language of TAPAL and analyze (...) his argument on why this version of it is immune from paradox. (3) Edgington (1985) offered an interpretation of the Verificationist Thesis that blocks Fitch’s paradox and we will propose a way to formulate it in a TAPAL‑based lan‑ guage. The language we will use is a combination of TAPAL and TPAL+P ! with an Indefinite (Unlabeled) Past Operator (TAPAL+P !+P). Using indexed satisfi‑ ability relations (as introduced in (Wang 2010 ; 2011)) we will offer a prospec ‑ tive semantics for this language. We will investigate whether the tentative re‑ formulation of Edgington’s Verificationist Thesis in TAPAL+P !+P is free from paradox and adequate to Edgington’s ideas on how „all truths are knowable“ should be interpreted. (shrink)

We outline Brentano’s theory of boundaries, for instance between two neighboring subregions within a larger region of space. Does every such pair of regions contain points in common where they meet? Or is the boundary at which they meet somehow pointless? On Brentano’s view, two such subregions do not overlap; rather, along the line where they meet there are two sets of points which are not identical but rather spatially coincident. We outline Brentano’s theory of coincidence, and show how he (...) uses it to resolve a number of Zeno-like paradoxes. (shrink)

This paper discusses three relevant logics that obey Component Homogeneity - a principle that Goddard and Routley introduce in their project of a logic of significance. The paper establishes two main results. First, it establishes a general characterization result for two families of logic that obey Component Homogeneity - that is, we provide a set of necessary and sufficient conditions for their consequence relations. From this, we derive characterization results for S*fde, dS*fde, crossS*fde. Second, the paper establishes complete (...) sequent calculi for S*fde, dS*fde, crossS*fde. Among the other accomplishments of the paper, we generalize the semantics from Bochvar, Hallden, Deutsch and Daniels, we provide a general recipe to define containment logics, we explore the single-premise/single-conclusion fragment of S*fde, dS*fde, crossS*fdeand the connections between crossS*fde and the logic Eq of equality by Epstein. Also, we present S*fde as a relevant logic of meaninglessness that follows the main philosophical tenets of Goddard and Routley, and we briefly examine three further systems that are closely related to our main logics. Finally, we discuss Routley's criticism to containment logic in light of our results, and overview some open issues. (shrink)

By separating the general concept of truth into syntactic truth and semantic truth, this article proposes a new theory of truth to explain several paradoxes like the Liar paradox, Card paradox, Curry’s paradox, etc. By revealing the relationship between syntactic /semantic truth and being-nothing-becoming which are the core concepts of dialectical logic, it is able to formalize dialectical logic. It also provides a logical basis for complexity theory by transferring all reasoning into a directed (cyclic/acyclic) graph which explains (...) both paradoxical and paradox-free reasoning. The different structure between cyclic graphs and acyclic graphs is the key to understanding paradoxes. By explaining the immanent between logic, paradox, and cellular automata, it also illustrates dialectical logic as ontology. (shrink)

Beall and Murzi :143–165, 2013) introduce an object-linguistic predicate for naïve validity, governed by intuitive principles that are inconsistent with the classical structural rules. As a consequence, they suggest that revisionary approaches to semantic paradox must be substructural. In response to Beall and Murzi, Field :1–19, 2017) has argued that naïve validity principles do not admit of a coherent reading and that, for this reason, a non-classical solution to the semantic paradoxes need not be substructural. The aim of this paper (...) is to respond to Field’s objections and to point to a coherent notion of validity which underwrites a coherent reading of Beall and Murzi’s principles: grounded validity. The notion, first introduced by Nicolai and Rossi, is a generalisation of Kripke’s notion of grounded truth, and yields an irreflexive logic. While we do not advocate the adoption of a substructural logic, we take the notion of naïve validity to be a legitimate semantic notion that points to genuine expressive limitations of fully structural revisionary approaches. (shrink)

This paper contends that Stoic logic (i.e. Stoic analysis) deserves more attention from contemporary logicians. It sets out how, compared with contemporary propositional calculi, Stoic analysis is closest to methods of backward proof search for Gentzen-inspired substructural sequent logics, as they have been developed in logic programming and structural proof theory, and produces its proof search calculus in tree form. It shows how multiple similarities to Gentzen sequent systems combine with intriguing dissimilarities that may enrich contemporary discussion. Much (...) of Stoic logic appears surprisingly modern: a recursively formulated syntax with some truth-functional propositional operators; analogues to cut rules, axiom schemata and Gentzen’s negation-introduction rules; an implicit variable-sharing principle and deliberate rejection of Thinning and avoidance of paradoxes of implication. These latter features mark the system out as a relevance logic, where the absence of duals for its left and right introduction rules puts it in the vicinity of McCall’s connexive logic. Methodologically, the choice of meticulously formulated meta-logical rules in lieu of axiom and inference schemata absorbs some structural rules and results in an economical, precise and elegant system that values decidability over completeness. (shrink)

In the first of the Insolubles in Chapter 8 of his Sophismata, Buridan contends that the inference Omnis propositio est affirmativa; ergo, nulla propositio est negativa (PS) is valid, even though it appeals to the self-reference in the conclusion to show that what we (following Read 2001) call the classical conception of validity (CCV) fails. This requires that we accept that there are good inferences in which a false conclusion follows from true premises. Partially following Hughes’ proposal (1982), we argue (...) that the First Sophism (PS) involves three different notions of validity. Two of them correspond to the ones described by Hughes (1982, 80–86), who calls them Theory A and Theory B. The third one—that will we call Theory C—is not mentioned by Hughes; instead, it is suggested by Buridan himself in the first three arguments in favor of the validity of PS. We show that: a) from what Buridan says in his Theory C it follows that PS is a formal and material consequence, and hence, a valid one. Then we show that: b) the rejection of CCV and the acceptance of Nulla propositio est negativa (NPN) as a (formal) consequence of Omnis propositio est affirmativa (OPA) leads to a paradox that bears similarities with the one put forward by Pseudo Scotus—which has been studied by Read (2001) and is related to Curry’s paradox. However, there are enough differences to merit considering this paradox separately, especially in relation to the so-called validity paradoxes. Interestingly, our work suggests that Buridan was aware of these problems, which explains why he introduced a new criterion for validity, one that is not based on truth-preservation but on what Spade (1988) calls firmness, and Klima (2016) correspondence. (shrink)

In their correspondence in 1902 and 1903, after discussing the Russell paradox, Russell and Frege discussed the paradox of propositions considered informally in Appendix B of Russell’s Principles of Mathematics. It seems that the proposition, p, stating the logical product of the class w, namely, the class of all propositions stating the logical product of a class they are not in, is in w if and only if it is not. Frege believed that this paradox was avoided within his philosophy (...) due to his distinction between sense (Sinn) and reference (Bedeutung). However, I show that while the paradox as Russell formulates it is ill-formed with Frege’s extant logical system, if Frege’s system is expanded to contain the commitments of his philosophy of language, an analogue of this paradox is formulable. This and other concerns in Fregean intensional logic are discussed, and it is discovered that Frege’s logical system, even without its naive class theory embodied in its infamous Basic Law V, leads to inconsistencies when the theory of sense and reference is axiomatized therein. (shrink)

This paper has two aims. First, it sets out an interpretation of the relevant logic E of relevant entailment based on the theory of situated inference. Second, it uses this interpretation, together with Anderson and Belnap’s natural deduc- tion system for E, to generalise E to a range of other systems of strict relevant implication. Routley–Meyer ternary relation semantics for these systems are produced and completeness theorems are proven. -/- .

Russell claims in his autobiography and elsewhere that he discovered his 1905 theory of descriptions while attempting to solve the logical and semantic paradoxes plaguing his work on the foundations of mathematics. In this paper, I hope to make the connection between his work on the paradoxes and the theory of descriptions and his theory of incomplete symbols generally clearer. In particular, I argue that the theory of descriptions arose from the realization that not only can a class not be (...) thought of as a single thing, neither can the meaning/intension of any expression capable of singling out one collection (class) of things as opposed to another. If this is right, it shows that Russell’s method of solving the logical paradoxes is wholly incompatible with anything like a Fregean dualism between sense and reference or meaning and denotation. I also discuss how this realization lead to modifications in his understanding of propositions and propositional functions, and suggest that Russell’s confrontation with these issues may be instructive for ongoing research. (shrink)

Unlike almost all other philosophers of science, Karl Popper sought to contribute to natural philosophy or cosmology – a synthesis of science and philosophy. I consider his contributions to the philosophy of science and quantum theory in this light. There is, however, a paradox. Popper’s most famous contribution – his principle of demarcation – in driving a wedge between science and metaphysics, serves to undermine the very thing he professes to love: natural philosophy. I argue that Popper’s philosophy of science (...) is, in this respect, defective. Science cannot proceed without making highly problematic metaphysical assumptions concerning the comprehensibility and knowability of the universe. Precisely because these assumptions are problematic, rigour requires that they be subjected to sustained critical scrutiny, as an integral part of science itself. Popper’s principle of demarcation must be rejected. Metaphysics and philosophy of science become a vital part of science. Natural philosophy is reborn. A solution to the problem of what it means to say a theory is unified is proposed, a problem Popper failed to solve. In The Logic of Scientific Discovery, Popper made important contributions to the interpretation of quantum theory, especially in connection with Heisenberg's uncertainty relations. Popper's advocacy of natural philosophy has important implications for education. (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)

In ancient philosophy, there is no discipline called “logic” in the contemporary sense of “the study of formally valid arguments.” Rather, once a subfield of philosophy comes to be called “logic,” namely in Hellenistic philosophy, the field includes (among other things) epistemology, normative epistemology, philosophy of language, the theory of truth, and what we call logic today. This entry aims to examine ancient theorizing that makes contact with the contemporary conception. Thus, we will here emphasize the theories (...) of the “syllogism” in the Aristotelian and Stoic traditions. However, because the context in which these theories were developed and discussed were deeply epistemological in nature, we will also include references to the areas of epistemological theorizing that bear directly on theories of the syllogism, particularly concerning “demonstration.” Similarly, we will include literature that discusses the principles governing logic and the components that make up arguments, which are topics that might now fall under the headings of philosophy of logic or non-classical logic. This includes discussions of problems and paradoxes that connect to contemporary logic and which historically spurred developments of logical method. For example, there is great interest among ancient philosophers in the question of whether all statements have truth-values. Relevant themes here include future contingents, paradoxes of vagueness, and semantic paradoxes like the liar. We also include discussion of the paradoxes of the infinite for similar reasons, since solutions have introduced sophisticated tools of logical analysis and there are a range of related, modern philosophical concerns about the application of some logical principles in infinite domains. Our criterion excludes, however, many of the themes that Hellenistic philosophers consider part of logic, in particular, it excludes epistemology and metaphysical questions about truth. Ancient philosophers do not write treatises “On Logic,” where the topic would be what today counts as logic. Instead, arguments and theories that count as “logic” by our criterion are found in a wide range of texts. For the most part, our entry follows chronology, tracing ancient logic from its beginnings to Late Antiquity. However, some themes are discussed in several eras of ancient logic; ancient logicians engage closely with each other’s views. Accordingly, relevant publications address several authors and periods in conjunction. These contributions are listed in three thematic sections at the end of our entry. (shrink)

In the 1951 Gibbs lecture, Gödel asserted his famous dichotomy, where the notion of informal proof is at work. G. Priest developed an argument, grounded on the notion of naïve proof, to the effect that Gödel’s first incompleteness theorem suggests the presence of dialetheias. In this paper, we adopt a plausible ideal notion of naïve proof, in agreement with Gödel’s conception, superseding the criticisms against the usual notion of naïve proof used by real working mathematicians. We explore the connection between (...) Gödel’s theorem and naïve proof so understood, both from a classical and a dialetheic perspective. (shrink)

It will be shown in this article that an ontological approach for some problems related to the interpretation of Quantum Mechanics (QM) could emerge from a re-evaluation of the main paradox of early Greek thought: the paradox of Being and non-Being, and the solutions presented to it by Plato and Aristotle. More well known are the derivative paradoxes of Zeno: the paradox of motion and the paradox of the One and the Many. They stem from what was perceived by classical (...) philosophy to be the fundamental enigma for thinking about the world: the seemingly contradictory results that followed from the co-incidence of being and non-being in the world of change and motion as we experience it, and the experience of absolute existence here and now. The most clear expression of both stances can be found, again following classical thought, in the thinking of Heraclitus of Ephesus and Parmenides of Elea. The problem put forward by these paradoxes reduces for both Plato and Aristotle to the possibility of the existence of stable objects as a necessary condition for knowledge. Hence the primarily ontological nature of the solutions they proposed: Plato’s Theory of Forms and Aristotle’s metaphysics and logic. Plato’s and Aristotle’s systems are argued here to do on the ontological level essentially the same: to introduce stability in the world by introducing the notion of a separable, stable object, for which a ‘principle of contradiction’ is valid: an object cannot be and not-be at the same place at the same time. So it becomes possible to forbid contradiction on an epistemological level, and thus to guarantee the certainty of knowledge that seemed to be threatened before. After leaving Aristotelian metaphysics, early modern science had to cope with these problems: it did so by introducing “space” as the seat of stability, and “time” as the theater of motion. But the ontological structure present in this solution remained the same. Therefore the fundamental notion ‘separable system’, related to the notions observation and measurement, themselves related to the modern concepts of space and time, appears to be intrinsically problematic, because it is inextricably connected to classical logic on the ontological level. We see therefore the problems dealt with by quantum logic not as merely formal, and the problem of ‘non-locality’ as related to it, indicating the need to re-think the notions system, entity, as well as the implications of the operation ‘measurement’, which is seen here as an application of classical logic (including its ontological consequences) on the material world. (shrink)

Dorothy Edgington’s work has been at the centre of a range of ongoing debates in philosophical logic, philosophy of mind and language, metaphysics, and epistemology. This work has focused, although by no means exclusively, on the overlapping areas of conditionals, probability, and paradox. In what follows, I briefly sketch some themes from these three areas relevant to Dorothy’s work, highlighting how some of Dorothy’s work and some of the contributions of this volume fit in to these debates.