Is vision merely a state of the beholder’s sensory organ which can be explained as an immediate effect caused by external sensible objects? Or is it rather a successive process in which the observer actively scanning the surrounding environment plays a major part? These two general attitudes towards visual perception were both developed already by ancient thinkers. The former is embraced by natural philosophers (e.g., atomists and Aristotelians) and is often labelled “intromissionist”, based on their assumption that vision is an (...) outcome of the causal influence exerted by an external object upon a sensory organ receiving an entity from the object. The latter attitude to vision as a successive process is rather linked to the “extramissionist” theories of the proponents of geometrical optics (such as Euclid or Ptolemy) who suggest that an entity – a visual ray – is sent forth from the eyes to the object. The present paper focuses on the contributions to this ancient controversy proposed by some 13th-century Latin thinkers. [...]. (shrink)

Faith has many aspects. One of them is whether absolute logical proof for God’s existence is a prerequisite for the proper establishment and individual acceptance of a religious system. The treatment of this question, examined here in the Jewish context of Rabbi Prof. Eliezer Berkovits, has been strongly influenced in the modern era by the radical foundationalism and radical skepticism of Descartes, who rooted in the Western mind the notion that religion and religious issues are “all or nothing” questions. Cartesianism, (...) which surprisingly became the basis of modern secularism, was criticized by the classical American pragmatists. Peirce, James and Dewey all rejected the attempt to achieve infallible absolute knowledge, as well as the presumptuousness of establishing such a knowledge by means of casting Cartesian hyperbolic doubt. They advocated an alternative approach which was more holistic and humane. This paper lays out Descartes’s approach and the pragmatists’ critique. Despite the place that pragmatic considerations hold in Jewish tradition, some thinkers reject the relevance of these ideas. Yet Berkovits’s thought suggest a different path. He rejected Descartes’ radical skepticism and his radical foundationalism, in favor of a moderate foundationalism, which allows for a belief in God alongside constructive doubts. Similar to Peirce’s conception of the fixation of belief, Berkovits views local doubts (distinct from the hyperbolic doubt) as necessary for thought. Berkovits’s understanding of the biblical human-divine encounter, following Rosenzweig, Buber, and Heschel, is conceptualized here as “encounter theology”. Berkovits criticizes the propositionalist attempts to prove God’s existence logically, as well as the presumptuousness of basing religious belief on the teleological world-order. However, Berkovits’s conception of the ‘caring God’ is not provable, and thus defined as a pragmatic ‘postulate’. The article concludes by considering Berkovits’s “encounter theology”. In contrast to the approach described by Haym Soloveitchik, of halakhic stringency and lack of subjective experience of God’s face, Berkovits’s approach is dialogic through and through. (shrink)

What is a number? Answering this will answer questions about its philosophical foundations - rational numbers, the complex numbers, imaginary numbers. If we are to write or talk about something, it is helpful to know whether it exists, how it exists, and why it exists, just from a common-sense point of view [Quine, 1948, p. 6]. Generally, there does not seem to be any disagreement among mathematicians, scientists, and logicians about numbers existing in some way, but currently, in the mainstream (...) arena only definitions, descriptions of properties, and effects are presented as evidence. Enough historical description of numbers in history provides an empirical basis of number, although a case can be made that numbers do not exist by themselves empirically. Correspondingly, numbers exist as abstractions. All the while, though, these "descriptions" beg the question of what numbers are ontologically. Advocates for numbers being the ultimate reality have the problem of wrestling with the nature of reality. I start on the road to discovering the ontology of number by looking at where people have talked about numbers as already existing: history. Of course, we need to know not only what ontology is but the problems of identifying one, leading to the selection between metaphysics and provisional approaches. While we seem to be dimensionally limited, at least we can identify a more suitable bootstrapping ontology than mere definitions, leading us to the unity of opposites. The rest of the paper details how this is done and modifies Peano's Postulates. (shrink)

The critique of philosophical foundations of neoclassical economics is significant, because of its hegemony on economic education and research programs in Iran and worldwide academies. Due to an epistemological fallacy, methodological individualism plays a prominent role in the philosophy of economic; since the ontological aspects of economy are reduced to methodological considerations. Accordingly, critique of methodological individualism is regarded as the main entry for philosophical analysis of neoclassical economics. This article aims to analyze and appraise the methodological individualism from critical (...) realism’s point of view. Critical realism is taken as a stand for criticizing methodological individualism, because critical realism and neoclassical economics as a positive approach to economics, both share a realistic worldview. The critical realism’ critique of methodological individualism is bases on analyzing the concepts of formalism, syllogism, social atomism, isolation and reduction. From critical realism’ point of view because of unrealistic postulations of methodological individualism, neoclassical economics is turned to an abstract and deductive science such as mathematics with a low potentiality of explanation. (shrink)

In a previous paper, an elementary and thoroughly arithmetical proof of Fermat’s last theorem by induction has been demonstrated if the case for “n = 3” is granted as proved only arithmetically (which is a fact a long time ago), furthermore in a way accessible to Fermat himself though without being absolutely and precisely correct. The present paper elucidates the contemporary mathematical background, from which an inductive proof of FLT can be inferred since its proof for the case for “n (...) = 3” has been known for a long time. It needs “Hilbert mathematics”, which is inherently complete unlike the usual “Gödel mathematics”, and based on “Hilbert arithmetic” to generalize Peano arithmetic in a way to unify it with the qubit Hilbert space of quantum information. An “epoché to infinity” (similar to Husserl’s “epoché to reality”) is necessary to map Hilbert arithmetic into Peano arithmetic in order to be relevant to Fermat’s age. Furthermore, the two linked semigroups originating from addition and multiplication and from the Peano axioms in the final analysis can be postulated algebraically as independent of each other in a “Hamilton” modification of arithmetic supposedly equivalent to Peano arithmetic. The inductive proof of FLT can be deduced absolutely precisely in that Hamilton arithmetic and the pransfered as a corollary in the standard Peano arithmetic furthermore in a way accessible in Fermat’s epoch and thus, to himself in principle. A future, second part of the paper is outlined, getting directed to an eventual proof of the case “n=3” based on the qubit Hilbert space and the Kochen-Specker theorem inferable from it. (shrink)

