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)

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)

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)

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)

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)

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)

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.

We examine the set of formula-to-formula valid inferences of Classical Logic, where the premise and the conclusion share at least a propositional variable in common. We review the fact, already proved in the literature, that such a system is identical to the first-degree entailment fragment of R. Epstein's Relatedness Logic, and that it is a non-transitive logic of the sort investigated by S. Frankowski and others. Furthermore, we provide a semantics and a calculus for this logic. The semantics is (...) defined in terms of a \-matrix built on top of a 5-valued extension of the 3-element weak Kleene algebra, whereas the calculus is defined in terms of a Gentzen-style sequent system where the left and right negation rules are subject to linguistic constraints. (shrink)

Surveys the ideals of friendship in ancient Greco-Roman philosophy. The notion of the best friendship inevitably reflects the various conceptions of a good life.

In this paper, we review a general technique for converting the standard Lagrangian description of a classical system into a formulation that puts time on an equal footing with the system's degrees of freedom. We show how the resulting framework anticipates key features of special relativity, including the signature of the Minkowski metric tensor and the special role played by theories that are invariant under a generalized notion of Lorentz transformations. We then use this technique to revisit a classification (...) of classical particle-types that mirrors Wigner's classification of quantum particle-types in terms of irreducible representations of the Poincaré group, including the cases of massive particles, massless particles, and tachyons. Along the way, we see gauge invariance naturally emerge in the context of classical massless particles with nonzero spin, as well as study the massless limit of a massive particle and derive a classical-particle version of the Higgs mechanism. (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)

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)

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.

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)

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)

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

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)

Mercedes Valmisa turns our attention to the relations between truth and practice in classical Chinese philosophy. In this tradition, truth is conceived of, in a pragmatic-like spirit, as a series of embodied beliefs and perspectives that lead to fitting dispositions, emotions, and actions (regardless of whether they accurately describe the world, or whether there are other competing beliefs and perspectives that equally accurately or inaccurately describe the world). This means that we should care about truth because of its normative (...) power to guide our behavior in the most fitting way, not because of a theoretical interest in accurately describing reality. Valmisa Oviedo traces the development of this conception of truth in the Mohists and Zhuangists, leading to two radically different sociopolitical and ethical positions: the Mohists used single-truth discourses to enforce ideological monopolies that could not allow pluralism in values, norms, beliefs, and practices, while the Zhuangists warned us against the dangers of such dogmatism. (shrink)

Frank Jackson often writes as if his descriptivist account of public language meanings were just plain common sense. How else are we to explain how different speakers manage to communicate using a public language? And how else can we explain how individuals arrive at confident judgments about the reference of their words in hypothetical scenarios? Our aim in this paper is to show just how controversial the psychological assumptions behind in Jackson’s semantic theory really are. First, we explain how Jackson’s (...) theory goes well beyond the commonsense platitudes he cites in its defence. Second, we sketch an alternative explanation of those platitudes, the jazz model of meaning, which we argue is more psychologically realistic. We conclude that the psychological picture presupposed by Jackson’s semantic theory stands in need of a much more substantial defence than he has so far offered. (shrink)

Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational.

Given a three-valued definition of validity, which choice of three-valued truth tables for the connectives can ensure that the resulting logic coincides exactly with classical logic? We give an answer to this question for the five monotonic consequence relations $st$, $ss$, $tt$, $ss\cap tt$, and $ts$, when the connectives are negation, conjunction, and disjunction. For $ts$ and $ss\cap tt$ the answer is trivial (no scheme works), and for $ss$ and $tt$ it is straightforward (they are the collapsible schemes, in (...) which the middle value acts like one of the classical values). For $st$, the schemes in question are the Boolean normal schemes that are either monotonic or collapsible. (shrink)

Wigner's quantum-mechanical classification of particle-types in terms of irreducible representations of the Poincaré group has a classical analogue, which we extend in this paper. We study the compactness properties of the resulting phase spaces at fixed energy, and show that in order for a classical massless particle to be physically sensible, its phase space must feature a classical-particle counterpart of electromagnetic gauge invariance. By examining the connection between massless and massive particles in the massless limit, we also (...) derive a classical-particle version of the Higgs mechanism. (shrink)

