This paper proves normalisation theorems for intuitionist and classical negative free logic, without and with the $\invertediota$ operator for definite descriptions. Rules specific to free logic give rise to new kinds of maximal formulas additional to those familiar from standard intuitionist and classical logic. When $\invertediota$ is added it must be ensured that reduction procedures involving replacements of parameters by terms do not introduce new maximal formulas of higher degree than the ones removed. The (...) problem is solved by a rule that permits restricting these terms in the rules for $\forall$, $\exists$ and $\invertediota$ to parameters or constants. A restricted subformula property for deductions in systems without $\invertediota$ is considered. It is improved upon by an alternative formalisation of free logic building on an idea of Ja\'skowski's. In the classical system the rules for $\invertediota$ require treatment known from normalisation for classical logic with $\lor$ or $\exists$. The philosophical significance of the results is also indicated. (shrink)

This paper presents a way of formalising definite descriptions with a binary quantifier ι, where ιx[F, G] is read as ‘The F is G’. Introduction and elimination rules for ι in a system of intuitionist negative free logic are formulated. Procedures for removing maximal formulas of the form ιx[F, G] are given, and it is shown that deductions in the system can be brought into normal form.

Sentences containing definite descriptions, expressions of the form ‘The F’, can be formalised using a binary quantifier ι that forms a formula out of two predicates, where ιx[F, G] is read as ‘The F is G’. This is an innovation over the usual formalisation of definite descriptions with a term forming operator. The present paper compares the two approaches. After a brief overview of the system INFι of intuitionist negative free logic extended by such a quantifier, which (...) was presented in (Kürbis 2019), INFι is first compared to a system of Tennant’s and an axiomatic treatment of a term forming ι operator within intuitionist negative free logic. Both systems are shown to be equivalent to the subsystem of INFι in which the G of ιx[F, G] is restricted to identity. INFι is then compared to an intuitionist version of a system of Lambert’s which in addition to the term forming operator has an operator for predicate abstraction for indicating scope distinctions. The two systems will be shown to be equivalent through a translation between their respective languages. Advantages of the present approach over the alternatives are indicated in the discussion. (shrink)

In this paper I am concerned with an analysis of negative existential sentences that contain proper names only by using negative or neutral free logic. I will compare different versions of neutral free logic with the standard system of negative free logic (Burge, Sainsbury) and aim to defend my version of neutral free logic that I have labeled non-standard neutral free logic.

Semantic externalism in the style of McDowell and Evans faces a puzzle formulated by Pryor: to explain that a sentence such as 'Jack exists' is only a posteriori knowable, despite being logically entailed by the seemingly logical truth 'Jack is self-identical', and hence being itself a logical truth and therefore a priori knowable. Free logics can dissolve the puzzle. Moreover, Pryor has argued that the existentially hedged 'If Jack exists, then Jack is self-identical', when properly formalised, is a logical (...) truth in a system of neutral free logic and therefore a priori knowable, while it does not entail that Jack exists. The latter holds also for negative free logic. In response, Yeakel has argued that on any system of neutral free logic existence hedges will either entail some unwanted existence claims or they will not entail some wanted existence claims. The dilemma also holds for any non-positive free logic. It will be shown that the extension of one of the systems of neutral free logic with a truth operator escapes Yeakel's dilemma, whereas no other non-positive free logic when extended with the truth operator does the same (or it breaks quantifier exchangeability). (shrink)

In this paper I aim to defend a first‐order non‐discriminating property view concerning existence. The version of this view that I prefer is based on negative (or a specific neutral) free logic that treats the existence predicate as first‐order logical predicate. I will provide reasons why such a view is more plausible than a second‐order discriminating property view concerning existence and I will also discuss four challenges for the proposed view and provide solutions to them.

Free logics aim at freeing logic from existence assumptions by making them explicit, e.g., by adding an existence premisse to the antecedence of the classical axiom-schema of Universal Instantiation. Their historical development was motivated by the problem of empty singular terms, and that one of simple statements containing at least one such singular term: what is the referential status of such singular terms and what truth-value, if any, do such statemants have? Free logics can be classified with (...) regard to their respective answers to these problems. Negative free logics assume that non-existent objects cannot have any properties at all; hence, in particular, they cannot be self-identical or rotate. Positive free logics believe that non-existents can be self-identical according to the Leibnizian concept of identity. Neutral free logics think that statements of self-identity are truth-valueless because of the Fregean principle of compositionality. Since only in negative free logic, but not in positive free logic, two statements of the forms "a = a" and "E!a" are logically equivalent, one also can define only for NFL, but not for PFL, existence by self-identity. (shrink)

This paper presents rules in sequent calculus for a binary quantifier I to formalise definite descriptions: Ix[F, G] means ‘The F is G’. The rules are suitable to be added to a system of positive free logic. The paper extends the proof of a cut elimination theorem for this system by Indrzejczak by proving the cases for the rules of I. There are also brief comparisons of the present approach to the more common one that formalises definite descriptions (...) with a term forming operator. In the final section rules for I for negative free and classical logic are also mentioned. (shrink)

From Leibniz to Krauss philosophers and scientists have raised the question as to why there is something rather than nothing. Why-questions request a type of explanation and this is often thought to include a deductive component. With classical logic in the background only trivial answers are forthcoming. With free logics in the background, be they of the negative, positive or neutral variety, only question-begging answers are to be expected. The same conclusion is reached for the modal version (...) of the Question, namely ‘Why is there something contingent rather than nothing contingent?’. The categorial version of the Question, namely ‘Why is there something concrete rather than nothing concrete?’, is also discussed. The conclusion is reached that deductive explanations are question-begging, whether one works with classical logic or positive or negative free logic. I also look skeptically at the prospects of giving causal-counterfactual or probabilistic answers to the Question, although the discussion of the options is less comprehensive and the conclusions are more tentative. The meta-question, viz. ‘Should we not stop asking the Question’, is accordingly tentatively answered affirmatively. (shrink)

Halbach has argued that Tarski biconditionals are not ontologically conservative over classical logic, but his argument is undermined by the fact that he cannot include a theory of arithmetic, which functions as a theory of syntax. This article is an improvement on Halbach's argument. By adding the Tarski biconditionals to inclusive negative free logic and the universal closure of minimal arithmetic, which is by itself an ontologically neutral combination, one can prove that at least one thing (...) exists. The result can then be strengthened to the conclusion that infinitely many things exist. Those things are not just all Gödel codes of sentences but rather all natural numbers. Against this background inclusive negative free logic collapses into noninclusive free logic, which collapses into classical logic. The consequences for ontological deflationism with respect to truth are discussed. (shrink)

In this extended critical discussion of 'Kant's Modal Metaphysics' by Nicholas Stang (OUP 2016), I focus on one central issue from the first chapter of the book: Stang’s account of Kant’s doctrine that existence is not a real predicate. In §2 I outline some background. In §§3-4 I present and then elaborate on Stang’s interpretation of Kant’s view that existence is not a real predicate. For Stang, the question of whether existence is a real predicate amounts to the question: ‘could (...) there be non-actual possibilia?’ (p.35). Kant’s view, according to Stang, is that there could not, and that the very notion of non-actual or ‘mere’ possibilia is incoherent. In §5 I take a close look at Stang’s master argument that Kant’s Leibnizian predecessors are committed to the claim that existence is a real predicate, and thus to mere possibilia. I argue that it involves substantial logical commitments that the Leibnizian could reject. I also suggest that it is danger of proving too much. In §6 I explore two closely related logical commitments that Stang’s reading implicitly imposes on Kant, namely a negative universal free logic and a quantified modal logic that invalidates the Converse Barcan Formula. I suggest that each can seem to involve Kant himself in commitment to mere possibilia. (shrink)

