With catastrophic events of «nature» like global warming, arguments emerge that insinuate an equivalence of vulnerability, responsibility or being affected by these catastrophes. Such an alleged equivalence when facing climate catastrophe is already visible, for example, in the notion of the «Anthropocene» itself, which obscures both causes and various vulnerabilities in a homogenized as well as universalized concept of humanity (anthropos). Taking such narratives as a starting point, the paper explores questions about the connection between catastrophe, temporality, and (...) history, following mainly Walter Benjamin, Dipesh Chakrabarty and Jean-Luc Nancy with the goal to provide (1) a critique of the concept «Anthropocene» on the basis of nonequivalence while retaining its key features to still grasp the catastrophic present, (2) an analysis of anthropocenic time and the chronical structure of catastrophe, (3) philosophical considerations on the intersection of catastrophe and history. (shrink)

This paper is the first part of a three-part project ‘How the principle of energy conservation evolved between 1842 and 1870: the view of a participant’. This paper aims at showing how the new ideas of Mayer and Joule were received, what constituted the new theory in the period under study, and how it was supported experimentally. A connection was found between the new theory and thermodynamics which benefited both of them. Some considerations are offered about the desirability of taking (...) a historical approach to teaching energy and its conservation. (shrink)

Global law settings are characterized by a structural pre-eminence of connectivity norms, a type of norm which differs from coherency or possibility norms. The centrality of connectivity norms emerges from the function of global law, which is to increase the probability of transfers of condensed social components, such as economic capital and products, religious doctrines, and scientific knowledge, from one legally structured context to another within world society. This was the case from colonialism and colonial law to contemporary global supply (...) chains and human rights. Both colonial law and human rights can be understood as serving a constitutionalizing function aimed at stabiliz- ing and facilitating connectivity. This allows for an understanding of colonialism and contemporary global governance as functional, but not as normative, equivalents. (shrink)

This chapter explores the relationship between knowing-how and skill, as well other success-in-action notions like dispositions and abilities. I offer a new view of knowledge-how which combines elements of both intellectualism and Ryleanism. According to this view, knowing how to perform an action is both a kind of knowing-that (in accord with intellectualism) and a complex multi-track dispositional state (in accord with Ryle’s view of knowing-how). I argue that this new view—what I call practical attitude intellectualism—offers an attractive set of (...) solutions to various puzzles concerning the connections between knowing-how and abilities and skills to perform intentional actions. (shrink)

It is known, despite special theory of relativity has been widely accepted, in our recent draft submitted to this journal it is shown that some experiments have been carried out suggesting superluminal wave propagation, which make Minkowski lightcone not valid anymore. Therefore, it seems worth to reconsider the connection between elastic wave and electromagnetic wave equations, as in their early development. In this paper we will start with Maxwell-Dirac isomorphism, then we will find its connection with elastic wave equations.

The author has established a mathematical theory about the system of freedom in which components of freedom are ruled by the largest freedom principle, explaining how one invariant reality can be equated with the dynamical universe. Freedom as a whole is the reality, and components of freedom show variable phenomena and become a dynamic system. In freedom, component equality leads to sequence equality; therefore, various sequences coexist in the system. Because there are incompatible sequences for any sequence, the interior of (...) freedom cannot be a static sequence. In order for the system to be a whole, there must be some connecting sequences between any two sequences. Then, at every part of freedom, it is always possible to find a group of three independent sequences that, for most components, is located inside. For the sequence group, there is a sequence through which most components flow in and out. The most abundant three - sequence group and most abundant connecting sequence correspond to the space - time structure. Other incompatible sequences correspond to particles, and interactions between these sequences correspond to interactions between particles. The interactions have some symmetries similar to those in physics, such as SU (3) AND SU (2)×U (1), thus proving the feasibility of the hypothesis: the universe is equivalent with the system of freedom. (shrink)

The vacuum energy density of free scalar quantum field Φ in a Rindler distributional space-time with distributional Levi-Cività connection is considered. It has been widely believed that, except in very extreme situations, the influence of acceleration on quantum fields should amount to just small, sub-dominant contributions. Here we argue that this belief is wrong by showing that in a Rindler distributional background space-time with distributional Levi-Cività connection the vacuum energy of free quantum fields is forced, by the very same background (...) distributional space-time such a Rindler distributional background space-time, to become dominant over any classical energy density component. This semiclassical gravity effect finds its roots in the singular behavior of quantum fields on a Rindler distributional space-times with distributional Levi-Cività connection. In particular we obtain that the vacuum fluctuations Φ2 have a singular behavior at a Rindler horizon R 0 : 2 ( ) 4 , 2 , δ = Φ δ δ − δ  c a a→∞ . Therefore sufficiently strongly accelerated observer burns up near the Rindler horizon. Thus Polchinski’s account doesn’t violate the Einstein equivalence principle. (shrink)

We study a new formal logic LD introduced by Prof. Grzegorczyk. The logic is based on so-called descriptive equivalence, corresponding to the idea of shared meaning rather than shared truth value. We construct a semantics for LD based on a new type of algebras and prove its soundness and completeness. We further show several examples of classical laws that hold for LD as well as laws that fail. Finally, we list a number of open problems. -/- .

Notions of agency and of weakness of will clearly seem to be related to one another. This essay takes on a rather modest task in relation to current discussion of these topics; it seeks to establish the following claim: If A is a normal human agent, weakness of will is possible for A. The argument relies on demonstrating that certain necessary conditions for normal human agency are at least roughly equivalent to certain sufficient conditions for weakness of will. The connection (...) between agency and weakness of will is made through the use of an extended example that lays bare the links between the two. (shrink)

