In this paper, we approach the problem of classical recapture for LP and K3 by using normality operators. These generalize the consistency and determinedness operators from Logics of Formal Inconsistency and Underterminedness, by expressing, in any many-valued logic, that a given formula has a classical truth value (0 or 1). In particular, in the rst part of the paper we introduce the logics LPe and Ke3 , which extends LP and K3 with normality operators, and we establish (...) a classical recapture result based on the two logics. In the second part of the paper, we compare the approach in terms of normality operators with an established approach to classical recapture, namely minimal inconsistency. Finally, we discuss technical issues connecting LPe and Ke3 to the tradition of Logics of Formal Inconsistency and Underterminedness. (shrink)

An old and well-known objection to non-classical logics is that they are too weak; in particular, they cannot prove a number of important mathematical results. A promising strategy to deal with this objection consists in proving so-called recapture results. Roughly, these results show that classical logic can be used in mathematics and other unproblematic contexts. However, the strategy faces some potential problems. First, typical recapture results are formulated in a purely logical language, and do not generalize (...) nicely to languages containing the kind of vocabulary that usually motivates non-classical theories—for example, a language containing a naïve truth predicate. Second, proofs of recapture results typically employ classical principles that are not valid in the targeted non-classical system; hence, non-classical theorists do not seem entitled to those results. In this paper, we analyze these problems and provide solutions on behalf of non-classical theorists. To address the first problem, we provide a novel kind of recapture result, which generalizes nicely to a truth-theoretic language. As for the second problem, we argue that it relies on an ambiguity and that, once the ambiguity is removed, there are no reasons to think that non-classical logicians are not entitled to their recapture results. (shrink)

The recent literature on Nāgārjuna’s catuṣkoṭi centres around Jay Garfield’s (2009) and Graham Priest’s (2010) interpretation. It is an open discussion to what extent their interpretation is an adequate model of the logic for the catuskoti, and the Mūla-madhyamaka-kārikā. Priest and Garfield try to make sense of the contradictions within the catuskoti by appeal to a series of lattices – orderings of truth-values, supposed to model the path to enlightenment. They use Anderson & Belnaps's (1975) framework of First Degree Entailment. (...) Cotnoir (2015) has argued that the lattices of Priest and Garfield cannot ground the logic of the catuskoti. The concern is simple: on the one hand, FDE brings with it the failure of classical principles such as modus ponens. On the other hand, we frequently encounter Nāgārjuna using classical principles in other arguments in the MMK. There is a problem of validity. If FDE is Nāgārjuna’s logic of choice, he is facing what is commonly called the classical recapture problem: how to make sense of cases where classical principles like modus pones are valid? One cannot just add principles like modus ponens as assumptions, because in the background paraconsistent logic this does not rule out their negations. In this essay, I shall explore and critically evaluate Cotnoir’s proposal. In detail, I shall reveal that his framework suffers collapse of the kotis. Furthermore, I shall argue that the Collapse Argument has been misguided from the outset. The last chapter suggests a formulation of the catuskoti in classical Boolean Algebra, extended by the notion of an external negation as an illocutionary act. I will focus on purely formal considerations, leaving doctrinal matters to the scholarly discourse – as far as this is possible. (shrink)

As a response to the semantic and logical paradoxes, theorists often reject some principles of classical logic. However, classical logic is entangled with mathematics, and giving up mathematics is too high a price to pay, even for nonclassical theorists. The so-called recapture theorems come to the rescue. When reasoning with concepts such as truth/class membership/property instantiation, if ones is interested in consequences of the theory that only contain mathematical vocabulary, nothing is lost by reasoning in the nonclassical (...) framework. It is shown that this claim is highly misleading, if not simply false. Under natural assumptions, recapture claims are incorrect. (shrink)

It is commonly held that the ascription of truth to a sentence is intersubstitutable with that very sentence. However, the simplest subclassical logics available to proponents of this view, namely K3 and LP, are hopelessly weak for many purposes. In this article, I argue that this is much more of a problem for proponents of LP than for proponents of K3. The strategies for recapturing classicality offered by proponents of LP are far less promising than those available to proponents of (...) K3. This undermines the ability of proponents LP to engage in public reasoning in classical domains. (shrink)

In this paper, we extend the expressive power of the logics K3, LP and FDE with anormality operator, which is able to express whether a for-mula is assigned a classical truth value or not. We then establish classical recapture theorems for the resulting logics. Finally, we compare the approach via normality operator with the classical collapse approach devisedby Jc Beall.