Judaic Logic is an original inquiry into the forms of thought determining Jewish law and belief, from the impartial perspective of a logician. Judaic Logic attempts to honestly estimate the extent to which the logic employed within Judaism fits into the general norms, and whether it has any contributions to make to them. The author ranges far and wide in Jewish lore, finding clear evidence of both inductive and deductive reasoning in the Torah and other books of (...) the Bible, and analyzing the methodology of the Talmud and other Rabbinic literature by means of formal tools which make possible its objective evaluation with reference to scientific logic. The result is a highly innovative work – incisive and open, free of clichés or manipulation. Judaic Logic succeeds in translating vague and confusing interpretative principles and examples into formulas with the clarity and precision of Aristotelean syllogism. Among the positive outcomes, for logic in general, are a thorough listing, analysis and validation of the various forms of a-fortiori argument, as well as a clarification of dialectic logic. However, on the negative side, this demystification of Talmudic/Rabbinic modes of thought (hermeneutic and heuristic) reveals most of them to be, contrary to the boasts of orthodox commentators, far from deductive and certain. They are often, legitimately enough, inductive. But they are also often unnatural and arbitrary constructs, supported by unverifiable claims and fallacious techniques. Many other thought-processes, used but not noticed or discussed by the Rabbis, are identified in this treatise, and subjected to logical review. Various more or less explicit Rabbinic doctrines, which have logical significance, are also examined in it. In particular, this work includes a formal study of the ethical logic (deontology) found in Jewish law, to elicit both its universal aspects and its peculiarities. With regard to Biblical studies, one notable finding is an explicit formulation (which, however, the Rabbis failed to take note of and stress) of the principles of adduction in the Torah, written long before the acknowledgement of these principles in Western philosophy and their assimilation in a developed theory of knowledge. Another surprise is that, in contrast to Midrashic claims, the Tanakh (Jewish Bible) contains a lot more than ten instances of qal vachomer (a-fortiori) reasoning. In sum, Judaic Logic elucidates and evaluates the epistemological assumptions which have generated the Halakhah (Jewish religious jurisprudence) and allied doctrines. Traditional justifications, or rationalizations, concerning Judaic law and belief, are carefully dissected and weighed at the level of logical process and structure, without concern for content. This foundational approach, devoid of any critical or supportive bias, clears the way for a timely reassessment of orthodox Judaism (and incidentally, other religious systems, by means of analogies or contrasts). Judaic Logic ought, therefore, to be read by all Halakhists, as well as Bible and Talmud scholars and students; and also by everyone interested in the theory, practise and history of logic. (shrink)

This paper focuses on order-preserving logics defined from varieties of distributive lattices with negation, and in particular on the problem of whether these can be axiomatized by means Hilbert-style calculi that are finite. On the negative side, we provide a syntactic condition on the equational presentation of a variety that entails failure of finite axiomatizability for the corresponding logic. An application of this result is that the logic of all distributive lattices with negation is not finitely axiomatizable; (...) we likewise establish that the order-preserving logic of the variety of all Ockham algebras is also not finitely axiomatizable. On the positive side, we show that an arbitrary subvariety of semi-De Morgan algebras is axiomatized by a finite number of equations if and only if the corresponding order-preserving logic is axiomatized by a finite Hilbert-style calculus. This equivalence also holds for every subvariety of a Berman variety of Ockham algebras. We obtain, as a corollary, a new proof that the implication-free fragment of intuitionistic logic is finitely axiomatizable, as well as a new corresponding Hilbert-style calculus. Our proofs are constructive in that they allow us to effectively convert an equational presentation of a variety of algebras into a Hilbert-style calculus for the corresponding order-preserving logic, and vice versa. We also consider the assertional logics associated to the above-mentioned varieties, showing in particular that the assertional logics of finitely axiomatizable subvarieties of semi-De Morgan algebras are finitely axiomatizable as well. (shrink)

This article is the text of a commentary on a talk delivered by Mark Textor entitled 'Brentano's Positing Theory of Existence' at King's College London in December 2015. It contains ideas on implementing Textor's Neo-Brentanian theory of existence in a natural deduction proof system for negative free logic.

The principle of universal instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior’s paradox and Kaplan’s paradox and the debate between necessitism and contingentism. We outline a distinctively free logical approach to the intensional paradoxes and note how the free logical outlook allows one to distinguish two different, though allied themes in higher-order necessitism. We examine the costs of this solution and compare it with the more familiar ramificationist approaches to higher-order (...) class='Hi'>logic. Our assessment of both approaches is largely pessimistic, and we remain reluctantly inclined to take Prior’s and Kaplan’s derivations at face value. (shrink)

The first aim of this paper is to prove a topological completeness theorem for a weak version of Stalnaker’s logic KB of knowledge and belief. The weak version of KB is characterized by the assumption that the axioms and rules of KB have to be satisfied with the exception of the axiom (NI) of negative introspection. The proof of a topological completeness theorem for weak KB is based on the fact that nuclei (as defined in the framework of (...) point-free topology) give rise to a profusion of topological belief operators that are compatible with the familiar topological knowledge operator. Thereby a canonical topological model for weak KB can be constructed. For this canonical model a truth lemma for the K and B holds such that a completeness theorem for KB can be proved in the familiar way. The second aim of this paper is to show that the topological interpretation of knowledge K comes along with a complete Heyting algebra of belief operators B that all fit the knowledge operator K in the sense that the pairs (K, B) satisfy all axioms of weak KB. This amounts to a pluralistic relation between knowledge and belief: Knowledge does not fully determine belief, rather it designs a conceptual space for belief operators where different (competing) belief operators coexist. (shrink)

This paper presents rules of inference for a binary quantifier I for the formalisation of sentences containing definite descriptions within intuitionist positive free logic. I binds one variable and forms a formula from two formulas. Ix[F, G] means ‘The F is G’. The system is shown to have desirable proof-theoretic properties: it is proved that deductions in it can be brought into normal form. The discussion is rounded up by comparisons between the approach to the formalisation of definite (...) descriptions recommended here and the more usual approach that uses a term-forming operator ι, where ιxF means ‘the F’. (shrink)

This paper is based on the comments I gave to Alfred Mele regarding his original Zygote Argument during my presentation at a small workshop on manipulation arguments in Budapest back in 2012. After those comments, Mele changed the conclusion of his original Zygote Argument (OZA) from a positive, explanatory conclusion to a negative, non-explanatory conclusion--and, correspondingly, redefined 'incompatibilism' so that it would no longer refer in his work to the view that determinism precludes (undermines, eliminates, destroys, etc.) free (...) will, but refers narrowly to the perhaps spurious association claim that appears in the conclusion of the revised Zygote Argument (Mele 2013+). Yet, over the last decade, Mele has made no comment in print about the changes he made, the invalidity objection that led to them, nor to the fact that his revised Zygote Argument was originally presented by me as a (non-optimal) reaction to my invalidity objection to his original Zygote Argument. To my knowledge, Mele has only mentioned this 2015 paper once, at it was not in the context of understanding manipulation arguments; it was, rather, in the context of defending his revised, non-explanatory definition of 'incompatibilism' at the opening of Aspects of Agency (p. 6, n. 4). There, Mele singles out *just this 2015 paper* as a place where they'll find what Mele degrades as a type of nonstandard/nontraditional definition of 'incompatibilism' that he rejects. This is notable because Mele provides no empirical evidence that his preferred definition is standard, and most (including Lehrer, who coined the term) reject the negative, non-explanatory, association-based definition that Mele came to endorse in the aftermath of my invalidity objection to OZA. So, if Mele had a genuine concern about philosophers who use the term 'incompatibilism', then Mele could have--and should have--named almost any leading figure in free will for this purpose (since most--including Pereboom, Vihvelin, Haji, etc.) reject the non-explanatory definition that Mele-2013+ now endorses. Yet, for untold reasons, Mele isolated the working definition of 'incompatibilism' used in one paper by one unemployed junior researcher to use as his example--even though Neil Levy had used this same definition in previously published work (eg. Levy 2011). Moreover, if Mele were genuinely interested in helping his readers understand the ambiguity of terms like 'compatibilism' and 'incompatibilism' it is a mystery that he referenced a paper in which nothing of substance hung on the definitions given to these terms -- especially considering that he might have instead pointed them to my OTHER 2015 paper, "A Critique of Vihvelin's Three-Fold Classification" in which the MAIN AIM of the paper is to expose the difficulties facing anyone who wants to define the terms 'compatibilism' and 'incompatibilism' in a way that everyone will accept (including a critique of the negative, non-explanatory "incompossibilist" definition that Mele adopted after my objection to OZA). By all appearances, Mele's main aim in citing specifically THIS paper and none of my other work was to give readers the false impression that my working definition of 'incompatibilism' played some role in my charge that his argument is invalid (which it doesn't, given that the term doesn't appear in either the premises or conclusion of that argument). Mele adds to this unseemly rhetorical campaign in his book *Manipulation Agents* where he mentions an invalidity objection in the intro (p. 84) and then discusses that objection in the final lines of Chapter 5 of the book (p. 120-121). The invalidity objection discussed here is completely pedantic, has never been seriously raised in the primary literature (and was previously addressed in multiple places my multiple philosophers, including me), and has nothing whatever to do with my invalidity objection. In other words, Mele was content to discuss an invalidity objection that no one has ever had to an argument that is clearly valid while completely ignoring the ONLY substantive invalidity objection to his argument in print. This is unfortunate, because it has led to serious confusion --including the patently false description of my invalidity objection to OZA as an objection to the revised version of the Zygote Argument that Mele adopted in *response* my objection (e.g., Capes mistakenly claims "Mickelson (2015) contends that arguments like this [i.e. like the revised Zygote Argument] are invalid. But that’s because she defines “incompatibilism” differently than I’ve defined it here" in his "Manipulation Arguments and Direct Arguments" chapter in the 2023 Wiley-Blackwell Companion to Free Will; I did not say this, and the definition of 'incompatibilism' is irrelevant to my objection). In "The Zygote Argument Is Invalid--Now What?", I simply use the invalidity of the simple 2-premise Zygote Argument as a foil to make a series of more philosophically significant points (e.g. regarding the dialectical structure of the free-will debate, the role of best-explanation reasoning, and to develop the first-ever "master manipulation argument"). Mele has yet to address my reasons for calling attention to the non-trivial invalidity of his OZA or to any of my answers to the "Now What?" question in this paper, even though this question and my proposed answers to this question are the paper's main point. For those interested in a more recent discussion of how the logical and metaphilosophical observations made in this "Now What?" paper have helped to move the free-will debate forward, I suggest looking at the discussions of the "paradigm shift" in the free-will debate that helps to explain why the free-will debate has become mired in stalemates and empty verbal disputes that are found, for example, in my contributions to the Wiley-Blackwell Companion to Free Will (Intro and Chapter 4, 2023) and my paper "Free Will, Self-Creation, and the Paradox of Moral Luck" (2019). (shrink)

