We show that Bounded Forcing Axioms (for instance, Martin's Axiom, the Bounded Proper Forcing Axiom, or the Bounded Martin's Maximum) are equivalent to principles of generic absoluteness, that is, they assert that if a $\Sigma_1$ sentence of the language of set theory with parameters of small transitive size is forceable, then it is true. We also show that Bounded Forcing Axioms imply a strong form of generic absoluteness for projective sentences, namely, if a $\Sigma^1_3$ sentence with parameters is (...) forceable, then it is true. Further, if for every real x, $x^{\sharp}$ exists, and the second uniform indiscernible is less than $\omega_2$ , then the same holds for $\Sigma^1_4$ sentences. (shrink)

According to the highly controversial “Principle of Alternative Possibilities,” an agent is morally responsible for an action only if he could have done otherwise. In this paper, I will investigate whether Aquinas accepts this principle. I will begin by arguing that if one grants Aquinas’s theory of human action, Frankfurt-style counter-examples do not succeed. For this reason, it is necessary to investigate various texts in order to discover how Aquinas views this principle. Although he does not explicitly (...) discuss it, he does discuss an axiom that is similar to this principle in various ways. I eventually conclude that, even if Aquinas would reject a strict understanding of PAP, he would only demand a relatively common modification of it. (shrink)

In this article I develop an elementary system of axioms for Euclidean geometry. On one hand, the system is based on the symmetry principles which express our a priori ignorant approach to space: all places are the same to us, all directions are the same to us and all units of length we use to create geometric figures are the same to us. On the other hand, through the process of algebraic simplification, this system of axioms directly provides (...) the Weyl’s system of axioms for Euclidean geometry. The system of axioms, together with its a priori interpretation, offers new views to philosophy and pedagogy of mathematics: it supports the thesis that Euclidean geometry is a priori, it supports the thesis that in modern mathematics the Weyl’s system of axioms is dominant to the Euclid’s system because it reflects the a priori underlying symmetries, it gives a new and promising approach to learn geometry which, through the Weyl’s system of axioms, leads from the essential geometric symmetry principles of the mathematical nature directly to modern mathematics. (shrink)

In this paper, I shall discuss several topics related to Frege’s paradigms of second-order abstraction principles and his logicism. The discussion includes a critical examination of some controversial views put forward mainly by Robin Jeshion, Tyler Burge, Crispin Wright, Richard Heck and John MacFarlane. In the introductory section, I try to shed light on the connection between logical abstraction and logical objects. The second section contains a critical appraisal of Frege’s notion of evidence and its interpretation by Jeshion, the introduction (...) of the course-of-values operator and Frege’s attitude towards Axiom V, in the expression of which this operator occurs as the key primitive term. Axiom V says that the course-of-values of the function f is identical with the course-of-values of the function g if and only if f and g are coextensional. In the third section, I intend to show that in Die Grundlagen der Arithmetik (1884) Frege hardly could have construed Hume’s Principle (HP) as a primitive truth of logic and used it as an axiom governing the cardinality operator as a primitive sign. HP expresses that the number of Fs is identical with the number of Gs if and only if F and G are equinumerous. In the fourth section, I argue that Wright falls short of making a convincing case for the alleged analyticity of HP. In the final section, I canvass Heck’s arguments for his contention that Frege knew he could deduce the simplest laws of arithmetic from HP without invoking Axiom V. I argue that they do not carry conviction. I conclude this section by rejecting an interpretation concerning HP suggested by MacFarlane. (shrink)

In this paper, I shall discuss several topics related to Frege's paradigms of second-order abstraction principles and his logicism. The discussion includes a critical examination of some controversial views put forward mainly by Robin Jeshion, Tyler Burge, Crispin Wright, Richard Heck and John MacFarlane. In the introductory section, I try to shed light on the connection between logical abstraction and logical objects. The second section contains a critical appraisal of Frege's notion of evidence and its interpretation by Jeshion, the introduction (...) of the course-of-values operator and Frege's attitude towards Axiom V, in the expression of which this operator occurs as the key primitive term. Axiom V says that the course-of-values of the function f is identical with the course-of-values of the function g if and only if f and g are coextensional. In the third section, I intend to show that in Die Grundlagen der Arithmetik Frege hardly could have construed Hume's Principle as a primitive truth of logic and used it as an axiom governing the cardinality operator as a primitive sign. HP expresses that the number of Fs is identical with the number of Gs if and only if F and G are equinumerous. In the fourth section, I argue that Wright falls short of making a convincing case for the alleged analyticity of HP. In the final section, I canvass Heck's arguments for his contention that Frege knew he could deduce the simplest laws of arithmetic from HP without invoking Axiom V. I argue that they do not carry conviction. I conclude this section by rejecting an interpretation concerning HP suggested by MacFarlane. (shrink)

