After sketching the historical development of “emergence” and noting several recent problems relating to “emergent properties”, this essay proposes that properties may be either “emergent” or “mergent” and either “intrinsic” or “extrinsic”. These two distinctions define four basic types of change: stagnation, permanence, flux, and evolution. To illustrate how emergence can operate in a purely logical system, the Geometry of Logic is introduced. This new method of analyzing conceptual systems involves the mapping of logical relations onto geometrical figures, (...) following either an analytic or a synthetic pattern (or both together). Evolution is portrayed as a form of discontinuous change characterized by emergent properties that take on an intrinsic quality with respect to the object(s) or proposition(s) involved. Causal leaps, not continuous development, characterize the evolution of human life in a developing foetus, of a thought out of certain brain states, of a new idea (or insight) out of ordinary thoughts, and of a great person out of a set of historical experiences. The tendency to assume that understanding evolutionary change requires a step-by-step explanation of the historical development that led to the appearance of a certain emergent property is thereby discredited. (shrink)

The latest draft (posted 05/14/22) of this short, concise work of proof, theory, and metatheory provides summary meta-proofs and verification of the work and results presented in the Theory and Metatheory of Atemporal Primacy and Riemann, Metatheory, and Proof. In this version, several new and revised definitions of terms were added to subsection SS.1; and many corrected equations, theorems, metatheorems, proofs, and explanations are included in the main text. The body of the text is approximately 18 pages, with 3 sections; (...) 1, an Introduction (with a 108 page listing of key terms & definitions), sect. 2, the Results, sect. 3, Discussion (commentary & predictions), and sect. 4, Works Cited. As much as possible, the style is intended for readability and understanding by very bright children (with some interest & knowledge of maths, etc.) and very interested nonprofessionals. The results of this project also enable upgrades of number theory, set theory, proof theory, metamathematics, the foundations of science, and quantum mechanics theory (etc.). (shrink)

An arithmetic theory of oppositions is devised by comparing expressions, Boolean bitstrings, and integers. This leads to a set of correspondences between three domains of investigation, namely: logic, geometry, and arithmetic. The structural properties of each area are investigated in turn, before justifying the procedure as a whole. Io finish, I show how this helps to improve the logical calculus of oppositions, through the consideration of corresponding operations between integers.

John Corcoran and George Boger. Aristotelian logic and Euclidean geometry. Bulletin of Symbolic Logic. 20 (2014) 131. -/- By an Aristotelian logic we mean any system of direct and indirect deductions, chains of reasoning linking conclusions to premises—complete syllogisms, to use Aristotle’s phrase—1) intended to show that their conclusions follow logically from their respective premises and 2) resembling those in Aristotle’s Prior Analytics. Such systems presuppose existence of cases where it is not obvious that the conclusion (...) follows from the premises: there must be something deductions can show. Corcoran calls a proposition that follows from given premises a hidden consequence of those premises if it is not obvious that the proposition follows from those premises. By a Euclidean geometry we mean an extended discourse beginning with basic premises—axioms, postulates, definitions—1) treating a universe of geometrical figures and 2) resembling Euclid’s Elements. There were Euclidean geometries before Euclid (fl. 300 BCE), even before Aristotle (384–322 BCE). Bochenski, Lukasiewicz, Patzig and others never new this or if they did they found it inconvenient to mention. Euclid shows no awareness of Aristotle. It is obvious today—as it should have been obvious in Euclid’s time, if anyone knew both—that Aristotle’s logic was insufficient for Euclid’s geometry: few if any geometrical theorems can be deduced from Euclid’s premises by means of Aristotle’s deductions. Aristotle’s writings don’t say whether his logic is sufficient for Euclidean geometry. But, there is not even one fully-presented example. However, Aristotle’s writings do make clear that he endorsed the goal of a sufficient system. Nevertheless, incredible as this is today, many logicians after Aristotle claimed that Aristotelian logics are sufficient for Euclidean geometries. This paper reviews and analyses such claims by Mill, Boole, De Morgan, Russell, Poincaré, and others. It also examines early contrary statements by Hintikka, Mueller, Smith, and others. Special attention is given to the argumentations pro or con and especially to their logical, epistemic, and ontological presuppositions. What methodology is necessary or sufficient to show that a given logic is adequate or inadequate to serve as the underlying logi of a given science. (shrink)

We introduce and study a variety of modal logics of parallelism, orthogonality, and affine geometries, for which we establish several completeness, decidability and complexity results and state a number of related open, and apparently difficult problems. We also demonstrate that lack of the finite model property of modal logics for sufficiently rich affine or projective geometries (incl. the real affine and projective planes) is a rather common phenomenon.

We discuss the relationship between logic, geometry and probability theory under the light of a novel approach to quantum probabilities which generalizes the method developed by R. T. Cox to the quantum logical approach to physical theories.

Evolution and geometry generate complexity in similar ways. Evolution drives natural selection while geometry may capture the logic of this selection and express it visually, in terms of specific generic properties representing some kind of advantage. Geometry is ideally suited for expressing the logic of evolutionary selection for symmetry, which is found in the shape curves of vein systems and other natural objects such as leaves, cell membranes, or tunnel systems built by ants. The topology (...) and geometry of symmetry is controlled by numerical parameters, which act in analogy with a biological organism’s DNA. The introductory part of this paper reviews findings from experiments illustrating the critical role of two-dimensional (2D) design parameters, affine geometry and shape symmetry for visual or tactile shape sensation and perception-based decision making in populations of experts and non-experts. It will be shown that 2D fractal symmetry, referred to herein as the “symmetry of things in a thing”, results from principles very similar to those of affine projection. Results from experiments on aesthetic and visual preference judgments in response to 2D fractal trees with varying degrees of asymmetry are presented. In a first experiment (psychophysical scaling procedure), non-expert observers had to rate (on a scale from 0 to 10) the perceived beauty of a random series of 2D fractal trees with varying degrees of fractal symmetry. In a second experiment (two-alternative forced choice procedure), they had to express their preference for one of two shapes from the series. The shape pairs were presented successively in random order. Results show that the smallest possible fractal deviation from “symmetry of things in a thing” significantly reduces the perceived attractiveness of such shapes. The potential of future studies where different levels of complexity of fractal patterns are weighed against different degrees of symmetry is pointed out in the conclusion. (shrink)

In this manuscript, published here for the first time, Tarski explores the concept of logical notion. He draws on Klein's Erlanger Programm to locate the logical notions of ordinary geometry as those invariant under all transformations of space. Generalizing, he explicates the concept of logical notion of an arbitrary discipline.

Despite the efforts undertaken to separate scientific reasoning and metaphysical considerations, despite the rigor of construction of mathematics, these are not, in their very foundations, independent of the modalities, of the laws of representation of the world. The OdC shows that the logical Facts Exist neither more nor less than the Facts of the world which are Facts of Knowledge. Mathematical facts are representation facts. The primary objective of this article is to integrate the subject into mathematics as a mode (...) of emergence of meaning and then to evaluate its consequences. (shrink)

This paper is about Poincaré’s view of the foundations of geometry. According to the established view, which has been inherited from the logical positivists, Poincaré, like Hilbert, held that axioms in geometry are schemata that provide implicit definitions of geometric terms, a view he expresses by stating that the axioms of geometry are “definitions in disguise.” I argue that this view does not accord well with Poincaré’s core commitment in the philosophy of geometry: the view that (...) geometry is the study of groups of operations. In place of the established view I offer a revised view, according to which Poincaré held that axioms in geometry are in fact assertions about invariants of groups. Groups, as forms of the understanding, are prior in conception to the objects of geometry and afford the proper definition of those objects, according to Poincaré. Poincaré’s view therefore contrasts sharply with Kant’s foundation of geometry in a unique form of sensibility. According to my interpretation, axioms are not definitions in disguise because they themselves implicitly define their terms, but rather because they disguise the definitions which imply them. (shrink)