This article reconstructs Kant's view on the existential import of categorical sentences. Kant is widely taken to have held that affirmative sentences (the A and I sentences of the traditional square of opposition) have existential import, whereas negative sentences (E and O) lack existential import. The article challenges this standard interpretation. It is argued that Kant ascribes existential import only to some affirmative synthetic sentences. However, the reasons for this do not fall within the remit of Kant's formal (...) class='Hi'>logic. Unlike traditional logic and modern standard quantification theory, Kant's formal logic is free from existential commitments. (shrink)

In the following the details of a state-of-affairs semantics for positive free logic are worked out, based on the models of common inner domain - outer domain semantics. Lambert's PFL system is proven to be weakly adequate (i.e., sound and complete) with respect to that semantics by demonstrating that the concept of logical truth definable therein coincides with that one of common truth-value semantics for PFL. Furthermore, this state-of-affairs semantics resists the challenges stemming from the slingshot argument since (...) logically equivalent statements do not always have the same extension according to it. Finally, it is argued that in such a semantics all statements of a certain language for PFL are state-of-affairs-related extensional as well as salva extensione extensional, even though their salva veritate extensionality fails. (shrink)

This paper describes a decision procedure for disjunctions of conjunctions of anti-prenex normal forms of pure first-order logic (FOLDNFs) that do not contain V within the scope of quantifiers. The disjuncts of these FOLDNFs are equivalent to prenex normal forms whose quantifier-free parts are conjunctions of atomic and negated atomic formulae (= Herbrand formulae). In contrast to the usual algorithms for Herbrand formulae, neither skolemization nor unification algorithms with function symbols are applied. Instead, a procedure is described that (...) rests on nothing but equivalence transformations within pure first-order logic (FOL). This procedure involves the application of a calculus for negative normal forms (the NNF-calculus) with A -||- A & A (= &I) as the sole rule that increases the complexity of given FOLDNFs. The described algorithm illustrates how, in the case of Herbrand formulae, decision problems can be solved through a systematic search for proofs that reduce the number of applications of the rule &I to a minimum in the NNF-calculus. In the case of Herbrand formulae, it is even possible to entirely abstain from applying &I. Finally, it is shown how the described procedure can be used within an optimized general search for proofs of contradiction and what kind of questions arise for a &I-minimal proof strategy in the case of a general search for proofs of contradiction. (shrink)

The search for the extensions of sentences can be guided by Frege’s “principle of compositionality of extension”, according to which the extension of a composed expression depends only on its logical form and the extensions of its parts capable of having extensions. By means of this principle, a strict criterion for the admissibility of objects as extensions of sentences can be derived: every object is admissible as the extension of a sentence that is preserved under the substitution of co-extensional expressions. (...) The question is: what are the extensions of elementary sentences containing empty singular terms, like ‘Vulcan rotates’. It can be demonstrated that in such sentences, states of affairs as structured objects (but not truth-values) are preserved under the substitution of co-extensional expressions. Hence, such states of affairs are admissible (while truth-values are not) as extensions of elementary sentences containing empty singular terms. (shrink)

If one takes seriously the idea that a scientific language must be extensional, and accepts Quine’s notion of truth-value-related extensionality, and also recognizes that a scientific language must allow for singular terms that do not refer to existing objects, then there is a problem, since this combination of assumptions must be inconsistent. I will argue for a particular solution to the problem, namely, changing what is meant by the word ‘extensionality’, so that it would not be the truth-value that had (...) to be preserved under the substitution of co-extensional expressions, but the state of affairs that the sentence described. The question is whether or not elementary sentences containing empty singular terms, such as ‘Vulcan rotates’, are extensional in the substitutivity sense. Five conditions are specified under which extensionality in the substitutivity sense of such sentences can be secured. It is demonstrated that such sentences are state-of-affairs-as-extension-related extensional. This implies that such sentences are also truth-value-related extensional in Quine’s sense, but not truth-value-as-extension-related extensional. (shrink)

Debunking arguments—also known as etiological arguments, genealogical arguments, access problems, isolation objec- tions, and reliability challenges—arise in philosophical debates about a diverse range of topics, including causation, chance, color, consciousness, epistemic reasons, free will, grounding, laws of nature, logic, mathematics, modality, morality, natural kinds, ordinary objects, religion, and time. What unifies the arguments is the transition from a premise about what does or doesn't explain why we have certain mental states to a negative assessment of their epistemic (...) status. I examine the common, underlying structure of the arguments and the different strategies for motivating and resisting the premises of debunking arguments. (shrink)

Tschumi believes that the quality of architecture depends on the theoretical factor it contains. Such a view led to the creation of architecture that would achieve visibility and comprehensibility only after its interpretation. On his way to creating such an architecture he took on a purely philosophical reflection on the basic building block of architecture, which is space. In 1975, he wrote an essay entitled Questions of Space, in which he included several dozen questions about the nature of space. The (...) questions he formulated could be regarded as analogous to the situation in the philosophy of the time, in which the interest in questioning the most obvious forms of understanding the world and intellectual categories increased. The research on space is an area common to many fields of natural sciences, humanities and artistic creation, but it also deals with other problems, such as issues of experience. The concept of space-time continuum proposed by Hermann Minkowski drew attention to the identity of time and space with the events taking place. Probably regardless of the postulates of physicists commenting on Einstein’s discoveries, also in philosophy it increased the importance of the concept of the event which became dominant in Heidegger’s latest work Contributions of Philosophy. Of the event. Furthermore, Tschumi’s reflections on space entered into relation with the problem of experience, which aroused the interest of a group of French philosophers trying to assimilate Georges Bataille’s concept of “inner experience”. Both Tschumi and Derrida referred to Bataille because his views could be used not only to modify the concept of the subject, but also to change the understanding of what constitutes the area of architecture. The discussion on experience has led to the recognition that the subject is not sovereign, but actually a form of what is on their outside. Such insights make it possible to treat the area of the Parc de La Villette as existing mainly when it is organised by its users. The decisive features of the Park are its assumptions, according to which it is a variety of active void that leads to agreeing new social relations with it. The park does not force to participate in already existing moral or political communities, but tries to move into an unknown future in which the scope of free functioning of individuals will be increased. Doubts about the principles of functioning of the individual self and its discovery as a whole composed of non-coherent parts, as well as its dependence on its own depth full of disordered forces, influenced the understanding of architecture as a set of contradictions whose source is a fundamental void anticipating the empty phenomenal space. The use of this phenomenal void in architecture, as well as the rejection of the whole and unity, had a specific political purpose and drew its inspiration from political analyses. In the Parc de La Villette, metaphysics and politics were brought closer together because the philosophy of void was used to create new conditions for community action. It can be argued that the source of this philosophy was the perception of errors in existing societies dependent on the shortcomings of traditional metaphysics. Spacing (espacement) was one of the key terms in Derrida’s philosophy, which was also combined with the concepts of différance and chôra. The study of the nature of space, especially its transition from the level of pure possibility to the level of sensual phenomenon, also contributes to understanding how well designed space can have an impact on its audience. This explanation is based on Tschumi’s assumption that the space of the Parc de La Villette contradicts the integrating approaches and instead exposes contradictions, but it does so in a way that combines incompatible properties into a single piece of architecture. The specificity of such integration is similar to the invention of a musical phrase, which is an ideological message: moral and political. Such a thesis may raise doubts, however, if both the clearly adopted assumptions and those deduced from the work allow for their ↪Quart Nr 2(52)/2019 logically ordered presentation then to a limited extent it may be assumed that the work has achieved a connection between a specific philosophy of space and its practical application. Derrida combined the problem of spatiality with the problem of transcendental imagination in Kant’s philosophy, who in the first version of Critique of Pure Reason assumed that pure imagination precedes the appearance of time and space, even in their transcendental forms. The imagination in such a situation can be described as a factor activating time and space, which indicates what function is played by movement in this activity. This leads us to recognize that the ultra originary source of pure forms of sensual intuition is movement, which in early Greek philosophy was identified with void and its lack of resistance to phenomena occurring in it. Derrida’s philosophy in search of a certain super-transcendental source of time and space pointed to différance which, like void or the chôra, does not have material features or even any other form of being. Différance is the primary cause of the disruption of motionlessness and the introduction of activity into motionless time and space, thus its activity can be described as spacing (espacement). Derrida’s discoveries in this respect are not entirely original, because Hegel already pointed out when examining the present that it is primarily a differential relation (differente Beziehung), which, being seemingly neutral, influences the present with supernatural force and makes it unidentifiable with itself. Differente Beziehung must similarly influence the originary space, negating its initial character by multiplying its divisions and expanding its boundaries. Différance acts by revealing contradictions wherever there is apparent undifferentiation. Tschumi, composing the Parc de La Villette as a variety of void and a set of incompatible layers, followed the rules of différance or the chôra: he made void visible together with its saturation with contradictions. If space can be considered to be the result of the activity of difference, such activity has a certain regularity, which influences the behaviour of its observers. Differences or contradictions fall into a certain rhythm, which can be considered a manifestation of transcendent order. The problem is that what can be considered the source of such order, namely the logos or God, is partly disorder and error. According to descriptions contained in Timaeus, the world is a combination of forces that drive to order with forces of erroneous necessity that resounds in every order and forces it to return to disorder. Derrida denied the possibility of understanding différance as a theological value, even if it were a negative or apophatic theology, but no categorical denial could be perfect. The assumption that différance or the chôra are not endowed with any substance properties cannot deny their activity, and thus a certain force. Already since Democritus, philosophy has multiplied the names of such a force and the contradictory variety of its manifestations, never forgetting also the necessity for reason to withdraw from the possibility of giving its correct characteristics. Such a withdrawal may be interpreted as an expression of respect and, in certain situations, as a cult of the force that precedes reasonableness. The Parc de La Villette, which is an artistic divagation about the contradictions and forces behind them, can be considered as a place of their sublimation, and therefore as a variation of the temple of what differs from order and disorder. (shrink)

