Recently, it has been proposed to understand a logic as containing not only a validity canon for inferences but also a validity canon for metainferences of any finite level. Then, it has been shown that it is possible to construct infinite hierarchies of "increasingly classical" logics—that is, logics that are classical at the level of inferences and of increasingly higher metainferences—all of which admit a transparent truth predicate. In this paper, we extend this line of investigation by taking (...) a somehow different route. We explore logics that are different from classical logic at the level of inferences, but recover some important aspects of classical logic at every metainferential level. We dub such systems meta-classical non-classical logics. We argue that the systems presented deserve to be regarded as logics in their own right and, moreover, are potentially useful for the non-classical logician. (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)

Contemporary international law separates the international justice of war from the domestic justice of society, but empirically, there is a correlation between democratic governance and military effectiveness, which could have a number of causes. A contemporary reconstruction from _The Seven Military Classics_ of Chinese military philosophy offers potential lessons for how domestic virtues may yield military and geopolitical victory. This chapter reconstructs arguments from the seven treatises into a collective an amalgamated conception of “good governance” that weaves together military strategy (...) and virtue ethics and maintains that good governance at home actually wins wars abroad. A reconstructed classical Chinese conception of “good governance” presents theoretical and ethical challenges, but also offers viable justicial content for contemporary jus ad bellum considerations beyond sovereign self-defense or human rights. It presents a way of instantiating the sprawling conception of human rights that falls short in contemporary discourse. (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)

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.

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)

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 five classical elements of creation are also known as Panch Tattva or the basic elements of life. Within these, and through these, life has prevailed and evolved. Although various religious philosophies differ in many details, they emphasize the fundamental unity of the universe through recognizing these elements as the basis of creation. Thus, Panch Tattva's knowledge helps us transcend the notion of an isolated individual self and identify ourselves with the ultimate reality.

Classical liberalism is skeptical about governmental organizations "doing good" for people. Instead governments should create the conditions so that people individually (Adam Smith) and in associations (Tocqueville) are empowered to do good for themselves. The market implications of classical liberalism are well-known, but the implications for organizations are controversial. We will take James Buchanan as our guide (with assists from Mill and Dewey). Unpacking the implications of classical liberalism for the "science of associations" (Tocqueville) requires a tour (...) through the intellectual history of the voluntary slavery contract and the voluntary non-democratic constitution. The argument concludes 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 and associations. (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)

The five classical elements of creation are also known as Panch Tattva or the basic elements of life. Within these, and through these, life has prevailed and evolved. Although various religious philosophies differ in many details, they emphasize the fundamental unity of the universe through recognizing these elements as the basis of creation. Thus, Panch Tattva's knowledge helps us transcend the notion of an isolated individual self and identify ourselves with the ultimate reality.

In my dissertation (Rutgers, 2007) I developed the proposal that one can establish that material quantum objects behave classically just in case there is a “local plane wave” regime, which naturally corresponds to the suppression of all quantum interference.

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)

In this paper, we make distinctions between Classical Logic (where the propositions are 100% true, or 100 false) and the Neutrosophic Logic (where one deals with partially true, partially indeterminate and partially false propositions) in order to respond to K. Georgiev’s criticism [1]. We recall that if an axiom is true in a classical logic system, it is not necessarily that the axiom be valid in a modern (fuzzy, intuitionistic fuzzy, neutrosophic etc.) logic system.

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)

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)

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)

To claim that the divine is a person or personal is, according to Swinburne, ‘the most elementary claim of theism’. I argue that, whether the classical theist’s concept of the divine as a person or personal is construed as an analogy or a metaphor, or a combination of the two, analysis necessitates qualification of that concept such that any differences between the classical theist’s concept of the divine as a person or personal and revisionary interpretations of that concept (...) are merely superficial. Thus, either the classical theist has more in common with revisionary theism than he/she might care to admit, or classical theism is a multi-faceted position which encompasses interpretations which some might regard as revisionist. This article also explores and employs the use of a gender-neutral pronoun in talk about God. (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)

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)

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)

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)

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)

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)

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)

It is usual to identify initial conditions of classical dynamical systems with mathematical real numbers. However, almost all real numbers contain an infinite amount of information. I argue that a finite volume of space can’t contain more than a finite amount of information, hence that the mathematical real numbers are not physically relevant. Moreover, a better terminology for the so-called real numbers is “random numbers”, as their series of bits are truly random. I propose an alternative classical mechanics, (...) which is empirically equivalent to classical mechanics, but uses only finite-information numbers. This alternative classical mechanics is non-deterministic, despite the use of deterministic equations, in a way similar to quantum theory. Interestingly, both alternative classical mechanics and quantum theories can be supplemented by additional variables in such a way that the supplemented theory is deterministic. Most physicists straightforwardly supplement classical theory with real numbers to which they attribute physical existence, while most physicists reject Bohmian mechanics as supplemented quantum theory, arguing that Bohmian positions have no physical reality. (shrink)