We discuss in this paper the question of the scope of the principle of tolerance about languages promoted in Carnap's The Logical Syntax of Language and the nature of the analogy between it and the rudimentary conventionalism purportedly exhibited in the work of Poincaré and Hilbert. We take it more or less for granted that Poincaré and Hilbert do argue for conventionalism. We begin by sketching Coffa's historical account, which suggests that tolerance be interpreted as a conventionalism that allows (...) us complete freedom to select whatever language we wish—an interpretation that generalizes the conventionalism promoted by Poincaré and Hilbert which allows us complete freedom to select whatever axiom system we wish for geometry. We argue that such an interpretation saddles Carnap with a theory of meaning that has unhappy consequences, a theory we believe he did not hold. We suggest that the principle of linguistic tolerance in fact has a more limited scope; but within that scope the analogy between tolerance and geometric conventionalism is quite tight. (shrink)

Samuel Lebens takes the three principles of Jewish faith, as proposed by Rabbi Joseph Albo (1380-1444), in order to scrutinize and refine them with the toolkit of contemporary analytic philosophy. What could it mean for a perfect being to create a world from nothing? Could our world be anything more than a figment of God's imagination? What is the Torah? What does Judaism expect from a Messiah, and what would it mean for a world to be redeemed? These questions are (...) explored in conversation with a wide array of Jewish sources and with an eye towards diverse fields of contemporary research, such as cosmology, philosophical logic, the ontology of literature, and the metaphysics of time. The Principles of Judaism articulates the most fundamental axioms of Orthodox Judaism in the vernacular of contemporary philosophy. (shrink)

Leibniz was a philosopher of principles: the principles of Contradiction, of Sufficient Reason, of Identity of Indiscernibles, of Plenitude, of the Best, and of Continuity are among the most famous Leibnizian principles. In this article I shall focus on the first three principles; I shall discuss various formulations of the principles (sect. 1), what it means for these theses to have the status of principles or axioms in Leibniz’s philosophy (sect. 2), the fundamental character of the Principles of Contradiction (...) and Sufficient Reason (sect. 3), some attempts to demonstrate the Principles of Contradiction and Sufficient Reason (sect. 4), and one attempt to demonstrate the Principle of Identity of Indiscernibles (sect. 5). The main results of the chapter are summarized in a short conclusion (sect. 6). (shrink)

It is easy to prove in ZF− that a relation R satisfies the maximal condition if and only if its transitive hull R* does; equivalently: R is well-founded if and only if R* is. We will show in the following that, if the maximal condition is replaced by the chain condition, as is often the case in Algebra, the resulting statement is not provable in ZF− anymore . More precisely, we will prove that this statement is equivalent in ZF− to (...) the countable axiom of choice ACω. Moreover, applying this result we will prove that the axiom of dependent choices, restricted to partial orders as used in Algebra, already implies the general form for arbitrary relations as formulated first by Teichmüller and, independently, some time later by Bernays and Tarski. (shrink)

We study the theories I∇n, L∇n and overspill principles for ∇n formulas. We show that IEn ⇒ L∇n ⇒ I∇n, but we do not know if I∇n L∇n. We introduce a new scheme, the growth scheme Crγ, and we prove that L∇n ⇒ Cr∇n⇒ I∇n. Also, we analyse the utility of bounded collection axioms for the study of the above theories.

The work of Roshdi Rashed has set a landmark in many senses, but perhaps the most striking one is his inexhaustible thrive to open new paths for the study of conceptual links between science and philosophy deeply rooted in the interaction of historic with systematic perspectives. In the present talk I will focus on how a framework that has its source in philosophy of logic, interacts with some new results on the foundations of mathematics. More precisely, the main objective of (...) my brief remarks is to discuss some claims of the late Hintikka who brought forward the idea that a game-theoretical interpretation of the Axiom of Choice yields its meaning “evident”. More precisely I will show that if we develop Per Martin-Löf’s demonstration of the axiom within a dialogical setting, the claim of Hintikka can be upheld. However, the dialogical demonstration, shows that, contrary to the expectations of Hintikka, the meaning that the game-theoretical setting provides to the Axiom is compatible with constructivist rather than with classical tenets. (shrink)