We’ll approach the notion of object in Wittgenstein’s Tractatus LogicoPhilosophicus (1921), initially from the so-called “substance argument”. The discourse about necessary conditions for the propositional sense cannot be treated in terms of truth or falsity in the Tractatus without resulting in a infinite regress. Such a situation is avoided by postulating a substance made up of simple objects, thus ensuring the assumed total determination of sense. Passages from the Notebooks (1914-1916) suggest that the idea of simples is given in the (...) ideia of logical analysis and is reached without the necessity of examples for objects. Another early Wittgenstein’s remarks provide examples for objects based on itens of phenomenical nature, such as a point in the visual field. An important analogy for the phenomenical approach for the object, which is found in the aphorisms 2.013-2.0131 of Tractatus, presents a problem for the absolute simplicity. This problem concerns the notion of form, a concept that attributes an ontological dependence to the object given by its essencial capacity of occurrence in atomic facts. The form of the objects results from an appropriation of the Context Principle used by Frege in his Grundlagen der Arithmetik (1884) and differs from the notions of pictorial form and logical form. The dependence assigned to the object through its form contradicts the independent subsistence established by its simplicity. The Tractarian object results from necessary demands for determination of propositional sense, reached by means of an clarificatory analysis which prioritizes the transformative and regressive modes of analysis. Simplicity and Context Principle are, under this perspective, rules of a syntax for a logical or significative use of language, which are reflected in the Tractarian ontology through the ideia that the logico-philosophical investigation of language reveals essencial aspects of the intimate structure of the world. (shrink)

The Principle of Identity of Indiscernibles (PII) is the focus of much controversy in the history of Metaphysics and in contemporary Physics. Many questions rover the debate about its truth or falsehood, for example, to which objects the principle applies? Which properties can be counted as discerning properties? Is the principle necessary? In other words, which version of the principle is the correct and is this version true? This thesis aims to answer this questions in order to show that PII (...) is a necessarily true principle of metaphysics. To accomplish this task, the reader will find, in this thesis, an encyclopaedical introduction to the history of PII and to the reasons it matters so much, followed by a presentation of the most famous arguments against it and the defences used against these arguments. Then, the reader finds in-depth discussion of the minutiae involved in postulating the principle as to make clear what is in fact being attacked and defended. With these preliminaries solved, a deeper analysis of these defences is presented aiming to discover which is the most appropriate example to use against the attacks to the principle. This analysis allowed a classification of these defences in four families with different strategies within them. Finally, with these defensive strategies at hand we are able to confront alleged counterexamples to PII in Mathematics with the intention to test these defences. (shrink)

COVID-19 often manifests with different outcomes in different patients, highlighting the complexity of the host-pathogen interactions involved in manifestations of the disease at the molecular and cellular levels. In this paper, we propose a set of postulates and a framework for systematically understanding complex molecular host-pathogen interaction networks. Specifically, we first propose four host-pathogen interaction (HPI) postulates as the basis for understanding molecular and cellular host-pathogen interactions and their relations to disease outcomes. These four postulates cover the (...) evolutionary dispositions involved in HPIs, the dynamic nature of HPI outcomes, roles that HPI components may occupy leading to such outcomes, and HPI checkpoints that are critical for specific disease outcomes. Based on these postulates, an HPI Postulate and Ontology (HPIPO) framework is proposed to apply interoperable ontologies to systematically model and represent various granular details and knowledge within the scope of the HPI postulates, in a way that will support AI-ready data standardization, sharing, integration, and analysis. As a demonstration, the HPI postulates and the HPIPO framework were applied to study COVID-19 with the Coronavirus Infectious Disease Ontology (CIDO), leading to a novel approach to rational design of drug/vaccine cocktails aimed at interrupting processes occurring at critical host-coronavirus interaction checkpoints. Furthermore, the host-coronavirus protein-protein interactions (PPIs) relevant to COVID-19 were predicted and evaluated based on prior knowledge of curated PPIs and domain-domain interactions, and how such studies can be further explored with the HPI postulates and the HPIPO framework is discussed. (shrink)

In the Critique of Practical Reason, Kant grounds his postulate for the immortality of the soul on the presupposed practical necessity of the will’s endless progress toward complete conformity with the moral law. Given the important role that this postulate plays in Kant’s ethical and political philosophy, it is hard to understand why it has received relatively little attention. It is even more surprising considering the attention given to his other postulates of practical reason: the existence of God and (...) freedom. The project of this paper is to examine Kant’s postulate of the immortality of the soul, examine critiques of this argument, and show why the argument succeeds in showing that belief in the moral law also obligates one to believe in the soul’s immortality. (shrink)

Moritz Geiger (1880–1937) in Phänomenologische Ästhetik paper postulates aesthetics to become an autonomous science. The new science is intended to analyze aesthetic values and to discover the rules of their regulations. It tends to be separated from aesthetics as the sub-discipline of philosophy (especially under the influence of metaphysics) and aesthetics as a field of applying other sciences (mainly psychology). It may be achieved by the usage of a phenomenological method.

This chapter clarifies that it was the works Giuseppe Peano and his school that first led Russell to embrace symbolic logic as a tool for understanding the foundations of mathematics, not those of Frege, who undertook a similar project starting earlier on. It also discusses Russell’s reaction to Peano’s logic and its influence on his own. However, the chapter also seeks to clarify how and in what ways Frege was influential on Russell’s views regarding such topics as classes, functions, meaning (...) and denotation, etc., and summarizes the correspondence between Frege and Russell and the light it sheds on the philosophical logic of both. (shrink)