The competing expressions of ideology flooding the contemporary political landscape have taken a turn toward the absurd. The Radiance Foundation’s recent anti-abortion campaign targeting African-American women, including a series of billboards bearing the slogan “The most dangerous place for an African-American child is in the womb”, is just one example of political "discourse" that is both infuriating and confounding. Discourse with these features – problematic intelligibility, disinterest in the truth, and inflammatory rhetoric – has become increasingly common in politics, the (...) press, and even the arguments made by ordinary folk. It is often criticized for its falsehood or its hurtfulness; however, these critiques tend to miss its pernicious potential. This essay characterizes this insidious discourse as purposeful nonsense. Part of the way that purposeful nonsense functions, we argue, relies on taking advantage of harmful stereotypes and denigrating narratives that are already present in our culture. Purposeful nonsense both draws upon harmful ideology and fortifies it. The effect is that members of oppressed social groups are confronted with disparaging ideology, while its authors are free to deny responsibility for it. Black feminist and intersectional analysis – particularly in the discussion of race, abortion, and reproductive justice – are useful in identifying and criticizing the harmful subtext in the Radiance Foundation’s billboard campaign. The notion of purposeful nonsense serves to extend the reach of these criticisms. Purposeful nonsense – disguised as merely logically confused discourse – is a key factor in maintaining an oppressive and unjust society; however, feminist, black feminist, and intersectional analysis contextualizes purposeful nonsense, potentially disrupting its harmful influence. We conclude that purposeful nonsense employs a variation on stereotype threat, a phenomenon in which being reminded of negative stereotypes about one’s social group causes stereotypical performance failures. We suggest that the notion of stereotype threat combined with intersectional analysis offers a fruitful avenue along which research on this sort of discourse might be expanded. (shrink)

We present cut-free labelled sequent calculi for a central formalism in logics of agency: STIT logics with temporal operators. These include sequent systems for Ldm , Tstit and Xstit. All calculi presented possess essential structural properties such as contraction- and cut-admissibility. The labelled calculi G3Ldm and G3Tstit are shown sound and complete relative to irreflexive temporal frames. Additionally, we extend current results by showing that also Xstit can be characterized through relational frames, omitting the use of BT+AC frames.

The consciousness of sense-certainty proves itself to be dialectical. It starts out with the certainty that its object is a singular immediate being. But it is just this ‘singular immediate being’ that turns around into its opposite to become a universal – i.e. it is true not only for a single but all individual objects since everything is a ‘singular immediate being’. ‘Every individual is different’ because each has free will and is independent of others. If this is universally (...) true then it dialectically turns around to its opposite and becomes ‘everyone is the same.’ This is called “negative movement” or dialectical because each side of the individual-universal relation negates itself to become the other. Immediate consciousness is called ego. The consciousness of immediate sense-certainty is not aware that ego is related to the object which it considers as immediately being. The admission of relationship cancels immediacy because a relation is something that mediates between two things that unites them, i.e. changes them from two independent beings into a unity or oneness. This change is negation, thus the many-ness is negated to become one-ness or unity as a relation. Of course the many-ness is not destroyed in a relation, or the relationship itself could not exist as such. This is the nature of negation – it does not annihilate but sublimates; unity implies that two or more things have been united, i.e. the explicit multiplicity is sublimated (becomes implicit) in the concept of unity. The change in going from one moment to another in this movement or process is called experience (as discussed in the November 2011 issue). [1] Taken together these experiences of consciousness are called its history. It is not a history of the world, or the development of consciousness through historical time. It is simply the experience or change due to the movement of thought explained previously – involving the purely philosophical, logical or conceptual events. The series of these experiences is called its history. (shrink)

«The world is about to get rid of morality, becoming total organization that is total destruction. Progress tends to culminate in a catastrophe». This few words sum up the fears of the late Horkheimer, who is increasingly worried about the effects of the dialectic of enlightenment. The fatal outcome of such dialectic has led the world to the brink of annihilation. According to Horkheimer, the root of the dialectic of enlightenment is an instrumental reason tending to the dominion (the dominion (...) of man over nature and the dominion of man over man). With his theoretical production, Horkheimer has tried to prevent the disastrous effects of this instrumental reason, ending up framing the longing for the Totally Other. In our opinion, the Totally Other plays an anti-dialectic function over enlightenment, having the triple meaning of transcendence as other than immanence; of utopia as an other society than the present one; and of an other reason than the instrumental reason, as a promise of a thought that is not anymore allied to the dominion. A new interpretation of the Totally Other would free its critical power, and it would be a “negative” attempt (in the sense of negative theology) to prevent the catastrophe towards which we all are pushed by what Horkheimer calls the immanent logic of history. (shrink)

In this paper, I offer a novel analysis of logical arguments from evil. I claim that logical arguments from evil have three parts: (1) characterisation (attribution of specified attributes to God); (2) datum (a claim about evil); and (3) link (connection between attributes and evil). I argue that, while familiar logical arguments from evil are known to be unsuccessful, it remains an open question whether there are successful logical arguments from evil.