본 연구는 논리학 및 수리논리학의 토대 개념인 동일성 원리에 대한 역사적인 논쟁들의 교육학적 함의를 도출하는 것이다. 이때 필자가 사용할 중심 방법은 구조-구성주의 인식론이다. 따라서 필자는 구조-구성주의 인식론의 관점에서 동일성 원리에 대한 핵심 논쟁들을 역사-비판적으로 재구성함으로써, 필자가 지속적으로 논변해 온 구조-구성주의 교수학습이론의 확고한 토대를 제공하고자 한다. 이를 위해 본고는 동일성 원리에 대한 역사발생학적 탐구와 정신발생학적 탐구를 종합한다. 구체적인 내용은 피아제의 발생학적 인식론의 관점에서 논리적 개념들 및 공리화에 대한 프레게-러셀의 선험주의적 논리주의와 비트겐슈타인의 회의론적 유명론을 동시에 비판하면서, 구조-구성주의 인식론 및 이것의 교육학적 함의를 (...) 도출하는 것이다. 본고의 최종 결론은 이것이다. 논리적 법칙 또는 공리들은 초인적인 논리학자의 선험적인 직관에 의해서 구성된 것도 아니고, 유명론적 입장의 순수 기호게임으로 환원되는 것도 아니라, 정신 발달과 함께 발달되는 주체와 대상의 상호작용의 결과물, 즉 조작적 구조들의 형식화에 근거한다. 따라서 논리학적 개념들뿐만 아니라, 모든 일반적인 개념을 교육할 때, 교사는 실체와 술어, 개념과 판단, 판단과 추론 사이에 성립되는 미시적 상호의존성과 순환성뿐만 아니라, 이들 전체들 사이에 성립하는 거시적 상호의 존성과 순환성을 동시에 고려해야 한다. (shrink)

This book seeks to offer original answers to all the major open questions in epistemology—as indicated by the book’s title. These questions and answers arise organically in the course of a validation of the entire corpus of human knowledge. The book explains how we know what we know, and how well we know it. The author presents a positive theory, motivated and directed at every step not by a need to reply to skeptics or subjectivists, but by the need of (...) a rational individual to know the world. -/- The author draws heavily from Ayn Rand’s theory of concepts as presented in her book, Introduction to Objectivist Epistemology, but departs from her epistemology—especially as explicated by leading exponents of her philosophy—in important ways. Areas of departure include the perception of entities and the role of probability theory in epistemology. -/- A main idea in the book is to begin the validation of the law of causality by identifying that existence causes our consciousness of it. Another key idea is this: The very fact that we perceive entities is the most basic and most extensive evidence that causal forces and causal interactions are regular. -/- Applying Ayn Rand’s principle that characteristics are ranges of measurement, the book offers a philosophical validation of “nonparametric predictive inference,” in turn providing an objective basis for prior probabilities in Bayesian analysis. -/- This book is primarily for a specialized readership—familiar with epistemological ideas and with Ayn Rand’s theory of concepts in particular. The last third of the book uses probability theory and mathematics somewhat beyond basic calculus, but less mathematical explanations are also included to make the general ideas accessible to lay readers. (shrink)

We tentatively propose two guiding principles for the construction of theories of physics, which should be satisfied by a possible future theory of quantum gravity. These principles are inspired by those that led Einstein to his theory of general relativity, viz. his principle of general covariance and his equivalence principle, as well as by the two mysterious dogmas of Bohr's interpretation of quantum mechanics, i.e. his doctrine of classical concepts and his principle of complementarity. An appropriate mathematical (...) language for combining these ideas is topos theory, a framework earlier proposed for physics by Isham and collaborators. Our "Principle of general tovariance" states that any mathematical structure appearing in the laws of physics must be definable in an arbitrary topos (with natural numbers object) and must be preserved under so-called geometric morphisms. This principle identifies geometric logic as the mathematical language of physics and restricts the constructions and theorems to those valid in intuitionism: neither Aristotle's principle of the excluded third nor Zermelo's Axiom of Choice may be invoked. Subsequently, our "Equivalence principle" states that any algebra of observables (initially defined in the topos Sets) is empirically equivalent to a commutative one in some other topos. (shrink)

I analyze the hierarchies of the bounded and the weak bounded forcing axioms, with a focus on their versions for the class of subcomplete forcings, in terms of implications and consistency strengths. For the weak hierarchy, I provide level-by-level equiconsistencies with an appropriate hierarchy of partially remarkable cardinals. I also show that the subcomplete forcing axiom implies Larson’s ordinal reflection principle atω2, and that its effect on the failure of weak squares is very similar to that of Martin’s (...) Maximum. (shrink)