I investigate the role of geometric intuition in Frege’s early mathematical works and the significance of his view of the role of intuition in geometry to properly understanding the aims of his logicist project. I critically evaluate the interpretations of Mark Wilson, Jamie Tappenden, and Michael Dummett. The final analysis that I provide clarifies the relationship of Frege’s restricted logicist project to dominant trends in German mathematical research, in particular to Weierstrassian arithmetization and to the Riemannian conceptual/geometrical tradition at (...) Göttingen. Concurring with Tappenden, I hold that Frege’s logicism should not be understood as a continuing a project of reductionist arithmetization. However, Frege does not quite take up the Riemannian banner either. His logicism supports a hierarchical understanding of the structure of mathematical knowledge, according to which arithmetic is applicable to geometry but not vice versa because the former is more general, as revealed by the strictly logical nature of its objects in comparison to the intuitional nature of geometric objects. I suggest, in particular, that Frege intended that foundational work would show the use of geometric intuition in complex analysis, a source of error for Riemann that Weierstrass was proud to have uncovered, to be inessential. (shrink)

The mathematical developments of the 19th century seemed to undermine Kant’s philosophy. Non-Euclidean geometries challenged Kant’s view that there is a spatial intuition rich enough to yield the truth of Euclidean geometry. Similarly, advancements in algebra challenged the view that temporal intuition provides a foundation for both it and arithmetic. Mathematics seemed increasingly detached from experience as well as its form; moreover, with advances in symbolic logic, mathematical inference also seemed independent of intuition. This paper considers various philosophical (...) responses to these changes, focusing on the idea of modifying Kant’s conception of intuition in order to accommodate the increasing abstractness of mathematics. It is argued that far from clinging to an outdated paradigm, programs based on new conceptions of intuition should be seen as motivated by important philosophical desiderata, such as the truth, apriority, distinctiveness and autonomy of mathematics. (shrink)

Since the early days of physics, space has called for means to represent, experiment, and reason about it. Apart from physicists, the concept of space has intrigued also philosophers, mathematicians and, more recently, computer scientists. This longstanding interest has left us with a plethora of mathematical tools developed to represent and work with space. Here we take a special look at this evolution by considering the perspective of Logic. From the initial axiomatic efforts of Euclid, we revisit the major (...) milestones in the logical representation of space and investigate current trends. In doing so, we do not only consider classical logic, but we indulge ourselves with modal logics. These present themselves naturally by providing simple axiomatizations of different geometries, topologies, space-time causality, and vector spaces. (shrink)

Logical monism is the view that there is ‘One True Logic’. This is the default position, against which pluralists react. If there were not ‘One True Logic’, it is hard to see how there could be one true theory of anything. A theory is closed under a logic! But what is logical monism? In this article, I consider semantic, logical, modal, scientific, and metaphysical proposals. I argue that, on no ‘factualist’ analysis (according to which ‘there is One (...) True Logic’ expresses a factual claim, rather than an attitude like approval), does the doctrine have both metaphysical and methodological import. Metaphysically, logics abound. Methodologically, what to infer from what is not settled by the facts, even the normative ones. I conclude that the only interesting sense in which there could be One True Logic is noncognitive. The same may be true of monism about normative areas, like moral, epistemic, and prudential ones, generally. (shrink)

We discuss the mathematical structures that underlie quantum probabilities. More specifically, we explore possible connections between logic, geometry and probability theory. We propose an interpretation that generalizes the method developed by R. T. Cox to the quantum logical approach to physical theories. We stress the relevance of developing a geometrical interpretation of quantum mechanics.

If there is an area of discourse in which disagreement is virtually absent, it is mathematics. After all, mathematicians justify their claims with deductive proofs: arguments that entail their conclusions. But is mathematics really exceptional in this respect? Looking at the history and practice of mathematics, we soon realize that it is not. First, deductive arguments must start somewhere. How should we choose the starting points (i.e., the axioms)? Second, mathematicians, like the rest of us, are fallible. Their ability to (...) recognize whether a putative proof is correct is not infallible. In most cases, disagreement over the correctness of a putative proof is, however, evanescent. Once an error is spotted and communicated, the disagreement disappears. But this is not always the case. Sometimes it is recalcitrant; that is, it persists over time. In order to zoom in on this type of disagreement and explain its very possibility, we focus on a single case study: a decades-long (1921-1949) controversy between Federigo Enriques and Francesco Severi, two prominent exponents of the Italian school of algebraic geometry. We suggest that the instability of the mathematical community to which they belonged can be explained by the gap between an abstract criterion of rigor and local criteria of acceptability. It is this instability that made the existence of recalcitrant disagreement over putative proofs possible. We do not condemn speculative mathematics but rather its pretense of being rigorous mathematics. In this respect, we show that the overly self-confident Severi and the more intuitive, visionary Enriques had a completely different attitude. (shrink)

Kant's arguments for the synthetic a priori status of geometry are generally taken to have been refuted by the development of non-Euclidean geometries. Recently, however, some philosophers have argued that, on the contrary, the development of non-Euclidean geometry has confirmed Kant's views, for since a demonstration of the consistency of non-Euclidean geometry depends on a demonstration of its equi-consistency with Euclidean geometry, one need only show that the axioms of Euclidean geometry have 'intuitive content' in (...) order to show that both Euclidean and non-Euclidean geometry are bodies of synthetic a priori truths. Michael Friedman has argued that this defence presumes a polyadic conception of logic that was foreign to Kant. According to Friedman, Kant held that geometrical reasoning itself relies essentially on intuition, and that this precludes the very possibility of non-Euclidean geometry. While Friedman's characterization of Kant's views on geometrical reasoning is correct, I argue that Friedman's conclusion that non-Euclidean geometries are logically impossible for Kant is not. I argue that Kant is best understood as a proto-constructivist and that modern constructive axiomatizations (unlike Hilbert-style axiomatizations) of both Euclidean and non-Euclidean geometry capture Kant's views on the essentially constructive nature of geometrical reasoning well. (shrink)

Descartes holds that the tell-tale sign of a solid proof is that its entailments appear clearly and distinctly. Yet, since there is a limit to what a subject can consciously fathom at any given moment, a mnemonic shortcoming threatens to render complex geometrical reasoning impossible. Thus, what enables us to recall earlier proofs, according to Descartes, is God’s benevolence: He is too good to pull a deceptive switch on us. Accordingly, Descartes concludes that geometry and belief in God must (...) go hand in hand. However, I argue that, while theism adds a layer of psychological reassurance, the mind-independent reality of God would ensure the preservation of past demonstrations for atheists as well. (shrink)

Traditional geometry concerns itself with planimetric and stereometric considerations, which are at the root of the division between plane and solid geometry. To raise the issue of the relation between these two areas brings with it a host of different problems that pertain to mathematical practice, epistemology, semantics, ontology, methodology, and logic. In addition, issues of psychology and pedagogy are also important here. To our knowledge there is no single contribution that studies in detail even one of (...) the aforementioned areas. (shrink)

The physical singularity of life phenomena is analyzed by means of comparison with the driving concepts of theories of the inert. We outline conceptual analogies, transferals of methodologies and theoretical instruments between physics and biology, in addition to indicating significant differences and sometimes logical dualities. In order to make biological phenomenalities intelligible, we introduce theoretical extensions to certain physical theories. In this synthetic paper, we summarize and propose a unified conceptual framework for the main conclusions drawn from work spanning a (...) book and several articles, quoted throughout. (shrink)