This paper is a critique of the culture, method and end of education today. It claims that education today does not aim at the integral formation and cultivation of a person. Put differently, it claims that philosophy of education critically speaking ought to be a kind of eudaimonism. Education ought to be fundamentally about the Ultimate good of the human person, and the task of philosophy of education is to critically establish and direct education towards the ultimate good of the (...) human person. Philosophy of Education in a very simple but fundamental sense, is a critical attempt to understand the foundation of education, that is to say, the nature and the end of education. What kind of education ought to be given to children in a city or nation-state, has been an ancient question in different civilizations. This work, is not only a critique of contemporary educational systems, but also a call for a philosophy of education that fundamentally connects education with the Good or Happy life. Hence, this research is an investigation on a philosophical education that is based on the eudaimonistic principle initiated by Plato and Aristotle and sustained by the philosophers of antiquity, such as the Epicureans and the Stoics. It also expounds ancient Chinese philosophy, to sustain the argument that an eudaimonistic philosophy of education has a universal effect and application. (shrink)

In this paper, by suggesting a formal representation of science based on recent advances in logic-based Artificial Intelligence (AI), we show how three serious concerns around the realisation of traditional scientific realism (the theory/observation distinction, over-determination of theories by data, and theory revision) can be overcome such that traditional realism is given a new guise as ‘naturalised’. We contend that such issues can be dealt with (in the context of scientific realism) by developing a formal representation of science based on (...) the application of the following tools from Knowledge Representation: the family of Description Logics, an enrichment of classical logics via defeasible statements, and an application of the preferential interpretation of the approach to Belief Revision. (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)

The singularities from the general relativity resulting by solving Einstein's equations were and still are the subject of many scientific debates: Are there singularities in spacetime, or not? Big Bang was an initial singularity? If singularities exist, what is their ontology? Is the general theory of relativity a theory that has shown its limits in this case?

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.

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)

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)

This is the 3rd edition. Although a number of new technological applications require classical deductive computation with non-classical logics, many key technologies still do well—or exclusively, for that matter—with classical logic. In this first volume, we elaborate on classical deductive computing with classical logic. The objective of the main text is to provide the reader with a thorough elaboration on both classical computing – a.k.a. formal languages and automata theory – and classical deduction (...) with the classical first-order predicate calculus with a view to computational implementations, namely in automated theorem proving and logic programming. The present third edition improves on the previous ones by providing an altogether more algorithmic approach: There is now a wholly new section on algorithms and there are in total fourteen clearly isolated algorithms designed in pseudo-code. Other improvements are, for instance, an emphasis on functions in Chapter 1 and more exercises with Turing machines. (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)

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)

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)

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)

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)

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)

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)

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)

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

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)

The classification of algebraic surfaces by the Italian School of algebraic geometry is universally recognized as a breakthrough in 20th-century mathematics. The methods by which it was achieved do not, however, meet the modern standard of rigor and therefore appear dubious from a contemporary viewpoint. In this article, we offer a glimpse into the mathematical practice of the three leading exponents of the Italian School of algebraic geometry: Castelnuovo, Enriques, and Severi. We then bring into focus their distinctive conception of (...) rigor and intuition. Unlike what is often assumed today, from their perspective, rigor is neither opposed to intuition nor understood as a unitary phenomenon – Enriques distinguishes between small-scale rigor and large-scale rigor and Severi between formal rigor and substantial rigor. Finally, we turn to the notion of mathematical objectivity. We draw from our case study in order to advance a multi-dimensional analysis of objectivity. Specifically, we suggest that various types of rigor may be associated with different conceptions of objectivity: namely, objectivity as faithfulness to facts and objectivity as intersubjectivity. (shrink)

Philosophy and Phenomenological Research, EarlyView.

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.

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)

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)