The present first part about the eventual completeness of mathematics (called “Hilbert mathematics”) is concentrated on the Gödel incompleteness (1931) statement: if it is an axiom rather than a theorem inferable from the axioms of (Peano) arithmetic, (ZFC) set theory, and propositional logic, this would pioneer the pathway to Hilbert mathematics. One of the main arguments that it is an axiom consists in the direct contradiction of the axiom of induction in arithmetic and the axiom of infinity in set theory. (...) Thus, the pair of arithmetic and set are to be similar to Euclidean and non-Euclidean geometries distinguishably only by the Fifth postulate now, i.e. after replacing it and its negation correspondingly by the axiom of finiteness (induction) versus that of finiteness being idempotent negations to each other. Indeed, the axiom of choice, as far as it is equivalent to the well-ordering “theorem”, transforms any set in a well-ordering either necessarily finite according to the axiom of induction or also optionally infinite according to the axiom of infinity. So, the Gödel incompleteness statement relies on the logical contradiction of the axiom of induction and the axiom of infinity in the final analysis. Nonetheless, both can be considered as two idempotent versions of the same axiom (analogically to the Fifth postulate) and then unified after logicism and its inherent intensionality since the opposition of finiteness and infinity can be only extensional (i.e., relevant to the elements of any set rather than to the set by itself or its characteristic property being a proposition). So, the pathway for interpreting the Gödel incompleteness statement as an axiom and the originating from that assumption for “Hilbert mathematics” accepting its negation is pioneered. A much wider context relevant to realizing the Gödel incompleteness statement as a metamathematical axiom is consistently built step by step. The horizon of Hilbert mathematics is the proper subject in the third part of the paper, and a reinterpretation of Gödel’s papers (1930; 1931) as an apology of logicism as the only consistent foundations of mathematics is the topic of the next second part. (shrink)

In this paper I argue that Kant would have endorsed Clifford’s principle. The paper is divided into four sections. In the first, I review Kant’s argument for the practical postulates. In the second, I discuss a traditional objection to the style of argument Kant employs. In the third, I explain how Kant would respond to this objection and how this renders the practical postulates consistent with Clifford’s principle. In the fourth, I introduce positive grounds for thinking that Kant (...) would have endorsed this principle. (shrink)

The paper introduces and utilizes a few new concepts: “nonstandard Peano arithmetic”, “complementary Peano arithmetic”, “Hilbert arithmetic”. They identify the foundations of both mathematics and physics demonstrating the equivalence of the newly introduced Hilbert arithmetic and the separable complex Hilbert space of quantum mechanics in turn underlying physics and all the world. That new both mathematical and physical ground can be recognized as information complemented and generalized by quantum information. A few fundamental mathematical problems of the present such as Fermat’s (...) last theorem, four-color theorem as well as its new-formulated generalization as “four-letter theorem”, Poincaré’s conjecture, “P vs NP” are considered over again, from and within the new-founding conceptual reference frame of information, as illustrations. Simple or crucially simplifying solutions and proofs are demonstrated. The link between the consistent completeness of the system mathematics-physics on the ground of information and all the great mathematical problems of the present (rather than the enumerated ones) is suggested. (shrink)

This paper will annoy modern logicians who follow Bertrand Russell in taking pleasure in denigrating Aristotle for [allegedly] being ignorant of relational propositions. To be sure this paper does not clear Aristotle of the charge. On the contrary, it shows that such ignorance, which seems unforgivable in the current century, still dominated the thinking of one of the greatest modern logicians as late as 1831. Today it is difficult to accept the proposition that Aristotle was blind to the fact that, (...) for example, incommensurability is a relation and not a property: that the proposition “In every square, the diagonals are incommensurable with the sides” is relational and not categorical. This paper asks the reader to do something more difficult: to accept the proposition that as late as 1831 De Morgan was blind to the same fact. This paper shows conclusively that in 1831, De Morgan was still in the grips of the allegedly Aristotelian paradigm. (shrink)

Between Giuseppe Peano and Camillo Berneri, a foremost protagonist of the Italian anarchist movement, an interesting correspondence was exchanged in the years 1925-1929. Along with a presentation of the correspondence, Peano's political attitude and the role of his international language projects in early 20th century Italian left are discussed.

One of the philosophical uses of Dedekind’s categoricity theorem for Peano Arithmetic is to provide support for semantic realism. To this end, the logical framework in which the proof of the theorem is conducted becomes highly significant. I examine different proposals regarding these logical frameworks and focus on the philosophical benefits of adopting open-ended schemas in contrast to second order logic as the logical medium of the proof. I investigate Pederson and Rossberg’s critique of the ontological advantages of open-ended arithmetic (...) when it comes to establishing the categoricity of Peano Arithmetic and show that the critique is highly problematic. I argue that Pederson and Rossberg’s ontological criterion deliver the bizarre result that certain first order subsystems of Peano Arithmetic have a second order ontology. As a consequence, the application of the ontological criterion proposed by Pederson and Rossberg assigns a certain type of ontology to a theory, and a different, richer, ontology to one of its subtheories. (shrink)

Daniel Isaacson has advanced an epistemic notion of arithmetical truth according to which the latter is the set of truths that we grasp on the basis of our understanding of the structure of natural numbers alone. Isaacson’s thesis is then the claim that Peano Arithmetic (PA) is the theory of finite mathematics, in the sense that it proves all and only arithmetical truths thus understood. In this paper, we raise a challenge for the thesis and show how it can be (...) overcome. We introduce the concept of purity for theories of arithmetic: a theory of arithmetic is pure when it only proves arithmetical truths. Then, we argue that, under Isaacson’s thesis, some PA-provable truths—including transfinite induction claims for infinite ordinals and some consistency statements—are seemingly not arithmetical in Isaacson’s sense, and hence that Isaacson’s thesis might entail the impurity of PA. Nonetheless, we conjecture that the advocate of Isaacson’s thesis can avoid this undesirable consequence: the arithmetical nature, as understood by Isaacson, of all contentious PA-provable statements can be justified. As a case study, we explore how this is done for transfinite induction claims with infinite ordinals below ε0. To this end, we show that the PA-proof of such claims employs exclusively resources from finite mathematics, and that ordinals below ε0 are finitary objects despite being infinite. (shrink)

Most philosophers are familiar with the metaphysical puzzle of the statue and the clay. A sculptor begins with some clay, eventually sculpting a statue from it. Are the clay and the statue one and the same thing? Apparently not, since they have different properties. For example, the clay could survive being squashed, but the statue could not. The statue is recently formed, though the clay is not, etc. Godehart Link 1983’s highly influential analysis of the count/mass distinction recommends that English (...) draws a distinction between uncountable “stuff” and countable “things”. There are two mereological relations, related in specific ways. Our primary question here is whether an empirically adequate account of the mass/count distinction really does require distinguishing “things” from “stuff”, and thus postulating two corresponding mereological relations, or if instead positing only one sort of entity and corresponding mereological relation is sufficient, as other semantic theories would have it. This question is meant to be one of what we call natural language mereology. We are asking about the mereological commitments of English, or perhaps competent speakers of English, and not about ultimate reality as such. There is no pretense that we will definitively solve the metaphysical puzzle of the statue and clay. (shrink)