We reflect on the nature of corporate codes of conduct is this article. Based on John Austin’s speech act theory, four characteristics of a performative concept of corporate codes will be introduced: 1) the existential self-performative of the firm identity, 2) which is demanded by and responsive to their stakeholders; 3) Because corporate codes are structurally threatened by the possibility of failure, 4) embracing the code not only consists in actual corporate responsible behaviour in light of the code, but in (...) the incessant recapturing of the code in the struggle of firms against the possible incongruence between their ethical principles and their actual responsible behaviour. A performative concept of corporate codes helps to bridge classical dichotomies like individualist versus collectivist approaches of moral agency and restrictive versus empowering ethics, and opens a new perspective on the interaction between individual ethical behaviour and the corporate institutionalisation of codes. (shrink)

According to the interpretational theory of logical validity (IR), logical validity is preservation of truth in all interpretations compatible with the intended meaning of logical expressions. IR suffers from a seemingly defeating objection, the so-called cardinality problem: any instance of the statement ‘There are n things’ is true under all interpretations, since it can be written down using only logical expressions that are not to be reinterpreted; yet ‘There are n things’ is not logically true. I argue that the cardinality (...) problem is indeed a serious problem for IR, when understood in terms of ‘asymmetry of information’. I then argue that IR can be rehabilitated by making quantifiers context-sensitive: what we do not reinterpret is the Kaplanian character of a quantifier, rather than its content. ‘There are n things’ is false in a context where fewer than n things are relevant, so it is not logically true in IR. I finally discuss some objections and ramifications of my account: I discuss how to make space for the possibility of an explicitly absolutely general quantifier in my framework, how terms can be logical even though context-sensitive, and how to recapture classical logic within my framework. (shrink)

In the last decade alone, a growing body of preliminary evidence suggests that classic psychedelics (CPs) can rapidly and durably ameliorate symptoms and cognitive deficits associated with depression. However, the mechanisms by which CPs work in the brain are not well understood. Rodent translational research, in which experimental findings from rodents are translated to humans, is fundamental in achieving this goal. This chapter focuses on a representative subset of human and rodent studies investigating CPs for depression, including the various lines (...) of research that have been initiated to understand how they work. Our aim is to show that in addition to epistemic challenges that scientists face in translating findings from rodents to humans, there is also mismatch between experimental approaches used to investigate CPs in humans and rodents. We thus show current experimental practices are not conducive to mechanistic discovery. We end with a set of positive proposals to expedite the drive to translate CPs into effective treatments for depression. -/- Keywords: classic psychedelics, psychiatry, clinical trials, collaboration, extrapolation, major depressive disorder, open science, philosophy of science, rodent models, scientific practice, translation, validity . (shrink)

This volume brings together diverse sets of standpoints on liberalism in an era of growing skepticism and distrust regarding liberal institutions. The essays in the volume: - Relate concerns for liberal institutions with classical themes in perfectionist politics, such as the priority of the common good in decision-making or the role of comprehensive doctrines. - Analyse how perfectionist intuitions about the political life affect our concepts of public reason or public justification. - Outline various moral duties we have toward (...) other persons that underlie the liberal institutions or notions of rights functioning across the contemporary political landscape. - Explore various aspects of pluralism from within influential religious or philosophical traditions, applying insights from those traditions to issues in contemporary politics. The comprehensive volume will be of great interest to scholars, students, and researchers of politics, especially those in political philosophy and political theory. (shrink)

This chapter examines the views of Socrates, Plato, and Aristotle on lying. It it outlines the differences between different kinds of falsehoods in Plato (real falsehoods and falsehoods in words), the difference between myths and lies, the 'noble' (i.e., pedigree) lie in The Republic, and how Plato defended rulers lying to non-rulers about, for example, eugenics. It considers whether Socrates's opposition to lying is consistent with Socratic irony, and especially with his praise of his interlocutors as wise. Finally, it looks (...) at Aristotle's condemnation of lies, and asks whether lies to enemies, and self-deprecating lies by the magnanimous person, are not base. (shrink)

This paper is concerned with the claim that supervaluationist consequence is not classical for a language including an operator for definiteness. Although there is some sense in which this claim is uncontroversial, there is a sense in which the claim must be qualified. In particular I defend Keefe's position according to which supervaluationism is classical except when the inference from phi to Dphi is involved. The paper provides a precise content to this claim showing that we might provide (...) complete (and sound) systems of deduction for supervaluationist consequence in which proofs are completely classical with the exception of a single last step (involving the above mentioned inference). (shrink)