Gravitation is interpreted to be an “ontomathematical” force or interaction rather than an only physical one. That approach restores Newton’s original design of universal gravitation in the framework of “The Mathematical Principles of Natural Philosophy”, which allows for Einstein’s special and general relativity to be also reinterpreted ontomathematically. The entanglement theory of quantum gravitation is inherently involved also ontomathematically by virtue of the consideration of the qubit Hilbert space after entanglement as the Fourier counterpart of pseudo-Riemannian space. Gravitation can be (...) also interpreted as purely mathematical or logical “force” or “interaction” as a corollary from its ontomathematical (rather than physical) realization. The ontomathematical approach to gravitation is implicit in general relativity equating it to operators in pseudo-Riemannian space obeying the Einstein field equation and also well-known by the “geometrization of physics”. Quantum mechanics shares the same by the separable complex Hilbert space and defining “physical quantity” by the Hermitian operators on it. One can interpret special Minkowski space involved by special relativity and the qubit Hilbert space of quantum information as Fourier counterparts immediately noticing that general relativity means gravitation as the Fourier counterpart of non-Hermitian operators implying non-unitarity and the violation of energy conservation and thus destroying Pauli’s particle paradigm. Since the Standard model obeys it, this explains the impossibility of “quantum gravitation” in any framework conservatively generalizing the Standard model so that it would include gravitation along with electromagnetic, weak, and strong interactions. Einstein’s geometrization of gravitation can be continued into a purely mathematical theory of it following Euclid’s realization for geometry to be exhaustively built in a deductive and axiomatic way as well as Riemann’s parametrization of all the class of Euclidean and non-Euclidean geometries by “space curvature”, then being generalized to Minkowski space as the operators on pseudo-Riemannian space as the Einstein field equation means gravitation. The transition from mathematical gravitation to logical one can rely on the historical lesson of the pair of Lobachevski’s and Riemann’s approaches now “reversely”, i.e., from the latter to the former. Logical gravitation is linkable to Hegel’s dialectical logic and ontological dialectics abandoning their interpretations as a new zero logic substituting classical propionyl logic. The approach of ontomathematics generalizing that of ontology, traceable even to Aristotle’s reformation of Plato’s doctrine, needs Hegel’s doctrine to be formalized as a first-order logic naturally containing Boolean algebra, isomorphic to both classical propositional logic and set theory being the class of all first-order logics, as a sub-logic along with Peano arithmetic as another sub-logic. The first-order logic at issue is called Hilbert arithmetic and elaborated in detail in other papers. It allows for both self-foundation of mathematics to be internally proved as complete and furthermore, quantum mechanics reinterpreted as quantum information to be included by the qubit Hilbert space interpretable in turn as a dual and physical counterpart of Hilbert arithmetic in a narrow sense, that is, both counterparts constitute Hilbert arithmetic in a wide sense, being mathematical and physical simultaneously and thus overcoming the Cartesian dualism of “body” gapped from “mind” by an abyss. Then, the proper philosophical interpretation of gravitation to be the fundamental ontomathematical force or interaction overcomes the ridiculous belief of the Big Bang wrongly alleged to be a scientific theory. Ontomathematical gravitation suggests an omnipresent and omnitemporal medium of “God’s” creation “ex nihilo” following only the natural necessity of quantum-information conservation particularly and locally manifested as energy conservation. (shrink)

The global relation between logical empiricism and American pragmatism is one of the more difficult problems in history of philosophy. In this paper I’d like to take a local perspective and concentrate on the details that concern the vicissitudes of a philosopher who played an important role in the encounter of logical empiricism and American pragmatism, namely, Ernest Nagel. In this paper, I want to explore some aspects of Nagel’s changing attitude towards the then „new“ logical-empiricist philosophy. In the beginning (...) Nagel welcomed logical empiricism whole-heartedly. This early enthusiasm did not last. At the end of his philosophical career Nagel’s early positive attitude towards logical empiricism shown in the 1930s had been replaced by a much more reserved one. Nagel’s growing dissatisfaction with the Carnapian version of logical empiricist philosophy was clearly expressed in Nagel’s criticism of Carnap’s inductive logic and more generally in his last book Teleology Revisited and Other Essays on History and Philosophy of Science. There he critized harshly Carnap’s philosophy of science in general as ahistoric and non-pragmatist. One of the distinctive features of Nagel’s philosophy of science is the emphasis that he put on the role of history of science for philosophy of science. A compelling evidence for this attitude are his works on the history and philosophy of geometry and algebra One may say that Carnap and Nagel represented opposed possibilities of how the profession of a philosopher of science could be understood: Carnap as a „conceptual engineer“ was engaged in the task of inventing the conceptual tools for a better theoretical understanding of science, while Nagel was to be considered more as a „public intellectual“ engaged in the project of realizing a more rational and enlightened society. (shrink)

This paper aims to deal with the disputes on transferring demonstration between the various sciences in the context of the medicine-geometry relationship. According to Aristotle’s metabasis-prohibition, these two sciences should be located in separate compartments due to the characteristics of their subject-matter. However, a thorough analysis of the critical passage in Aristotle’s Posterior Analytics on circular wounds forces a revision of the boundaries of the interactions between sciences, since subsequently Avicenna, on the grounds of this passage, would widen the (...) area of the transference of demonstration. Furthermore, the fact that Avicenna and Ibn al-Nafīs continued to use geometrical demonstrations in their anatomical investigations shows the need to understand kind-crossing prohibition as a reminder to take into account the present scientific infrastructure and logical rules before proceeding onto a scientific investigation instead of accepting it as a mere nominal doctrine. Therefore, whether kind-crossing was possible or not depended on the extent to which the conclusion derived at the end of the scientific investigation, using a different method after taking into account all these reminders, had contributed to the solution of a particular proposition or the achievement of an approximate truth. (shrink)

We present an elementary system of axioms for the geometry of Minkowski spacetime. It strikes a balance between a simple and streamlined set of axioms and the attempt to give a direct formalization in first-order logic of the standard account of Minkowski spacetime in [Maudlin 2012] and [Malament, unpublished]. It is intended for future use in the formalization of physical theories in Minkowski spacetime. The choice of primitives is in the spirit of [Tarski 1959]: a predicate of betwenness (...) and a four place predicate to compare the square of the relativistic intervals. Minkowski spacetime is described as a four dimensional ‘vector space’ that can be decomposed everywhere into a spacelike hyperplane - which obeys the Euclidean axioms in [Tarski and Givant, 1999] - and an orthogonal timelike line. The length of other ‘vectors’ are calculated according to Pythagora’s theorem. We conclude with a Representation Theorem relating models of our system that satisfy second order continuity to the mathematical structure called ‘Minkowski spacetime’ in physics textbooks. (shrink)