This paper connects recent findings from experimental epistemology to several major themes in classical Indian epistemology. First, current evidence supports a specific account of the ordinary knowledge concept in contemporary anglophone American culture. According to this account, known as abilism, knowledge is a true representation produced by cognitive ability. I present evidence that abilism closely approximates Nyāya epistemology’s theory of knowledge, especially that found in the Nyāya-sūtra. Second, Americans are more willing to attribute knowledge of positive facts than of negative (...) facts, especially when such facts are inferred and even when the positive and negative “facts” are logically equivalent. Similar suspicions about knowledge of negative facts seemingly occur in classical Indian epistemology, suggesting that the asymmetry might not be an American quirk but instead reflect a cross-culturally robust tendency in knowledge attributions. Each of these themes—abilism and the positive/negative asymmetry—presents an exciting opportunity for further research in experimental cross-cultural epistemology. (shrink)

In this essay I give a complete join semi-lattice of possible display-equivalence schemes for Display Logic, using the standard connectives, and leaving fixed only the schemes governing the star. In addition to proving the completeness of this list, I offer a discussion of the basic properties of these schemes.

After some generalities about connections between functions and relations in Sections 1 and 2 recalls the possibility of taking the semantic values of ‐ary Boolean connectives as ‐ary relations among truth‐values rather than as ‐ary truth functions. Section 3, the bulk of the paper, looks at correlates of these truth‐value relations as applied to formulas, and explores in a preliminary way how their properties are related to the properties of “logical relations” among formulas such as equivalence, implication (entailment) and (...) contrariety (logical incompatibility), concentrating for illustrative purposes on binary logical relations such as those just listed. To avoid an excess of footnotes, some points have been deferred to an Appendix as “Longer Notes”. (shrink)

Physical laws are strikingly simple, although there is no a priori reason they must be so. I propose that nomic realists of all types (Humeans and non-Humeans) should accept that simplicity is a fundamental epistemic guide for discovering and evaluating candidate physical laws. The proposal addresses several problems of nomic realism and simplicity. A consequence is that the oft-cited epistemic advantage of Humeanism over non-Humeanism disappears, undercutting an influential epistemological argument for Humeanism. Moreover, simplicity is shown to be more tightly (...) connected to lawhood than to mere truth. (shrink)

In this paper, we seek a reliabilist account of justified credence. Reliabilism about justified beliefs comes in two varieties: process reliabilism (Goldman, 1979, 2008) and indicator reliabilism (Alston, 1988, 2005). Existing accounts of reliabilism about justified credence comes in the same two varieties: Jeff Dunn (2015) proposes a version of process reliabilism, while Weng Hong Tang (2016) offers a version of indicator reliabilism. As we will see, both face the same objection. If they are right about what justification is, it (...) is mysterious why we care about justification, for neither of the accounts explains how justification is connected to anything of epistemic value. We will call this the Connection Problem. I begin by describing Dunn’s process reliabilism and Tang’s indicator reliabilism. I argue that, understood correctly, they are, in fact, extensionally equivalent. That is, Dunn and Tang reach the top of the same mountain, albeit by different routes. However, I argue that both face the Connection Problem. In response, I offer my own version of reliabilism, which is both process and indicator, and I argue that it solves that problem. Furthermore, I show that it is also extensionally equivalent to Dunn’s reliabilism and Tang’s. Thus, I reach the top of the same mountain as well. (shrink)

There is a well-known equivalence between avoiding accuracy dominance and having probabilistically coherent credences (see, e.g., de Finetti 1974, Joyce 2009, Predd et al. 2009, Pettigrew 2016). However, this equivalence has been established only when the set of propositions on which credence functions are defined is finite. In this paper, I establish connections between accuracy dominance and coherence when credence functions are defined on an infinite set of propositions. In particular, I establish the necessary results to extend the (...) classic accuracy argument for probabilism to certain classes of infinite sets of propositions including countably infinite partitions. (shrink)

This paper is about the principle that success entails ability, which I call Success. I argue the status of Success is highly puzzling: when we focus on past instances of actually successful action, Success is very compelling; but it is in tension with the idea that true ability claims require an action be in the agent's control. I make the above tension precise by considering the logic of ability. I argue Success is appealing because it is classically equivalent to two (...) genuinely valid inferences, which I call Past Success and Can't-Entails-Won't; but also that Success itself has counterexamples. I show how to invalidate Success while validating Past Success and Can't-Entails-Won't by connecting the meaning of ‘can’ to facts about what is settled or open. I define an operator W with features attributed to ‘will’ in the literature on future contingents. I then give a conditional analysis of ability ascriptions stated with W-conditionals, where "S can A" says, roughly, there’s some action available to S such that if S does it, then W(S A). I show this semantics invalidates Success while still explaining its appeal. (shrink)

We present a new frame semantics for positive relevant and substructural propositional logics. This frame semantics is both a generalisation of Routley–Meyer ternary frames and a simplification of them. The key innovation of this semantics is the use of a single accessibility relation to relate collections of points to points. Different logics are modeled by varying the kinds of collections used: they can be sets, multisets, lists or trees. We show that collection frames on trees are sound and complete for (...) the basic positive distributive substructural logic $\mathsf {B}^+$, that collection frames on multisets are sound and complete for $\mathsf {RW}^+$ (the relevant logic $\mathsf {R}^+$, without contraction, or equivalently, positive multiplicative and additive linear logic with distribution for the additive connectives), and that collection frames on sets are sound for the positive relevant logic $\mathsf {R}^+$. The completeness of set frames for $\mathsf {R}^+$ is, currently, an open question. (shrink)