The Shadow of God in the Philosopher’s Garden. The Parc de La Villette in Paris in the context of the philosophy of chôra I Bernard Tschumi’s project of the Parc de La Villette could have won the competition and was implemented thanks to the political atmosphere that accompanied the victory of the left-wing candidate in the French presidential elections in 1981. François Mitterand’s revision of the political programme and the replacement of radical reforms with the construction of prestigious architectural objects (...) and urban assumptions in the French capital gave Tschumi a unique opportunity to realise ideas that polemicised with traditional forms of social life, questioned the basic principles of architecture and included architectural work in the philosophical disputes over the issues of metaphysics. Tschumi’s theoretical assumptions put forward during the design of the Parc de La Villette highlighted the questions of conflict between the main components of the project and suggested that the intensification of differences was analogous to Jacques Derrida’s creation of the concept of différance. It was this philosopher who in a special commentary to Derrida’s project also introduced the concept of maintenant, which aimed at demonstrating that the architect’s polemical inclinations remain in a hidden balance with his inclinations to affirmation of architectural principles. During the discussion between Derrida and Peter Eisenman, who was to take part in the design of the Parisian park, the concept of the chôra was also put forward, which in the course of the debate led to an additional confusion of architectural and philosophical problems. II In the period from the Antiquity to the Renaissance, the dialogue Timaeus was the most frequently commented work of Plato. At present, the most frequently discussed is the issue of the chôra included in it, which aroused fascination among philosophers, researchers of rhetoric, religion, feminism, but also architecture. The work on the chôra also influenced the development of the interpretation of the Parc de La Villette, among which the topics related to the beginning and the change were highlighted. In early uses of the word chôra in Greek, as in Homer’s 18th Book of Iliad, it meant both dancing and a place to dance. On this occasion, it can be seen that it is not possible to determine which phenomenon took precedence in the creation of the name. It cannot be denied, however, that the word concerned a specific movement, as if circular and returning to an indefinable beginning. Despite gaining more and more general meanings, the word chôra has retained its connection with the dance of people on the threshing floor, the dance of bees (choros meliton) or the dance of stars (choros astron). In Timaeus, the chôra is a space filled with movement with an effect similar to shaking the sieve to husk the grain: it separates similar elements from the dissimilar ones. The juxtaposition of the Parc de La Villette and the chôra already at this stage leads to the suggestion that the park was treated by the architect as a place of dynamic changes leading to the establishment of new social solutions. In his statements, the architect confirmed that the park was to be a space of new politics and ethics. The book by Julia Kristeva La Révolution du langage poétique contributed to the spread of the belief that works of art can play a role as factors of political revolution. In this work, the author put forward the thesis that the chôra is a kind of space, the character of which has a destructive influence on attempts to conclude language games. The chôra gives beginning to words, but at the same time, by leaving a trace of this beginning it forces us to renew their meanings. The chôra understood in this way, turns out to be an irremovable beginning, to which one has to return all the time. Kristeva found manifestations of the chôra’s activity in avant-garde French poetry, to which she attributed the role of a mediator between criticism of metaphysics and aspirations for social change. The chôra, violating the language, introduces some voids into it, as if traces of the abyss, which direct the consciousness towards understanding the necessity of political changes. The Parc de La Villette was to pursue similar objectives in the city space. In his essays, Tschumi considered the problems of creating spaces that would give rise to a radical democracy. The proposed rebellious spaces should have the characteristics of a void, in which contradictory forces would occur as forms of pure activity. The means of achieving this goal was to concentrate contradictions and make them visible. The Parc de La Villette was supposed to collect differences as indelible and at the same time by showing them it was supposed to raise awareness of the social world as a conglomerate of differences. Saturation of the space of the park with subversive values results from the character of this space suppressed in the consciousness, as well as from the social diversity which has not been taken into account so far. The main contradictions contained in space relate to the division that exists between its presentation as a mental problem and a sensual one. The park was the deliberate creation of a place that transcends such a division and creates a separate space for negotiation between architectural theories and its practical applications. The purpose of the park was to become a place of future events, which would not hide their conflicting character coming from diversity of both space and society. The method of composition usually aimed at achieving a harmonious whole has been replaced by Tschumi with a system of juxtaposition of non-coherent elements or those resulting from variations and transformations. Tschumi did not seek direct influence on politics in the Parc de La Villette, but made room for thinking about the possibilities of the future. He introduced problems rather than showed solutions to them. The task of the park was to put the principles of architecture into a kind of vibration that would inspire users to participate in the new community. III Tschumi believes that the quality of architecture depends on the theoretical factor it contains. Such a view led to the creation of architecture that would achieve visibility and comprehensibility only after its interpretation. On his way to creating such an architecture he took on a purely philosophical reflection on the basic building block of architecture, which is space. In 1975, he wrote an essay entitled Questions of Space, in which he included several dozen questions about the nature of space. The questions he formulated could be regarded as analogous to the situation in the philosophy of the time, in which the interest in questioning the most obvious forms of understanding the world and intellectual categories increased. The research on space is an area common to many fields of natural sciences, humanities and artistic creation, but it also deals with other problems, such as issues of experience. The concept of space-time continuum proposed by Hermann Minkowski drew attention to the identity of time and space with the events taking place. Probably regardless of the postulates of physicists commenting on Albert Einstein’s discoveries, also in philosophy it increased the importance of the concept of the event which became dominant in Martin Heidegger’s latest work Contributions of Philosophy: Of the event. Furthermore, Tschumi’s reflections on space entered into relation with the problem of experience, which aroused the interest of a group of French philosophers trying to assimilate Georges Bataille’s concept of “inner experience”. Both Tschumi and Derrida referred to Bataille because his views could be used not only to modify the concept of the subject, but also to change the understanding of what constitutes the area of architecture. The discussion on experience has led to the recognition that the subject is not sovereign, but actually a form of what is on their outside. Such insights make it possible to treat the area of the Parc de La Villette as existing mainly when it is organised by its users. The decisive features of the park are its assumptions, according to which it is a variety of active void that leads to agreeing new social relations with it. The park does not force to participate in already existing moral or political communities, but tries to move into an unknown future in which the scope of free functioning of individuals will be increased. Doubts about the principles of functioning of the individual self and its discovery as a whole composed of non-coherent parts, as well as its dependence on its own depth full of disordered forces, influenced the understanding of architecture as a set of contradictions whose source is a fundamental void anticipating the empty phenomenal space. The use of this phenomenal void in architecture, as well as the rejection of the whole and unity, had a specific political purpose and drew its inspiration from political analyses. In the Parc de La Villette, metaphysics and politics were brought closer together because the philosophy of void was used to create new conditions for community action. It can be argued that the source of this philosophy was the perception of errors in existing societies dependent on the shortcomings of traditional metaphysics. Spacing (espacement) was one of the key terms in Derrida’s philosophy, which was also combined with the concepts of différance and chôra. The study of the nature of space, especially its transition from the level of pure possibility to the level of sensual phenomenon, also contributes to understanding how well designed space can have an impact on its audience. This explanation is based on Tschumi’s assumption that the space of the Parc de La Villette contradicts the integrating approaches and instead exposes contradictions, but it does so in a way that combines incompatible properties into a single piece of architecture. The specificity of such integration is similar to the invention of a musical phrase, which is an ideological message: moral and political. Such a thesis may raise doubts, however, if both the clearly adopted assumptions and those deduced from the work allow for their logically ordered presentation then to a limited extent it may be assumed that the work has achieved a connection between a specific philosophy of space and its practical application. Derrida combined the problem of spatiality with the problem of transcendental imagination in the philosophy of Immanuel Kant, who in the first version of Critique of Pure Reason assumed that pure imagination precedes the appearance of time and space, even in their transcendental forms. The imagination in such a situation can be described as a factor activating time and space, which indicates what function is played by movement in this activity. This leads us to recognize that the ultra originary source of pure forms of sensual intuition is movement, which in early Greek philosophy was identified with void and its lack of resistance to phenomena occurring in it. Derrida’s philosophy in search of a certain super-transcendental source of time and space pointed to différance which, like void or the chôra, does not have material features or even any other form of being. Différance is the primary cause of the disruption of motionlessness and the introduction of activity into motionless time and space, thus its activity can be described as spacing (espacement). Derrida’s discoveries in this respect are not entirely original, because Georg Wilhelm Friedrich Hegel already pointed out when examining the present that it is primarily a differential relation (differente Beziehung), which, being seemingly neutral, influences the present with supernatural force and makes it unidentifiable with itself. Differente Beziehung must similarly influence the originary space, negating its initial character by multiplying its divisions and expanding its boundaries. Différance acts by revealing contradictions wherever there is apparent undifferentiation. Tschumi, composing the Parc de La Villette as a variety of void and a set of incompatible layers, followed the rules of différance or the chôra: he made void visible together with its saturation with contradictions. If space can be considered to be the result of the activity of difference, such activity has a certain regularity, which influences the behaviour of its observers. Differences or contradictions fall into a certain rhythm, which can be considered a manifestation of transcendent order. The problem is that what can be considered the source of such order, namely the logos or God, is partly disorder and error. According to descriptions contained in Timaeus, the world is a combination of forces that drive to order with forces of erroneous necessity that resounds in every order and forces it to return to disorder. Derrida denied the possibility of understanding différance as a theological value, even if it were a negative or apophatic theology, but no categorical denial could be perfect. The assumption that différance or the chôra are not endowed with any substance properties cannot deny their activity, and thus a certain force. Already since Democritus, philosophy has multiplied the names of such a force and the contradictory variety of its manifestations, never forgetting also the necessity for reason to withdraw from the possibility of giving its correct characteristics. Such a withdrawal may be interpreted as an expression of respect and, in certain situations, as a cult of the force that precedes reasonableness. The Parc de La Villette, which is an artistic divagation about the contradictions and forces behind them, can be considered as a place of their sublimation, and therefore as a variation of the temple of what differs from order and disorder. IV In the texts that presented the theoretical assumptions of the Parc de La Villette, Tschumi used a large number of terms that contradicted not only the traditional principles of composing architecture, but also negated the rules of social order and the foundations of Western metaphysics. Tschumi’s statements, which are a continuation of his leftist political fascinations from the May 1968 revolution, as well as his interest in the philosophy of French poststructuralism and his collaboration with Derrida, prove that terms such as “disruption”, “dissociation”, “disfunction”, “disjunction” and “dispersion” not only referred to architectural problems but also applied to political criticism and the deepest foundations of thinking itself. His collaboration with Derrida manifested itself primarily in the publication La Case Vide: La Villette 1985, in which the architect’s design drawings and texts explaining his concepts related to the Parc de La Villette were accompanied by an extensive essay by Derrida, which included theoretical problems taken up by Tschumi in a philosophical context. Architectural and philosophical issues were also combined during seven discussion meetings organised by Eisenman, invited by Tschumi to collaborate on the design of the Parc de La Villette. Eisenman, who, like Tschumi, invited Derrida to participate in the design of the park and also led to the publication of Chora L Works: Jacques Derrida and Peter Eisenman, in which his ideas were confronted with Derrida’s philosophical text. In this case, Derrida’s essay was not a direct commentary on the architect’s concepts, but rather a reflection on the question of the chôra presented by Plato in Timaeus. During the discussion and in his essay, Derrida pointed out that the chôra is a component of the created world, yet it does not belong to it, but precedes it. The originality of the chôra is so radical that she also precedes all the factors of creating the world, including ideas and the Demiurge. Thus athesis appeared in the metaphysics of the West that the chôra is a form of active abyss, in relation to which all beings are secondary, both those perfect (as ideas or God) and those created, such as the world, things, people or language. This leads to the conclusion that the chôra does not exist, because all existence is a derivative of the chôra. Nor could the chôra be described, since it is a form of developing a space that is preceded by a lack of space characteristic of the chôra. Derrida intended the chôra to be an instance with an exceptional degree of transcendentalism, an anti-metaphysical instance, but also an a-theological one. However, this attempt failed, both in the field of secular philosophy and in the field of theology. Derrida’s characteristics of the chôra to strengthen its transcendentalism and negation of metaphysics had to be expressed in a language that immediately produces new concepts and a new metaphysics that reproduces the categories of the beginning, the origin or the foundation known from earlier philosophical traditions. All forms of criticism of metaphysics are also inspired by negative, apophatic and mystical theology. The undermining of many concepts of permanent meaning and the introduction of new concepts of unstable meaning, characteristic of the philosophy of deconstruction, had many features of originality, but it was directed towards problems whose solutions repeat, with the use of new vocabulary, the findings known in culture since Democritus. Thus, if apophatic philosophy can be regarded as deconstruction avant la lettre, then deconstruction itself in its late versions began to take on the features of a new religion. The exchange of inspiration between theology and deconstruction was manifested in a series of scientific conferences and publications in which Derrida’s philosophical concepts were interpreted within the scope of religious thought. Theological threads began to be found in such concepts of deconstruction as différance or the chôra, while at the same time Derrida himself undertook in his philosophy to study problems such as the Other (L’Autre) or the Impossible (Impossible), which belonged to newer theological traditions. As a consequence of the new problems, the deconstruction became closer to the features of a new religion. Philosophy, at least from Kant’s time, has tried to create a system that would take over from religion the tasks of setting moral and political goals. Similarly, Derrida has directed his interest towards the problems of democracy and ethics, which would enable their renewal. Attempts to create a new religion (cleared of old metaphors), a new community or a new democracy bring problems and threats which may be no less troublesome than the previous systems. All promises of freedom carry with them threats, the greater the more they strive for perfection. The renewal of existential orders, sometimes carried out by means of violent changes, is a certain repetitive feature of human cultures. Deep changes, however, do not protect against the return of both old gods and old demons. Tschumi and Derrida were shaped in their youth by the atmosphere of leftist rebellion against the moral and political limitations of ossified communities and the imperfections of democracy. The ethical theme distinguishes many of their works, including the Parc de La Villette. The opposition to the metaphysical traditions of philosophy and architecture contained in this park was prompted by specific political situations and resulted from bringing political issues to the level of philosophical considerations. Achievements made at the level of pure concepts were then subject to elevation, to a kind of sacralization, which made them religious concepts. The deconstruction reached for the status of the new religion especially when it found its followers and began to generate moral obligations. In the new situation, terms such as the chôra, l’Autre or the Impossible were absolutized and in relation to them a cult and attitude of adoration emerged. The Parc de La Villtette then gained new post-secular meanings, which allow it to be assigned the function of a Temple of Otherness (L’Autre) and Impossible. V In the traditional sense, a work of art creates an illustration of the outside world, or of a certain text or doctrine. Sometimes it is considered that such an illustration is not literal, but is an interpretation of what is visible, or an interpretation of a certain literary or ideological message. It can also be assumed that a work of art creates its own visual world, a separate story or a separate philosophical statement. Parc de La Villette represents the last of these possibilities: it is a philosophical statement that develops the premises derived from poststructuralist philosophies and the philosophy of deconstruction. The uniqueness of its being status, however, is that it does so not only at the level of the theoretical assumptions, but also through its functioning as an active philosophical work. This means that a park is a happening philosophy. Its activity, however, does not refer only to the present tense, but is also an attempt to penetrate the future, all otherness and impossibility. This kind of activity assumes that the work, in a sense, does not yet fully exist, but is also still produced in the processes of its interpretation. The theoretical foundations of the park included texts by Tschumi, in which he questioned traditional ways of creating a work of architecture, postulating in return the use of a long series of negations, which were comparable to the crisis of metaphysics characteristic of contemporary philosophy. It is therefore no coincidence that the publication containing Tschumi’s theoretical text on Parc de La Villette was accompanied by an essay by Derrida developing some of the architect’s concepts. The next step in integrating philosophy into the process of park design was a series of discussions between Eisenman and Derrida, who completely moved the creation of the park into the world of thoughts, without accentuating the need for their realization in the material reality. The main topic of these discussions was the problem of the chôra, which was taken up by later commentators and used to interpret the park as a work in which the philosophy of the beginning is manifested relating to issues of politics, morality and religion. The park was therefore interpreted as a space of invention within the scope of creating new rules of functioning of the community and democracy. Thinking about the political future may, however, exceed the horizon of ordinary expectations. Although philosophical thought is always connected with contemporary problems and metaphysics sometimes intertwines with current politics, yet at the same time the customs of philosophy also include crossing horizons and thinking about absolute otherness and impossibility. Initially, the chôra, différance, absolute otherness (tout autre) and the Impossible were concepts of pure philosophy of atheistic character, but with the further development of the discussion, more and more theological motifs began to emerge. One of the reasons for this phenomenon was the fact that radical negations of all being, which were contemplated in contemporary philosophy (by Heidegger and Derrida, among others), had previously been manifested in negative and apophatic theologies (by Master Eckhart, among others).Also the category of the “Other”, taken from Emmanuel Levinas, was clearly connected with the thought about God. A further reason for connecting the chôra with the theological thought was the interest in the philosophy of deconstruction expressed by some theologians. John Caputo in particular managed to persuade Derrida to participate in discussions on the current status of religion. In the late period of Derrida’s writing, further statements on religious topics appeared. All these reasons led to posing a question about the identity of the chôra and God. Although there were no satisfactory conclusions on this issue, the discussion was also important to create an interpretation of the park as a place of worship. The chôra, representing, according to Plato, the preoriginal emptiness is the place of every beginning, but it turns out that it is not neutral to the being created in it. The chôra deposits itself in every being as an irremovable beginning that interferes with its stability. The chôra, therefore, forces us into a palintropical movement, but it also turns out to be a pure compulsion, an erring necessity and a fundamental force from which, in the human perception, motifs useful to the individual and to the community are extracted. All definitions of this force, including its anthropomorphisation, are formulated in such a way that they allow for building private and collective morality upon them. Such definitions are changed depending on variable political situations. It is difficult to determine whether in the processes of changes in the formulation of “God’s names” any essential value is retained, which is not subject to change. The current definitions of the chôra (God?), which can be found, for example, in the philosophy of Caputo, stress that she is a combination of various and contradictory forces. This characteristic inherits much of Plato’s concept, reminds us of Master Eckhart’s views on Gottheit and, at the same time, is not unfamiliar to Tschumi, whose essays were an apologia of contradictions. The current concept of chôra, transferred into the sphere of politics, is the praise of social diversity and the protection of the difference from the forces of order. In the Parc de La Villette, the future community and democracy were elevated as a system of safe existence of individuals in all their singularity. The park is a temple of a future community in which individual beings have nothing in common. (shrink)