The impact of Persian literature on world culture and literature is undeniable. Persian poets such as Firdowsi, Sa’di, Hafiz, Rumi and Khayyam who deal with universal themes beyond a particular place and time are among the most widely-known literary figures of the world; their works are translated into different languages. Despite the fact that there are different translations of Persian literature in English, it is still not clear whether Persian literature has gained its appropriate place in the world. We study (...) the reception of Persian literature in general and classical Persian poetry in particular in Britain and The United States to see whether it is rightly introduced to these countries or not. A close study of the reception of Persian poetry in Anglophone world in general and in Britain and The United States in particular reveals that while Persian literature is introduced and taught in these countries, it is still far from being truly known there. Those who have been familiar with Persian literature have mainly known it through translations by western scholars, and this has led to problems and misconceptions. As Edward Said argues in Orientalism, the orient is never truly depicted by the west. The best way would be to have Persian scholars of English literature translate Persian works into English. (shrink)

A number of authors have objected to the application of non-classical logic to problems in philosophy on the basis that these non-classical logics are usually characterised by a classical metatheory. In many cases the problem amounts to more than just a discrepancy; the very phenomena responsible for non-classicality occur in the field of semantics as much as they do elsewhere. The phenomena of higher order vagueness and the revenge liar are just two such examples. The aim of (...) this paper is to show that a large class of non-classical logics are strong enough to formulate their own model theory in a corresponding non-classical set theory. Specifically I show that adequate definitions of validity can be given for the propositional calculus in such a way that the metatheory proves, in the specified logic, that every theorem of the propositional fragment of that logic is validated. It is shown that in some cases it may fail to be a classical matter whether a given sentence is valid or not. One surprising conclusion for non-classical accounts of vagueness is drawn: there can be no axiomatic, and therefore precise, system which is determinately sound and complete. (shrink)

A consequence relation is strongly classical if it has all the theorems and entailments of classical logic as well as the usual meta-rules (such as Conditional Proof). A consequence relation is weakly classical if it has all the theorems and entailments of classical logic but lacks the usual meta-rules. The most familiar example of a weakly classical consequence relation comes from a simple supervaluational approach to modelling vague language. This approach is formally equivalent to an (...) account of logical consequence according to which α1, ..., αn entails β just in case □α1, ..., □αn entails □β in the modal logic S5. This raises a natural question: If we start with a different underlying modal logic, can we generate a strongly classical logic? This paper explores this question. In particular, it discusses four related technical issues: (1) Which base modal logics generate strongly classical logics and which generate weakly classical logics? (2) Which base logics generate themselves? (3) How can we directly characterize the logic generated from a given base logic? (4) Given a logic that can be generated, which base logics generate it? The answers to these questions have philosophical interest. They can help us to determine whether there is a plausible supervaluational approach to modelling vague language that yields the usual meta-rules. They can also help us to determine the feasibility of other philosophical projects that rely on an analogous formalism, such as the project of defining logical consequence in terms of the preservation of an epistemic status. (shrink)

There was a time when 'logic' just meant classical logic. The climate is slowly changing and non-classical logic cannot be dismissed off-hand. However, a metatheory used to study the properties of non-classical logic is often classical. In this paper, we will argue that this practice of relying on classical metatheories is problematic. In particular, we will show that it is a bad practice because the metatheory that is used to study a non-classical logic often (...) rules out the very logic it is designed to study. (shrink)

Enric F. Gel has recently argued that classical theism enjoys a significant advantage over Graham Oppy's naturalism. According to Gel, classical theism – unlike Oppy's naturalism – satisfactorily answers two questions: first, how many first causes are there, and second, why is it that number rather than another? In this article, I reply to Gel's argument for classical theism's advantage over Oppy's naturalism. I also draw out wider implications of my investigation for the gap problem and Christian (...) doctrine along the way. (shrink)