Which rules for aggregating judgments on logically connected propositions are manipulable and which not? In this paper, we introduce a preference-free concept of non-manipulability and contrast it with a preference-theoretic concept of strategy-proofness. We characterize all non-manipulable and all strategy-proof judgment aggregation rules and prove an impossibility theorem similar to the Gibbard--Satterthwaite theorem. We also discuss weaker forms of non-manipulability and strategy-proofness. Comparing two frequently discussed aggregation rules, we show that “conclusion-based voting” is less vulnerable to manipulation than “premise-based voting”, (...) which is strategy-proof only for “reason-oriented” individuals. Surprisingly, for “outcome-oriented” individuals, the two rules are strategically equivalent, generating identical judgments in equilibrium. Our results introduce game-theoretic considerations into judgment aggregation and have implications for debates on deliberative democracy. (shrink)

Import-Export says that a conditional 'If p, if q, r' is always equivalent to the conditional 'If p and q, r'. I argue that Import-Export does not sit well with a classical approach to conjunction: given some plausible and widely accepted principles about conditionals, Import-Export together with classical conjunction leads to absurd consequences. My main goal is to draw out these surprising connections. In concluding I argue that the right response is to reject Import-Export and adopt instead a limited version (...) which better fits natural language data; accounts for all the intuitions that motivate Import-Export in the first place; and fits better with a classical conjunction. (shrink)

In his influential article ‘Essence and Modality’, Fine proposes a definition of necessity in terms of the primitive essentialist notion ‘true in virtue of the nature of’. Fine’s proposal is suggestive, but it admits of different interpretations, leaving it unsettled what the precise formulation of an Essentialist definition of necessity should be. In this paper, four different versions of the definition are discussed: a singular, a plural reading, and an existential variant of Fine’s original suggestion and an alternative version proposed (...) by Correia which is not based on Fine’s primitive essentialist notion. The first main point of the paper is that the singular reading is untenable. The second that given plausible background assumptions, the remaining three definitions are extensionally equivalent. The third is that, this equivalence notwithstanding, Essentialists should adopt Correia’s version of the definition, since both the existential variant, which has de facto been adopted as the standard version of the definition in the literature, and the plural reading suffer from problems connected to Fine’s primitive essentialist notion. (shrink)

A thesis (“weak BCP”) nearly universally held among philosophers of probability connects the concepts of objective chance and metaphysical modality: Any prospect (outcome) that has a positive chance of obtaining is metaphysically possible—(nearly) equivalently, any metaphysically impossible prospect has zero chance. Particular counterexamples are provided utilizing the monotonicity of chance, one of them related to the four world paradox. Explanations are offered for the persistent feeling that there cannot be chancy metaphysical necessities or chancy metaphysical impossibilities. Chance is objective but (...) contrary to popular opinion it is also largely epistemic. Chancy necessities are analogous to necessary a posteriori truths. Philosophy and Phenomenological Research, Volume 99, Issue 3, Page 644-662, November 2019. (shrink)

Evaluative concepts and emotions appear closely connected. According to a prominent account, this relation can be expressed by propositions of the form ‘something is admirable if and only if feeling admiration is appropriate in response to it’. The first section discusses various interpretations of such ‘Value-Emotion Equivalences’, for example the Fitting Attitude Analysis, and it offers a plausible way to read them. The main virtue of the proposed way to read them is that it is well-supported by a promising account (...) of emotions, namely the Perceptual Theory of Emotions, which emphasises the analogies between emotions and sensory perceptual experiences. The second section considers a worry about whether concepts such as admirable are really evaluative. It is maintained that even though the arguments used to show that thick terms and concepts are not inherently evaluative can be transposed to affective concepts, these arguments can be resisted. So there is no need to abandon the intuitive claim that affective concepts are inherently evaluative. (shrink)

Abstract. The aim of this paper is to present a topological method for constructing discretizations (tessellations) of conceptual spaces. The method works for a class of topological spaces that the Russian mathematician Pavel Alexandroff defined more than 80 years ago. Alexandroff spaces, as they are called today, have many interesting properties that distinguish them from other topological spaces. In particular, they exhibit a 1-1 correspondence between their specialization orders and their topological structures. Recently, a special type of Alexandroff spaces was (...) used by Ian Rumfitt to elucidate the logic of vague concepts in a new way. According to his approach, conceptual spaces such as the color spectrum give rise to classical systems of concepts that have the structure of atomic Boolean algebras. More precisely, concepts are represented as regular open regions of an underlying conceptual space endowed with a topological structure. Something is subsumed under a concept iff it is represented by an element of the conceptual space that is maximally close to the prototypical element p that defines that concept. This topological representation of concepts comes along with a representation of the familiar logical connectives of Aristotelian syllogistics in terms of natural settheoretical operations that characterize regular open interpretations of classical Boolean propositional logic. In the last 20 years, conceptual spaces have become a popular tool of dealing with a variety of problems in the fields of cognitive psychology, artificial intelligence, linguistics and philosophy, mainly due to the work of Peter Gärdenfors and his collaborators. By using prototypes and metrics of similarity spaces, one obtains geometrical discretizations of conceptual spaces by so-called Voronoi tessellations. These tessellations are extensionally equivalent to topological tessellations that can be constructed for Alexandroff spaces. Thereby, Rumfitt’s and Gärdenfors’s constructions turn out to be special cases of an approach that works for a more general class of spaces, namely, for weakly scattered Alexandroff spaces. This class of spaces provides a convenient framework for conceptual spaces as used in epistemology and related disciplines in general. Alexandroff spaces are useful for elucidating problems related to the logic of vague concepts, in particular they offer a solution of the Sorites paradox (Rumfitt). Further, they provide a semantics for the logic of clearness (Bobzien) that overcomes certain problems of the concept of higher2 order vagueness. Moreover, these spaces help find a natural place for classical syllogistics in the framework of conceptual spaces. The crucial role of order theory for Alexandroff spaces can be used to refine the all-or-nothing distinction between prototypical and nonprototypical stimuli in favor of a more fine-grained gradual distinction between more-orless prototypical elements of conceptual spaces. The greater conceptual flexibility of the topological approach helps avoid some inherent inadequacies of the geometrical approach, for instance, the so-called “thickness problem” (Douven et al.) and problems of selecting a unique metric for similarity spaces. Finally, it is shown that only the Alexandroff account can deal with an issue that is gaining more and more importance for the theory of conceptual spaces, namely, the role that digital conceptual spaces play in the area of artificial intelligence, computer science and related disciplines. Keywords: Conceptual Spaces, Polar Spaces, Alexandroff Spaces, Prototypes, Topological Tessellations, Voronoi Tessellations, Digital Topology. (shrink)