The result of combining classical quantificational logic with modal logic proves necessitism – the claim that necessarily everything is necessarily identical to something. This problem is reflected in the purely quantificational theory by theorems such as ∃x t=x; it is a theorem, for example, that something is identical to Timothy Williamson. The standard way to avoid these consequences is to weaken the theory of quantification to a certain kind of free logic. However, it has often been (...) noted that in order to specify the truth conditions of certain sentences involving constants or variables that don’t denote, one has to apparently quantify over things that are not identical to anything. In this paper I defend a contingentist, non-Meinongian metaphysics within a positive free logic. I argue that although certain names and free variables do not actually refer to anything, in each case there might have been something they actually refer to, allowing one to interpret the contingentist claims without quantifying over mere possibilia. (shrink)

The purpose of this paper is to introduce a bi-intuitionistic sequent calculus and to give proofs of admissibility for its structural rules. The calculus I will present, called SC2Int, is a sequent calculus for the bi-intuitionistic logic 2Int, which Wansing presents in [2016a]. There he also gives a natural deduction system for this logic, N2Int, to which SC2Int is equivalent in terms of what is derivable. What is important is that these calculi represent a kind of bilateralist reasoning, (...) since they do not only internalize processes of verifcation or provability but also the dual processes in terms of falsifcation or what is called dual provability. In [Wansing, 2017] a normal form theorem for N2Int is stated, here, I want to prove a cut-elimination theorem for SC2Int, i.e., if successful, this would extend the results existing so far. (shrink)

