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)

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)

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)

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)

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)

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)

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)

This paper presents a sequent calculus and a dual domain semantics for a theory of definite descriptions in which these expressions are formalised in the context of complete sentences by a binary quantifier I. I forms a formula from two formulas. Ix[F, G] means ‘The F is G’. This approach has the advantage of incorporating scope distinctions directly into the notation. Cut elimination is proved for a system of classical positive free logic with I and it is (...) shown to be sound and complete for the semantics. The system has a number of novel features and is briefly compared to the usual approach of formalising ‘the F ’ by a term forming operator. It does not coincide with Hintikka’s and Lambert’s preferred theories, but the divergence is well-motivated and attractive. (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)

Paradigmatic examples of logical arguments from evil are attempts to establish that the following claims are inconsistent with one another: (1) God is omnipotent, omniscient and wholly good. (2) There is evil in the world. Alvin Plantinga’s free will defense resists such arguments by providing a positive case that (1) and (2) are consistent. A weakness in Plantinga’s free will defense, however, is that it does not show that theism is consistent with the proposition that there are (...) non-moral evils in the world (i.e., that there obtain morally bad states of affairs for which no creature is morally responsible). But many of us firmly believe that there are evils of that sort. I show how Plantinga’s free will defense can be extended so as to redress this weakness. (shrink)

Working within the broad lines of general consensus that mark out the core features of John Stuart Mill’s (1806–1873) logic, as set forth in his A System of Logic (1843–1872), this chapter provides an introduction to Mill’s logical theory by reviewing his position on the relationship between induction and deduction, and the role of general premises and principles in reasoning. Locating induction, understood as a kind of analogical reasoning from particulars to particulars, as the basic form of inference (...) that is both free-standing and the sole load-bearing structure in Mill’s logic, the foundations of Mill’s logical system are briefly inspected. Several naturalistic features are identified, including its subject matter, human reasoning, its empiricism, which requires that only particular, experiential claims can function as basic reasons, and its ultimate foundations in ‘spontaneous’ inference. The chapter concludes by comparing Mill’s naturalized logic to Russell’s (1907) regressive method for identifying the premises of mathematics. (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)

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)

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.

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.

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)

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)

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)