In this paper I trace the arc of Kant’s critical stance on the belief in God, beginning with the Critique of Pure Reason (1781) and culminating in the final chapter of the Metaphysics of Morals (1797). I argue that toward the end of his life, Kant changed his views on two important topics. First, despite his stinging criticism of it in the Critique of Pure Reason, by the time of the Metaphysics of Morals, Kant seems to endorse the physico-theological argument. (...) Second, some time around the publication of the Metaphysics of Morals, Kant seems to move away from the argument for the practical postulates. (shrink)

Kant’s postulate of possibility states that possible is whatever agrees with the formal conditions of experience. As has often been noted, this is a definition of real possibility. However, little attention has been paid to the relation of Kantian real possibility to the German philosophical tradition before him. I discuss three kinds of possibility present in this tradition – internal, external, and (Crusian) real possibility – and argue that Kant endorses internal and external possibility. Furthermore, I show, specifically with respect (...) to the concept of state (Zustand), that the three traditional conceptions are reminiscent of three conceptions of real possibility that Kant implicitly distinguishes. Lastly, I argue that, according to Kant, we need experience to prove real possibility (at least as regards the three conceptions of the real possibility of states) because otherwise we could not know whether the formal conditions of experience obtain. (shrink)

In a quantum universe with a strong arrow of time, it is standard to postulate that the initial wave function started in a particular macrostate---the special low-entropy macrostate selected by the Past Hypothesis. Moreover, there is an additional postulate about statistical mechanical probabilities according to which the initial wave function is a ''typical'' choice in the macrostate. Together, they support a probabilistic version of the Second Law of Thermodynamics: typical initial wave functions will increase in entropy. Hence, there are two (...) sources of randomness in such a universe: the quantum-mechanical probabilities of the Born rule and the statistical mechanical probabilities of the Statistical Postulate. I propose a new way to understand time's arrow in a quantum universe. It is based on what I call the Thermodynamic Theories of Quantum Mechanics. According to this perspective, there is a natural choice for the initial quantum state of the universe, which is given by not a wave function but by a density matrix. The density matrix plays a microscopic role: it appears in the fundamental dynamical equations of those theories. The density matrix also plays a macroscopic / thermodynamic role: it is exactly the projection operator onto the Past Hypothesis subspace. Thus, given an initial subspace, we obtain a unique choice of the initial density matrix. I call this property "the conditional uniqueness" of the initial quantum state. The conditional uniqueness provides a new and general strategy to eliminate statistical mechanical probabilities in the fundamental physical theories, by which we can reduce the two sources of randomness to only the quantum mechanical one. I also explore the idea of an absolutely unique initial quantum state, in a way that might realize Penrose's idea of a strongly deterministic universe. (shrink)

Kant’s claim that we must postulate the immortality of the soul is polarizing. While much attention has been paid to two standard arguments in its defense (one moral-psychological, the other rational), I contend that a favorite argument of Kant’s from the apogee of his critical period, namely, the teleological argument, deserves renewed attention. This paper reconstructs it and exhibits what makes it unique (though not necessarily superior) in relation to the other arguments. In particular, its form (as third-personal or descriptive, (...) beginning from observations) and related force of assent (as a subjectively universal reflective judgment) set it apart from the other arguments. My goal is to establish that any engagement with Kant’s immortality postulate must include equal consideration of the teleological argument in order to be complete. (shrink)

The previous two parts of the paper demonstrate that the interpretation of Fermat’s last theorem (FLT) in Hilbert arithmetic meant both in a narrow sense and in a wide sense can suggest a proof by induction in Part I and by means of the Kochen - Specker theorem in Part II. The same interpretation can serve also for a proof FLT based on Gleason’s theorem and partly similar to that in Part II. The concept of (probabilistic) measure of a subspace (...) of Hilbert space and especially its uniqueness can be unambiguously linked to that of partial algebra or incommensurability, or interpreted as a relation of the two dual branches of Hilbert arithmetic in a wide sense. The investigation of the last relation allows for FLT and Gleason’s theorem to be equated in a sense, as two dual counterparts, and the former to be inferred from the latter, as well as vice versa under an additional condition relevant to the Gödel incompleteness of arithmetic to set theory. The qubit Hilbert space itself in turn can be interpreted by the unity of FLT and Gleason’s theorem. The proof of such a fundamental result in number theory as FLT by means of Hilbert arithmetic in a wide sense can be generalized to an idea about “quantum number theory”. It is able to research mathematically the origin of Peano arithmetic from Hilbert arithmetic by mediation of the “nonstandard bijection” and its two dual branches inherently linking it to information theory. Then, infinitesimal analysis and its revolutionary application to physics can be also re-realized in that wider context, for example, as an exploration of the way for physical quantity of time (respectively, for time derivative in any temporal process considered in physics) to appear at all. Finally, the result admits a philosophical reflection of how any hierarchy arises or changes itself only thanks to its dual and idempotent counterpart. (shrink)

Maxwell’s Demon is a thought experiment devised by J. C. Maxwell in 1867 in order to show that the Second Law of thermodynamics is not universal, since it has a counter-example. Since the Second Law is taken by many to provide an arrow of time, the threat to its universality threatens the account of temporal directionality as well. Various attempts to “exorcise” the Demon, by proving that it is impossible for one reason or another, have been made throughout the years, (...) but none of them were successful. We have shown (in a number of publications) by a general state-space argument that Maxwell’s Demon is compatible with classical mechanics, and that the most recent solutions, based on Landauer’s thesis, are not general. In this paper we demonstrate that Maxwell’s Demon is also compatible with quantum mechanics. We do so by analyzing a particular (but highly idealized) experimental setup and proving that it violates the Second Law. Our discussion is in the framework of standard quantum mechanics; we give two separate arguments in the framework of quantum mechanics with and without the projection postulate. We address in our analysis the connection between measurement and erasure interactions and we show how these notions are applicable in the microscopic quantum mechanical structure. We discuss what might be the quantum mechanical counterpart of the classical notion of “macrostates”, thus explaining why our Quantum Demon setup works not only at the micro level but also at the macro level, properly understood. One implication of our analysis is that the Second Law cannot provide a universal lawlike basis for an account of the arrow of time; this account has to be sought elsewhere. (shrink)