‘The Principles of the Pure Type Theory’ is a translation of Leon Chwistek's 1922 paper ‘Zasady czystej teorii typów’. It summarizes Chwistek's results from a series of studies of the logic of Whitehead and Russell's Principia Mathematica which were published between 1912 and 1924. Chwistek's main argument involves a criticism of the axiom of reducibility. Moreover, ‘The Principles of the Pure Type Theory’ is a source for Chwistek's views on an issue in Whitehead and Russell's ‘no-class theory of classes’ involving (...) the notion of ‘scope’. (shrink)

The author uses a series of examples to illustrate two versions of a new, nonprobabilist principle of epistemic rationality, the special and general versions of the metacognitive, expected relative frequency principle. These are used to explain the rationality of revisions to an agent’s degrees of confidence in propositions based on evidence of the reliability or unreliability of the cognitive processes responsible for them—especially reductions in confidence assignments to propositions antecedently regarded as certain—including certainty-reductions to instances of the law (...) of excluded middle or the law of noncontradiction in logic or certainty-reductions to the certainties of probabilist epistemology. The author proposes special and general versions of the MERF principle and uses them to explain the examples, including the reasoning that would lead to thoroughgoing fallibilism—that is, to a state of being certain of nothing. The author responds to the main defenses of probabilism: Dutch Book arguments, Joyce’s potential accuracy defense, and the potential calibration defenses of Shimony and van Fraassen by showing that, even though they do not satisfy the probability axioms, degrees of belief that satisfy the MERF principle minimize expected inaccuracy in Joyce’s sense; they can be externally calibrated in Shimony and van Fraassen’s sense; and they can serve as a basis for rational betting, unlike probabilist degrees of belief, which, in many cases, human beings have no rational way of ascertaining. The author also uses the MERF principle to subsume the various epistemic akrasia principles in the literature. Finally, the author responds to Titelbaum’s argument that epistemic akrasia principles require that we be certain of some epistemological beliefs, if we are rational. (shrink)

Bertrand Russell presented three systems of propositional logic, one first in Principles of Mathematics, University Press, Cambridge, 1903 then in “The Theory of Implication”, Routledge, New York, London, pp. 14–61, 1906) and culminating with Principia Mathematica, Cambridge University Press, Cambridge, 1910. They are each based on different primitive connectives and axioms. This paper follows “Peirce’s Law” through those systems with the aim of understanding some of the notorious peculiarities of the 1910 system and so revealing some of the early (...) history of classical propositional logic. “Peirce’s Law” is a valid formula of elementary propositional logic: [ ⊃ p] ⊃ p This sentence is not even a theorem in the 1910 system although it is one of the axioms in 1903 and is proved as a theorem in 1906. Although it is not proved in 1910, the two lemmas from the proof in 1906 occur as theorems, and Peirce’s Law could have been derived from them in a two step proof. The history of Peirce’s Law in Russell’s systems helps to reconstruct some of the history of axiomatic systems of classical propositional logic. (shrink)

The topic of this paper may be introduced by fast zooming in and out of the philosophy of information. In recent years, philosophical interest in the nature of information has been increasing steadily. This has led to a focus on semantic information, and then on the logic of being informed, which has attracted analyses concentrating both on the statal sense in which S holds the information that p (this is what I mean by logic of being informed in the rest (...) of this article) and on the actional sense in which S becomes informed that p. One of the consequences of the logic debate has been a renewed epistemological interest in the principle of information closure (henceforth PIC), which finally has motivated a revival of a skeptical objection against its tenability first made popular by Dretske. This is the topic of the paper, in which I seek to defend PIC against the skeptical objection. If I am successful, this means – and we are now zooming out – that the plausibility of PIC is not undermined by the skeptical objection, and therefore that a major epistemological argument against the formalization of the logic of being informed based on the axiom of distribution in modal logic is removed. But since the axiom of distribution discriminates between normal and non-normal modal logics, this means that a potentially good reason to look for a formalization of the logic of being informed among the non-normal modal logics, which reject the axiom, is also removed. And this in turn means that a formalization of the logic of being informed in terms of the normal modal logic B (also known as KTB) is still very plausible, at least insofar as this specific obstacle is concerned. In short, I shall argue that the skeptical objection against PIC fails, so it is not a good reason to abandon the normal modal logic B as a good formalization of the logic of being informed. (shrink)

The method of morphisms is a well-known application of Dialectica categories to set theory. In a previous work, Valeria de Paiva and the author have asked how much of the Axiom of Choice is needed in order to carry out the referred applications of such method. In this paper, we show that, when considered in their full generality, those applications of Dialectica categories give rise to equivalents of either the Axiom of Choice or Partition Principle —which is a consequence (...) of $\textbf{AC}$ whose precise status of its relationship with$\textbf{AC}$ itself is an open problem for more than a hundred years. (shrink)