Currently available systems of action deontic logic are not designed to model procedures to assess the conduct of an agent which take into account the intentions of the agent and the circumstances in which she is acting. Yet, procedures of this kind are essential to determine what counts as culpable not doing. In light of this, we design an action logic, AL, in which it is possible to distinguish actions that are objectively possible for an agent, viz. there (...) are no objective impediments for the agent to do them, and actions that, besides being objectively possible, are compatible with the setting or intentions of the agent. (shrink)

We argue that the extant evidence for Stoic logic provides all the elements required for a variable-free theory of multiple generality, including a number of remarkably modern features that straddle logic and semantics, such as the understanding of one- and two-place predicates as functions, the canonical formulation of universals as quantified conditionals, a straightforward relation between elements of propositional and first-order logic, and the roles of anaphora and rigid order in the regimented sentences that express multiply (...) general propositions. We consider and reinterpret some ancient texts that have been neglected in the context of Stoic universal and existential propositions and offer new explanations of some puzzling features in Stoic logic. Our results confirm that Stoic logic surpasses Aristotle’s with regard to multiple generality, and are a reminder that focusing on multiple generality through the lens of Frege-inspired variable-binding quantifier theory may hamper our understanding and appreciation of pre-Fregean theories of multiple generality. (shrink)

James Sterba uses the Pauline Principle to argue that the occurrence of significant, horrendous evils is logically incompatible with the existence of a good God. The Pauline Principle states that (as a rule) one must never do evil so that good may come from it, and according to Sterba, this principle implies that God may not permit significant evils even if that permission would be necessary to secure other, greater goods. By contrast, I argue that the occurrence of significant evils (...) is logically compatible with the existence of a good God because victims of significant evils may themselves reasonably consent to their suffering. In particular, I argue that they may be able to accept their suffering if it turns out that there was no way for God to secure relevant greater goods (or prevent other, greater evils) except by way of allowing their suffering, and God also provides them with other compensating, heavenly comforts. After using this consent-based argument to address Sterba’s logical problem from evil, I briefly consider how this argument may also help address a related evidential problem from evil, which suggests that while it is possible that victims of significant evils would consent to their suffering, it is unlikely that they would do so. While I do not provide a definitive solution to this evidential problem of evil, I highlight one important example of a trade-off that God may need to make that would—along with the provision of compensating, heavenly comforts—potentially persuade victims of significant evils to consent to their suffering. Specifically, I argue that there may be a necessary trade-off that God needs to make between permitting significant evils (on the one hand) and protecting a certain, morally significant form of free will (on the other hand). (shrink)

The Free Choice effect—whereby \\) seems to entail both \ and \—has traditionally been characterized as a phenomenon affecting the deontic modal ‘may’. This paper presents an extension of the semantic account of free choice defended by Fusco to the agentive modal ‘can’, the ‘can’ which, intuitively, describes an agent’s powers. On this account, free choice is a nonspecific de re phenomenon that—unlike typical cases—affects disjunction. I begin by sketching a model of inexact ability, which grounds a (...) modal approach to agency in a Williamson -style margin of error. A classical propositional semantics combined with this framework can reflect the intuitions highlighted by Kenny ’s dartboard cases, as well as the counterexamples to simple conditional views recently discussed by Mandelkern et al.. In Section 3, I turn to an independently motivated actual-world-sensitive account of disjunction, and show how it extends free choice inferences into an object language for propositional modal logic. (shrink)

ABSTRACT Recently, many authors have argued that claims about determinism and free will are situated on different levels of description and that determinism on one level does not rule out free will on another. This paper focuses on Christian List’s version of this basic idea. It will be argued for the negative thesis that List’s account does not rule out the most plausible version of incompatibilism about free will and determinism and, more constructively, that a level-based (...) approach to free will has better chances to meet skeptical challenges if it is guided by reasoning at the moral level – a level that has not been seriously considered so far by proponents of this approach. (shrink)

Alvin Plantinga has famously responded to the logical problem of evil by appealing to the intrinsic value of significant free will. A problem, however, arises because traditional theists believe that both God and the redeemed who go to heaven cannot do wrong acts. This entails that both God and the redeemed in heaven lack significant freedom. If significant freedom is indeed valuable, then God and the redeemed in heaven would lack something intrinsically valuable. However, if significant freedom is not (...) intrinsically valuable, then Plantinga’s reply to the logical problem of evil fails. In this paper, we assess three contemporary solutions to the dilemma above. The first is the love solution, which proposes that significant freedom is necessary for agents to love, and loving others is intrinsically good. The second is the soul-making solution, which argues that significant freedom is necessary for self-developing one’s moral character, and having a self-developed moral character is intrinsically good. The third is the derivative free will solution, which argues that significant freedom is necessary for derivative free will in heaven, and derivative free will is intrinsically good. We raise problems against all three solutions and instead defend a fourth solution – the ultimate responsibility solution. That is, significant freedom is instrumentally valuable as it gives agents ultimate responsibility with regards to morally significant acts. Finally, we defend the ultimate responsibility solution against two major objections. (shrink)

This paper argues that “free will” is vague. The argument has two steps. First, I argue that free will is a matter of degrees and, second, that there are no sharp boundaries separating free decisions and actions and non‐free ones. After presenting the argument, I focus on one significant consequence of the thesis, although others are mentioned along the way. In short, considerations of vagueness help understand the logic behind so‐called manipulation arguments, but also show (...) why these arguments are ultimately flawed. (shrink)

It is quite plausible to say that you may read or write implies that you may read and you may write (though possibly not both at once). This so-called free choice principle is well-known in deontic logic. Sadly, despite being so intuitive and seemingly innocent, this principle causes a lot of worries. The paper briefly but critically examines leading accounts of free choice permission present in the literature. Subsequently, the paper suggests to accept the free choice (...) principle, but only as a default (or defeasible) rule, issuing to it a ticket-of-leave, granting it some freedom, until it commits an undesired inference. (shrink)

In abstract algebraic logic, many systems, such as those paraconsistent logics taking inspiration from da Costa's hierarchy, are not algebraizable by even the broadest standard methodologies, as that of Blok and Pigozzi. However, these logics can be semantically characterized by means of non-deterministic algebraic structures such as Nmatrices, RNmatrices and swap structures. These structures are based on multialgebras, which generalize algebras by allowing the result of an operation to assume a non-empty set of values. This leads to an interest (...) in exploring the foundations of multialgebras applied to the study of logic systems. -/- It is well known from universal algebra that, for every signature Sigma, there exist algebras over Sigma which are absolutely free, meaning that they do not satisfy any identities or, alternatively, satisfy the universal mapping property for the class of Sigma-algebras. Furthermore, once we fix a cardinality of the generating set, they are, up to isomorphisms, unique, and equal to algebras of terms (or propositional formulas, in the context of logic). Equivalently, the forgetful functor, from the category of Sigma-algebras to Set, has a left adjoint. This result does not extend to multialgebras. Not only multialgebras satisfying the universal mapping property do not exist, but the forgetful functor U, from the category of Sigma-multialgebras to Set, does not have a left adjoint. -/- In this paper we generalize, in a natural way, algebras of terms to multialgebras of terms, whose family of submultialgebras enjoys many properties of the former. One example is that, to every pair consisting of a function, from a submultialgebra of a multialgebra of terms to another multialgebra, and a collection of choices (which selects how a homomorphism approaches indeterminacies), there corresponds a unique homomorphism, what resembles the universal mapping property. Another example is that the multialgebras of terms are generated by a set that may be viewed as a strong basis, which we call the ground of the multialgebra. Submultialgebras of multialgebras of terms are what we call weakly free multialgebras. Finally, with these definitions at hand, we offer a simple proof that multialgebras with the universal mapping property for the class of all multialgebras do not exist and that U does not have a left adjoint. (shrink)