In this paper, I critically approach the essence of Dewey’s philosophy: his method. In particular, it is what Dewey termed as denotative method is at the center of my attention. I approach Dewey’s denotative method via what I call the “genealogical deconstruction” that is followed by the “pragmatic reconstruction.” This meta-approach is not alien to Dewey’s philosophy, and in fact was employed by Dewey himself in Experience and Nature. The paper consists of two parts. In Part 1, I genealogically deconstruct (...) the philosophical foundation of the denotative method: the doctrine of immediate empiricism. The latter was originally stated in Dewey’s 1905 seminal “The Postulate of Immediate Empiricism” article, and fully developed twenty years later in his Experience and Nature. I claim that Dewey’s immediate empiricism is essentially incompatible with his pragmatism (instrumentalism) and with pragmatism overall. In Part 2, I pragmatically reconstruct Dewey’s denotative method from the perspective of what I term as the “hermeneutic empiricism” which is grounded in Dewey’s 1896 “The Reflex Arc Concept in Psychology” article. As opposed to the immediate empiricism’s main thesis “things are what they are experienced as,” the motto of the hermeneutic empiricism would be “things are what they are interpreted as”/“things are experienced what they are interpreted as.” The above-mentioned pragmatic reconstruction also leads to the transformation of the notion of “common sense” which is vital to Dewey’s method, into the notion of sound reason. (shrink)

Formalizing Euclid’s first axiom. Bulletin of Symbolic Logic. 20 (2014) 404–5. (Coauthor: Daniel Novotný) -/- Euclid [fl. 300 BCE] divides his basic principles into what came to be called ‘postulates’ and ‘axioms’—two words that are synonyms today but which are commonly used to translate Greek words meant by Euclid as contrasting terms. -/- Euclid’s postulates are specifically geometric: they concern geometric magnitudes, shapes, figures, etc.—nothing else. The first: “to draw a line from any point to any point”; the (...) last: the parallel postulate. -/- Euclid’s axioms are general principles of magnitude: they concern geometric magnitudes and magnitudes of other kinds as well even numbers. The first is often translated “Things that equal the same thing equal one another”. -/- There are other differences that are or might become important. -/- Aristotle [fl. 350 BCE] meticulously separated his basic principles [archai, singular archê] according to subject matter: geometrical, arithmetic, astronomical, etc. However, he made no distinction that can be assimilated to Euclid’s postulate/axiom distinction. -/- Today we divide basic principles into non-logical [topic-specific] and logical [topic-neutral] but this too is not the same as Euclid’s. In this regard it is important to be cognizant of the difference between equality and identity—a distinction often crudely ignored by modern logicians. Tarski is a rare exception. The four angles of a rectangle are equal to—not identical to—one another; the size of one angle of a rectangle is identical to the size of any other of its angles. No two angles are identical to each other. -/- The sentence ‘Things that equal the same thing equal one another’ contains no occurrence of the word ‘magnitude’. This paper considers the problem of formalizing the proposition Euclid intended as a principle of magnitudes while being faithful to the logical form and to its information content. (shrink)

The article evaluates the Domain Postulate of the Classical Model of Science and the related Aristotelian prohibition rule on kind-crossing as interpretative tools in the history of the development of mathematics into a general science of quantities. Special reference is made to Proclus’ commentary to Euclid’s first book of Elements , to the sixteenth century translations of Euclid’s work into Latin and to the works of Stevin, Wallis, Viète and Descartes. The prohibition rule on kind-crossing formulated by Aristotle in Posterior (...) analytics is used to distinguish between conceptions that share the same name but are substantively different: for example the search for a broader genus including all mathematical objects; the search for a common character of different species of mathematical objects; and the effort to treat magnitudes as numbers. (shrink)

There are two tensions in Smith’s system of ideas: the first is between the postulate of an invisible “noumenal” order of the Universe and the imaginary principles through which we connect the phenomena; the second is between a hypothetical noumenal order of the world where “is” and “ought” converge and the partial and imperfect normative order issued by our sympathetic judgements and a never perfectly impartial spectator. These tensions, which gave occasion to old misrepresentations and recent ones, are tensions in (...) a unitary (though rhapsodically completed) system of ideas where the final unanswered question was the problem of evil. Against a widespread belief, Smith was no secularist but a fideist who took Bayle’s question seriously: why is man wicked and unhappy? The private ethics of prudence, justice, benevolence and the public ethics of liberty, justice, and equality were modest proposals for coping with the problem of social evil, of a “practical” kind, the only one available after Smith’s refutation of natural theology, his last word on the causes for evil. (shrink)

The paper is a continuation of another paper published as Part I. Now, the case of “n=3” is inferred as a corollary from the Kochen and Specker theorem (1967): the eventual solutions of Fermat’s equation for “n=3” would correspond to an admissible disjunctive division of qubit into two absolutely independent parts therefore versus the contextuality of any qubit, implied by the Kochen – Specker theorem. Incommensurability (implied by the absence of hidden variables) is considered as dual to quantum contextuality. The (...) relevant mathematical structure is Hilbert arithmetic in a wide sense, in the framework of which Hilbert arithmetic in a narrow sense and the qubit Hilbert space are dual to each other. A few cases involving set theory are possible: (1) only within the case “n=3” and implicitly, within any next level of “n” in Fermat’s equation; (2) the identification of the case “n=3” and the general case utilizing the axiom of choice rather than the axiom of induction. If the former is the case, the application of set theory and arithmetic can remain disjunctively divided: set theory, “locally”, within any level; and arithmetic, “globally”, to all levels. If the latter is the case, the proof is thoroughly within set theory. Thus, the relevance of Yablo’s paradox to the statement of Fermat’s last theorem is avoided in both cases. The idea of “arithmetic mechanics” is sketched: it might deduce the basic physical dimensions of mechanics (mass, time, distance) from the axioms of arithmetic after a relevant generalization, Furthermore, a future Part III of the paper is suggested: FLT by mediation of Hilbert arithmetic in a wide sense can be considered as another expression of Gleason’s theorem in quantum mechanics: the exclusions about (n = 1, 2) in both theorems as well as the validity for all the rest values of “n” can be unified after the theory of quantum information. The availability (respectively, non-availability) of solutions of Fermat’s equation can be proved as equivalent to the non-availability (respectively, availability) of a single probabilistic measure as to Gleason’s theorem. (shrink)