The main result of this paper is a formal argument for the principle of maximizing expected utility that does not rely on the law of large numbers. Unlike the well-known arguments by Savage and von Neumann & Morgenstern, this argument does not presuppose the sure-thing principle or the independence axiom. The principal idea is to use the concept of transformative decision rules for decomposing the principle of maximizing expected utility into a sequence of normatively reasonable subrules. It (...) is shown that this procedure provides a resolution of Allais's paradox that cannot be obtained by Savage-style or von Neumann & Morgenstern-style arguments. (shrink)

Cyclic mechanic is intended as a suitable generalization both of quantum mechanics and general relativity apt to unify them. It is founded on a few principles, which can be enumerated approximately as follows: 1. Actual infinity or the universe can be considered as a physical and experimentally verifiable entity. It allows of mechanical motion to exist. 2. A new law of conservation has to be involved to generalize and comprise the separate laws of conservation of classical and relativistic mechanics, and (...) especially that of conservation of energy: This is the conservation of action or information. 3. Time is not a uniformly flowing time in general. It can have some speed, acceleration, more than one dimension, to be discrete. 4. The following principle of cyclicity: The universe returns in any point of it. The return can be only kinematic, i.e. per a unit of energy (or mass), and thermodynamic, i.e. considering the universe as a thermodynamic whole. 5. The kinematic return, which is per a unit of energy (or mass), is the counterpart of conservation of energy, which can be interpreted as the particular case of conservation of action “per a unit of time”. The kinematic return per a unit of energy (or mass) can be interpreted in turn as another particular law of conservation in the framework of conservation of action (or information), namely conservation of wave period (or time). These two counterpart laws of conservation correspond exactly to the particle “half” and to the wave “half” of wave-particle duality. 6. The principle of quantum invariance is introduced. It means that all physical laws have to be invariant to discrete and continuous (smooth) morphisms (motions) or mathematically, to the axiom of choice. The list is not intended to be exhausted or disjunctive, but only to give an introductory idea. (shrink)

The Principle of Ariadne, formulated in 1988 ago by Walter Carnielli and Carlos Di Prisco and later published in 1993, is an infinitary principle that is independent of the Axiom of Choice in ZF, although it can be consistently added to the remaining ZF axioms. The present paper surveys, and motivates, the foundational importance of the Principle of Ariadne and proposes the Ariadne Game, showing that the Principle of Ariadne, corresponds precisely to a winning strategy (...) for the Ariadne Game. Some relations to other alternative. set-theoretical principles are also briefly discussed. (shrink)

After discussing the limitations inherent to all set-theoretic reflection principles akin to those studied by A. Lévy et. al. in the 1960s, we introduce new principles of reflection based on the general notion of Structural Reflection and argue that they are in strong agreement with the conception of reflection implicit in Cantor’s original idea of the unknowability of the Absolute, which was subsequently developed in the works of Ackermann, Lévy, Gödel, Reinhardt, and others. We then present a comprehensive survey of (...) results showing that different forms of the new principle of Structural Reflection are equivalent to well-known large cardinal axioms covering all regions of the large-cardinal hierarchy, thereby justifying the naturalness of the latter. (shrink)

In the present study of Descartes’ epistemological investigations, I have tried to show that his renowned principle of clarity and distinctness is not, in fact, one but two axioms. Most interpreters and critics have taken the two formulations of such a principle here considered as successive moments of it. At best, this position is insufficient, for each “version” of the principle of clarity and distinctness guarantees different kinds of cognitive content. Moreover, while the validity of one (...) “version” is not dependent on the thesis of God’s veracity, no such thing can be asserted of the validity of the other. These two formulations of the principle of clarity and distinctness are: 1. Whatever is clearly and distinctly perceived is true; 2. whatever we perceive clearly and distinctly as belonging to the nature of something can indeed be predicated of the thing in question. The fust formula corresponds to what I have characterized as “presentative” knowledge; the second one expresses the guarantee of “representative” knowledge. This distinction is all-important for solving the question of whether Descartes’ proofs of God’s existence and veracity---both the a priori and the a posteriori proofs that we find in the Cartesian corpus-are circular. On the basis of such a distinction, it is possible to argue that at least the ontological argument---and possibly as well the proof “par les effets”---is not at all dependent on the principle of clarity and distinctness, which in turn draws its ultimate validity from God’s faithfulness. In other words, as suggested above, only the second “version” needs to be guaranteed by God’s veracity. On the other hand, the first “version” has no normative value, for it merely describes what is the case whenever a clear and distinct cognition occurs. An example of this is our knowledge of God as the most perfect being. (shrink)