I defend a deontological social contract justification of punishment for free will deniers. Even if nobody has free will, a criminal justice system is fair to the people it targets if we would consent to it in a version of original position deliberation (OPD) where we assumed that we would be targeted by the justice system when the veil is raised. Even if we assumed we would be convicted of a crime, we would consent to the imprisonment of (...) violent criminals if prison conditions were better than the state of nature but deterring enough to prevent the state of nature. And even if we assumed we would be accused of a crime, we would consent to an evidentiary standard low enough to allow a conviction rate sufficient to prevent the state of nature. After explaining this justification, I contrast it with the public health quarantine justification defended by Derk Pereboom and Gregg Caruso, and argue that it provides a stronger response to the using criminals as mere means objection. (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.

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

Libertarians are defenders of the free market. On their view, only the free market is compatible with the freedom of each individual to lead her own life according to her own choices. In a book and a series of articles, Serena Olsaretti argues that libertarians are wrong to believe that their commitment to individual freedom justifies the free market. According to her, libertarians rely on a problematic account of voluntary action. As part of her argument, Olsaretti develops (...) her own account of voluntary action. I offer two criticisms of Olsaretti’s argument. First, I argue that accepting her account of voluntary action does not compel libertarians to alter their position in the way that she claims. Second, I argue that her account of voluntary action has unwelcome implications by her own lights. (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)

Do we have free will? Understanding free will as the ability to act freely, and free actions as exercises of this ability, I maintain that the default answer to this question is “yes.” I maintain that free actions are a natural kind, by relying on the influential idea that kinds are homeostatic property clusters. The resulting position builds on the view that agents are a natural kind and yields an attractive alternative to recent revisionist accounts of (...) free action. My view also overcomes difficulties confronted by previous views according to which free actions might be a natural kind. On my view, free actions exist and we often act freely, as long as we possess various features that are related in the right sorts of ways to each other and to the world. In turn, we acquire and retain the concept as long as most of us possess enough of those features. (shrink)

This chapter offers non-retributive, broadly Kantian justifications of punishment and remorse which can be endorsed by free will skeptics. We lose our grip on some Kantian ideas if we become skeptical about free will, but we can preserve some important ones which can do valuable work for free will skeptics. The justification of punishment presented here has consequentialist features but is deontologically constrained by our duty to avoid using others as mere means. It draws on a modified (...) Rawlsian original position in which we assume we are just as likely to be among the punished when the veil of ignorance is raised as we are to be among those protected by the institution of punishment. The justification of remorse presented here is care-based, and draws on the value of sympathizing with people we have wronged, which has a Kantian ground in the duty to take others’ ends as our own. (shrink)

The aim of this study is to justify the belief that there are biological normative mechanisms that fulfill non-trivial causal roles in the explanations (as formulated by researchers) of actions and behaviors present in specific systems. One example of such mechanisms is the predictive mechanisms described and explained by predictive processing (hereinafter PP), which (1) guide actions and (2) shape causal transitions between states that have specific content and fulfillment conditions (e.g. mental states). Therefore, I am guided by a specific (...) theoretical goal associated with the need to indicate those conditions that should be met by the non-trivial theory of normative mechanisms and the specific models proposed by PP supporters. In this work, I use classical philosophical methods, such as conceptual analysis and critical reflection. I also analyze selected studies in the field of cognitive science, cognitive psychology, neurology, information theory and biology in terms of the methodology, argumentation and language used, in accordance with their theoretical importance for the issues discussed in this study. In this sense, the research presented here is interdisciplinary. My research framework is informed by the mechanistic model of explanation, which defines the necessary and sufficient conditions for explaining a given phenomenon. The research methods I chose are therefore related to the problems that I intend to solve. In the introductory chapter, “The concept of predictive processing”, I discuss the nature of PP as well as its main assumptions and theses. I also highlight the key concepts and distinctions for this research framework. Many authors argue that PP is a contemporary version of Kantianism and is exposed to objections similar to those made against the approach of Immanuel Kant. I discuss this thesis and show that it is only in a very general sense that the PP framework is neo-Kantian. Here we are not dealing with transcendental deduction nor with the application of transcendental arguments. I argue that PP is based on reverse engineering and abduction inferences. In the second part of this chapter, I respond to the objection formulated by Dan Zahavi, who directly accuses this research framework of anti-realistic consequences. I demonstrate that the position of internalism, present in the so-called conservative PP, does not imply anti-realism, and that, due to the explanatory role played in it by structural representations directed at real patterns, it is justified to claim that PP is realistic. In this way, I show that PP is a non-trivial research framework, having its subject, specific methods and its own epistemic status. Finally, I discuss positions classified as the socalled radical PP. In the chapter “Predictive processing as a Bayesian explanatory model” I justify the thesis according to which PP offers Bayesian modeling. Many researchers claim that the brain is an implemented statistical probabilistic network that is an approximation of the Bayesian 7 rule. In practice, this means that all cognitive processes are to apply Bayes' rule and can be described in terms of probability distributions. Such a solution arouses objections among many researchers and is the subject of wide criticism. The purpose of this chapter is to justify the thesis that Bayesian PP is a non-trivial research framework. For this purpose, I argue that it explains certain phenomena not only at the computational level described by David Marr, but also at the level of algorithms and implementation. Later in this chapter I demonstrate that PP is normative modeling. Proponents of the use of Bayesian models in psychology or decision theory argue that they are normative because they allow the formulation of formal rules of action that show what needs to be done to make a given action optimal. Critics of this approach emphasize that such thinking about the normativity of Bayesian modeling is unjustified and that science should shift from prescriptive to descriptive positions. In a polemic with Shira Elqayam and Jonathan Evans (2011), I show that the division they propose into prescriptivism and Bayesian descriptivism is apparent, because, as I argue, there are two forms of prescriptivism, i.e. the weak and the strong. I argue that the weak version is epistemic and can lead to anti-realism, while the strong version is ontic and allows one to justify realism in relation to Bayesian models. I argue that a weak version of prescriptivism is valid for PP. It allows us to adopt anti-realism in relation to PP. In practice, this means that you can explain phenomena using Bayes' rule. This does not, however, imply that they are Bayesian in nature. However, the full justification of realism in relation to the Bayesian PP presupposes the adoption of strong prescriptivism. This position assumes that phenomena are explained by Bayesian rule because they are Bayesian as such. If they are Bayesian in nature, then they should be explained using Bayesian modeling. This thesis will be substantiated in the chapters “Normative functions and mechanisms in the context of predictive processing” and “Normative mechanisms and actions in predictive processing”. In the chapter “The Free Energy Principle in predictive processing”, I discuss the Free Energy Principle (hereinafter FEP) formulated by Karl Friston and some of its implications. According to this principle, all biological systems (defined in terms of Markov blankets) minimize the free energy of their internal states in order to maintain homeostasis. Some researchers believe that PP is a special case of applying this principle to cognition, and that predictive mechanisms are homeostatic mechanisms that minimize free energy. The discussion of FEP is important due to the fact that some authors consider it to be important for explanatory purposes and normative. If this is the case, then FEP turns out to be crucial in explaining normative predictive mechanisms and, in general, any normative biological mechanisms. To define the explanatory possibilities of this principle, I refer to the discussion of its supporters on the issue they define as the problem of continuity and discontinuity between life and mind. A critical analysis of this discussion and the additional arguments I have formulated have allowed me to revise the explanatory ambitions of FEP. I also reject the belief that this principle is necessary to explain the nature of predictive mechanisms. I argue that the principle formulated and defended by Friston is an important research heuristic for PP analysis. 8 In the chapter “Normative functions and mechanisms in predictive processing”, I start my analyzes by formulating an answer to the question about the normative nature of homeostatic mechanisms. I demonstrate that predictive mechanisms are not homeostatic. I defend the view that a full explanation of normative mechanisms presupposes an explanation of normative functions. I discuss the most important proposals for understanding the normativity of a function, both from a systemic and teleosemantic perspective. I conclude that the non-trivial concept of a function must meet two requirements which I define as explanatory and normative. I show that none of the theories I have invoked satisfactorily meets both of these requirements. Instead, I propose a model of normativity based on Bickhard's account, but supplemented by a mechanistic perspective. I argue that a function is normative when: (1) it allows one to explain the dysfunction of a given mechanism; (2) it contributes to the maintenance of the organism's stability by shaping and limiting possible relations, processes and behaviors of a given system; and when (3) (according to the representational and predictive functions) it enables explaining the attribution of logical values of certain representations / predictions. In such an approach, a mechanism is normative when it performs certain normative functions and when it is constitutive for a specific action or behavior, despite the fact that for some reason it cannot realize it either currently or in the long-term. Such an understanding of the normativity of mechanisms presupposes the acceptance of the epistemic hypothesis. I argue that this hypothesis is not cognitively satisfactory, and therefore the ontic hypothesis should be justified, which is directly related to adopting the position of ontic prescriptivism. For this reason, referring to the mechanistic theory of scientific explanations, I formulate an ontical interpretation of the concept of a normative mechanism. According to this approach, a mechanism or a function is normative when they perform such and such causal roles in explaining certain actions and behaviors. With regard to the normative properties of predictive mechanisms and functions, this means that they are the causes of specific actions an organism carries out in the environment. In this way, I justify the necessity of accepting the ontic hypothesis and rejecting the epistemic hypothesis. The fifth chapter, “Normative mechanisms and actions in predictive processing”, is devoted to the dark room problem and the related exploration-exploitation trade-off. A dark room is the state that an agent could be in if it minimized the sum of all potential prediction errors. I demonstrate that, in accordance with the basic assumption of PP about the need for continuous and long-term minimization of prediction errors, such a state should be desirable for the agent. Is it really so? Many authors believe it is not. I argue that the test of the value of PP is the possibility of a non-trivial solution of this problem, which can be reduced to the choice between active and uncertainty-increasing exploration and safe and easily predictable exploitation. I show that the solution proposed by PP supporters present in the literature does not enable a fully satisfactory explanation of this dilemma. Then I defend the position according to which the full explanation of the normative mechanisms, and, subsequently, the solution to the dilemma of exploration and exploitation, involves reference to the existence of constraints present in the environment. The constraints 9 include elements of the environment that make a given mechanism not only causal but also normative. They are therefore key to explaining the predictive mechanisms. They do not only play the role of the context in which the mechanism is implemented, but, above all, are its constitutive component. I argue that the full explanation of the role of constraints in normative predictive mechanisms presupposes the integration of individual models of specific cognitive phenomena, because only the mechanistic integration of PP with other models allows for a non-trivial explanation of the nature of normative predictive mechanisms that would have a strong explanatory value. The explanatory monism present in many approaches to PP makes it impossible to solve the problem of the dark room. Later in this chapter, I argue that the Bayesian PP is normative not because it enables the formulation of such and such rules of action, but because the predictive mechanisms themselves are normative. They are normative because they condition the choice of such and such actions by agents. In this way, I justify the hypothesis that normative mechanisms make it possible to explain the phenomenon of agent motivation, which is crucial for solving the dark room problem. In the last part of the chapter, I formulate the hypothesis of distributed normativity, which assumes that the normative nature of certain mechanisms, functions or objects is determined by the relations into which these mechanisms, functions or objects enter. This means that what is normative (in the primary sense) is the relational structure that constitutes the normativity of specific items included in it. I suggest that this hypothesis opens up many areas of research and makes it possible to rethink many problems. In the “Conclusion”, I summarize the results of my research and indicate further research perspectives. (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)

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)