Paul Feyerabend argued that theories can be faced with experimental anomalies whose refuting character can only be recognized by developing alternatives to the theory. The alternate theory must explain the experimental results without contrivance and it must also be supported by independent evidence. I show that the situation described by Feyerabend arises again and again in experiments or observations that test the postulates in the standard cosmological model relating to dark matter. The alternate theory is Milgrom’s modified dynamics. I (...) discuss three examples: the failure to detect dark-matter particles in laboratory experiments; the lack of evidence for dark-matter sub-haloes and the dwarf galaxies that are postulated to inhabit them; and the failure to confirm the predicted orbital decay of Milky Way satellite galaxies and other systems due to dynamical friction against the dark matter. In each case, Feyerabend’s criterion directs us to interpret the experimental or observational results as an indirect refutation of the standard cosmological model in favor of Milgrom’s theory. (shrink)

One of the most difficult problems in the foundations of physics is what gives rise to the arrow of time. Since the fundamental dynamical laws of physics are (essentially) symmetric in time, the explanation for time's arrow must come from elsewhere. A promising explanation introduces a special cosmological initial condition, now called the Past Hypothesis: the universe started in a low-entropy state. Unfortunately, in a universe where there are many copies of us (in the distant ''past'' or the distant ''future''), (...) the Past Hypothesis is not enough; we also need to postulate self-locating (de se) probabilities. However, I show that we can similarly use self-locating probabilities to strengthen its rival---the Fluctuation Hypothesis, leading to in-principle empirical underdetermination and radical epistemological skepticism. The underdetermination is robust in the sense that it is not resolved by the usual appeal to 'empirical coherence' or 'simplicity.' That is a serious problem for the vision of providing a completely scientific explanation of time's arrow. (shrink)

This paper explores Kant's concept of the highest good and the postulate of the existence of God arising from it. Kant has two concepts of the highest good standing in tension with one another, an immanent and a transcendent one. I provide a systematic exposition of the constituents of both variants and show how Kant’s arguments are prone to confusion through a conflation of both concepts. I argue that once these confusions are sorted out Kant’s claim regarding the need to (...) postulate God’s existence from a moral point of view makes much more sense. (shrink)

Mellor´s theory of causation has two components, one according to which causes raise their effects´ chances, and one according to which causation links facts. I argue that these two components are not independent from each other and, in particular, that Mellor´s thesis that causation links facts requires his thesis that causes raise their effects´ chances, since without the latter thesis Mellor cannot stop the slingshot argument, an argument that is a threat to any theory postulating facts as the relata of (...) causation. (shrink)

Spinoza’s recognition of the unpredictable fortunes of individuals, explicable through the interplay between their intrinsic natures and their susceptibility to external causes, informs his account of political success and – what for him is the same thing – political virtue. Thus, a state may thrive because it has a good constitution (an internal feature), or because it was fortunate not to be surrounded by powerful enemies. Normally, however, it is the combination of both luck and internal qualities that determines the (...) fate of things. What is true about the fate of states holds equally of the fate of other types of individual, both human and non-human. In a sense, even the fate of a theory is determined by the interplay between its intrinsic virtues, and mere historical luck. A quarter century ago, shortly after I began my graduate studies in philosophy at Yale, I started thinking about writing a dissertation on Spinoza’s philosophy. A good and caring friend in my graduate cohort advised me against the idea, which he believed was tantamount to “professional suicide” given the oddity of Spinoza’s thought. Indeed, the environment of analytic philosophy in the mid- and even late-1990s was not particularly auspicious for the academic study of Spinoza. Spinoza was – rightly – considered as having little commitment to commonsense, and commitment to commonsense – the most stubborn of prejudices – was (and still is) considered by many a minimal requirement for entry into the club of “decent” philosophers. Yet, things have changed over the past twenty-five years. So much so, that recently a (non-Spinozist) early modernist colleague of mine complained to me about the futility of changing the description of an event he planned from a ‘Spinoza workshop’ into an ‘early modern philosophy workshop,’ since “one way or another, most of the submitted abstracts are going to deal with Spinoza.” Indeed, in many ways, the interest and intensity of the study of Spinoza’s philosophy in the Anglo-American world has eclipsed that of almost all other early modern philosophers, and we seem to be facing a circumstance in which Spinoza is gradually competing with, if not replacing, Kant as the compass of modern philosophy. One can list many reasons for these dramatic developments: from Spinoza’s radical naturalism, to his dismissal of the fairytales of anthropomorphic and anthropocentric religion – while Kant on these issues could at best be said to kick the ghosts from the front door while inviting them back as ‘ideas’ or ‘postulates of practical reason’ through the back door –- to his unequivocal rejection of the illusions of humanism. Still, we lack a full explanation of the recent Spinozist upheaval in North American philosophy. (shrink)

I have two main goals in this paper. The first is to argue for the thesis that Kant gave up on his highest good argument for the existence of God around 1800. The second is to revive a dialogue about this thesis that died out in the 1960s. The paper is divided into three sections. In the first, I reconstruct Kant’s highest good argument. In the second, I turn to the post-1800 convolutes of Kant’s Opus postumum to discuss his repeated (...) claim that there is only one way to argue for the existence of God, a way which resembles the highest good argument only in taking the moral law as its starting point. In the third, I explain why I do not find the counterarguments to my thesis introduced in the 1960s persuasive. (shrink)

Hilbert arithmetic in a wide sense, including Hilbert arithmetic in a narrow sense consisting by two dual and anti-isometric Peano arithmetics, on the one hand, and the qubit Hilbert space (originating for the standard separable complex Hilbert space of quantum mechanics), on the other hand, allows for an arithmetic version of Gentzen’s cut elimination and quantum measurement to be described uniformy as two processes occurring accordingly in those two branches. A philosophical reflection also justifying that unity by quantum neo-Pythagoreanism links (...) it to the opposition of propositional logic, to which Gentzen’s cut rule refers immediately, on the one hand, and the linguistic and mathematical theory of metaphor therefore sharing the same structure borrowed from Hilbert arithmetic in a wide sense. An example by hermeneutical circle modeled as a dual pair of a syllogism (accomplishable also by a Turing machine) and a relevant metaphor (being a formal and logical mistake and thus fundamentally inaccessible to any Turing machine) visualizes human understanding corresponding also to Gentzen’s cut elimination and the Gödel dichotomy about the relation of arithmetic to set theory: either incompleteness or contradiction. The metaphor as the complementing “half” of any understanding of hermeneutical circle is what allows for that Gödel-like incompleteness to be overcome in human thought. (shrink)