I explore the logic of ground. I first develop a logic of weak ground. This logic strengthens the logic of weak ground presented by Fine in his ‘Guide to Ground.’ This logic, I argue, generates many plausible principles which Fine’s system leaves out. I then derive from this a logic of strict ground. I argue that there is a strong abductive case for adopting this logic. It’s elegant, parsimonious and explanatorily powerful. Yet, so I suggest, adopting it has important consequences. (...) First, it means we should think of ground as a type of identity. Second, it means we should reject much of Fine’s logic of strict ground. I also show how the logic I develop connects to other systems in the literature. It is definitionally equivalent both to Angell’s logic of analytic containment and to Correia’s system G. (shrink)

Genes are often described by biologists using metaphors derived from computa- tional science: they are thought of as carriers of information, as being the equivalent of ‘‘blueprints’’ for the construction of organisms. Likewise, cells are often characterized as ‘‘factories’’ and organisms themselves become analogous to machines. Accordingly, when the human genome project was initially announced, the promise was that we would soon know how a human being is made, just as we know how to make airplanes and buildings. Impor- tantly, (...) modern proponents of Intelligent Design, the latest version of creationism, have exploited biologists’ use of the language of information and blueprints to make their spurious case, based on pseudoscientific concepts such as ‘‘irreducible complexity’’ and on flawed analogies between living cells and mechanical factories. However, the living organ- ism = machine analogy was criticized already by David Hume in his Dialogues Concerning Natural Religion. In line with Hume’s criticism, over the past several years a more nuanced and accurate understanding of what genes are and how they operate has emerged, ironically in part from the work of computational scientists who take biology, and in particular developmental biology, more seriously than some biologists seem to do. In this article we connect Hume’s original criticism of the living organism = machine analogy with the modern ID movement, and illustrate how the use of misleading and outdated metaphors in science can play into the hands of pseudoscientists. Thus, we argue that dropping the blueprint and similar metaphors will improve both the science of biology and its understanding by the general public. (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)

The widely discussed "discursive dilemma" shows that majority voting in a group of individuals on logically connected propositions may produce irrational collective judgments. We generalize majority voting by considering quota rules, which accept each proposition if and only if the number of individuals accepting it exceeds a given threshold, where different thresholds may be used for different propositions. After characterizing quota rules, we prove necessary and sufficient conditions on the required thresholds for various collective rationality requirements. We also consider sequential (...) quota rules, which ensure collective rationality by adjudicating propositions sequentially and letting earlier judgments constrain later ones. Sequential rules may be path-dependent and strategically manipulable. We characterize path-independence and prove its essential equivalence to strategy-proofness. Our results shed light on the rationality of simple-, super-, and sub-majoritarian decision-making. (shrink)

The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproaches to quantified LFIs presented in the literature. The case of (...) QmbC, the simpler quantified LFI expanding classical logic, will be analyzed in detail. An axiomatic extension of QmbC called QLFI1o is also studied, which is equivalent to the quantified version of da Costa and D'Ottaviano 3-valued logic J3. The semantical structures for this logic turn out to be Tarkian structures based on twist structures. The expansion of QmbC and QLFI1o with a standard equality predicate is also considered. (shrink)

The starting point of this paper concerns the apparent difference between what we might call absolute truth and truth in a model, following Donald Davidson. The notion of absolute truth is the one familiar from Tarski’s T-schema: ‘Snow is white’ is true if and only if snow is white. Instead of being a property of sentences as absolute truth appears to be, truth in a model, that is relative truth, is evaluated in terms of the relation between sentences and models. (...) I wish to examine the apparent dual nature of logical truth (without dwelling on Davidson), and suggest that we are dealing with a distinction between a metaphysical and a linguistic interpretation of truth. I take my cue from John Etchemendy, who suggests that absolute truth could be considered as being equivalent to truth in the ‘right model’, i.e., the model that corresponds with the world. However, the notion of ‘model’ is not entirely appropriate here as it is closely associated with relative truth. Instead, I propose that the metaphysical interpretation of truth may be illustrated in modal terms, by metaphysical modality in particular. One of the tasks that I will undertake in this paper is to develop this modal interpretation, partly building on my previous work on the metaphysical interpretation of the law of non-contradiction (Tahko 2009). After an explication of the metaphysical interpretation of logical truth, a brief study of how this interpretation connects with some recent important themes in philosophical logic follows. In particular, I discuss logical pluralism and propose an understanding of pluralism from the point of view of the metaphysical interpretation. (shrink)

The currently standard philosophical conception of existence makes a connection between three things: certain ways of talking about existence and being in natural language; certain natural language idioms of quantification; and the formal representation of these in logical languages. Thus a claim like ‘Prime numbers exist’ is treated as equivalent to ‘There is at least one prime number’ and this is in turn equivalent to ‘Some thing is a prime number’. The verb ‘exist’, the verb phrase ‘there is’ and the (...) quantifier ‘some’ are treated as all playing similar roles, and these roles are made explicit in the standard common formalization of all three sentences by a single formula of first-order logic: ‘(∃ x )[P( x ) & N( x )]’, where ‘P( x )’ abbreviates ‘ x is prime’ and ‘N( x )’ abbreviates ‘ x is a number’. The logical quantifier ‘∃’ accordingly symbolizes in context the role played by the English words ‘exists’, ‘some’ and ‘there is’. (shrink)