Connexive logics are based on two ideas: that no statement entails or is entailed by its own negation (this is Aristotle’s thesis) and that no statement entails both something and the negation of this very thing (this is Boethius' thesis). Usually, connexive logics are contra-classical. In this note, I introduce a reading of the connexive theses that makes them compatible with classical logic. According to this reading, the theses in question do not talk about validity alone; rather, they (...) talk in part about (a property related to) the soundness of arguments. (shrink)

The impetus theory of motion states that to be in motion is to have a non-zero velocity. The at-at theory of motion states that to be in motion is to be at different places at different times, which in classical physics is naturally understood as the reduction of velocities to position developments. I first defend the at-at theory against the criticism raised by Arntzenius that it renders determinism impossible. I then develop a novel impetus theory of motion that reduces (...) positions to velocity developments. As this impetus theory of motion is by construction a mirror image of the at-at theory of motion, I claim that the two theories of motion are in fact epistemically on par—despite the unfamiliar metaphysical picture of the world furnished by the impetus version. (shrink)

The focus in this essay will be upon the paradoxes, and foremostly in set theory. A central result is that the librationist set theory £ extension \Pfund $\mathscr{HR}(\mathbf{D})$ of \pounds \ accounts for \textbf{Neumann-Bernays-Gödel} set theory with the \textbf{Axiom of Choice} and \textbf{Tarski's Axiom}. Moreover, \Pfund \ succeeds with defining an impredicative manifestation set $\mathbf{W}$, \emph{die Welt}, so that \Pfund$\mathscr{H}(\mathbf{W})$ %is a model accounts for Quine's \textbf{New Foundations}. Nevertheless, the points of view developed support the view that the truth-paradoxes and (...) the set-paradoxes have common origins, so that the librationist resolutions of the set theoretic paradoxes are at the same time resolutions of the truth theoretic paradoxes. Both the librationist resolutions of the set theoretic paradoxes and the truth theoretic paradoxes have non-trivial philosophical implications: librationist set theories have the consequence that there are no absolutely uncountable sets, and librationist truth theories allow the use of syntactical modalities in ways which circumvent limitations as those of \parencite{Montague1963}, and a truth predicate which is useful for more precise philosophical discourse. (shrink)

There is a fault line running through classical liberalism as to whether or not democratic self-governance is a necessary part of a liberal social order. The democratic and non-democratic strains of classical liberalism are both present today—particularly in America. Many contemporary libertarians and neo-Austrian economists represent the non-democratic strain in their promotion of non-democratic sovereign city-states (startup cities or charter cities). We will take the late James M. Buchanan as a representative of the democratic strain of classical (...) liberalism. Since the fundamental norm of classical liberalism is consent, we must start with the intellectual history of the voluntary slavery contract, the coverture marriage contract, and the voluntary non-democratic constitution (or pactum subjectionis). Next we recover the theory of inalienable rights that descends from the Reformation doctrine of the inalienability of conscience through the Enlightenment (e.g., Spinoza and Hutcheson) in the abolitionist and democratic movements. Consent-based governments divide into those based on the subjects' alienation of power to a sovereign and those based on the citizens' delegation of power to representatives. Inalienable rights theory rules out that alienation in favor of delegation, so the citizens remain the ultimate principals and the form of government is democratic. Thus the argument concludes in agreement with Buchanan that the classical liberal endorsement of sovereign individuals acting in the marketplace generalizes to the joint action of individuals as the principals in their own organizations. (shrink)

A distinction attributed to Gregory Palamas involves claiming that God’s essence and energies/activities are distinct, yet equally ‘uncreated.’ Traditionally, this Palamite distinction was attacked by some Latin theologians as compromising divine simplicity. A classical view holds that no properties really inhere in God, because God enters into no composition of any kind, including composition of substance and accident. God’s energies/activities seem like properties inhering in God or otherwise composing some kind of part of God. I will argue that, contrary (...) to appearances, the Palamite distinction is a consequence of commitment to a classical view of divine simplicity. (shrink)

In Justification without Awareness (2006), Michael Bergmann presents a dilemma for internalism from which he claims there is “no escape”: The awareness allegedly required for justification is either strong awareness, which involves conceiving of some justification-contributor as relevant to the truth of a belief, or weak awareness, which does not. Bergmann argues that the former leads to an infinite regress of justifiers, while the latter conflicts with the “clearest and most compelling” motivation for endorsing internalism, namely, that for a belief (...) to be justified its truth must not be an accident from the subject’s perspective. Bergmann’s dilemma might initially seem to have the force of a knock-down argument against the classical foundationalist accounts he considers, if not against all forms of internalism. I argue, however, that the weak-awareness horn of Bergmann’s dilemma is unsuccessful. Classical foundationalists can hold on to the main motivation for internalism and avoid a vicious regress of justifiers. (shrink)

Philosophy and Phenomenological Research, EarlyView.

The Knower paradox purports to place surprising a priori limitations on what we can know. According to orthodoxy, it shows that we need to abandon one of three plausible and widely-held ideas: that knowledge is factive, that we can know that knowledge is factive, and that we can use logical/mathematical reasoning to extend our knowledge via very weak single-premise closure principles. I argue that classical logic, not any of these epistemic principles, is the culprit. I develop a consistent theory (...) validating all these principles by combining Hartry Field's theory of truth with a modal enrichment developed for a different purpose by Michael Caie. The only casualty is classical logic: the theory avoids paradox by using a weaker-than-classical K3 logic. I then assess the philosophical merits of this approach. I argue that, unlike the traditional semantic paradoxes involving extensional notions like truth, its plausibility depends on the way in which sentences are referred to--whether in natural languages via direct sentential reference, or in mathematical theories via indirect sentential reference by Gödel coding. In particular, I argue that from the perspective of natural language, my non-classical treatment of knowledge as a predicate is plausible, while from the perspective of mathematical theories, its plausibility depends on unresolved questions about the limits of our idealized deductive capacities. (shrink)

Surely God, as a perfectly rational being, created the universe for some _reason_. But is God’s creating the universe for a reason compatible with divine impassibility? That is the question I investigate in this article. The _prima facie_ tension between impassibility and God’s creating for a reason arises from impassibility’s commitment to God being uninfluenced by anything _ad extra_. If God is uninfluenced in this way, asks the detractor, how could he be moved to create anything at all? This _prima (...) facie_ tension has recently been formalized and dubbed the ‘Problem of Arbitrary Creation’. In this article, I defend a new extension of this problem. I begin by characterizing classical theism, divine simplicity, and divine impassibility. I then spell out the Problem of Arbitrary Creation as developed by R. T. Mullins. I next raise a worry for Mullins’ version of the argument. Finally, I extend the argument and show how my extension avoids the aforementioned worry. (shrink)

Nietzsche sometimes praises the drive to order—to simplify, organize, and draw clear boundaries—as expressive of a vital "classical" style, or an Apollonian artistic drive to calmly contemplate forms displaying "epic definiteness and clarity." But he also sometimes harshly criticizes order, as in the pathological dialectics or "logical schematism" that he associates paradigmatically with Socrates. I challenge a tradition that interprets Socratism as an especially one-sided expression of, or restricted form of attention to, the Apollonian: they are more radically disparate. (...) Beyond strengthening the case for this basic point, I develop a distinctive account of what, exactly, distinguishes the Apollonian-classical and Socratic forms of order. To this end, I advance interrelated interpretations of Apollonian-classical simplicity and the "cold" calm that it elicits, by contrast to superficially similar Socratic phenomena. This illuminates Nietzsche's broader ambivalence toward science, in part by clarifying the nature and value of an idealized Apollonian science. (shrink)

In one of their papers, Michael De and Hitoshi Omori observed that the notion of classical negation is not uniquely determined in the context of so-called Belnap-Dunn logic, and in fact there are 16 unary operations that qualify to be called classical negation. These varieties are due to different falsity conditions one may assume for classical negation. The aim of this paper is to observe that there is an interesting way to make sense of classical negation (...) independent of falsity conditions. We discuss two equivalent semantics, and offer a Hilbert-style system that is sound and complete with respect to the semantics. (shrink)

Information can be considered as the most fundamental, philosophical, physical and mathematical concept originating from the totality by means of physical and mathematical transcendentalism (the counterpart of philosophical transcendentalism). Classical and quantum information, particularly by their units, bit and qubit, correspond and unify the finite and infinite. As classical information is relevant to finite series and sets, as quantum information, to infinite ones. A fundamental joint relativity of the finite and infinite, of the external and internal is to (...) be investigated. The corresponding invariance is able to define physical action and its quantity only on the basis of information and especially: on the relativity of classical and quantum information. The concept of transcendental time, an epoché in relation to the direction of time arrow can be defined. Its correlate is that information invariant to the finite and infinite, therefore unifying both classical and quantum information. (shrink)

The purpose of this paper is to provide a new system of logic for existence and essence, in which the traditional distinctions between essential and accidental properties, abstract and concrete objects, and actually existent and possibly existent objects are described and related in a suitable way. In order to accomplish this task, a primitive relation of essential identity between different objects is introduced and connected to a first order existence property and a first order abstractness property. The basic idea is (...) that possibly existent objects are completely determinate and that essentially identical objects are just different individuations of the same individual essence. Accordingly, essential properties are defined as properties that are invariant with respect to this kind of identity, while abstract objects are determined by being characterized by essential properties only. Once such ideas are implemented, a number of classical intuitions about objects, their essence, and their way of existence can be consistently interpreted. (shrink)

This is a republication of 'Hegeby Zanin' in a second country for the use on international philosophy students and researchers in non English language, combines two epistemology books ; classic epistemology and social epistemology.

We generalize the Kolmogorov axioms for probability calculus to obtain conditions defining, for any given logic, a class of probability functions relative to that logic, coinciding with the standard probability functions in the special case of classical logic but allowing consideration of other classes of "essentially Kolmogorovian" probability functions relative to other logics. We take a broad view of the Bayesian approach as dictating inter alia that from the perspective of a given logic, rational degrees of belief are those (...) representable by probability functions from the class appropriate to that logic. Classical Bayesianism, which fixes the logic as classical logic, is only one version of this general approach. Another, which we call Intuitionistic Bayesianism, selects intuitionistic logic as the preferred logic and the associated class of probability functions as the right class of candidate representions of epistemic states (rational allocations of degrees of belief). Various objections to classical Bayesianism are, we argue, best met by passing to intuitionistic Bayesianism—in which the probability functions are taken relative to intuitionistic logic—rather than by adopting a radically non-Kolmogorovian, for example, nonadditive, conception of (or substitute for) probability functions, in spite of the popularity of the latter response among those who have raised these objections. The interest of intuitionistic Bayesianism is further enhanced by the availability of a Dutch Book argument justifying the selection of intuitionistic probability functions as guides to rational betting behavior when due consideration is paid to the fact that bets are settled only when/if the outcome bet on becomes known. (shrink)

3rd ed, 2021. A circumscription of the classical theory of computation building up from the Chomsky hierarchy. With the usual topics in formal language and automata theory.

There are well-known quasi-formal arguments that identity is a "strict" relation in at least the following three senses: (1) There is a single identity relation and a single distinctness relation; (2) There are no contingent cases of identity or distinctness; and (3) There are no vague or indeterminate cases of identity or distinctness. However, the situation is less clear cut than it at first may appear. There is a natural formal theory of identity that is very close to the standard (...) classical theory but which does not validate the formal analogues of (1)-(3). The core idea is simple: We weaken the Principle of the Indiscernibility of Identicals from a conditional to an entailment and we adopt a weakly classical logic. This paper investigates this weakly classical theory of identity (and related theories) and discusses its philosophical ramifications. It argues that we can accept a reasonable theory of identity without committing ourselves to the uniqueness, necessity, or determinacy of identity. (shrink)

Throughout this paper, we are trying to show how and why our Mathematical frame-work seems inappropriate to solve problems in Theory of Computation. More exactly, the concept of turning back in time in paradoxes causes inconsistency in modeling of the concept of Time in some semantic situations. As we see in the first chapter, by introducing a version of “Unexpected Hanging Paradox”,first we attempt to open a new explanation for some paradoxes. In the second step, by applying this paradox, it (...) is demonstrated that any formalized system for the Theory of Computation based on Classical Logic and Turing Model of Computation leads us to a contradiction. We conclude that our mathematical frame work is inappropriate for Theory of Computation. Furthermore, the result provides us a reason that many problems in Complexity Theory resist to be solved.(This work is completed in 2017 -5- 2, it is in vixra in 2017-5-14, presented in Unilog 2018, Vichy). (shrink)

In this paper I present the common structure of quantum theories with a primitive ontology, and discuss in what sense the classical world emerges from quantum theories as understood in this framework. In addition, I argue that the primitive ontology approach is better at answering this question than the rival wave function ontology approach or any other approach in which the classical world is nonreductively ‘emergent:’ even if the classical limit within this framework needs to be fully (...) developed, the difficulties are technical rather than conceptual, while this is not true for the alternatives. (shrink)

One of the defining features of the classical gene was its position. In molecular genetics, positions are defined instead as nucleotide numbers and there is no clear correspondence with its classical counterpart. However, the classical gene position did not simply disappear with the development of the molecular approach, but survived in the lab associated to different genetic practices. The survival of classical gene position would illustrate Waters’ view about the practical persistence of the genetic approach beyond (...) reductionism and anti-reductionist claims. We show instead that at the level of laboratory practices there are also reductive processes, operating through the rise and fall of different techniques. Molecular markers made the concept of classical gene position practically dispensable, leading us to rethink whether it had any causal role or was just a mere heuristic. (shrink)

In statistics, there are two main paradigms: classical and Bayesian statistics. The purpose of this article is to investigate the extent to which classicists and Bayesians can agree. My conclusion is that, in certain situations, they cannot. The upshot is that, if we assume that the classicist is not allowed to have a higher degree of belief in a null hypothesis after he has rejected it than before, then he has to either have trivial or incoherent credences to begin (...) with or fail to update his credences by conditionalization. (shrink)

This note corrects an error in my paper 'Normalisation and Subformula Property for a System of Classical Logic with Tarski's Rule' (Archive for Mathematical Logic 61 (2022): 105-129, DOI 10.1007/s00153-021-00775-6): Theorem 2 is mistaken, and so is a corollary drawn from it as well as a corollary that was concluded by the same mistake. Luckily this does not affect the main result of the paper.

It’s constitutive of classical theism that there is a necessarily existent personal god who is also the creator of the universe, where the latter claim includes at least the following three theses: (i) God is wholly distinct from the natural world; (ii) God is the originating or sustaining cause of the natural world; and (iii) God created the natural world ex nihilo, i.e., without the use of pre-existing materials. Call this tripartite component of classical theism the classical (...) view of creation. In this paper, I offer a new argument against classical theism. In particular, I argue that creation ex nihilo is prima facie impossible, and that since the doctrine of creation ex nihilo is constitutive of classical theism, classical theism is false. (shrink)

The present paper has two main aims. The first one is philosophical and is related to the general topic of this volume (Logical Empiricism and Pragmatism): I would like to draw attention to the fact that the issue of classical scientific determinism, despite being ‘metaphysical’ and thereby ‘nonsensical’ according to the Vienna Circle's ‘scientific world conception’, bothered philosophers, like William James and Charles Peirce, who were deeply involved in scientific practice. At the end of the paper I shall raise (...) the question of why it was so and what this fact may suggest about the relationship between science and metaphysics. The second main aim of this paper is historico-philosophical: in the time span between the late 1870s and by the turn of 1900 James (1842–1910) and Peirce (1839–1914) contributed repeatedly to the ongoing discussions about scientific determinism. In this paper I give a general overview of their positions based mainly on primary sources and I embed them into the broader context of the history of the concept of scientific determinism, dedicating special attention to their relationship with a particular French anti-deterministic tradition (Renouvier, Poincaré, Boutroux and Bergson). (shrink)

Isaac Newton, in popular imagination the Ur-scientist, was an outstanding humanist scholar. His researches on, among others, ancient philosophy, are thorough and appear to be connected to and fit within his larger philosophical and theological agenda. It is therefore relevant to take a closer look at Newton’s intellectual choices, at how and why precisely he would occupy himself with specific text-sources, and how this interest fits into the larger picture of his scientific and intellectual endeavours. In what follows, we shall (...) follow Newton into his study and look over his shoulder while reading compendia and original source-texts in his personal library at Cambridge, meticulously investigating and comparing fragments and commentaries, and carefully keeping track in private notes of how they support his own developing ideas. Indeed, Newton was convinced that precursors to his own insights and discoveries were present already in Antiquity, even before the Greeks, in ancient Egypt, and he puts a lot of time and effort into making the point, especially, and not incidentially, in the period between the first and the second edition of the Principia. A clear understanding of his reading of the classic sources therefore matters to our understanding of its content and gestation process. In what follows we will confine ourselves to the classical legacy, and investigate Newton’s intellectual intercourse with it. (shrink)

Bohmian mechanics is a realistic interpretation of quantum theory. It shares the same ontology of classical mechanics: particles following continuous trajectories in space through time. For this ontological continuity, it seems to be a good candidate for recovering the classical limit of quantum theory. Indeed, in a Bohmian framework, the issue of the classical limit reduces to showing how classical trajectories can emerge from Bohmian ones, under specific classicality assumptions. In this paper, we shall focus on (...) a technical problem that arises from the dynamics of a Bohmian system in bounded regions; and we suggest that a possible solution is supplied by the action of environmental decoherence. However, we shall show that, in order to implement decoherence in a Bohmian framework, a stronger condition is required rather than the usual one. (shrink)

I show that standard dynamic approaches to the semantics of epistemic modals invalidate the classical laws of excluded middle and non-contradiction, as well as the law of epistemic non-contradiction. I argue that these facts pose a serious challenge.

Maxwell’s Classical Electrodynamics (MCED) suffers several inconsistencies: (1) the Lorentz force law of MCED violates Newton’s Third Law of Motion (N3LM) in case of stationary and divergent or convergent current distributions; (2) the general Jefimenko electric field solution of MCED shows two longitudinal far fields that are not waves; (3) the ratio of the electrodynamic energy-momentum of a charged sphere in uniform motion has an incorrect factor of 4/3. A consistent General Classical Electrodynamics (GCED) is presented that is (...) based on Whittaker’s reciprocal force law that satisfies N3LM. The Whittaker force is expressed as a scalar magnetic field force, added to the Lorentz force. GCED is consistent only if it is assumed that the electric potential velocity in vacuum, ’a’, is much greater than ’c’ (a ≫ c); GCED reduces to MCED, in case we assume a = c. Longitudinal electromagnetic waves and superluminal longitudinal electric potential waves are predicted. This theory has been verified by seemingly unrelated experiments, such as the detection of superluminal Coulomb fields and longitudinal Ampe`re forces, and has a wide range of electrical engineering applications. (shrink)

This paper examines an insoluble Cartesian problem for classical AI, namely, how linguistic understanding involves knowledge and awareness of u’s meaning, a cognitive process that is irreducible to algorithms. As analyzed, Descartes’ view about reason and intelligence has paradoxically encouraged certain classical AI researchers to suppose that linguistic understanding suffices for machine intelligence. Several advocates of the Turing Test, for example, assume that linguistic understanding only comprises computational processes which can be recursively decomposed into algorithmic mechanisms. Against this (...) background, in the first section, I explain Descartes’ view about language and mind. To show that Turing bites the bullet with his imitation game, in the second section I analyze this method to assess intelligence. Then, in the third section, I elaborate on Schank and Abelsons’ Script Applier Mechanism (SAM, hereby), which supposedly casts doubt on Descartes’ denial that machines can think. Finally, in the fourth section, I explore a challenge that any algorithmic decomposition of linguistic understanding faces. This challenge, I argue, is the core of the Cartesian problem: knowledge and awareness of meaning require a first-person viewpoint which is irreducible to the decomposition of algorithmic mechanisms. (shrink)

We argue that there is a conflict among classical theism's commitments to divine simplicity, divine creative freedom, and omniscience. We start by defining key terms for the debate related to classical theism. Then we articulate a new argument, the Aloneness Argument, aiming to establish a conflict among these attributes. In broad outline, the argument proceeds as follows. Under classical theism, it's possible that God exists without anything apart from Him. Any knowledge God has in such a world (...) would be wholly intrinsic. But there are contingent truths in every world, including the world in which God exists alone. So, it's possible that God contingently has wholly intrinsic knowledge. But whatever is contingent and wholly intrinsic is an accident. So, God possibly has an accident. This is incompatible with classical theism. Finally, we consider and rebut several objections. (shrink)

In this article, we will present a number of technical results concerning Classical Logic, ST and related systems. Our main contribution consists in offering a novel identity criterion for logics in general and, therefore, for Classical Logic. In particular, we will firstly generalize the ST phenomenon, thereby obtaining a recursively defined hierarchy of strict-tolerant systems. Secondly, we will prove that the logics in this hierarchy are progressively more classical, although not entirely classical. We will claim that (...) a logic is to be identified with an infinite sequence of consequence relations holding between increasingly complex relata: formulae, inferences, metainferences, and so on. As a result, the present proposal allows not only to differentiate Classical Logic from ST, but also from other systems sharing with it their valid metainferences. Finally, we show how these results have interesting consequences for some topics in the philosophical logic literature, among them for the debate around Logical Pluralism. The reason being that the discussion concerning this topic is usually carried out employing a rivalry criterion for logics that will need to be modified in light of the present investigation, according to which two logics can be non-identical even if they share the same valid inferences. (shrink)

The force law of Maxwell’s classical electrodynamics does not agree with Newton’s third law of motion (N3LM), in case of open circuit magnetostatics. Initially, a generalized magnetostatics theory is presented that includes two additional physical fields B_Φ and B_l, defined by scalar functions. The scalar magnetic field B_l mediates a longitudinal Ampère force that balances the transverse Ampère force (aka the magnetic field force), such that the sum of the two forces agrees with N3LM for all stationary current distributions. (...) Secondary field induction laws are derived; a secondary curl free electric field E_l is induced by a time varying scalar magnetic field B_l, which isn’t described by Maxwell’s electrodynamics. The Helmholtz’ decomposition is applied to exclude E_l from the total electric field E, resulting into a more simple Maxwell theory. Decoupled inhomogeneous potential equations and its solutions follow directly from this theory, without having to apply a gauge condition. Field expressions are derived from the potential functions that are simpler and far field consistent with respect to the Jefimenko fields. However, our simple version of Maxwell’s theory does not satisfy N3LM. Therefore we combine the generalized magnetostatics with the simple version of Maxwell’s electrodynamics, via the generalization of Maxwell’s speculative displacement current. The resulting electrodynamics describes three types of vacuum waves: the Φ wave, the longitudinal electromagnetic (LEM) wave and the transverse electromagnetic (TEM) wave, with phase velocities respectively a, b and c. Power- and force theorems are derived, and the force law agrees with Newton’s third law only if the phase velocities satisfy the following condition: a >> b and b = c. The retarded potential functions can be found without gauge conditions, and four retarded field expressions are derived that have three near field terms and six far field terms. All six far field terms are explained as the mutual induction of two free fields. Our theory supports Rutherford’s solution of the 4/3 problem of electromagnetic mass, which requires an extra longitudinal electromagnetic momentum. Our generalized classical electrodynamics might spawn new physics experiments and electrical engineering, such as new photoelectric effects based on Φ- or LEM radiation, and the conversion of natural Φ- or LEM radiation into useful electricity, in the footsteps of dr. N. Tesla and dr. T.H. Moray. (shrink)