In the present study of Descartes’ epistemological investigations, I have tried to show that his renowned principle of clarity and distinctness is not, in fact, one but two axioms. Most interpreters and critics have taken the two formulations of such a principle here considered as successive moments of it. At best, this position is insufficient, for each “version” of the principle of clarity and distinctness guarantees different kinds of cognitive content. Moreover, while the validity of one (...) “version” is not dependent on the thesis of God’s veracity, no such thing can be asserted of the validity of the other. These two formulations of the principle of clarity and distinctness are: 1. Whatever is clearly and distinctly perceived is true; 2. whatever we perceive clearly and distinctly as belonging to the nature of something can indeed be predicated of the thing in question. The fust formula corresponds to what I have characterized as “presentative” knowledge; the second one expresses the guarantee of “representative” knowledge. This distinction is all-important for solving the question of whether Descartes’ proofs of God’s existence and veracity---both the a priori and the a posteriori proofs that we find in the Cartesian corpus-are circular. On the basis of such a distinction, it is possible to argue that at least the ontological argument---and possibly as well the proof “par les effets”---is not at all dependent on the principle of clarity and distinctness, which in turn draws its ultimate validity from God’s faithfulness. In other words, as suggested above, only the second “version” needs to be guaranteed by God’s veracity. On the other hand, the first “version” has no normative value, for it merely describes what is the case whenever a clear and distinct cognition occurs. An example of this is our knowledge of God as the most perfect being. (shrink)

A principle, according to which any scientific theory can be mathematized, is investigated. Social science, liberal arts, history, and philosophy are meant first of all. That kind of 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. The main statement is formulated as follows: Any scientific theory admits isomorphism to some mathematical structure in a way constructive. 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. The sketch of the proof is organized in five steps: a generalization of epoché; involving transfinite induction in the transition between Peano arithmetic and set theory; discussing the finiteness of Peano arithmetic; applying transfinite induction to Peano arithmetic; discussing an arithmetical model of reality. 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. The present paper follows a pathway grounded on Husserl’s phenomenology and “bracketing reality” to achieve the generalized arithmetic necessary for the principle to be founded in alternative ontology, in which there is no reality external to mathematics: reality is included within mathematics. That latter mathematics is able to self-found itself and can be called Hilbert mathematics in honour of Hilbert’s program for self-founding mathematics on the base of arithmetic. The principle of universal mathematizability is consistent to Hilbert mathematics, but not to Gödel mathematics. Consequently, its validity or rejection would resolve the problem which mathematics refers to our being; and vice versa: the choice between them for different reasons would confirm or refuse the principle as to the being. An information interpretation of Hilbert mathematics is involved. It is a kind of ontology of information. The Schrödinger equation in quantum mechanics is involved to illustrate that ontology. Thus the problem which of the two mathematics is more relevant to our being is discussed again in a new way A few directions for future work can be: a rigorous formal proof of the principle as an independent axiom; the further development of information ontology consistent to both kinds of mathematics, but much more natural for Hilbert mathematics; the development of the information interpretation of quantum mechanics as a mathematical one for information ontology and thus Hilbert mathematics; the description of consciousness in terms of information ontology. (shrink)

One prominent criticism of the abstractionist program is the so-called Bad Company objection. The complaint is that abstraction principles cannot in general be a legitimate way to introduce mathematical theories, since some of them are inconsistent. The most notorious example, of course, is Frege’s Basic Law V. A common response to the objection suggests that an abstraction principle can be used to legitimately introduce a mathematical theory precisely when it is stable: when it can be made true on all (...) sufficiently large domains. In this paper, we raise a worry for this response to the Bad Company objection. We argue, perhaps surprisingly, that it requires very strong assumptions about the range of the second-order quantifiers; assumptions that the abstractionist should reject. (shrink)

Without doubt, the principle of least action is a fundamental principle in classical mechanics. Contemporary physicists, however, consider the PLA as a purely mathematical principle – even an axiom which they cannot completely justify. Such an account stands in sharp contrast with the historical meaning of the PLA. When the principle was introduced in the 1740s, by Pierre-Louis Moreau de Maupertuis, its meaning was much more versatile. For Maupertuis the principle of least action signified that (...) nature is thrifty or economical in all its actions, i.e., that nature avoids to do anything unnecessary. Maupertuis understood the principle in teleological terms and even considered the principle as an expression of God’s wisdom. It has been correctly pointed out by historians that Maupertuis in his later years moved towards a more speculative and metaphysical approach, whereas his contemporary Euler and later Lagrange, wanted to avoid such theological and metaphysical implications and frame the PLA in purely mathematical terms. Such readings, however, have had the unintended side-effect that they lose out of sight the question how the mathematical and metaphysical aspect of the principle of least action fit together within Maupertuis’ own work. Investigating if and how the mathematical and metaphysical aspects of the PLA are compatible within Maupertuis’ thought will be the main goal of this paper. (shrink)