I discuss the respective roles of traits and reasons in the explanation of action. I begin by noting that traits and reasons explanations are systematically connected: traits explanations require motivation by reasons. Actions due to psychiatric conditions such as mental disorders cannot be explained by an appeal to traits. Because traits require motivation by reasons, it is often possible to explain one and the same action by an appeal to either the agent's traits or to her reasons. I then ask (...) whether it follows from here that traits and reasons explanations of action are equivalent – though perhaps offered from different points of view – or whether they differ in interesting ways. I argue that the differences are interesting and important – traits and reasons explanations answer different “why” questions regarding action: a reasons explanation tells us what reasons motivated the agent acting; a traits explanation, by contrast, indicates something about an agent’s reasons but tells us something else in addition: it tells us why the agent acted on those as opposed to other available reasons. (shrink)

The logico-algebraic study of Lewis's hierarchy of variably strict conditional logics has been essentially unexplored, hindering our understanding of their mathematical foundations, and the connections with other logical systems. This work aims to fill this gap by providing a comprehensive logico-algebraic analysis of Lewis's logics. We begin by introducing novel finite axiomatizations for varying strengths of Lewis's logics, distinguishing between global and local consequence relations on Lewisian sphere models. We then demonstrate that the global consequence relation is strongly algebraizable in (...) terms of a specific class of Boolean algebras with a binary operator representing the counterfactual implication; in contrast, we show that the local consequence relation is generally not algebraizable, although it can be characterized as the degree-preserving logic over the same algebraic models. Further, we delve into the algebraic semantics of Lewis's logics, developing two dual equivalences with respect to particular topological spaces. In more details, we show a duality with respect to the topological version of Lewis's sphere models, and also with respect to Stone spaces with a selection function; using the latter, we demonstrate the strong completeness of Lewis's logics with respect to sphere models. Finally, we draw some considerations concerning the limit assumption over sphere models. (shrink)

This paper reviews the central points and presents some recent developments of the epistemic approach to paraconsistency in terms of the preservation of evidence. Two formal systems are surveyed, the basic logic of evidence (BLE) and the logic of evidence and truth (LET J ), designed to deal, respectively, with evidence and with evidence and truth. While BLE is equivalent to Nelson’s logic N4, it has been conceived for a different purpose. Adequate valuation semantics that provide decidability are given for (...) both BLE and LET J . The meanings of the connectives of BLE and LET J , from the point of view of preservation of evidence, is explained with the aid of an inferential semantics. A formalization of the notion of evidence for BLE as proposed by M. Fitting is also reviewed here. As a novel result, the paper shows that LET J is semantically characterized through the so-called Fidel structures. Some opportunities for further research are also discussed. (shrink)

The Riemann zeta function ζ(s) is a central object in number theory and complex analysis, defined for complex variables and intimately connected to the distribution of prime numbers through its zeros. The famous Riemann Hypothesis conjectures that all non-trivial zeros of the zeta function lie on the critical line Re(s) = 1 2 . In this paper, we explore the Riemann zeta function through the lens of set-theoretic and sweeping net methods, leveraging creative comparisons of specific sets to gain deeper (...) insight into the distribution of its zeros. By rewording and analyzing the Riemann Hypothesis using set-theoretic arguments, applying sweeping net techniques, and integrating modal logic interpretations, we aim to provide new perspectives and support for this profound conjecture. Our objectives are: • Define the zeta function and its properties relevant to the zeros. • Reword the Riemann Hypothesis using set-theoretic language and establish logical equivalence. • Introduce and compare specific sets related to the zeros of ζ(s). • Apply set-theoretic and sweeping net methods to analyze the distribution of zeros. • Provide rigorous proofs about the absence of zeros in certain regions, including mechanical justifi- cations with all steps. • Incorporate modal logic interpretations into the proof. • Discuss implications for the Riemann Hypothesis. (shrink)

In this paper I examine the relation between modern transhumanism and Nietzsche’s philosophy of the superhuman. Following Loeb, I argue that transhumanists cannot claim affinity to Nietzsche’s philosophy until they incorporate the doctrine of eternal recurrence to their project of technological enhancement. This doctrine liberates us from resentment against time by teaching us reconciliation with time and something higher than all reconciliation. Unlike Loeb, however, I claim that this “something higher” is not a new skill (prospective memory), but rather a (...) love for the past in the form of loving that aspect of it that is still with us, namely, the will to power itself, which is the engine of all life. Love of the past is thus equivalent to love of life. Since human beings are conscious incarnations of the will to power, in our case, love of life manifests itself as love of our humanity or love for that aspect of ourselves that connects us to each other, for we recognize it to be the same in all of us. Thus, learning this kind of love enables us to joyfully coordinate our wills in the pursuit of Zarathustra’s superhuman ideal without turning it into a destructive mockery of itself. While learning this kind of love would facilitate a joyful version of transhumanism, I conclude by suggesting that it is unlikely to be achieved through technological interventions of the sort envisioned by transhumanists. Instead, it requires the kind of participatory pedagogical program that Nietzsche thought his Zarathustra would fulfill. (shrink)

Hume's two definitions of causation have caused an extraordinary amount of controversy. The starting point for the controversy is the fact, well known to most philosophy undergraduates, that the two definitions aren't even extensionally equivalent, let alone semantically equivalent. So how can they both be definitions? One response to this problem has been to argue that Hume intends only the first as a genuine definition—an interpretation that delivers a straightforward regularity interpretation of Hume on causation. By many commentators' lights, however, (...) this is a bug rather than a feature: such an account of the two definitions leaves necessary connection out of Hume's story about the meaning of "cause" .. (shrink)