Recent arguments trying to justify further free speech restrictions by appealing to harms that are allegedly serious enough to warrant such restrictions regularly fail to provide sufficient empirical evidence and normative argument. This is also true for the attempt made by Bonotti and Seglow. They offer no valid argument for their claim that it is wrong to direct “religiously offensive speech” at “unjustly disadvantaged” minorities (thereby allegedly undermining their “self-respect”), nor for their further claim that this is not the (...) case when such speech is directed at “established majorities.” Moreover, their account has either counter-intuitive moral implications or succumbs to logical or pragmatic incoherence. Thus, they have not adduced convincing reasons to further restrict speech. In fact, some of the reasons for this failure provide, in turn, positive reasons in support of free speech. Two important (not new, but newly confirmed) reasons are that restricting free speech undermines both equal civic standing as well as fact-guided (as opposed to blindly ideological) policies. Free speech, in contrast, is indispensable for both. (shrink)

In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non- contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to philosophically (...) justify paraconsistency there is no need to endorse dialetheism, the thesis that there are true contradictions. Furthermore, we argue that an intuitive reading of the bivalued semantics for the logic mbC, a logic of formal inconsistency based on classical logic, fits in well with the basic ideas of an intuitive interpretation of contradictions. On this interpretation, the acceptance of a pair of propositions A and ¬A does not mean that A is simultaneously true and false, but rather that there is conflicting evidence about the truth value of A. (shrink)

In researching presuppositions dealing with logic and dynamic of belief we distinguish two related parts. The first part refers to presuppositions and logic, which is not necessarily involved with intentional operators. We are primarily concerned with classical, free and presuppositonal logic. Here, we practice a well known Strawson’s approach to the problem of presupposition in relation to classical logic. Further on in this work, free logic is used, especially Van Fraassen’s research of the (...) role of presupposition in supervaluations logical systems. At the end of the first part, presuppositional logic, advocated by S.K. Thomason, is taken into consideration. The second part refers to the presuppositions in relation to the logic of the dynamics of belief. Here the logic of belief change is taken into consideration and other epistemic notions with immanent mechanism for the presentation of the dynamics. Three representative and dominant approaches are evaluated. First, we deal with new, less classical, situation semantics. Besides Strawson’s theory, the second theory is the theory of the belief change, developed by Alchourron, Gärdenfors, and Makinson (AGM theory). At the end, the oldest, universal, and dominant approach is used, recognized as Hintikka’s approach to the analysis of epistemic notions. (shrink)

This paper presents what the authors call the ‘divergence problem’ regarding choosing between different future possibilities. As is discussed in the first half, the central issue of the problem is the difficulty of temporally locating the ‘active cause’ on the modal divergent diagram. In the second half of this paper, we discuss the ‘second-person freedom’ which is, strictly, neither compatibilist negative freedom nor incompatibilist positive freedom. The divergence problem leads us to two hypothetical views (i.e. the view of single-line (...) determination and that of one-off chance), and these views bring humans closer to the afree side – i.e. outside of the contrast between being free and being unfree. The afree side is greatly different from the ordinary human side. This paper tries to secure the second-person freedom as a substitute for the ordinary human freedom while preventing the divergence problem from arising. (shrink)

The problem of Free Will is an important topic in religion, philosophy and neuroscience. We will introduce a new model of free will: free choice under constraints. Under outer and inner constraints, human still have the ability of free choice. Outer constrains include physical rules, environment and so on. Inner constrains include customs, desires, habits, preferences and so on. Given a specific context, human have the ability of deciding Yes/No on a specific preference. The free (...) choices are caused, but not determined, by the outer and inner constraints. In addition, the free choices will refashion the inner constraints. Preferences are gradually formed by human, thus they may be gradually de-formed by human. Human can keep the positive preferences, while de-form the negative preferences. When we de-form the negative preferences, we have the chance to pursue another new possibility. So are scientists. They can keep the positive aspects of the known theory, while eliminate the negative aspects. When they eliminate the negative aspects of old conceptual schema, they have the chance to pursue another new conceptual schema. (shrink)

Two competing models of metaaxiological justification of politics are analyzed. Politics is understood broadly, as actions which aim at organizing social life. I will be, first of all, interested in law making activities. When I talk about metaaxiological justification I think not so much about determinations of what is good, but about determinations refering to the way the good is founded, in short: determinations which answer the question why something is good. In the first model, which is described here as (...) objectivistic, it is assumed that determining that which is good is a matter of cognition; in the second model, which could be described here as voluntaristic or excedingly liberal, it is assumed that determining good is not a matter of cognition but of will – something is good because it is wanted. In the latter model, the cognoscibility of good is rejected and therefore the objective criteria for evaluation of which ‘will’ is better and which is worse are rejected. As a consequence, negative freedom becomes the fundamental value of social order and the basic requirement is that of maximizing the sphere of individual’s free actions, the sphere which is free from interference of other individuals or institutions. I am going to argue that none of these models is acceptable as a basis of oragnizing social life, and at least because of one reason. Each of them leads to a certain version of totalitarianism. In the conclusion I am going to present a mixed model, which, in my opinion, reflexes well the practice of democratic states. Analysis of these three models allows, first of all, to identify more clearly some of the problems appearing in making law, including procedural questions. By pointing at the interdependence of the foundations of good and law making procedures it is argued that the choice of the concept of good (a metaaxiological choice) is primary to the choice of law making procedures. (shrink)

This book treats ancient logic: the logic that originated in Greece by Aristotle and the Stoics, mainly in the hundred year period beginning about 350 BCE. Ancient logic was never completely ignored by modern logic from its Boolean origin in the middle 1800s: it was prominent in Boole’s writings and it was mentioned by Frege and by Hilbert. Nevertheless, the first century of mathematical logic did not take it seriously enough to study the ancient (...) class='Hi'>logic texts. A renaissance in ancient logic studies occurred in the early 1950s with the publication of the landmark Aristotle’s Syllogistic by Jan Łukasiewicz, Oxford UP 1951, 2nd ed. 1957. Despite its title, it treats the logic of the Stoics as well as that of Aristotle. Łukasiewicz was a distinguished mathematical logician. He had created many-valued logic and the parenthesis-free prefix notation known as Polish notation. He co-authored with Alfred Tarski’s an important paper on metatheory of propositional logic and he was one of Tarski’s the three main teachers at the University of Warsaw. Łukasiewicz’s stature was just short of that of the giants: Aristotle, Boole, Frege, Tarski and Gödel. No mathematical logician of his caliber had ever before quoted the actual teachings of ancient logicians. -/- Not only did Łukasiewicz inject fresh hypotheses, new concepts, and imaginative modern perspectives into the field, his enormous prestige and that of the Warsaw School of Logic reflected on the whole field of ancient logic studies. Suddenly, this previously somewhat dormant and obscure field became active and gained in respectability and importance in the eyes of logicians, mathematicians, linguists, analytic philosophers, and historians. Next to Aristotle himself and perhaps the Stoic logician Chrysippus, Łukasiewicz is the most prominent figure in ancient logic studies. A huge literature traces its origins to Łukasiewicz. -/- This Ancient Logic and Its Modern Interpretations, is based on the 1973 Buffalo Symposium on Modernist Interpretations of Ancient Logic, the first conference devoted entirely to critical assessment of the state of ancient logic studies. (shrink)

One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are non self-extensional (i.e., they do not satisfy the replacement property). More than this, they are not algebraizable in the sense of Blok-Pigozzi. The same negative results (...) hold for several systems of the hierarchy of paraconsistent logics known as Logics of Formal Inconsistency (LFIs). Because of this, these logics are uniquely characterized by semantics of non-deterministic kind. This paper offers a solution for two open problems in the domain of paraconsistency, in particular connected to algebraization of LFIs, by obtaining several LFIs weaker than C1, each of one is algebraizable in the standard Lindenbaum-Tarski's sense by a suitable variety of Boolean algebras extended with operators. This means that such LFIs satisfy the replacement property. The weakest LFI satisfying replacement presented here is called RmbC, which is obtained from the basic LFI called mbC. Some axiomatic extensions of RmbC are also studied, and in addition a neighborhood semantics is defined for such systems. It is shown that RmbC can be defined within the minimal bimodal non-normal logic E+E defined by the fusion of the non-normal modal logic E with itself. Finally, the framework is extended to first-order languages. RQmbC, the quantified extension of RmbC, is shown to be sound and complete w.r.t. BALFI semantics. (shrink)