A principle, according to which any scientific theory can be mathematized, is investigated. That theory is presupposed to be a consistent text, which can be exhaustedly represented by a certain mathematical structure constructively. In thus used, the term “theory” includes all hypotheses as yet unconfirmed as already rejected. The investigation of the sketch of a possible proof of the principle demonstrates that it should be accepted rather a metamathematical axiom about the relation of mathematics and reality. Its investigation needs philosophical (...) means. Husserl’s phenomenology is what is used, and then the conception of “bracketing reality” is modelled to generalize Peano arithmetic in its relation to set theory in the foundation of mathematics. The obtained model is equivalent to the generalization of Peano arithmetic by means of replacing the axiom of induction with that of transfinite induction. A comparison to Mach’s doctrine is used to be revealed the fundamental and philosophical reductionism of Husserl’s phenomenology leading to a kind of Pythagoreanism in the final analysis. Accepting or rejecting the principle, two kinds of mathematics appear differing from each other by its relation to reality. Accepting the principle, mathematics has to include reality within itself in a kind of Pythagoreanism. These two kinds are called in paper correspondingly Hilbert mathematics and Gödel mathematics. The sketch of the proof of the principle demonstrates that the generalization of Peano arithmetic as above can be interpreted as a model of Hilbert mathematics into Gödel mathematics therefore showing that the former is not less consistent than the latter, and the principle is an independent axiom. An information interpretation of Hilbert mathematics is involved. It is a kind of ontology of information. Thus the problem which of the two mathematics is more relevant to our being is discussed. An information interpretation of the Schrödinger equation is involved to illustrate the above problem. (shrink)

O'Shea concludes that Sellars's attempts to preserve the core truths in Kant's theory of experience and to integrate them with an overall scientific naturalist outlook can and should survive the rejection of several central components of Sellars's proposed adaptation of Kant's transcendental idealism: ABSTRACT: "Sellars’ career-long engagement with Kant’s philosophy involved both readings of Kant and appropriations of Kant that are nuanced, original, and related in complex ways to Sellars’ own philosophical views. In some ways similar to Strawson’s classic reading, (...) Sellars defended Kant’s theory of experience and his analysis of human knowledge as essentially correct. This includes various views on the nature of conceptual cognition, the thinking self, practical reason, perceptual experience, and the lawfulness of nature. On the other hand, and again like Strawson, Sellars regarded Kant’s transcendental idealism as involving a strong ontological commitment to unknowable but thinkable (and non-spatiotemporal) ‘things in themselves’. However, whereas Strawson regarded such a position as deeply incoherent, Sellars argues that Kant’s theological conception of things in themselves can coherently be replaced with a scientific realist conception of things in themselves as theoretically postulated imperceptible processes, which play a structurally similar role for Sellars in grounding the Kantian-phenomenal ‘appearances’ in the ‘manifest image’ of the world. Sellars’ highly complex but sophisticated reading of Kant on sensibility and intuition, when combined with Sellars’ own idiosyncratic views on sensory qualia, render it even more difficult to come to terms with Sellars’ engagements with Kant’s idealism. This chapter attempts to provide a concise presentation and evaluation of certain central themes in Sellars’ complex philosophical dialogue with Kant.". (shrink)

James Levine has recently argued that there is a tension between Russell’s Moorean semantical framework and Russell’s Peano-inspired analytical practice. According to Levine, this discrepancy runs deep in Russell’s thought from 1900 to 1918, and underlies many of the doctrinal changes occurring during this period. In this paper, I suggest that, contrary to what Levine claims, there is no incompatibility between Moore’s theory of meaning and the idea of informative conceptual analysis. I show this by relating Moore’s view of meaning (...) to his Sidgwick-inspired criticism of the so-called naturalistic fallacy. I maintain that Moore’s semantical framework has a methodological intent: following Sidgwick, Moore wants to block any attempt to justify ethical principles through setting ad hoc conditions on the meaning of the terms involved. Thus, far from grounding philosophical knowledge on subjective intuitions, as Levine suggests, Moore’s framework would provide us with the means to make room for a discursive and dialectic conception of philosophical inquiry. (shrink)

Hegel attacks Kantian morality most often without stating an opposing moral theory, tending to subsequently take up discussion of religion or the state. Commentators have variously suggested the logical consequence of Hegel's position is "the dissolution of ethics in sociology" without "room for personal morality of any kind" or that Hegel's argument is against Kantian <i>Moralitat</i>, which allows the private individual to appeal beyond social mores to universal moral standards, with Hegel insisting that concrete values come instead from <i>Sittlichkeit</i>, the (...) social order. If thinking of morality as a purely private matter of the individual's conscience seems too abstract, the Hegelian criticisms should show that moral reflections are vacuous unless they take account of the social world in which they will be realized as concrete actions. From the Hegelian's perspective on morality as seen from the more inclusive context of <i>Sittlichkeit</i>, social action that is also moral will not need to be analyzed in terms of Kant's metaphysical dualisms between reason and inclination, intentions and consequences, or the sensible and the intelligible realms. Whereas Kant thinks moral theory leads directly to religious and metaphysical postulates, Hegel deliberately leads it in another direction. He can be understood historically as going beyond Kant's effort to secularize moral philosophy. Kant begins this process by grounding moral philosophy in reason alone, not in religion. Religious postulates may follow from moral beliefs, says Kant, but morality is not derived from religious premisses. In going from private moral conscience not to religious beliefs but to social, political, and historical considerations (which could include religion seen as a social institution), Hegel extends the process of secularizing moral philosophy." Marcuse and Knox could thus both be right, since Hegel's goal is not to replace Kant's moral philosophy with another, competing moral philosophy, but to accept it, while recognizing its limitations, as a special case of a larger theory of social action. In the Hegelian jargon, from a standpoint recognizing Sittlichkeit, Moralitdt is thus <i>aufgehoben</i>, that is, Kant's formal procedures will be both "negated" (criticized for their limitations) and "preserved" (embedded in a more inclusive philosophy). (shrink)