The notion of logical construction was used by Bertrand Russell in the early 20th century, which originally comes from A. N. Whitehead. Russell said that matter as a mind-independent thing can only be known by description. He also argued that matter is a logical construction of sense-data. However, this leads to an incoherent view of the direct or indirect connection between a mind and the external world. The problem examining is whether a collapsing house is a logical construction of the (...) sense-data of rumbling sounds and collapsing shapes. Using Russell's writings between 1911 and 1918, I will analyze how Russell characterized logical constructions. Finally, I will show Russell’s view about the relation of logical constructions to matter and sense-data. A careful interpretation of Russell's thoughts shows that the contents of the statements of the physical world are not constructions being equivalent to the contents of the sense-datum statements. (shrink)

This response focuses on Balibar’s method of thinking transindividuality through multiple figures, in their similarities as well as their productive differences. His essay ‘Philosophies of the Transindividual: Spinoza, Marx, Freud’ combines the three titular figures in order to better think the multifaceted idea of ‘classical’ transindividuality. Balibar’s method combines the three but nonetheless maintains their dissimilarities as real differences. This response attempts to test or apply that method in two ways. The first application links Balibar’s analysis of Freud’s hypnotic leader (...) with a theme Balibar does not here discuss: wonder’s connection to superstition in Spinoza. At the level of their effects, superstitious wonder and hypnosis are nearly identical transindividual processes which lead to affective mass formation. However, their causes are quite distinct. This response details the similar effects and different causes, then asks the question: does their difference render them irreconcilable or complementary? Given the prominent role Spinoza plays in Balibar’s work, and the strong overall equivalence of wonder and hypnosis, this first application of Balibar’s method of multiple combination likely presents a complementarity rather than a conflict. This response’s second application, attempting to integrate another figure into the transindividual multiple, presents greater difficulties: what role, if any, could Foucault play in Balibar’s transindividuality? With Foucault, the tensions or differences perhaps amount to fundamental and thoroughgoing incompatibilities. However, combining Foucault with ‘classical’ transindividuality potentially extends and deepens each. This response concludes with examples of these problematic tensions as well as possibly fruitful combinations. (shrink)

In this paper I investigate affinities between Nietzsche’s early philosophy and some aspects of Kant’s moral theory. In so doing, I develop further my reading of Nietzschean wholeness as an ideal that consists in the achievement of cultural—not psychic—integration by pursuing the ennoblement of humanity in oneself and in all. This cultural achievement is equivalent to the procreation of the genius or the perfection of nature. For Nietzsche, the process by means of which we come to realize the genius in (...) ourselves is one in which our true content comes to necessarily govern or guide the shaping of our outer form (or our outward activities). Since this true content turns out to be our autonomy or free agency, I argue that this Nietzschean idea of necessitation parallels in important ways Kant’s notion of normative necessity. In particular, I claim that for Nietzsche the agent’s form becomes necessitated by his content as a result of the agent’s recognition of the duties that befall those who aspire to belong to a genuine culture and his resolve to guide his actions in accordance to them. These duties spring from the idea of humanity, from the image we have of ourselves as endowed with the capacity to be the helmsmen of our lives or to be more than mere animals or automata. The person who takes up this ideal of humanity turns his life into a living unity of content and form by organizing it around an aspect of his being that belongs necessarily, hence more truthfully, to him. He also participates in a collective project (that of the ennoblement of the human being) that can lend a certain coherence and imperishability to his individual life and through which he becomes necessarily connected to everyone else for all eternity. (shrink)

It is argued that the distinction between the mental and the nonmental is at bottom logical. The paper begins by sketching and defending a theory of intensional logic in which the notion of logically and metaphysically basic relations (called connections) can be defined. This notion is then employed in an analysis of intentionality: a connection is intentional iff it can contingently connect some individual to some proposition or concept independently of whether it connects the individual to some necessarily equivalent proposition (...) or concept. After potential counterexamples have been explained away, the paper then extends the analysis to a general analysis of mentality. Finally, a "transcendental" argument is given for the thesis that at least some mental relations must be logically and metaphysically basic. (shrink)

In nature validation for physiological and emotional bonding becomes a mode for supporting social connectivity. Similarly, in the blockchain ecosystem, cryptographic validation becomes the substrate for all interactions. In the dialogue between human and artificial intelligence (AI) agents, between the real and the virtual, one can distinguish threads of physical or mental entanglements allowing different modes of participation. One could even suggest that in all types of realities there exist frameworks that are to some extent equivalent and act as validation (...) mechanisms for behavioural interweaving. Relevant to our own experience as an Editorial Organism, in this issue of Technoetic Arts we explore modes of participation and collaboration through different lenses by including guest-edited sections and stand-alone articles. (shrink)

[Does the gymnosophist’s reply to Alexander’s question on the origin of time indeed reflect an Indian doctrine?] The episode of Alexander’s interview with the gymnosophists has come down to us in several versions, among which the one in Plutarch’s Vita Alexandri is the most renowned. In this connection, the question arises whether the solutions given by the naked philosophers to the puzzles propounded by Alexander can be shown to reflect genuine Indian doctrines. Challenging Dumézil’s reply in the affirmative, the author (...) contends that they cannot. While most questions and answers are scarcely relevant to the investigation, as being of little (if any) philosophical import, the analysis concentrates on the more significant ones, and especially on the solution offered to the question as to which of the two — day or night — came first. According to Dumézil, the gymnosophist’s answer reported by Plutarch, i. e. that the day came first, by one day, reflects the vedic doctrine of the primeval cosmogonic role of Dawn and Light. Against this may be argued in the first place that such doctrine does not enjoy any prominent status in the Vedas themselves — quite to the contrary, it stands up disadvantegeously to many all-important texts, such as the Nāsadīyasūkta, which assign the primeval status to Darkness — and cannot therefore be regarded as being specifically Indian any more than its opposite. Secondly, it is shown that the Greek tradition is at great variance on this very point, to the extent that all logically conceivable solutions (i. e., precedence of day by one day / day by one night / night by one day / night by one night) are represented in some version or other. This inconsistency appears to stem from the fact that no particular doctrine (Indian or whatever) was envisaged; according to the present author, we have reason to believe that the gymnosophist’s reply was rather meant to set off by means of a paradox the sheer impossibility of a solution (all four alternatives being equivalent to that effect). This interpretation is reinforced by the gymnosophist’s own remark confessing the aporetical nature of his reply, and finally by a further recourse to paradox — this time a variant of the well-known “paradox of the liar” — which the author lays bare in the otherwise inexplicable dénouement of the anecdote. (shrink)