The principle of maximal entropy (further abbreviated as “MaxEnt”) can be founded on the formal mechanism, in which future transforms into past by the mediation of present. This allows of MaxEnt to be investigated by the theory of quantum information. MaxEnt can be considered as an inductive analog or generalization of “Occam’s razor”. It depends crucially on choice and thus on information just as all inductive methods of reasoning. The essence shared by Occam’s razor and MaxEnt is for the (...) relevant data known till now to be postulated as an enough fundament of conclusion. That axiom is the kind of choice grounding both principles. Popper’s falsifiability (1935) can be discussed as a complement to them: That axiom (or axiom scheme) is always sufficient but never necessary condition of conclusion therefore postulating the choice in the base of MaxEnt. Furthermore, the abstraction axiom (or axiom scheme) relevant to set theory (e.g. the axiom scheme of specification in ZFC) involves choice analogically. (shrink)

For Kant one of the goals of any critique of pure reason is to answer the question, how are a priori synthetic propositions possible? Because rationalists such as Eberhard and Wolff took the principle of sufficient reason (hereafter, the PSR) as the principle of all a priori synthetic judgments, understanding both the various formulations of this principle and arguments in favor of its use as an axiom in metaphysical reasoning provides an interesting back door to understanding The (...) Critique of Pure Reason. Despite his statements in the First Critique rejecting the PSR as a principle of judgment1, I argue that Kant was actually more sympathetic to the PSR than these passages alone would suggest. The Kant-Eberhard Controversy suggests that, even though Kant explicitly denies that the PSR can guide metaphysical reasoning, he actually presupposes its truth. I show that Kant’s position is tenable because, like the rationalists, Kant accepts the assumption that real essences exist and that they ground real possibility2; this leads him to accept the truth of all clear statements of the PSR. Unlike the rationalists, however, he does not accept the assumption that human understanding is isomorphic with real essences. As a result, Kant rejects only the use of the PSR to determine a priori the existence or properties of a thing. In this paper I hope to illuminate this position. I will begin with a survey of the various formulations of the PSR that have been put forward by Kant and his predecessors: Leibniz, Eberhard, and Wolff. Then I will examine Wolff and Eberhard’s arguments in favor of the PSR along with Kant’s criticisms of these arguments. Lastly, I will show why Kant rejected the very possibility of justifying this use of the PSR while presupposing its truth. (shrink)

The Italian philosopher Giambattista Vico developed a theoretical framework for the study of human sciences that exerted a strong influence on psychology and other human sciences. He backed the unity of the knowledge about human mind and culture, including history, linguistics, philosophy, philology, epistemology, psychology, and for the first time proposed a method for their study that he ambitiously called ‘new science’. The article presents an overview of Vico’s thought and discusses some of the main axioms of his theoretical (...) system. His critique of Cartesianism as the alternative epistemology he outlined is put forward as a thoughtful tool for reflection on contemporary psychological science. This retrospective look at Vico’s idea would finally provide useful insights for a programmatic view on cultural psychology. (shrink)

The principle of set theory known as the Axiom of Choice has been hailed as “probably the most interesting and, in spite of its late appearance, the most discussed axiom of mathematics, second only to Euclid's axiom of parallels which was introduced more than two thousand years ago” (Fraenkel, Bar-Hillel & Levy 1973, §II.4). The fulsomeness of this description might lead those unfamiliar with the axiom to expect it to be as startling as, say, the Principle of the (...) Constancy of the Velocity of Light or the Heisenberg Uncertainty Principle. But in fact the Axiom of Choice as it is usually stated appears humdrum, even self-evident. For it amounts to nothing more than the claim that, given any collection of mutually disjoint nonempty sets, it is possible to assemble a new set — a transversal or choice set — containing exactly one element from each member of the given collection. Nevertheless, this seemingly innocuous principle has far-reaching mathematical consequences — many indispensable, some startling — and has come to figure prominently in discussions on the foundations of mathematics. It (or its equivalents) have been employed in countless mathematical papers, and a number of monographs have been exclusively devoted to it. (shrink)

A generalization of the axioms of choice says that all the Skolem functions of a true first‐order sentence exist. This generalization can be implemented on the first‐order level by generalizing the rule of existential instantiation into a rule of functional instantiation. If this generalization is carried out in first‐order axiomatic set theory , it is seen that in any model of FAST, there are sentences S which are true but whose Skolem functions do not exist. Since this existence is (...) what the truth of S means in a combinational sense, in any model of FAST there are sentences which are set‐theoretical “true” but false in the normal sense of the word. This shows that the assumptions on which the axiom of choice rests cannot be fully implemented in FAST. The axiom choice is not a set‐theoretical principle. (shrink)