One of the most frequently voiced criticisms of free will skepticism is that it is unable to adequately deal with criminal behavior and that the responses it would permit as justified are insufficient for acceptable social policy. This concern is fueled by two factors. The first is that one of the most prominent justifications for punishing criminals, retributivism, is incompatible with free will skepticism. The second concern is that alternative justifications that are not ruled out by the skeptical (...) view per se face significant independent moral objections. Yet despite these concerns, I maintain that free will skepticism leaves intact other ways to respond to criminal behavior—in particular preventive detention, rehabilitation, and alteration of relevant social conditions—and that these methods are both morally justifiable and sufficient for good social policy. The position I defend is similar to Derk Pereboom’s, taking as its starting point his quarantine analogy, but it sets out to develop the quarantine model within a broader justificatory framework drawn from public health ethics. The resulting model—which I call the public health -quarantine model—provides a framework for justifying quarantine and criminal sanctions that is more humane than retributivism and preferable to other non-retributive alternatives. It also provides a broader approach to criminal behavior than Pereboom’s quarantine analogy does on its own. (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)

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)

Yablo suggests a ‘hostage crisis’ occurs when an unproblematic statement ϕ entails, and is therefore hostage to, a problematic statement ψ. Yablo proposes a technical solution to this kind of problem by diminishing ϕ to ϕ*, where ϕ* does not entail ψ and thus is not hostage to it. I argue that Yablo’s proposal is unnecessary because the original, undiminished ϕ does not in fact entail ψ. This is what Yablo calls a ‘defiant’ position. I defend defiance by arguing that (...) ϕ and ψ are of different metaphysical weights, which I show through an analysis of their use of quantification. (shrink)