It is my thesis that Renaissance classical translations and imitations were often works of political surrogacy in a literary environment characterized by harsh censorship. So, for instance, the works of Homer, Virgil, and Lucan were read as coded texts, that ranged across the political spectrum.

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)

One important strand of Sellars’s attack on classical foundationalism from Empiricism and the Philosophy of Mind is his thesis about the priority of is-talk over looks-talk. This thesis has been criticized extensively in recent years, and classical foundationalism has found several contemporary defenders. I revisit Sellars’s thesis and argue that is-talk is epistemically prior to looks-talk in a way that undermines classical foundationalism. The classical foundationalist claims that epistemic foundations are constituted by the agent’s set of (...) looks-judgments. However, I argue that only a subset of these looks-judgments are even candidates to serve as foundations for the agent’s empirical knowledge, and membership in this subset is determined by the agent’s theory of how the world is. Thus, the epistemic force of the looks-judgments in this subset is dependent on the agent’s theory of how the world is. This means that these looks-judgments aren’t foundational at all, as the agent’s theory of how the world is is epistemically is prior to the epistemic status of these looks-judgments. This is the sense in which judgments about how the world is are epistemically prior to judgments about how things look. This conclusion allows concrete elaboration of another of Sellars’s well-know claims: “I do wish to insist that the metaphor of ‘foundation’ is misleading in that it keeps us from seeing that if there is a logical dimension in which other empirical propositions rest on observation reports, there is another logical dimension in which the latter rest on the former”. (shrink)

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)

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)

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.

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)

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)

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)

Air is one of the five classical elements, which make all the creation. We can perceive air in the things it moves, be it leaves or hair. It is an invisible mixture of nitrogen, oxygen, and minute amounts of other gases surrounding the Earth. It is all around us. Yet, we cannot see it. Pure air has no odour. It has many uses. It provides a breath of life to all living beings. As, atmosphere, it prevents the excessive heat (...) of the Sun from reaching us. Oxygen, one of its constituents, supports combustion. Thereby it helps us to cook food, generate heat and electricity, run industries and drive vehicles. Its other two components, nitrogen and carbon dioxide, are essential for the growth of plants. Another beneficial constituent of air is Ozone, which in the form of the Ozone layer around our planet protects us from the adverse effects of the Sun's UV rays. Compressed air is used to fill tyres. Many machines and drills work on compressed air. Wind enables the movement of sailboats and gliders. It runs windmills to generate electricity and helps in the dispersal of seeds. Guru Arjan appreciating the priceless importance of air to all of us articulates [1-2]; He (Creator) gave you the invaluable air. (Mehl 5, SGGS, p 913). (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)

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 Ampère forces, and has a wide range of electrical engineering applications. (shrink)

This paper and its sequel “look under the hood” of the usual sorts of proof-theoretic systems for certain well-known intuitionistic and classical propositional modal logics. Section 1 is preliminary. Of most importance: a marked formula will be the result of prefixing a formula in a propositional modal language with a step-marker, for this paper either 0 or 1. Think of 1 as indicating the taking of “one step away from 0.” Deductions will be constructed using marked formulas. Section 2 (...) presents the model-theoretic concepts, based on those in [7], that guide the rest of this paper. Section 3 presents Natural Deduction systems IK and CK, formalizations of intuitionistic and classical one-step versions of K. In these systems, occurrences of step-markers allow deductions to display deductive structure that is covered over in familiar “no step” proof-theoretic systems for such logics. Box and Diamond are governed by Introduction and Elimination rules; the familiar K rule and Necessitation are derived (i.e. admissible) rules. CK will be the result of adding the 0-version of the Rule of Excluded Middle to the rules which generate IK. Note: IK is the result of merely dropping that rule from those generating CK, without addition of further rules or axioms (as was needed in [7]). These proof-theoretic systems yield intuitionistic and classical consequence relations by the obvious definition. Section 4 provides some examples of what can be deduced in IK. Section 5 defines some proof-theoretic concepts that are used in Section 6 to prove the soundness of the consequence relation for IK (relative to the class of models defined in Section 2.) Section 7 proves its completeness (relative to that class). Section 8 extends these results to the consequence relation for CK. (Looking ahead: Part 2 will investigate one-step proof-theoretic systems formalizing intuitionistic and classical one-step versions of some familiar logics stronger than K.). (shrink)