A generalization of the axioms of choice says that all the Skolem functions of a true first‐order sentence exist. This generalization can be implemented on the first‐order level by generalizing the rule of existential instantiation into a rule of functional instantiation. If this generalization is carried out in first‐order axiomatic set theory, it is seen that in any model of FAST, there are sentences S which are true but whose Skolem functions do not exist. Since this existence is what (...) the truth of S means in a combinational sense, in any model of FAST there are sentences which are set‐theoretical “true” but false in the normal sense of the word. This shows that the assumptions on which the axiom of choice rests cannot be fully implemented in FAST. The axiom choice is not a set‐theoretical principle. (shrink)

It is argued first, that Spinoza's Principle of Sufficient Reason (PSR) is best seen as an auxiliary premise and not as an axiom of the Ethics; second, that Spinoza held the PSR to be a self-evident truth that indicates a necessary condition for clearly and distinctly representing the existence or non-existence of a thing; and third, that this interpretation of Spinoza's PSR explains the near absence of the PSR within the demonstrations of the Ethics as well as the importance (...) of the principle in Spinoza's thought. (shrink)

In this paper I argue that the positivist–conventionalist interpretation of the Restricted Principle of Relativity is flawed, due to the positivists’ own understanding of conventions and their origins. I claim in the paper that, to understand the conventionalist thesis, one has to diambiguate between three types of convention; the linguistic conventions stemming from the fundamental role of mathematical axioms, the conventions stemming from the coordination betweeh theoretical statements and physical, observable facts or entities, and conventions that are made (...) possible by possible revisions to theory. I claim that it is not possible to interpret the Principle of Relativity as based on one of these three types of convention. This renders the conventionalist interpretation of the Principle of Relativity untenable. The paper is part of a larger project that aims to understand the philosophical significance of the Principle of Relativity. (shrink)

In this paper I argue that the positivist–conventionalist interpretation of the Restricted Principle of Relativity is flawed, due to the positivists’ own understanding of conventions and their origins. I claim in the paper that, to understand the conventionalist thesis, one has to diambiguate between three types of convention; the linguistic conventions stemming from the fundamental role of mathematical axioms (conceptual conventions), the conventions stemming from the coordination betweeh theoretical statements and physical, observable facts or entities (coordinative definitions), and (...) conventions that are made possible by possible revisions to theory (the thesis of empirical underdetermination). I claim that it is not possible to interpret the Principle of Relativity as based on one of these three types of convention. This renders the conventionalist interpretation of the Principle of Relativity untenable. The paper is part of a larger project that aims to understand the philosophical significance of the Principle of Relativity. (shrink)

A generalized version of Martin's axiom, called BACH, is shown to be equivalent to one of its combinatorial consequences, a generalization of P(c).

The quantification theory of propositions in Russell’s Principles of Mathematics has been the subject of an intensive study and in reconstruction has been found to be complete with respect to analogs of the truths of modern quantification theory. A difficulty arises in the reconstruction, however, because it presents universally quantified exportations of five of Russell’s axioms. This paper investigates whether a formal system can be found that is more faithful to Russell’s original prose. Russell offers axioms that are (...) universally quantified implications that have antecedent clauses that are conjunctions. The presence of conjunctions as antecedent clauses seems to doom the theory from the onset, it will be found that there is no way to prove conjunctions so that, after universal instantiation, one can detach the needed antecedent clauses. Amalgamating two of Russell’s axioms, this paper overcomes the difficulty. (shrink)

This article addresses the use of foreign law in constitutional adjudication. We draw on the ideas of wide reflective equilibrium and public reason in order to defend an engagement model of comparative adjudication. According to this model, the judicial use of foreign law is justified if it proceeds by testing and mutually adjusting the principles and rulings of our constitutional doctrines against reasonable alternatives, as represented by the principles and rulings of other reasonable doctrines. By this, a court points to (...) a wide reflective equilibrium, justifying its own interpretations with reasonable arguments, i.e. arguments that are acceptable from the perspectives defined by other constitutional doctrines, as endorsed by other courts. The point of a judicial engagement of this sort is to work out an overlap between different, reasonable, doctrines in the judicial forum, as part of a liberal forum of public reason. Here, the exercise of public reason filters out the premises of comprehensive doctrines so as to leave us in the region of an overlapping consensus: a region of mid-level principles that can be shared, notwithstanding the fact of legal pluralism. (shrink)