In this paper, I will defend an alternative account of disposition ascriptions influenced by considerations from possible worlds semantics for modals according to which disposition ascriptions express modals relations characterized by a particular restriction on accessible worlds. My focus will be on the "modal problem" for disposition ascriptions (precisely what kind of modality do these claims express?), and the approach I adopt reflects this starting point. Most analyses – like the Simple Conditional Analysis – have explained disposition ascriptions by suggesting (...) schematic truth-conditional equivalences with other modal claims in English. This only indirectly addresses the modal problem – for instance by first drawing a truth conditional equivalence between disposition ascriptions and counterfactuals and then explaining the modal relation expressed by counterfactuals. I will try to give a ‘direct’ answer to the modal question -- that is, to analyse disposition ascriptions in a general possible worlds framework in which we can compare the analysis to actual and possible analyses for other modals – in particular, counterfactuals. The framework I’ll use is a simple version of Angelika Kratzer’s relational analysis of modals. I'll focus on two problems that nicely connect the dispositional and the modal – (a) the challenge of purportedly ‘extrinsic dispositions,’ and (b) the problem of the "granularity" of possibilities we’re quantifying over (are they situation- or world-sized?). (shrink)

*This work is no longer under development* Two major themes in the literature on indicative conditionals are that the content of indicative conditionals typically depends on what is known;1 that conditionals are intimately related to conditional probabilities.2 In possible world semantics for counterfactual conditionals, a standard assumption is that conditionals whose antecedents are metaphysically impossible are vacuously true.3 This aspect has recently been brought to the fore, and defended by Tim Williamson, who uses it in to characterize alethic necessity by (...) exploiting such equivalences as: A⇔¬A A. One might wish to postulate an analogous connection for indicative conditionals, with indicatives whose antecedents are epistemically impossible being vacuously true: and indeed, the modal account of indicative conditionals of Brian Weatherson has exactly this feature.4 This allows one to characterize an epistemic modal by the equivalence A⇔¬A→A. For simplicity, in what follows we write A as KA and think of it as expressing that subject S knows that A.5 The connection to probability has received much attention. Stalnaker suggested, as a way of articulating the ‘Ramsey Test’, the following very general schema for indicative conditionals relative to some probability function P: P = P 1For example, Nolan ; Weatherson ; Gillies. 2For example Stalnaker ; McGee ; Adams. 3Lewis. See Nolan for criticism. 4‘epistemically possible’ here means incompatible with what is known. 5This idea was suggested to me in conversation by John Hawthorne. I do not know of it being explored in print. The plausibility of this characterization will depend on the exact sense of ‘epistemically possible’ in play—if it is compatibility with what a single subject knows, then can be read ‘the relevant subject knows that p’. If it is more delicately formulated, we might be able to read as the epistemic modal ‘must’. (shrink)

Backtracking influence is influence that zigzags in time. For example, backtracking influence exists when an event E_1 makes an event E_2 more likely by way of a nomic connection that goes from E_1 back in time to an event C and then forward in time to E_2. I contend that in our local region of spacetime, at least, backtracking influence is redundant in the sense that any existing backtracking influence exerted by E_1 on E_2 is equivalent to E_1's temporally direct (...) influence on E_2. I prove the redundancy of backtracking influence using several plausible physical principles without assuming any fundamental temporal or causal asymmetry. This explanation can play a prominent role in an account of why causation appears to be objectively asymmetric regardless of whether the fundamental laws are symmetric. (shrink)

The cognition of quantum processes raises a series of questions about ordering and information connecting the states of one and the same system before and after measurement: Quantum measurement, quantum in-variance and the non-locality of quantum information are considered in the paper from an epistemological viewpoint. The adequate generalization of ‘measurement’ is discussed to involve the discrepancy, due to the fundamental Planck constant, between any quantum coherent state and its statistical representation as a statistical ensemble after measurement. Quantum in-variance designates (...) the relation of any quantum coherent state to the corresponding statistical ensemble of measured results. A set-theory corollary is the curious in-variance to the axiom of choice: Any coherent state excludes any well-ordering and thus excludes also the axiom of choice. However the above equivalence requires it to be equated to a well-ordered set after measurement and thus requires the axiom of choice for it to be able to be obtained. Quantum in-variance underlies quantum information and reveals it as the relation of an unordered quantum “much” (i.e. a coherent state) and a well-ordered “many” of the measured results (i.e. a statistical ensemble). It opens up to a new horizon, in which all physical processes and phenomena can be interpreted as quantum computations realizing relevant operations and algorithms on quantum information. All phenomena of entanglement can be described in terms of the so defined quantum information. Quantum in-variance elucidates the link between general relativity and quantum mechanics and thus, the problem of quantum gravity. The non-locality of quantum information unifies the exact position of any space-time point of a smooth trajectory and the common possibility of all space-time points due to a quantum leap. This is deduced from quantum in-variance. Epistemology involves the relation of ordering and thus a generalized kind of information, quantum one, to explain the special features of the cognition in quantum mechanics. (shrink)

