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. -/- .

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. This principle of simplicity clarifies and 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)

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)

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.

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

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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

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)

Transformations are not only conditioned by facts encompassing narrower or wider panoramas: from concentrating on death and one (political) role (the ode of Horace), through recalling Cleopatra’s mature life and love (the drama of Shakespeare), to creating an image embracing the heroine’s whole life with its numerous roles, but as a mother and a daughter in the first place, because even her lovers resemble a father and a child (the fictional biography of Karen Essex). Above all, they appear to be (...) more connected with different attitudes towards universal references lying within human cognitive abilities. Horace’s didactic opposition of contradictory patterns leads to the victory of one of them — and it is a linear pattern, as an equivalent of modern myth, which is accepted by the author himself. In Shakespeare, it takes a form of tragedy resulting from the fragmentary character of each pattern, one of which introduces change (archaic myth) and the other constancy (modern myth), and from a painful attempt to combine them. In Essex, the vision of the world in which archaic myth, strongly represented by a child, triumphs is utopian. Irrespective of the differences, all the works realize the essential role played by images developed by heroes, and especially by authors, in human cognition. (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)

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)

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)

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)

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)

An analysis of the classical-quantum correspondence shows that it needs to identify a preferred class of coordinate systems, which defines a torsionless connection. One such class is that of the locally-geodesic systems, corresponding to the Levi-Civita connection. Another class, thus another connection, emerges if a preferred reference frame is available. From the classical Hamiltonian that rules geodesic motion, the correspondence yields two distinct Klein-Gordon equations and two distinct Dirac-type equations in a general metric, depending on the connection used. Each of (...) these two equations is generally-covariant, transforms the wave function as a four-vector, and differs from the Fock-Weyl gravitational Dirac equation (DFW equation). One obeys the equivalence principle in an often-accepted sense, whereas the DFW equation obeys that principle only in an extended sense. (shrink)

Logic is useful as a neutral formalism for expressing the contents of mental representations. It can be used to extract crisp conclusions regarding the higher-order theory of phenomenal consciousness developed in (McDermott 2001, 20007). A key aspect of conscious perceptions is their connection to the distinction between appearance and reality. Perceptions must often be corrected. To do so requires that the logic of perception be able to represent the logical structure of judgment events, that is, to include the formulas of (...) the logic as objects to be reasoned about. However, there is a limit to how finely humans can examine their own representations. Terms representing primary and secondary qualities seemed to be _locked,_ so that the numbers (or levels of neural activation) that are their essence are not directly accessible. Humans feel a need to invoke ``intrinsic,'' ``nonrelational'' properties of many secondary qualities --- their _qualia_ --- to ``explicate'' how we compare and discriminate among them, although this is not actually how the comparisons are accomplished. This model of qualia explains several things: It accounts for the difference between ``normal'' and ``introspective'' access to a perceptual module in terms of quotation. It dissolves Jackson's knowledge argument by explaining what Mary learns as a fictional but undoubtable belief structure. It makes spectrum inversion logically impossible by providing a degree of freedom between the physical structure of the brain and the representations it contains that redescribes putative cases of spectrum inversion as alternative but equivalent ways of mapping physical states to representational states. (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)

Entanglement is one of the most striking features of quantum mechanics, and yet it is not specifically quantum. More specific to quantum mechanics is the connection between entanglement and thermodynamics, which leads to an identification between entropies and measures of pure state entanglement. Here we search for the roots of this connection, investigating the relation between entanglement and thermodynamics in the framework of general probabilistic theories. We first address the question whether an entangled state can be transformed into another by (...) means of local operations and classical communication. Under two operational requirements, we prove a general version of the Lo-Popescu theorem, which lies at the foundations of the theory of pure-state entanglement. We then consider a resource theory of purity where free operations are random reversible transformations, modelling the scenario where an agent has limited control over the dynamics of a closed system. Our key result is a duality between the resource theory of entanglement and the resource theory of purity, valid for every physical theory where all processes arise from pure states and reversible interactions at the fundamental level. As an application of the main result, we establish a one-to-one correspondence between entropies and measures of pure bipartite entanglement and exploit it to define entanglement measures in the general probabilistic framework. In addition, we show a duality between the task of information erasure and the task of entanglement generation, whereby the existence of entropy sinks (systems that can absorb arbitrary amounts of information) becomes equivalent to the existence of entanglement sources (correlated systems from which arbitrary amounts of entanglement can be extracted). (shrink)

The meta problem can be seen in two different ways: a problem considering the existence of the hard problem, and a problem considering the behaviors related to expressing reports about the hard problem. The existential way of seeing is equivalent to the first approximation of the meta problem while Chalmers introduces it, and the behavioral way of seeing is equivalent to the second approximation. We are going to argue that these are two different problems and there are different solutions to (...) each of them. In the existential sense, one remains silent on the nature of the meta problem processes, while in the behavioral sense, one restricts their nature of those processes to behavior. This difference is deep enough that we can replace the meta problem with two distinct problems: the existential meta problem, and the behavioral meta problem. The subject of the existential problem is purely the existence of the hard problem of consciousness regardless of any premise on how such a problem comes into existence. While with behavioral problem, we presuppose that the hard problem comes into existence only by the means of behavior, and its subjects would be certain cognitive functions. The behavioral problem has strong connections to materialism, and its solution seems completely achievable through fulfillment of the meta problem programme. A solution only requires explaining how neural mechanisms regulate the formation of problem reports. On the other hand, the existential problem would be in favor of one without materialist commitments. The neutrality of the existential problem allows one to apply her metaphysical premises about the nature of processes responsible for bringing the hard problem into existence. It results in shaping other versions of the meta problem considering one’s metaphysical position –e.g. idealist meta problem, and interactionist meta problem. Subsequent solutions to each of those problems might have quite different appearance than what the meta problem programme follows. Once the behavioral problem is solved, the existential problem remains intact for non-materialist metaphysical positions. (shrink)