Girolamo Saccheri (1667--1733) was an Italian Jesuit priest, scholastic philosopher, and mathematician. He earned a permanent place in the history of mathematics by discovering and rigorously deducing an elaborate chain of consequences of an axiom-set for what is now known as hyperbolic (or Lobachevskian) plane geometry. Reviewer's remarks: (1) On two pages of this book Saccheri refers to his previous and equally original book Logica demonstrativa (Turin, 1697) to which 14 of the 16 pages of the editor's "Introduction" are (...) devoted. At the time of the first edition, 1920, the editor was apparently not acquainted with the secondary literature on Logica demonstrativa which continued to grow in the period preceding the second edition \ref[see D. J. Struik, in Dictionary of scientific biography, Vol. 12, 55--57, Scribner's, New York, 1975]. Of special interest in this connection is a series of three articles by A. F. Emch [Scripta Math. 3 (1935), 51--60; Zbl 10, 386; ibid. 3 (1935), 143--152; Zbl 11, 193; ibid. 3 (1935), 221--333; Zbl 12, 98]. (2) It seems curious that modern writers believe that demonstration of the "nondeducibility" of the parallel postulate vindicates Euclid whereas at first Saccheri seems to have thought that demonstration of its "deducibility" is what would vindicate Euclid. Saccheri is perfectly clear in his commitment to the ancient (and now discredited) view that it is wrong to take as an "axiom" a proposition which is not a "primal verity", which is not "known through itself". So it would seem that Saccheri should think that he was convicting Euclid of error by deducing the parallel postulate. The resolution of this confusion is that Saccheri thought that he had proved, not merely that the parallel postulate was true, but that it was a "primal verity" and, thus, that Euclid was correct in taking it as an "axiom". As implausible as this claim about Saccheri may seem, the passage on p. 237, lines 3--15, seems to admit of no other interpretation. Indeed, Emch takes it this way. (3) As has been noted by many others, Saccheri was fascinated, if not obsessed, by what may be called "reflexive indirect deductions", indirect deductions which show that a conclusion follows from given premises by a chain of reasoning beginning with the given premises augmented by the denial of the desired conclusion and ending with the conclusion itself. It is obvious, of course, that this is simply a species of ordinary indirect deduction; a conclusion follows from given premises if a contradiction is deducible from those given premises augmented by the denial of the conclusion---and it is immaterial whether the contradiction involves one of the premises, the denial of the conclusion, or even, as often happens, intermediate propositions distinct from the given premises and the denial of the conclusion. Saccheri seemed to think that a proposition proved in this way was deduced from its own denial and, thus, that its denial was self-contradictory (p. 207). Inference from this mistake to the idea that propositions proved in this way are "primal verities" would involve yet another confusion. The reviewer gratefully acknowledges extensive communication with his former doctoral students J. Gasser and M. Scanlan. ADDED 14 March 14, 2015: (1) Wikipedia reports that many of Saccheri's ideas have a precedent in the 11th Century Persian polymath Omar Khayyám's Discussion of Difficulties in Euclid, a fact ignored in most Western sources until recently. It is unclear whether Saccheri had access to this work in translation, or developed his ideas independently. (2) This book is another exemplification of the huge difference between indirect deduction and indirect reduction. Indirect deduction requires making an assumption that is inconsistent with the premises previously adopted. This means that the reasoner must perform a certain mental act of assuming a certain proposition. It case the premises are all known truths, indirect deduction—which would then be indirect proof—requires the reasoner to assume a falsehood. This fact has been noted by several prominent mathematicians including Hardy, Hilbert, and Tarski. Indirect reduction requires no new assumption. Indirect reduction is simply a transformation of an argument in one form into another argument in a different form. In an indirect reduction one proposition in the old premise set is replaced by the contradictory opposite of the old conclusion and the new conclusion becomes the contradictory opposite of the replaced premise. Roughly and schematically, P,Q/R becomes P,~R/~Q or ~R, Q/~P. Saccheri’s work involved indirect deduction not indirect reduction. (3) The distinction between indirect deduction and indirect reduction has largely slipped through the cracks, the cracks between medieval-oriented logic and modern-oriented logic. The medievalists have a heavy investment in reduction and, though they have heard of deduction, they think that deduction is a form of reduction, or vice versa, or in some cases they think that the word ‘deduction’ is the modern way of referring to reduction. The modernists have no interest in reduction, i.e. in the process of transforming one argument into another having exactly the same number of premises. Modern logicians, like Aristotle, are concerned with deducing a single proposition from a set of propositions. Some focus on deducing a single proposition from the null set—something difficult to relate to reduction. (shrink)

Accounts of Hobbes’s ‘system’ of sciences oscillate between two extremes. On one extreme, the system is portrayed as wholly axiomtic-deductive, with statecraft being deduced in an unbroken chain from the principles of logic and first philosophy. On the other, it is portrayed as rife with conceptual cracks and fissures, with Hobbes’s statements about its deductive structure amounting to mere window-dressing. This paper argues that a middle way is found by conceiving of Hobbes’s _Elements of Philosophy_ on the model of (...) a mixed-mathematical science, not the model provided by Euclid’s _Elements of Geometry_. I suggest that Hobbes is a test case for understanding early-modern system-construction more generally, as inspired by the structure of the applied mathematical sciences. This approach has the additional virtue of bolstering, in a novel way, the thesis that the transformation of philosophy in the long seventeenth century was heavily indebted to mathematics, a thesis that has increasingly come under attack in recent years. (shrink)

The relationship between the One and the Multiple in mystic philosophy is a profound and central theme that explores the nature of existence, the cosmos, and the divine. This theme is present in various mystical traditions, including those of the East and West, and it addresses the paradoxical coexistence of the unity and multiplicity of all things. -/- In mystic philosophy, the **One** often represents the ultimate reality, the source from which all things emanate and to which all things return. (...) It is the absolute, the infinite, and the unchanging. The One is beyond all attributes and is often associated with the divine or the absolute truth. -/- The **Multiple**, on the other hand, represents the manifest world, the diversity of forms, and the realm of change and plurality. It is the world we experience through our senses, the domain of time and space, where differentiation and individuality are apparent. -/- The relationship between the One and the Multiple is not one of opposition but of emanation and unity. The Multiple is seen as a reflection, expression, or manifestation of the One. In this sense, the diversity of the world doesn’t contradict the unity of the One but rather demonstrates it in a myriad of forms. -/- Mystics seek to understand and experience this relationship through various practices and insights. They aim to transcend the illusion of separation and duality to experience the non-dual reality where the One and the Multiple are recognized as inseparable. -/- This concept can be illustrated by the metaphor of the ocean and its waves. The ocean represents the One—vast, deep, and all-encompassing—while the waves represent the Multiple—distinct, diverse, and ever-changing. Each wave is unique, yet it is not separate from the ocean. The wave’s existence is dependent on and made of the same substance as the ocean. In the same way, each individual entity in the Multiple is an expression of the One. -/- In summary, the relationship between the One and the Multiple in mystic philosophy is a dynamic interplay that challenges the conventional understanding of separation. It invites a deeper exploration of reality, where the apparent multiplicity of the world is a direct expression of the singular, underlying essence of all that is. -/- The relationship between the One and the Multiple in the context of mathematical philosophy is a profound topic that touches upon the very foundations of existence and knowledge. It’s a theme that has been explored by philosophers and mathematicians alike, often leading to the contemplation of unity and diversity within the structures of reality. -/- In mathematics, the concept of the One can be seen as the basis of unity from which all numbers derive. It’s the identity element in multiplication, the starting point in counting, and the foundation of dimension in geometry. The One is often associated with the concept of monism in philosophy, which posits that there is a single, underlying substance or principle that constitutes reality. -/- On the other hand, the Multiple represents the infinite variety and diversity of forms and numbers that arise from the One. It’s the embodiment of plurality and the complex interplay of different entities that mathematics seeks to understand and describe. This reflects the philosophical stance of pluralism, which acknowledges the existence of multiple realities or truths. -/- The interplay between the One and the Multiple can be seen in the mathematical concept of sets. A set can be thought of as a unity, a whole composed of distinct elements. Yet, each element within the set also retains its individuality, contributing to the diversity of the set’s composition. This duality is mirrored in the philosophical exploration of the universal and the particular, where the universal represents the One, and the particulars represent the Multiple. -/- In the realm of mathematical philosophy, this relationship often leads to questions about the nature of mathematical objects: Are they discovered as part of an objective reality (the One), or are they constructed by the human mind from a multitude of experiences (the Multiple)? This debate resonates with the philosophical inquiry into the nature of truth and reality. -/- Reflecting on the One and the Multiple can also lead to a deeper understanding of the self and the cosmos. Just as the number one is integral to the existence of all other numbers, the individual self can be seen as a unique expression of the universal whole. Similarly, the cosmos can be viewed as a grand unity composed of a multiplicity of forms and phenomena. -/- Gödel’s incompleteness theorems have a fascinating connection to the philosophical concepts of the One and the Multiple. These theorems, which are pivotal in mathematical logic and philosophy of mathematics, articulate the inherent limitations of formal axiomatic systems, particularly those sufficient to express the arithmetic of natural numbers. -/- Gödel’s incompleteness theorems have a fascinating connection to the philosophical concepts of the One and the Multiple. These theorems, which are pivotal in mathematical logic and philosophy of mathematics, articulate the inherent limitations of formal axiomatic systems, particularly those sufficient to express the arithmetic of natural numbers⁴. -/- The **first incompleteness theorem** reveals that within any such consistent system, there are propositions that are true but cannot be proven within the system itself. This reflects the idea of the Multiple in that there is an abundance of mathematical truths, a multiplicity that exceeds the unifying framework of any one system. It suggests that the realm of mathematical truth is more extensive than any single formal system can fully capture. -/- The **second incompleteness theorem** extends this by showing that a system cannot prove its own consistency. This relates to the concept of the One, as it implies that a system’s complete self-understanding, its unity and coherence, is unattainable from within. It must look beyond itself, to an external vantage point, to ascertain its consistency. -/- In the context of the One and the Multiple, Gödel’s theorems imply that the One (a consistent formal system) is inherently incomplete and cannot encompass the Multiple (the totality of mathematical truths). This resonates with philosophical discussions about the relationship between unity and plurality. Just as a single philosophical system cannot capture the entirety of truth, a single formal mathematical system cannot encapsulate all mathematical truths. -/- Moreover, Gödel’s work suggests that the pursuit of a single, unified theory of everything in mathematics—a One that encompasses all Multiples—is an inherently Sisyphean task. There will always be more truths (Multiples) than can be derived from any given set of axioms (the One). -/- In essence, Gödel’s incompleteness theorems provide a formal underpinning to the philosophical notion that the One cannot exist without the Multiple, and vice versa. They are interdependent, with the One giving rise to the Multiple, and the Multiple necessitating the One for its expression and comprehension. This interplay is a dance of limitations and possibilities, where the boundaries of logic, mathematics, and philosophy blur into one another. -/- The relationship between the One and the Multiple in the context of the mathematics of zero is a deeply philosophical inquiry that bridges the abstract world of numbers with the existential questions of being and non-being. -/- Zero, in mathematics, is a symbol of absence, a representation of nothingness, yet it holds a pivotal position as a number. It is the void from which all things emerge and to which they return. In the philosophy of mathematics, zero is the paradoxical junction where the One and the Multiple converge and diverge. -/- From the perspective of the One, zero can be seen as the origin—the singular point that precedes the existence of numbers. It is the empty set, the foundation upon which the edifice of mathematics is constructed. As the identity element in addition, zero maintains the integrity of numbers, for adding zero to any number leaves it unchanged, reflecting the immutable nature of the One. -/- Conversely, when we consider the Multiple, zero represents the infinite potentiality of creation. It is the canvas upon which the integers, both positive and negative, express their multitude. Zero is the balance point, the fulcrum around which the symphony of numbers dances. It embodies the plurality of possibilities, the beginning of the number line that stretches infinitely in both directions. -/- Philosophically, zero challenges our understanding of existence. It is both something and nothing—a number that quantifies the absence of quantity. This duality echoes the philosophical struggle to comprehend how the One gives rise to the Multiple. How does the unity of being manifest the diversity of the cosmos? Zero offers a mathematical metaphor for this mystery, as it encapsulates the transition from non-existence to existence, from the undifferentiated One to the differentiated Multiple. -/- In the realm of set theory, zero corresponds to the empty set—a set with no elements. This set is unique in that it is the only set that contains nothing, yet it is the foundation upon which all other sets are built. The empty set is the mathematical embodiment of the One, and all other sets, containing multiple elements, arise from it. -/- Reflecting on zero in the context of Gödel’s incompleteness theorems, we find a resonance with the idea that the One (a consistent formal system) cannot capture the entirety of the Multiple (the totality of mathematical truths). Zero, as the foundation of numbers, similarly suggests that from the nothingness of the One, the infinite complexity of the Multiple emerges—yet it can never be fully encompassed or expressed by any single system. -/- In conclusion, the mathematics of zero offers a profound reflection on the relationship between the One and the Multiple. It serves as a bridge between the abstract and the concrete, the known and the unknowable, challenging us to ponder the origins of existence and the nature of reality itself. -/- . (shrink)

Some people believe that critical thinking is not a modern science, but its roots are old and deeply rooted in the history of philosophy. Its roots date back to Aristotle, the inventor of logic and who was called the first teacher by virtue of this invention. Aristotle was impressed by the language of mathematics and wanted to invent a language to logic similar to the language of Mathematics. What encouraged Aristotle to do so is that Math language is (...) quite different from daily life language. For example , when you say one in Mathematics language, what is this one you mean or intend? That is what is one? Is it a specific man or an animal or something abstract or any creature of the creatures of the natural world? The one we are talking about is neither this nor that and you can use it to talk about one human being or one animal or one creature. Therefore, the concept of the one is something abstract and it is so far from the creatures of the exterior world. Geometry has the same case. Triangle, quarter and rectangle as such are mere geometrical shapes and are far away from real life language. But when we use them in our daily life language we give them specific life meanings. -/- As I said, Aristotle was impressed by the language of Mathematics and wanted to build a similar language for logic .The rationale behind this is to get away from the language of ambiguity caused by the use of daily life language .One word or utterance in a language has many usages in one language or when translated into other languages , and therefore it causes many problems in usage instead of simplifying it and this is what Aristotle tried to avoid. Aristotle chose letters instead of words, the letter is part of the word, and the letter is meaningless unless it is a part of the word. The meaning of a letter depends on its occurrence in the word. If you compose a word from a group of letters and use it , it becomes ambiguous because it becomes part of the used language. -/- However, Aristotle did not combine letters in a word but he used them as abstract letters and gave them meanings in the language of logic where there is no divergence about its use. Aristotle used them in syllogism and they mean the limits of reason . Until recently critical thinking was part of formal logic and learning it means that you have logical background or at least you are familiar with the rules and fundamentals of logic. But critical thinking theorists soon took the initiative to separate it from logic because the latter started to suffer from its rules which are difficult to understand and which require some awareness and thoughts on the part of the scholar to understand. Hence , critical thinking is not supposed to possess a background of logic and it adopts a specific questioning approach where it suggests a number of questions the practitioner of critical thinking has to successively answer since he has to make sure that the opinion he reaches does not rely on any subjective considerations. This is how the skills that are acquired on a continuum of related critical questions are established ,this is not to mention that the concept of critical thinking itself is usually defined in this context as the awareness of such kinds of questions and the ability to arouse and answer them at appropriate times. My paper explains, How to be able to implement these skills in high education and what are the benefits of these skills? The paper includes; Critical Thinking and Logic Socrates `s Approach The impact of critical thinking on teaching methods Questioning How questions are organized in the light of critical thinking? Using Critical Thinking in Problem-Solving Use of Non-Oral language in Critical Thinking. (shrink)

We examine some of Connes’ criticisms of Robinson’s infinitesimals starting in 1995. Connes sought to exploit the Solovay model S as ammunition against non-standard analysis, but the model tends to boomerang, undercutting Connes’ own earlier work in functional analysis. Connes described the hyperreals as both a “virtual theory” and a “chimera”, yet acknowledged that his argument relies on the transfer principle. We analyze Connes’ “dart-throwing” thought experiment, but reach an opposite conclusion. In S , all definable sets of reals are (...) Lebesgue measurable, suggesting that Connes views a theory as being “virtual” if it is not definable in a suitable model of ZFC. If so, Connes’ claim that a theory of the hyperreals is “virtual” is refuted by the existence of a definable model of the hyperreal field due to Kanovei and Shelah. Free ultrafilters aren’t definable, yet Connes exploited such ultrafilters both in his own earlier work on the classification of factors in the 1970s and 80s, and in Noncommutative Geometry, raising the question whether the latter may not be vulnerable to Connes’ criticism of virtuality. We analyze the philosophical underpinnings of Connes’ argument based on Gödel’s incompleteness theorem, and detect an apparent circularity in Connes’ logic. We document the reliance on non-constructive foundational material, and specifically on the Dixmier trace −∫ (featured on the front cover of Connes’ magnum opus) and the Hahn–Banach theorem, in Connes’ own framework. We also note an inaccuracy in Machover’s critique of infinitesimal-based pedagogy. (shrink)

John Corcoran. 1979 Review of Hintikka and Remes. The Method of Analysis (Reidel, 1974). Mathematical Reviews 58 3202 #21388. -/- The “method of analysis” is a technique used by ancient Greek mathematicians (and perhaps by Descartes, Newton, and others) in connection with discovery of proofs of difficult theorems and in connection with discovery of constructions of elusive geometric figures. Although this method was originally applied in geometry, its later application to number played an important role in the early development (...) of algebra [Jacob Klein, English translation, Greek mathematical thought and the origin of algebra, especially pp. 154–157, M.I.T. Press, Cambridge, Mass., 1968]. -/- It is universally agreed that the method of analysis begins by “assuming the thing sought after” (e.g., in geometry, the truth of the proposition to be proved or the existence of the geometric figure to be constructed). Aside from this, little else can be taken for granted. There is disagreement concerning the “direction of analysis”, i.e. whether one is to seek implications of the assumption or whether one is to seek implicants of it. There is also disagreement concerning what is to be “anatomized” (analyzed), i.e., whether one analyzes mathematical objects (figures), mathematical propositions (the axioms, known theorems, and analytic assumption) or an imagined proof (of the analytic assumption from axioms and known theorems). (shrink)

After coining the term “philopsychy” to describe a “soul-loving” approach to philosophical practice, especially when it welcomes a creative synthesis of philosophy and psychology, this article identifies a system of geometrical figures (or “maps”) that can be used to stimulate reflection on various types of perspectival differences. The maps are part of the author’s previously established mapping methodology, known as the Geometry of Logic. As an illustration of how philosophy can influence the development of psychology, Immanuel Kant’s table (...) of twelve categories and Carl Jung’s theory of psychological types are shown to share a common logical structure. Just as Kant proposes four basic categories, each expressed in terms of three subordinate categories, Jung proposes four basic personality functions, each having three possible manifestations. The concluding section presents four scenarios illustrating how such maps can be used in philosophical counseling sessions to stimulate philopsychic insight. (shrink)

Standard histories of mathematics and of analytic philosophy contend that work on the foundations of mathematics was motivated by a crisis such as the discovery of paradoxes in set theory or the discovery of non-Euclidean geometries. Recent scholarship, however, casts doubt on the standard histories, opening the way for consideration of an alternative motive for the study of the foundations of mathematics—unification. Work on foundations has shown that diverse mathematical practices could be integrated into a single framework of axiomatic systems (...) and that much of mathematics could be expressed in a single language. The new framework was the product of an interdisciplinary coalition whose ideas resemble those later adopted by the Vienna Circle and logical empiricists. (shrink)

This article accomplishes two goals. First, the paper clarifies Edmund Husserl’s investigation of the historical inception of the number system from his early works, Philosophy of Arithmetic and, “On the Logic of Signs (Semiotic)”. The article explores Husserl’s analysis of five historical developmental stages, which culminated in our ancestor’s ability to employ and enumerate with number signs. Second, the article reveals how Husserl’s conclusions about the history of the number system from his early works opens up a fusion point (...) with his investigations from his mature texts, The Crisis of the European Sciences and “The Origin of Geometry”. On the one hand, the essay shows that Husserl’s methodology was similar, as he sought in both his early and late writings to uncover the essence of the history of the formal sciences and was not executing mere intellectual history. On the other hand, the article discloses that Husserl’s insights from both time periods are strikingly analogous. Already in his early texts, Husserl saw that the sciences emerged from pre-theoretical experiences of the world and that the sciences are the result of a historical process, which involves the psychic activities of past individuals and the maintaining of discoveries over time by intersubjective communities. I conclude by showing how, in light of the analysis of this paper, we can rethink the evolution of Husserl’s philosophy. (shrink)

I start with some famous comments by the philosopher (psychologist) Ludwig Wittgenstein because Pinker shares with most people (due to the default settings of our evolved innate psychology) certain prejudices about the functioning of the mind and because Wittgenstein offers unique and profound insights into the workings of language, thought and reality (which he viewed as more or less coextensive) not found anywhere else. The last quote is the only reference Pinker makes to Wittgenstein in this volume, which is most (...) unfortunate considering that he was one of the most brilliant and original analysts of language. -/- In the last chapter, using the famous metaphor of Plato’s cave, he beautifully summarizes the book with an overview of how the mind (language, thought, intentional psychology) –a product of blind selfishness, moderated only slightly by automated altruism for close relatives carrying copies of our genes--works automatically, but tries to end on an upbeat note by giving us hope that we can nevertheless employ its vast capabilities to cooperate and make the world a decent place to live. -/- Pinker is certainly aware of but says little about the fact that far more about our psychology is left out than included. Among windows into human nature that are left out or given minimal attention are math and geometry, music and sounds, images, events and causality, ontology (classes of things), dispositions (believing, thinking, judging, intending etc) and the rest of intentional psychology of action, neurotransmitters and entheogens, spiritual states (e.g, satori and enlightenment, brain stimulation and recording, brain damage and behavioral deficits and disorders, games and sports, decision theory (incl. game theory and behavioral economics), animal behavior (very little language but a billion years of shared genetics). Many books have been written about each of these areas of intentional psychology. The data in this book are descriptions, not explanations that show why our brains do it this way or how it is done. How do we know to use the sentences in their various way (i.e., know all their meanings)? This is evolutionary psychology that operates at a more basic level –the level where Wittgenstein is most active. And there is scant attention to context. -/- Nevertheless this is a classic work and with these cautions is still well worth reading. -/- Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle’ 2nd ed (2019). Those interested in more of my writings may see ‘Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 3rd ed (2019), The Logical Structure of Human Behavior (2019), and Suicidal Utopian Delusions in the 21st Century 4th ed (2019). (shrink)

Formal systems are standardly envisaged in terms of a grammar specifying well-formed formulae together with a set of axioms and rules. Derivations are ordered lists of formulae each of which is either an axiom or is generated from earlier items on the list by means of the rules of the system; the theorems of a formal system are simply those formulae for which there are derivations. Here we outline a set of alternative and explicitly visual ways of envisaging and analyzing (...) at least simple formal systems using fractal patterns of infinite depth. Progressively deeper dimensions of such a fractal can be used to map increasingly complex wffs or increasingly complex 'value spaces', with tautologies, contradictions, and various forms of contingency coded in terms of color. This and related approaches, it turns out, offer not only visually immediate and geometrically intriguing representations of formal systems as a whole but also promising formal links (1) between standard systems and classical patterns in fractal geometry, (2) between quite different kinds of value spaces in classical and infinite-valued logics, and (3) between cellular automata and logic. It is hoped that pattern analysis of this kind may open possibilities for a geometrical approach to further questions within logic and metalogic. (shrink)

With his influence on the development of physiology, physics and geometry, Hermann von Helmholtz – like few scientists of the second half of the 19th century – is representative of the research in natural science in Germany. The development of his understanding of science is not less representative. Until the late sixties, he emphatically claimed the truth of science; later on, he began to see the conditions for the validity of scientific knowledge in relative terms, and this can, in (...) summary, be referred to as hypothesizing. Already in the past century, HeImholtz made first approaches to an understanding of science, which were incompatible with his own former position and which pointed to the modern age to an astonishingly large extent. A comparison with Karl R. Popper's logic of research will illustrate how closely he nevertheless approached modern understanding of science. In Popper's logic of research, hypothesizing of scientific knowledge is definitely much more advanced than in Helmholtz's theory of science. What begins vaguely to emerge with Helmholtz has already become an explicitly formulated programme with Popper. Although HeImholtz and Popper are not on a direct line of epistemological development and Popper refers to HeImholtz only rarely and casually, there are in fact surprising points of contact which have not been taken notice of so far and which appear above all if one looks at Helmholtz's understanding of science against the background of Popper's logic of research. (shrink)

This book tries to present math to the millions and does a pretty good job. It is simple and sometimes witty but often the literary allusions intrude and the text bogs down in pages of relentless math--lovely if you like it and horrid if you don´t. If you already know alot of math you will still probably find the discussions of general math, geometry, projective geometry, and infinite series to be a nice refresher. If you don´t know any (...) and don´t have a natural talent for it, you will find it very dense or impossible. Being somewhere in the middle I skimmed thru most of it and slowed down when it got interesting. If you have only a little time I would suggest the last chapter ´The Abyss` about Georg Cantor and transfinite arithmetic. -/- At points they wax philosophical and ask the perennial question: is math is out there in the world or in here in our heads. Why not ask this about art or music or literature or computer programs or philosophy itself? In a very general way math must come from the same place that words and ideas and images come from---our brain evolved to make them and they must in many ways (every way?) reflect the structure of our brains, which reside in our DNA, which was shaped by natural selection, which was shaped by the geology of the earth and the structure of our universe, which comes from particle physics which comes from the laws of nature which are just there. -/- I have written extensively on the nature of math and language and mind and how they are all one in my many other reviews so please see them if these topics interest you. Those interested in all my writings in their most recent versions may consult my e-book Philosophy, Human Nature and the Collapse of Civilization - Articles and Reviews 2006-2016 662p (2016). -/- All of my papers and books have now been published in revised versions both in ebooks and in printed books. -/- Talking Monkeys: Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet - Articles and Reviews 2006-2017 (2017) https://www.amazon.com/dp/B071HVC7YP. -/- The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle--Articles and Reviews 2006-2016 (2017) https://www.amazon.com/dp/B071P1RP1B. -/- Suicidal Utopian Delusions in the 21st century: Philosophy, Human Nature and the Collapse of Civilization - Articles and Reviews 2006-2017 (2017) https://www.amazon.com/dp/B0711R5LGX -/- . (shrink)

It has been recently argued that the well-known square of opposition is a gathering that can be reduced to a one-dimensional figure, an ordered line segment of positive and negative integers [3]. However, one-dimensionality leads to some difficulties once the structure of opposed terms extends to more complex sets. An alternative algebraic semantics is proposed to solve the problem of dimensionality in a systematic way, namely: partition (or bitstring) semantics. Finally, an alternative geometry yields a new and unique pattern (...) of oppositions that proceeds with colored diagrams and an increasing set of bitstrings. (shrink)

Nelson Goodman observed that we use only certain ‘good’ (viz. projectible) predicates during reasoning, with no obvious demarcation criterion in sight to distinguish them from the bad and gruesome ones. This apparent arbitrariness undermines the justifiability of our reasoning practices. Inspired by Quine’s 1969 paper on Natural Kinds, Peter Gärdenfors proposes a cognitive criterion based on his theory of Conceptual Spaces (CS). He argues the good predicates are those referring to natural concepts, and that we can capture naturalness in terms (...) of similarity. In contrast to Quine, he does not primarily rely on logic, but geometry. He frames his account as a descriptive project, however, and it is not obvious how it addresses the normative dimension of Goodman’s Riddle. This paper develops a charitable reconstruction of his argument, based on the idea that the instrumental success of our projectible concepts is grounded in their cognitive-pragmatic naturalness. It then explores three lines of reasoning against the argument: Evolutionarily motivated skepticism, the miracles argument, and the relation between instrumental and pragmatic success. I conclude that in its current form, the CS account fails to provide any justification of reasoning beyond appealing to its instrumental success, and that a metaphysically robust notion of naturalness helps to achieve the desired goal. (shrink)

The deterministic or probabilistic laws of our representations and our science do not link what “is” to what “will be” but what “I know” to what “I could know”. Consistency is not a predicate on the physical laws of the world but on the logical laws of Meaning. If you cannot convince yourself of that. If you want to believe that the Softmatter of the Meaning cannot be more consistent than the Hardmatter of the physical world. Think again ... ...and (...) try to answer this question : Why would it be less unlikely for a physical world to evolve from the big bang to individuated knowing persons than for an amorphous interdependence to assemble (logically) individuated representations of the world ? (shrink)

“Neutrosophics Knowledge” has been created for publications on advanced studies in neutrosophy, neutrosophic set, neutrosophic logic, neutrosophic probability, neutrosophic statistics that started in 1995 and their applications in any field, such as the neutrosophic structures developed in algebra, geometry, topology, etc. The submitted papers should be professional, in good English and Arabic, containing a brief review of a problem and obtained results. Neutrosophy is a new branch of philosophy that studies the origin, nature, and scope of neutralities, as (...) well as their interactions with different ideational spectra. (shrink)

Since antiquity well into the beginnings of the 20th century geometry was a central topic for philosophy. Since then, however, most philosophers of science, if they took notice of topology at all, considered it as an abstruse subdiscipline of mathematics lacking philosophical interest. Here it is argued that this neglect of topology by philosophy may be conceived of as the sign of a conceptual sea-change in philosophy of science that expelled geometry, and, more generally, mathematics, from the central (...) position it used to have in philosophy of science and placed logic at center stage in the 20th century philosophy of science. Only in recent decades logic has begun to loose its monopoly and geometry and topology received a new chance to find a place in philosophy of science. (shrink)

"There is something fascinating about science. One gets such wholesale returns of conjecture out of such a trifling investment of fact" Mark Twain-Life on the Mississippi -/- This is a lovely book full of fascinating info on the evolution of physics and cosmology. Its main theme is how the idea of higher dimensional geometry created by Riemann, recently extended to 24 dimensions by string theory, has revolutionized our understanding of the universe. Everyone knows that Riemann created multidimensional geometry (...) in 1854 but it is amazing to learn that he also was a physicist who believed that it held the key to explaining the fundamental laws of physics. Maxwell´s equations did not exist then and Riemann´s untimely death at age 39 prevented his pursuit of these ideas. Both he and his British translator Clifford believed that magnetic and electric fields resulted from the bending of space in the 4th dimension-more than 50 years before Einstein! The fourth dimension became a standard subject in the popular media for the next 50 years with several stories by HG Wells using it and even Lenin wrote about it. The American mathematician Hinton had widely publicized his idea that light is a vibration in the 4th spatial dimension. Amazingly, physicists and most mathematicians forgot about it and when Einstein was looking for the math needed to encompass general relativity 60 years later, he had never heard of Riemannian geometry. He spent 3 years trying to find the equations for general relativity and only after a math friend told him about Riemann was he able to complete his work. Riemann´s equations with four dimensional metric tensors describing every point in space were incorporated almost unchanged into relativity. And on and on it goes. Since this review I have written a great deal on the language games of math and science, uncertainty, incompleteness, the limits of computation etc., so those interested should find them useful since this volume like most science frequently wanders across the line into philosophy (scientism). -/- Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle’ 2nd ed (2019). Those interested in more of my writings may see ‘Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 3rd ed (2019), The Logical Structure of Human Behavior (2019), and Suicidal Utopian Delusions in the 21st Century 4th ed (2019). (shrink)

This largely expository lecture deals with aspects of traditional solid geometry suitable for applications in logic courses. Polygons are plane or two-dimensional; the simplest are triangles. Polyhedra [or polyhedrons] are solid or three-dimensional; the simplest are tetrahedra [or triangular pyramids, made of four triangles]. -/- A regular polygon has equal sides and equal angles. A polyhedron having congruent faces and congruent [polyhedral] angles is not called regular, as some might expect; rather they are said to be subregular—a word (...) coined for this lecture. To repeat, a subregular polyhedron has congruent faces and congruent [polyhedral] angles. A subregular polyhedron whose faces are all regular polygons is regular—using standard terminology. -/- Geometers before Euclid showed that there are “essentially” only five regular polyhedra: every regular polyhedron is a tetrahedron (4 faces), a hexahedron or cube (6 faces), an octahedron (8 faces), a dodecahedron (12 faces), or an icosahedron (20 faces). -/- The first question is whether there are subregular polyhedra that are not regular. For example, are there tetrahedra having congruent angles and congruent triangular faces but whose faces are not equilateral triangles? -/- Another question is the classification of subregular polyhedra if they exist. For example, considering the fact that the regular tetrahedra all have equilateral triangles as faces, we ask which triangles other than equilaterals are faces of subregular tetrahedra. Similarly, considering the fact that the regular hexahedra all have squares as faces, we ask which quadrangles other than squares are faces of subregular hexahedra. -/- After introductory remarks that include historical and philosophical points, we concentrate on tetrahedra. A triangle that is congruent to each of the four faces of a tetrahedron is called a generator of the tetrahedron. The main result proved is that every acute triangle is a generator of a subregular tetrahedron. The proof includes an algorithm –implementable with scissors and paper –that constructs from any given acute triangle a subregular tetrahedron whose faces are congruent to the given triangle. -/- Algorithm: Given any acute triangle. Construct a similar triangle whose sides are double the sides of the given triangle. Draw the three lines connecting the three midpoints of the sides (making four triangles congruent to the given triangle—a central triangle surrounded by three peripheral triangles). Make three “hinges” along the lines connecting the midpoints. “Fold” the peripheral triangles together (into a tetrahedron). [LIGHTLY EDITED VERSION OF PRINTED ABSTRACT] Acknowledgements: William Lawvere, Colin McLarty, Irvin Miller, Frango Nabrasa, Lawrence Spector, Roberto Torretti, and Richard Vesley. -/- . (shrink)

A framework is developed for understanding what is “taken for granted” both in philosophy and in life generally, which may serve to orient philosophical inquiry and make it more effective. The framework takes in language and its development, as well as mathematics, logic, and the empirical sphere with particular reference to the exigencies of life. It is evaluated through consideration of seven philosophical issues concerned with such topics as solipsism, sense data as the route to knowledge, the possible reduction (...) of geometry to logic, and the existence and status of human rights. Various dichotomies and the notion of continuity are evidently highly strategic. (shrink)

General Relativity generated various early philosophical interpretations. His adherents have highlighted the "relativization of inertia" and the concept of simultaneity, Kantians and Neo-Kantians have underlined the approach of certain synthetic "intellectual forms" (especially the principle of general covariance, and logical empirics have emphasized the philosophical methodological significance of the theory. Reichenbach approached the GR through the "relativity of geometry" thesis, trying to build a "constructive axiomatization" of relativity based on "elementary matters of fact" (Elementartatbestande) for the observable behavior of (...) light rays, rods and clocks. The mathematician Hermann Weyl attempted a reconstruction of Einstein's theory based on the epistemology of a "pure infinitesimal geometry", an extended geometry with additional terms that formally identified with the potential of the electromagnetic field. DOI: 10.13140/RG.2.2.11641.93281. (shrink)

When it comes to the question of how much the state ought to punish a given offender, the standard understanding of the desert theory for centuries has been that it should give him a penalty proportionate to his offense, that is, an amount of punishment that fits the severity of his crime. In this article, part of a special issue on the geometry of desert, we maintain that a desert theorist is not conceptually or otherwise required to hold a (...) proportionality requirement. We show that there is logical space for at least two other, non-proportionate ways of meting out deserved penalties, and we also argue that they have important advantages relative to the dominant, proportionality approach. (shrink)

Je commence par quelques commentaires célèbres par le philosophe (psychologue) Ludwig Wittgenstein parce que Pinker partage avec la plupart des gens (en raison des paramètres par défaut de notre psychologie innée évoluée) certains préjugés sur le fonctionnement de l’esprit, et parce que Wittgenstein offre des idées uniques et profondes dans le fonctionnement du langage, la pensée et la réalité (qu’il considérait comme plus ou moins coextensive) ne trouve nulle part ailleurs. Lare est seulement une référence à Wittgenstein dans ce volume, (...) ce qui est très malheureux étant donné qu’il était l’analyste le plus brillant et original de la langue. Dans le dernier chapitre, en utilisant la célèbre métaphore de la grotte de Platon, il résume magnifiquement le livre avec un aperçu de la façon dont l’esprit (langage, pensée, psychologie intentionnelle) - un produit de l’égoïsme aveugle, modéré que légèrement par l’altruisme automatisé pour les proches portant des copies de nos gènes (Inclusive Fitness)- fonctionne automatiquement, mais tente de se terminer sur une note optimiste en nous donnant l’espoir que nous pouvons néanmoins utiliser ses vastes capacités pour coopérer et faire du monde un endroit décent pour vivre. Pinker est certainement au courant, mais dit peu sur le fait que beaucoup plus sur notre psychologie est laissé de côté que inclus. Parmi les fenêtres de la nature humaine qui sont laissées de côté ou qui reçoivent un minimum d’attention, on peut lire les mathématiques et la géométrie, la musique et les sons, les images, les événements et la causalité, l’ontologie (classes de choses ou ce que nous savons), la plupart de l’épistémologie (comment nous le savons), les dispositions (croire, penser, juger, avoir l’intention, etc.) et le reste de la psychologie intentionnelle de l’action, des neurotransmetteurs et des enthéogènes, des états spirituels (p. ex. satori et illumination, stimulation et enregistrement du cerveau, lésions cérébrales et déficits comportementaux et troubles, jeux et sports, théorie de la décision (théorie des jeux et économie comportementale), comportement animal (très peu de langage mais un milliard d’années de génétique partagée). De nombreux livres ont été écrits sur chacun de ces domaines de la psychologie intentionnelle. Les données de ce livre sont des descriptions, pas des explications qui montrent pourquoi notre cerveau le fait de cette façon ou comment il est fait. Comment pouvons-nous utiliser les phrases de leur manière (c.-à-d., connaître toutes leurs significations)? Il s’agit d’une psychologie évolutive qui fonctionne à un niveau plus fondamental, c’est-à-dire le niveau où Wittgenstein est le plus actif. Et il y a peu d’attention au contexte dans lequel les mots sont utilisés - une arène que Wittgenstein a lancée. Néanmoins, il s’agit d’une oeuvre classique et avec ces mises en garde est encore bien la peine de lire. Ceux qui souhaitent un cadre complet à jour pour le comportement humain de la vue moderne de deuxemssyst peuvent consulter mon livre 'The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle' 2nd ed (2019). Ceux qui s’intéressent à plus de mes écrits peuvent voir «Talking Monkeys --Philosophie, Psychologie, Science, Religion et Politique sur une planète condamnée --Articles et revues 2006-2019 3e ed (2019) et Suicidal Utopian Delusions in the 21st Century 4th ed (2019) et autres. (shrink)

Ich beginne mit einigen berühmten Kommentaren des Philosophen (Psychologen) Ludwig Wittgenstein, weil Pinker mit den meisten Menschen (aufgrund der Standardeinstellungen unserer entwickelten angeborenen Psychologie) bestimmte Vorurteile über das Funktionieren desGeistes teilt und weil Wittgenstein einzigartige und tiefgründige Einblicke in das Wirken von Sprache, Denken und Wirklichkeit bietet (die er als mehr oder weniger koextensiv ansah), die er nirgendwo sonst findet. Diere bezieht sich nur auf Wittgenstein in diesem Band, was sehr bedauerlich ist, wenn man bedenkt, dass er der brillanteste und (...) originellste Analytiker der Sprache war. Im letzten Kapitel fasst er anhand der berühmten Metapher von Platons Höhle das Buch auf wunderbare Weise mit einem Überblick darüber zusammen, wie der Geist (Sprache, Denken, absichtliche Psychologie) – ein Produkt blinden Egoismus, nur geringfügig durch automatisierten Altruismus für nahe Verwandte, die Kopien unserer Gene tragen (Inclusive Fitness)– automatisch arbeitet, aber versucht, mit einer optimistischen Note zu enden, indem er uns Hoffnung gibt, dass wir dennoch seine enormen Fähigkeiten nutzen können, um zusammenzuarbeiten. Pinker ist sich dessen sicherlich bewusst, sagt aber wenig darüber aus, dass weit mehr über unsere Psychologie weggelassen wird als eingeschlossen. Unter den Fenstern in die menschliche Natur, die ausgelassen oder minimale Aufmerksamkeit gegeben werden, sind Mathematik und Geometrie, Musik und Klänge, Bilder, Ereignisse und Kausalität, Ontologie (Klassen von Dingen oder was wir wissen), die meisten der Erkenntnistheorie (wie wir wissen), Dispositionen (glauben, Denken, Richten, Beabsichtigen etc.) und der Rest der absichtlichen Handlungspsychologie, Neurotransmitter und Entheogene, spirituelle Zustände (z.B. Satori und Erleuchtung, Hirnstimulation und -aufzeichnung, Hirnschäden und Verhaltensdefizite und -störungen, Spiele und Sport, Entscheidungstheorie (inkl. Spieltheorie und Verhaltensökonomie), Tierverhalten (sehr wenig Sprache, aber eine Milliarde Jahre geteilte Genetik). Viele Bücher wurden über jeden dieser Bereiche der absichtlichen Psychologie geschrieben. Die Daten in diesem Buch sind Beschreibungen, keine Erklärungen, die zeigen, warum unser Gehirn es auf diese Weise tut oder wie es gemacht wird. Woher wissen wir, die Sätze auf ihre unterschiedliche Weise zu verwenden (d.h. alle ihre Bedeutungen zu kennen)? Dies ist die Evolutionspsychologie, die auf einer grundlegenderen Ebene arbeitet – der Ebene, auf der Wittgenstein am aktivsten ist. Und der Kontext, in dem Worte verwendet werden, ist kaum beachtet = eine Arena, die Wittgenstein als Pionier emittierte. Dennoch, ist dies ein klassisches Werk und mit diesen Vorsichtsmaßnahmen ist immer noch lesenswert. Wer aus der modernen zweisystems-Sichteinen umfassenden, aktuellen Rahmen für menschliches Verhalten wünscht, kann mein Buch "The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle' 2nd ed (2019) konsultieren. Die jenigen,die sich für mehr meiner Schriften interessieren, können 'Talking Monkeys--Philosophie, Psychologie, Wissenschaft, Religion und Politik auf einem verdammten Planeten --Artikel und Rezensionen 2006-2019 3rd ed (2019) und Suicidal Utopian Delusions in the 21st Century 4th ed (2019) und andere sehen. (shrink)