Russell’s initial project in philosophy (1898) was to make mathematics rigorous reducing it to logic. Before August 1900, however, Russell’s logic was nothing but mereology. First, his acquaintance with Peano’s ideas in August 1900 led him to discard the part-whole logic and accept a kind of intensional predicate logic instead. Among other things, the predicate logic helped Russell embrace a technique of treating the paradox of infinite numbers with the help of a singular concept, which he called ‘denoting phrase’. Unfortunately, (...) a new paradox emerged soon: that of classes. The main contention of this paper is that Russell’s new conception only transferred the paradox of infinity from the realm of infinite numbers to that of class-inclusion. Russell’s long-elaborated solution to his paradox developed between 1905 and 1908 was nothing but to set aside of some of the ideas he adopted with his turn of August 1900: (i) With the Theory of Descriptions, he reintroduced the complexes we are acquainted with in logic. In this way, he partly restored the pre-August 1900 mereology of complexes and simples. (ii) The elimination of classes, with the help of the ‘substitutional theory’, and of propositions, by means of the Multiple Relation Theory of Judgment, completed this process. (shrink)

Peano arithmetic cannot serve as the ground of mathematics for it is inconsistent to infinity, and infinity is necessary for its foundation. Though Peano arithmetic cannot be complemented by any axiom of infinity, there exists at least one (logical) axiomatics consistent to infinity. That is nothing else than a new reading at issue and comparative interpretation of Gödel’s papers (1930; 1931) meant here. Peano arithmetic admits anyway generalizations consistent to infinity and thus to some addable axiom(s) of infinity. The most (...) utilized example of those generalizations is the complex Hilbert space. Any generalization of Peano arithmetic consistent to infinity, e.g. the complex Hilbert space, can serve as a foundation for mathematics to found itself and by itself. (shrink)

In a previous volume of Ethical Theory & Moral Practice, Melis Erdur defends the provocative claim that postulating a stance-independent ground for morality constitutes a substantive moral mistake that is isomorphic to the substantive moral mistake that many realists attribute to antirealists. In this discussion paper I reconstruct Erdur’s argument and raise two objections to the general framework in which it arises. I close by explaining why rejecting Erdur’s approach doesn’t preclude normative criticism of metaethical theories.

Plato's Theaetetus rejects four explanations of how someone could falsely believe something. The Sophist accepts an explanation of how someone could falsely believe something. The problem is to fit together what Plato rejects in the Theaetetus with what he accepts in the Sophist, given the intended unity of these two dialogues. ;The traditional solution is to take the Sophist's explanation of false speech and belief to be Plato's last word on the matter, to take that explanation as somehow overreaching the (...) problems raised in the Theaetetus. I argue that this solution is unsatisfactory: Using the Cratylus, I point out a 'match-up postulate' needed for false speech, namely, that a person can 'match-up' x with y in some way or other whether or not x and y really belong together in that way. But The Theaetetus rejects this postulate. And This rejection is canonical, that is, Plato is there arguing in his own person. Now Nowhere in the Sophist is any reason given to accept this postulate, nor is it compatible with certain parts of the Sophist. Thus The Sophist's explanation does not overreach the problems raised in the Theaetetus. ;Having rejected the traditional way of fitting together the Theaetetus and Sophist, I suggest the following new way. Instead of taking the explanation of the Sophist to be Plato's last word on false speech, I take his last word to be the rejection of the various explanations in the Theaetetus. ;I motivate this suggestion by comparing Plato's peculiar style of dialogue--as found, for instance, in the Laches and Meno--with the modern, expository style of presenting philosophy. The aim of my comparison is to show that, whereas in an exposition the arguing is done in the middle followed by the conclusion at the end, in Plato's dialogue style the arguing is done in the middle followed by a denial of the conclusion at the end. (shrink)

The "semiotic threshold" is U. Eco's metaphor of the borderline between the world of semiosis and the nonsemiotic world and hence also between semiotics and its neighboring disciplines. The paper examines Eco's threshold in comparison to the views of semiosis and semiotics of C. S. Peirce. While Eco follows the structuralist tradition, postulating the conventionality of signs as the main criterion of semiosis, Peirce has a much broader concept of semiosis, which is not restricted to phenomena of culture but includes (...) many processes in nature. Whereas Eco arrives at the conclusion that biological processes, such as the ones within the immune system, cannot be included in the program of semiotic research, Peirce's broader defmition of semiosis has meanwhile become thefoundation of semiotic studies in biology and medicine and hence in biosemiotics and medical semiotics. (shrink)

D. M. Armstrong rejects various ontologies that posit truths without truthmakers. But, lest proponents of such questionable ontologies postulate suspicious truthmakers in a bid to regain ontological respectability, Armstrong requires a plausible restriction on truthmaking that eliminates such ontologies. I discuss three different candidate restrictions: categorical, natural, and intrinsic difference-making. While the categorical and natural restrictions eliminate the questionable ontologies, they also eliminate Armstrong’s own ontology. The intrinsic difference-making restriction, on the other hand, fails to eliminate any of them. Thus (...) Armstrong lacks a principled reason for rejecting such ontologies. (shrink)

Classical interpretations of Goedels formal reasoning, and of his conclusions, implicitly imply that mathematical languages are essentially incomplete, in the sense that the truth of some arithmetical propositions of any formal mathematical language, under any interpretation, is, both, non-algorithmic, and essentially unverifiable. However, a language of general, scientific, discourse, which intends to mathematically express, and unambiguously communicate, intuitive concepts that correspond to scientific investigations, cannot allow its mathematical propositions to be interpreted ambiguously. Such a language must, therefore, define mathematical truth (...) verifiably. We consider a constructive interpretation of classical, Tarskian, truth, and of Goedel's reasoning, under which any formal system of Peano Arithmetic---classically accepted as the foundation of all our mathematical Languages---is verifiably complete in the above sense. We show how some paradoxical concepts of Quantum mechanics can, then, be expressed, and interpreted, naturally under a constructive definition of mathematical truth. (shrink)