For a while, life and environment have been regarded as two separate subjects, but recently life and environment are to be seen as different aspects of one single theme. There are able philosophers who maintain the connection of the two but Seokheon Ham is believed to present a more coherent case. To him, integration is not merely a property which is unifying various elements, but it has a deep ontological structure seen in his utterance “there is not a thing in (...) the world which does not have a reason to exist”. He is providing a model of deep integration by equivalently linking life and sense. And he offers apparent arguments of oneness as integration of animates and inanimates, seeds as an example of integration of sense and life, and suffering as a historical integration. But Ham’s arguments will be strengthened by philosophizing the notion of integration. Fortunately, I would suggest that the clue is found in the conception of integration of Zhungyong. I will take the major thrust of the book to be five theses: (1) integration of a thing is the capacity to realize its embedded objective in its interactions with all other things; (2) ‘mind’ denotes the capacity of humans as well as the capacity of all other entities: (3) integration is a capacity not only of humans but also of all other entities; (4) if the evolution demonstrates the history of species as the fittest, then the history expresses the evolution of life forms of intelligence and justice; (5) integration of an entity is a disposition to realize its embedded objective in the context of its interconnections with all others at a particular time and place. The ontology of integration I am submitting may be shown to be an alternative to traditional physicalism. The integrational ontology may be seen as virtuous in that it is coherent with the informational view of the contemporary culture and with the caring need for those who suffer. (shrink)

Grice argues that indicative conditionals ‘if p then q’ have conventional, truth conditional meaning according to the material conditional ‘p  q’. In order to explain away the known paradoxes with this interpretation, he distinguishes between truth conditions and assertion conditions, attempting to demonstrate that the assumed connection between ‘p’ and ‘q’ (the Indirectness Condition) is a conversational implicature; hence a matter only relevant for the assertion conditions of a conditional. This paper argues that Grice fails to demonstrate i) that (...) the Indirectness Condition is cancellable, hence a conversational implicature, ii) that the Indirectness Condition is not part of the conventional, truth-relevant meaning of ‘if’, and accordingly, iii) semantic or logical equivalence between indicative and material conditionals. (shrink)

The present thesis focuses on counterfactuals. Specifically, we will address new questions and open problems that arise for the standard semantic accounts of counterfactual conditionals. The first four chapters deal with the Lewisian semantic account of counterfactuals. On a technical level, we contribute by providing an equivalent algebraic semantics for Lewis' variably strict conditional logics, which is notably absent in the literature. We introduce a new kind of algebra and differentiate between local and global versions of each of Lewis' variably (...) strict conditional logics. We study the algebraic properties of Lewis' logics and the structure theory of our newly introduced algebras. Additionally, we employ a new algebraic construction, based on the framework of Boolean algebras of conditionals, to provide an alternative semantics for Lewisian counterfactual conditionals. This semantic account allows us to establish new truth conditions for Lewisian counterfactuals, implying that Lewisian counterfactuals are definable conditionals, and each counterfactual can be characterized as a modality of a corresponding probabilistic conditional. We further extend these results by demonstrating that each Lewisian counterfactual can also be characterized as a modality of the corresponding Stalnaker conditional. The resulting formal semantic framework is much more expressive than the standard one and, in addition to providing new truth conditions for counterfactuals, it also allows us to define a new class of conditional logics falling into the broader framework of weak logics. On the philosophical side, we argue that our results shed new light on the understanding of Lewisian counterfactuals and prompt a conceptual shift in this field: Lewisian counterfactual dependence can be understood as a modality of probabilistic conditional dependence or Stalnakerian conditional dependence. In other words, whether a counterfactual connection occurs between A and B depends on whether it is "necessary" for a Stalnakerian/probabilistic dependence to occur between A and B. We also propose some ways to interpret the kind of necessity involved in this interpretation. The remaining two chapters deal with the probability of counterfactuals. We provide an answer to the question of how we can characterize the probability that a Lewisian counterfactual is true, which is an open problem in the literature. We show that the probability of a Lewisian counterfactual can be characterized in terms of belief functions from Dempster-Shafer theory of evidence, which are a super-additive generalization of standard probability. We define an updating procedure for belief functions based on the imaging procedure and show that the probability of a counterfactual A > B amounts to the belief function of B imaged on A. This characterization strongly relies on the logical results we proved in the previous chapters. Moreover, we also solve an open problem concerning the procedure to assign a probability to complex counterfactuals in the framework of causal modelling semantics. A limitation of causal modelling semantics is that it cannot account for the probability of counterfactuals with disjunctive antecedents. Drawing on the same previous works, we define a new procedure to assign a probability to counterfactuals with disjunctive antecedents in the framework of causal modelling semantics. We also argue that our procedure is satisfactory in that it yields meaningful results and adheres to some conceptually intuitive constraints one may want to impose when computing the probability of counterfactuals. (shrink)

The article presents an analysis centered on the emotional lapses of artificial intelligence (AI) and the influence of these lapses on two critical aspects. Firstly, the article explores the ontological impact of emotional lapses, elucidating how they hinder AI’s capacity to develop a moral sense. The absence of a moral emotion, such as sympathy, creates a barrier for machines to grasp and ethically respond to specific situations. This raises fundamental questions about machines’ ability to act as moral agents in the (...) same manner as human beings. Additionally, the article sheds light on the practical implications within human-machine relations and their effect on human friendships. The lack of friendliness or its equivalent in interactions with machines directly impacts the quality and depth of human relations. This concerningly suggests the potential replacement or compromise of genuine interpersonal connections due to limitations in human-machine interactions. (shrink)