We criticize the classical evidentialist approach to religious epistemology as articulated by John DePoe from the perspective of phenomenal conservatism.

Logical information theory is the quantitative version of the logic of partitions just as logical probability theory is the quantitative version of the dual Boolean logic of subsets. The resulting notion of information is about distinctions, differences and distinguishability and is formalized using the distinctions of a partition. All the definitions of simple, joint, conditional and mutual entropy of Shannon information theory are derived by a uniform transformation from the corresponding definitions at the logical level. The purpose of this paper (...) is to give the direct generalization to quantum logical information theory that similarly focuses on the pairs of eigenstates distinguished by an observable, i.e., qudits of an observable. The fundamental theorem for quantum logical entropy and measurement establishes a direct quantitative connection between the increase in quantum logical entropy due to a projective measurement and the eigenstates that are distinguished by the measurement. Both the classical and quantum versions of logical entropy have simple interpretations as “two-draw” probabilities for distinctions. The conclusion is that quantum logical entropy is the simple and natural notion of information for quantum information theory focusing on the distinguishing of quantum states. (shrink)

Resolving the Ross and Prior paradoxes proved to be a difficult task. Its first two stages, involving the identification of the true natures of the implication and truth values, are described in the articles "Solving the Paradox of Material Implication – 2024" and "Solving Jörgensen's Dilemma – 2024". This article describes the third stage, which involves the discovery of missing modal operators and the Classical Modal Calculus. Finally, procedures for solving both paradoxes are provided.

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)

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.

P.E. Easterling presents a brief description of the life of Sophocles according to which he was “evidently a classic from the start.” I note a concern about the description, that all classics would seem to be classics from the start.

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)

Air is one of the five classical elements, which make all the creation. We can perceive air in the things it moves, be it leaves or hair. It is an invisible mixture of nitrogen, oxygen, and minute amounts of other gases surrounding the Earth. It is all around us. Yet, we cannot see it. Pure air has no odour. It has many uses. It provides a breath of life to all living beings. As, atmosphere, it prevents the excessive heat (...) of the Sun from reaching us. Oxygen, one of its constituents, supports combustion. Thereby it helps us to cook food, generate heat and electricity, run industries and drive vehicles. Its other two components, nitrogen and carbon dioxide, are essential for the growth of plants. Another beneficial constituent of air is Ozone, which in the form of the Ozone layer around our planet protects us from the adverse effects of the Sun's UV rays. Compressed air is used to fill tyres. Many machines and drills work on compressed air. Wind enables the movement of sailboats and gliders. It runs windmills to generate electricity and helps in the dispersal of seeds. Guru Arjan appreciating the priceless importance of air to all of us articulates [1-2]; He (Creator) gave you the invaluable air. (Mehl 5, SGGS, p 913). (shrink)

Albert Einstein proposed three tests of general relativity, later named the classic tests of general relativity, in 1916: the precession of the perihelion of Mercury's orbit, sun light deflection, and the gravitational redshift of the light. For gravitational testing, the indirect effects of gravity are always used, usually particles that are influenced by gravity. In the presence of gravity, the particles move along curved geodesic lines. The sources of gravity that cause the curvature of spacetime are material bodies, depending on (...) their mass. But in relativity the mass relates to the energy through the formula E = mc2, and the energy with the momentum, according to the special relativity. DOI: 10.13140/RG.2.2.25608.16648. (shrink)

In modern Anglo-European philosophy there is a distinct progression from the metaphysical realism of ancient and classical philosophy towards a type of scepticism that eventually leads towards nihilism. Interestingly this progression also appears in the doctrines of the Classical schools of Indian Buddhism that pre-date modern European philosophy by well over six centuries. This progression stems from the application of the same types of logical and philosophical reasoning to the problems of metaphysics. The movement from metaphysical realism to (...) representationalism to idealism and finally towards nihilism, which is seen within both the classical Indian Buddhist tradition and Modern Anglo-European philosophy, are products of a coherent and wholly logical progression from the acceptance of certain metaphysical principles. The fact that these same movements occur in two philosophical traditions that are separated by vast chasms in space, time and culture seems to point to an underlying commonality underlying human philosophical enquiry, whether this is a result of a common intelligible reality, an essential and universal human nature or both is a philosophical question we must continue to pursue. (shrink)