There is a well-known moral quandary concerning how to account for the rightness or wrongness of acts that clearly contribute to some morally significant outcome – but which each seem too small, individually, to make any meaningful difference. One consequentialist-friendly response to this problem is to deny that there could ever be a case of this type. This paper pursues this general strategy, but in an unusual way. Existing arguments for the consequentialist-friendly position are sorites-style arguments. Such arguments imagine varying (...) a subject’s predicament bit by bit until it is clear that a relevant difference has been achieved. The arguments offered in this paper are structurally different, and do not rely on any sorites series. For this reason, they are not vulnerable to objections that have been leveled against the sorites-style arguments. (shrink)

In this paper, I argue that Conway and Kochen’s Free Will Theorem (1,2) to the conclusion that quantum mechanics and relativity entail freedom for the particles, does not change the situation in favor of a libertarian position as they would like. In fact, the theorem more or less implicitly assumes that people are free, and thus it begs the question. Moreover, it does not prove neither that if people are free, so are particles, nor that the property (...) people possess when they are said to be free is the same as the one particles possess when they are claimed to be free. I then analyze the Free State Theorem (2), which generalizes the Free Will Theorem without the assumption that people are free, and I show that it does not prove anything about free will, since the notion of freedom for particles is either inconsistent, or it does not concern our common understanding of freedom. In both cases, the Free Will Theorem and the Free State Theorem do not provide any enlightenment on the constraints physics can pose on free will. (shrink)

Martin Luther affirms his theological position by saying “Here I stand. I can do no other.” Supposing that Luther’s claim is true, he lacks alternative possibilities at the moment of choice. Even so, many libertarians have the intuition that he is morally responsible for his action. One way to make sense of this intuition is to assert that Luther’s action is indirectly free, because his action inherits its freedom and moral responsibility from earlier actions when he had alternative possibilities (...) and those earlier directly free actions formed him into the kind of person who must refrain from recanting. Surprisingly, libertarians have not developed a full account of indirectly free actions. I provide a more developed account. First, I explain the metaphysical nature of indirectly free actions such as Luther’s. Second, I examine the kind of metaphysical and epistemic connections that must occur between past directly free actions and the indirectly free action. Third, I argue that an attractive way to understand the kind of derivative moral responsibility at issue involves affirming the existence of resultant moral luck. (shrink)

The immediate aim of this paper is to articulate the essential features of an alternative compatibilist position, one that is responsive to sources of resistance to the compatibilist program based on considerations of fate and luck. The approach taken relies on distinguishing carefully between issues of skepticism and pessimism as they arise in this context. A compatibilism that is properly responsive to concerns about fate and luck is committed to what I describe as free will pessimism, which is to (...) be distinguished from free will skepticism. Free will skepticism is the view that our vulnerability to conditions of fate and luck serve to discredit our view of ourselves as free and responsible agents. Free will pessimism rejects free will scepticism, since the basis of its pessimism rests with the assumption that we are free and responsible agents who are, nevertheless, subject to fate and luck in this aspect of our lives. According to free will pessimism, all the major parties and positions in the free will debate, including that of skepticism, are modes of evasion and distortion regarding our human predicament in respect of agency and moral life. (shrink)

If dangerous climate change is to be avoided, it is vital that carbon sinks such as tropical rainforests are protected. But protecting them has costs. These include opportunity costs: the potential economic benefits which those who currently control rainforests have to give up when they are protected. But who should bear those costs? Should countries which happen to have rainforests within their territories sacrifice their own economic development, because of our broader global interests in protecting key carbon sinks? This essay (...) develops an argument from the “principle of fairness,” which seeks to establish that outsiders should pay states with rainforests so as to share the costs of protection. If they do not, they can be condemned for free-riding on forest states. The argument is, I suggest, compelling and also capable of enjoying support from adherents of a wide variety of positions on global justice. (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)

Many philosophers accept with certainty that we are morally responsible but take it to be an open question whether determinism holds. They treat determinism as epistemically compatible with responsibility. Should one who accepts this form of epistemic compatibilism also hold that determinism is metaphysically compatible with responsibility—that it is metaphysically possible for determinism and responsibility to coexist? John Martin Fischer gives two arguments that appear to favor an affirmative answer to this question. He argues that accounts of responsibility, such as (...) his, that are neutral with respect to whether responsible actions are determined have a "resiliency" that counts in their favor. Furthermore, he criticizes libertarians who argue on a priori grounds that determinism cannot coexist with responsibility and who admit that they would retract their argument if determinism were shown to hold; this "metaphysical flip-flopping" is said to render their positions implausible. I assess the merits of these arguments. (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)

Why Plantinga's updated (2009) version of the Free Will Defense does not work, and consequently the Logical Argument From Evil against the God of Theism is undefeated.

Our question is: can we embed minimal negation in implicative logics weaker than I→? Previous results show how to define minimal negation in the positive fragment of the logic of relevance R and in contractionless intuitionistic logic. Is it possible to endow weaker positive logics with minimal negation? This paper prooves that minimal negation can be embedded in even such a weak system as Anderson and Belnap’s minimal positive logic.

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)

When discussing Logical Pluralism several critics argue that such an open-minded position is untenable. The key to this conclusion is that, given a number of widely accepted assumptions, the pluralist view collapses into Logical Monism. In this paper we show that the arguments usually employed to arrive at this conclusion do not work. The main reason for this is the existence of certain substructural logics which have the same set of valid inferences as Classical Logic—although they are, in a (...) clear sense, non-identical to it. We argue that this phenomenon can be generalized, given the existence of logics which coincide with Classical Logic regarding a number of metainferential levels—although they are, again, clearly different systems. We claim this highlights the need to arrive at a more refined version of the Collapse Argument, which we discuss at the end of the paper. (shrink)

The free will problem is defined and three solutions are discussed: no-freedom theory, libertarianism, and compatibilism. Strict determinism is often assumed in arguing for libertarianism or no-freedom theory. It assumes that the history of the universe is fixed, but modern physics admits a certain degree of randomness in the determination of events. However, this is not enough for a compatibilist position—which is favored here—since freedom is not randomness. It is the I that chooses what to do. It is argued (...) that the core of the free will problem is what this I is. A materialist view is favored: The I is an activity of the brain. In addition to absence of external and internal compulsion, freedom involves absence of causal sufficiency of influences acting on the I. A more elaborate compatibilist view is proposed, according to which causal determination is complete when we add events occurring in the I (of which the subject is not conscious). Contrary to what several authors have argued, the onset of the readiness potential before the decision to act is no problem here. The experience of agency is incomplete and fallible, rather than illusory. Some consequences of different views about freedom for the ascription of responsibility are discussed. (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)