Ernst Mayr argued that the emergence of biology as a special science in the early nineteenth century was possible due to the demise of the mathematical model of science and its insistence on demonstrative knowledge. More recently, John Zammito has claimed that the rise of biology as a special science was due to a distinctive experimental, anti-metaphysical, anti-mathematical, and anti-rationalist strand of thought coming from outside of Germany. In this paper we argue that this narrative neglects the important role played (...) by the mathematical and axiomatic model of science in the emergence of biology as a special science. We show that several major actors involved in the emergence of biology as a science in Germany were working with an axiomatic conception of science that goes back at least to Aristotle and was popular in mid-eighteenth-century German academic circles due to its endorsement by Christian Wolff. More specifically, we show that at least two major contributors to the emergence of biology in Germany—Caspar Friedrich Wolff and Gottfried Reinhold Treviranus—sought to provide a conception of the new science of life that satisfies the criteria of a traditional axiomatic ideal of science. Both C.F. Wolff and Treviranus took over strong commitments to the axiomatic model of science from major philosophers of their time, Christian Wolff and Friedrich Wilhelm Joseph Schelling, respectively. The ideal of biology as an axiomatic science with specific biological fundamental concepts and principles thus played a role in the emergence of biology as a special science. (shrink)

What is the aim of philosophy? There may be too many philosophical branches, traditions, practices, and programs to admit of a single overarching aim. Here I focus on a fairly traditional philosophical project that has recently received increasingly sophisticated articulation, especially by Frank Jackson (1998) and David Chalmers (2012). In §1, I present the project and suggest that it is usefully thought of as ‘total axiomatics’: the project of attempting to axiomatize the total theory of the world. In §2, (...) I raise a problem for the project that I call the ‘problem of multiple axiomatizations.’ I consider some initially alluring but ultimately unpromising approaches to this problem in §3. In §4, I defend a surprising approach to the problem, according to which competing axiomatizations of the total theory of the world are effectively evaluated for their aesthetic virtues. (shrink)

The philosophy of science of Patrick Suppes is centered on two important notions that are part of the title of his recent book (Suppes 2002): Representation and Invariance. Representation is important because when we embrace a theory we implicitly choose a way to represent the phenomenon we are studying. Invariance is important because, since invariants are the only things that are constant in a theory, in a way they give the “objective” meaning of that theory. Every scientific theory gives (...) a representation of a class of structures and studies the invariant properties holding in that class of structures. In Suppes’ view, the best way to define this class of structures is via axiomatization. This is because a class of structures is given by a definition, and this same definition establishes which are the properties that a single structure must possess in order to belong to the class. These properties correspond to the axioms of a logical theory. In Suppes’ view, the best way to characterize a scientific structure is by giving a representation theorem for its models and singling out the invariants in the structure. Thus, we can say that the philosophy of science of Patrick Suppes consists in the application of the axiomatic method to scientific disciplines. What I want to argue in this paper is that this application of the axiomatic method is also at the basis of a new approach that is being increasingly applied to the study of computer science and information systems, namely the approach of formal ontologies. The main task of an ontology is that of making explicit the conceptual structure underlying a certain domain. By “making explicit the conceptual structure” we mean singling out the most basic entities populating the domain and writing axioms expressing the main properties of these primitives and the relations holding among them. So, in both cases, the axiomatization is the main tool used to characterize the object of inquiry, being this object scientific theories (in Suppes’ approach), or information systems (for formal ontologies). In the following section I will present the view of Patrick Suppes on the philosophy of science and the axiomatic method, in section 3 I will survey the theoretical issues underlying the work that is being done in formal ontologies and in section 4 I will draw a comparison of these two approaches and explore similarities and differences between them. (shrink)

The debate about the foundations of mathematical sciences traces back to Greek antiquity, with Euclid and the foundations of geometry. Through the flux of history, the debate has appeared in several shapes, places, and cultural contexts. Remarkably, it is a locus where logic, philosophy, and mathematics meet. In mathematical astronomy, Nicolaus Copernicus’s axiomatic approach toward a heliocentric theory of the universe has prompted questions about foundations among historians who have studied Copernican axioms in their terminological and logical aspects (...) but never examined them as a question of mathematical practice. Copernicus provides seven unproved assumptions in the introduction of the brief treatise entitled Nicolaus Copernicus’s draft on the models of celestial motions established by himself, better known as Commentariolus (ca. 1515), published circa 30 years before the final composition of his heliocentric theory (On the revolutions of the heavenly spheres, 1543). The assumptions deal with the renowned Copernican hypothesis of considering the Earth in motion and the Sun, not affected by motion, near the center of the universe. Although Copernicus decides to omit the proofs for the sake of brevity, the deductions in the Commentariolus are supposed to be drawn from the initial seven assumptions. Questions on the nature (are they postulates or axioms?) and the logic (is there an internal rigor?) of those assumptions have yet to be fully explored. By examining Copernicus’s seven assumptions as a question of mathematical practice, it is possible to hold historical, philosophical, and logical aspects of Copernican axiomatics together and understand them as part of Copernicus’s intuition and creativity. (shrink)

The aim of this paper is to develop a consistent reading of Deleuze and Guattari’s account of capitalism by taking seriously their use of Kant’s philosophy in formulating it. In Sect. 1, I will set out the two different roots of the term axiomatic in Deleuze and Guattari’s thought. The first of these is the axiomatic approach to formalising fields of mathematics, and the second the Kantian account of the indeterminate relationship between the transcendental unity of apperception (...) and the transcendental object. In Sect. 2, we will see how this transcendental aspect of Deleuze and Guattari’s account of axiomatics is expressed in the notion of binding, which Deleuze and Guattari take to be a process that forces us to understand a field of entities in a certain manner, namely as clearly delimited and deployed in a homogeneous space. I will argue that this process of binding operates as a transcendental condition for capitalism for Deleuze and Guattari. Section 3 addresses some of the details of the capitalist axiomatic itself, drawing out why a Kantian reading of Deleuze and Guattari’s account of the axiomatic provides a response to some of the criticisms of it. Section 4 then analyses Deleuze and Guattari’s account of the outside of capitalism, using the double signification of the noumenal to understand the complex relationship between what they call the war machine and its representation within the axiomatic. (shrink)

Edward Nieznański developed two logical systems in order to deal with a version of the problem of evil associated with two formulations of religious determinism. The aim of this research was to revisit these systems, providing them with a more appropriate formalization. The new resulting systems, namely, N1 and N2, were reformulated in first-order modal logic; they retain much of their original basic structures, but some additional results were obtained. Furthermore, our research found that an underlying minimal set of axioms (...) is enough to settle the questions proposed. Thus, we developed a minimal system, called N3, that solves the same issues tackled by N1 and N2, but with less assumptions than these systems. All of the systems developed here are proposed as solutions to the logical problem of evil through the refutation of two versions of religious determinism, showing that the attributes of God in Classical Theism, namely, those of omniscience, omnipotence, infallibility, and omnibenevolence, when formalized, are consistent with the existence of evil, providing one more response to this traditional issue. (shrink)

The idea of science being the best – or the only – way to reach the truth about our cosmos has been a major belief of modern civilization. Yet, science has grown tall on fragile legs of clay. Every scientific theory uses axioms and assumptions that by definition cannot be proved. This poses a serious limitation to the use of science as a tool to find the truth. The only way to search for the latter is to redefine the former (...) to its original glory. In the days well before Galileo and Newton, science and religion were not separated. They worked together to discover the truth and while the latter had God as its final destination, the former had God as its starting point. Science is based on the irrational (unproven) belief that the world is intelligible along many other assumptions. This poses a serious limitation to science that can only be overcome if we accept the irrationality of the cosmos. The motto “Credo quia absurdum” holds more truth than one can ever realize at first glance. There is nothing logical in logic, whereas there is deep wisdom in the irrational. For while the former tries to build castles on moving sand, the latter digs deep inside the depths of existence itself in order to build on the most concrete foundations that there can be: the cosmos itself. The only way forward is backwards. Backwards to a time when religion led the quest for knowledge by accepting what we cannot know, rather than trying to comprehend what we do not. Science was anyway based on that in the first place. (shrink)

This article connects François Laruelle's non-philosophical experiments with the axiomatic method to non-philosophy's anti-hermeneutic stance. Focusing on two texts from 1987 composed using the axiomatic method, "The Truth According to Hermes" and "Theorems on the Good News," I demonstrate how non-philosophy utilizes structural mechanisms to both expand and contract the field of potential models allowed by non-philosophy. This demonstration involves developing a notion of interpretation, which synthesizes Rocco Gangle's work on model theory with respect to (...) non-philosophy with Laruelle's critique of hermeneutics. I use Alexander Galloway's interpretation of "The Truth According to Hermes" as a case study of the limits non-philosophy sets upon its use as a basis for philosophical models, in contrast to arguments by Gangle regarding non-philosophy's greater genericity in comparison to philosophy. (shrink)

Kant maintains that the only thing that is good in itself, and therefore good without limitation or qualification, is a good will. This is an objectionable claim in support of a controversial position. The problem is not just that the good will is not the only thing that is good in itself, which indeed it is not, but more importantly, that the good will is not so much a thing that is good in itself as it is the good kind (...) of a thing that is otherwise neither good nor bad in itself. The goodness of a good will is no more intrinsic than the goodness of a good act, good outcome, good attitude, good character, or good person. Nor is it even any more so than something as commonplace as a good laugh or a good cup of coffee. A good will, whatever else it may be, is a will that is good, much like how a good act is an act that is good, a good outcome is an outcome that is good, and so on with the other examples, not one of which is good for any reason other than the goodness predicated of the corresponding subject. This paper thus challenges Kant’s position on ontological grounds. It questions the validity of claiming intrinsic goodness for a complex construct whose goodness is, in fact, extrinsic to its substance. The objection is not that the good will might not turn out to be good after all, which is impossible by definition, designation, or stipulation, but that its goodness is axiomatic and derivative rather than intrinsic or fundamental. (shrink)

Before commenting on the book, I offer comments on Wittgenstein and Searle and the logical structure of rationality. The essays here are mostly already published during the last decade (though some have been updated), along with one unpublished item, and nothing here will come as a surprise to those who have kept up with his work. Like W, he is regarded as the best standup philosopher of his time and his written work is solid as a rock and groundbreaking throughout. (...) However his failure to take the later W seriously enough leads to some mistakes and confusions. Just a few examples: on p7 he twice notes that our certainty about basic facts is due to the overwhelming weight of reason supporting our claims, but W showed definitively in ‘On Certainty’ that there is no possibility of doubting the true-only axiomatic structure of our System 1 perceptions, memories and thoughts, since it is itself the basis for judgment and cannot itself be judged. In the first sentence on p8 he tells us that certainty is revisable, but this kind of ‘certainty’, which we might call Certainty2, is the result of extending our axiomatic and nonrevisable certainty (Certainty1) via experience and is utterly different as it is propositional (true or false). This is of course a classic example of the “battle against the bewitchment of our intelligence by language” which W demonstrated over and over again. One word- two (or many) distinct uses. -/- His last chapter “The Unity of the Proposition” (previously unpublished) would also benefit greatly from reading W’s “On Certainty” or DMS’s two books on OC (see my reviews) as they make clear the difference between true only sentences describing S1 and true or false propositions describing S2. This strikes me as a far superior approach to S’s taking S1 perceptions as propositional since they only become T or F after one begins thinking about them in S2. However, his point that propositions permit statements of actual or potential truth and falsity, of past and future and fantasy, and thus provide a huge advance over pre or protolinguistic society, is cogent. As he states it “A proposition is anything at all that can determine a condition of satisfaction…and a condition of satisfaction… is that such and such is the case.” Or, one needs to add, that might be or might have been or might be imagined to be the case. -/- Overall, PNC is a good summary of the many substantial advances over Wittgenstein resulting from S’s half century of work, but in my view, W still is unequaled once you grasp what he is saying. Ideally they should be read together: Searle for the clear coherent prose and generalizations, illustrated with W’s perspicacious examples and brilliant aphorisms. If I were much younger I would write a book doing exactly that. -/- Those wishing a comprehensive up to date account of Wittgenstein, Searle and their analysis of behavior from the modern two systems view may consult my article The Logical Structure of Philosophy, Psychology, Mind and Language as Revealed in Wittgenstein and Searle (2016). Those interested in all my writings in their most recent versions may download from this site my e-book ‘Philosophy, Human Nature and the Collapse of Civilization Michael Starks (2016)- Articles and Reviews 2006-2016’ by Michael Starks First Ed. 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)

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)

Katerina Kolozova is a Macedonian philosopher whose publications from last two decades aim to analyze various topics using François Laruelle’s “non-philosophy” or “non-standard philosophy.” Non-philosophy could be roughly described as radicalized deconstruction: Laruelle claims that not everything can be grasped by a philosophy: for Laruelle, “philosophy is too serious an affair to be left to the philosophers alone.”1 Non-philosophy opposes the “principle of sufficient philosophy” through which philosophy determines and decides what is (...) real. According to Laruelle, the ultimate limit of philosophical thought and its self-proclaimed sufficiency lies in its inherent tendency to close itself in a transcendental system of autofetishist conceptions, which presume that one can grasp the Real (“The Real is neither capable of being known or even ‘thought,’ but can be described in axioms. [...] Even ‘immanence’ only serves to name the Real which tolerates nothing but axiomatic descriptions or formulations.”) by a philosophical thought, or that the Real could be mediated only through human thought. Laruelle criticizes this tendency of philosophy, which is usually expressing itself through the structure of “philosophical Decision.” (“To philosophize is to decide Reality and the thoughts that result from this, i.e. to believe to be able to order them in the universal order of the Principle of Reason [Logos].”) Katerina Kolozova use Laruelle’s non-philosophy to explore more explicitly political topics. In the Cut Of Th e Real (2014), she criticized certain dogmatism of poststructuralist philosophy and feminist theory, namely their symptomatic rejection of the Real and the One. In Toward a Radical Metaphysics of Socialism (2015) and The Lived Revolution (2016) Kolozova presented a rereading of Marx, whose work she found relevant for the critique of speculative philosophical dimension of the capitalist economy, embodied in the 2008 global finance crisis, and in the latter book, she explored the possibility of a new political solidarity, based on “bodies in pain.” Kolozova doesn’t call to philosophically reconstruct Marx’s thought for the current situation, but she goes back to Marx with the help of Laruelle’s non-Marxism, contrary to the usual approach of Marxist philosophers, who often try to create certain philosophical system of Marx’s work. Together with Eileen A. Joy, Kolozova edited the anthology After the “Speculative Turn” (2016), which addressed recent realist and materialist tendencies in feminist philosophy. In her most recent book, Capitalism’s Holocaust of Animals (2019), Kolozova aimed to explore broader philosophical foundations of neoliberal capitalism, and its dealing with nonhuman animals and their suffering. According to Kolozova, “We have to start by coming to terms with what we did to the animals in the constitutive act of philosophy and via proxy to all those dehumanised that belong to the species of man ‘by courtesy’ only.” . (shrink)

Walter Dubislav (1895–1937) was a leading member of the Berlin Group for scientific philosophy. This “sister group” of the more famous Vienna Circle emerged around Hans Reichenbach’s seminars at the University of Berlin in 1927 and 1928. Dubislav was to collaborate with Reichenbach, an association that eventuated in their conjointly conducting university colloquia. Dubislav produced original work in philosophy of mathematics, logic, and science, consequently following David Hilbert’s axiomatic method. This brought him to defend formalism in these (...) disciplines as well as to explore the problems of substantiating (Begründung) human knowledge. Dubislav also developed elements of general philosophy of science. Sadly, the political changes in Germany in 1933 proved ruinous to Dubislav. He published scarcely anything after Hitler came to power and in 1937 committed suicide under tragic circumstances. The intent here is to pass in review Dubislav’s philosophy of logic, mathematics, and science and so to shed light on some seminal yet hitherto largely neglected currents in the history of philosophy of science. (shrink)

(...) However, whether we chose a weak or strong approximation, the set would not make any sense at all, if (once more) this choice would not be justified in either temporal or spatial sense or given the context of possible applicability of the set in different circumstances. This would obviously represent a dualism in itself as we would (for instance) posit and apply a full identity-equality-equivalence of x and y when applying Newtonian physics to certain observations we make (it would (...) be the case of neural correlates), and we would posit and apply a non - identity-equality-equivalence of x and y when applying Quantum mechanics to other observations. Following this dualism in and of theories, the same sate would need to be slightly modified: U2:(x~y)∪(x≈y); U3:(x~y)∩(x≈y); U4a:(x~y)⊆(x≈y) vs. U4b:(x~y)⊇(x≈y). (shrink)

I uncover here a conflict in Kant’s natural philosophy. His matter theory and laws of mechanics are in tension. Kant’s laws are fit for particles but are too narrow to handle continuous bodies, which his doctrine of matter demands. To fix this defect, Kant ultimately must ground the Torque Law; that is, the impressed torque equals the change in angular momentum. But that grounding requires a premise—the symmetry of the stress tensor—that Kant denies himself. I argue that his problem (...) would not arise if he had kept his early theory of matter as made of mass points, or “physical monads.”. (shrink)

The writings of Joseph Henry Woodger (1894–1981) are often taken to exemplify everything that was wrongheaded, misguided, and just plain wrong with early twentieth-century philosophy of biology. Over the years, commentators have said of Woodger: (a) that he was a fervent logical empiricist who tried to impose the explanatory gold standards of physics onto biology, (b) that his philosophical work was completely disconnected from biological science, (c) that he possessed no scientific or philosophical credentials, and (d) that his work (...) was disparaged – if not altogether ignored – by the biologists and philosophers of his era. In this paper, we provide the first systematic examination of Woodger’s oeuvre, and use it to demonstrate that the four preceding claims are false. We argue that Woodger’s ideas have exerted an important influence on biology and philosophy, and submit that the current consensus on his legacy stems from a highly selective reading of his works. By rehabilitating Woodger, we hope to show that there is no good reason to continue to disregard the numerous contributions to the philosophy of biology produced in the decades prior to the professionalization of the discipline. (shrink)

Before commenting on the book, I offer comments on Wittgenstein and Searle and the logical structure of rationality. The essays here are mostly already published during the last decade (though some have been updated), along with one unpublished item, and nothing here will come as a surprise to those who have kept up with his work. Like W, he is regarded as the best standup philosopher of his time and his written work is solid as a rock and groundbreaking throughout. (...) However, his failure to take the later W seriously enough leads to some mistakes and confusions. Just a few examples: on p7 he twice notes that our certainty about basic facts is due to the overwhelming weight of reason supporting our claims, but W showed definitively in ‘On Certainty’ that there is no possibility of doubting the true-only axiomatic structure of our System 1 perceptions, memories and thoughts, since it is itself the basis for judgment and cannot itself be judged. In the first sentence on p8 he tells us that certainty is revisable, but this kind of ‘certainty’, which we might call Certainty2, is the result of extending our axiomatic and nonrevisable certainty (Certainty1) via experience and is utterly different as it is propositional (true or false). This is of course a classic example of the “battle against the bewitchment of our intelligence by language” which W demonstrated over and over again. One word- two (or many) distinct uses. -/- His last chapter “The Unity of the Proposition” (previously unpublished) would also benefit greatly from reading W’s “On Certainty” or DMS’s two books on OC (see my reviews) as they make clear the difference between true only sentences describing S1 and true or false propositions describing S2. This strikes me as a far superior approach to S’s taking S1 perceptions as propositional since they only become T or F after one begins thinking about them in S2. However, his point that propositions permit statements of actual or potential truth and falsity, of past and future and fantasy, and thus provide a huge advance over pre or protolinguistic society, is cogent. As he states it “A proposition is anything at all that can determine a condition of satisfaction…and a condition of satisfaction… is that such and such is the case.” Or, one needs to add, that might be or might have been or might be imagined to be the case. -/- Overall, PNC is a good summary of the many substantial advances over Wittgenstein resulting from S’s half century of work, but in my view, W still is unequaled once you grasp what he is saying. Ideally, they should be read together: Searle for the clear coherent prose and generalizations, illustrated with W’s perspicacious examples and brilliant aphorisms. If I were much younger I would write a book doing exactly that. -/- 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)

I take advantage of two recent results: 1) the recognition of an alternative theoretical organization to the deductive-axiomatic one; it is characterized by a sequence of four logical steps belonging to intuitionist logic; 2) the recognition of the logical content of Cusanus’ philosophical works; also this content pertains to intuitionist logic, which Cusanus anticipated by even identifying some its logical laws. Many Cusanus’ books present the alternative theoretical organization; whose yet he did not apply in a clear way its (...) last two steps, the ad absurdum arguing and the application of the principle of sufficient reason. For this reason in the last books his thinking transcended to a metaphysical level. Hegel’s philosophy of logic shares Cusanus’ philosophical effort for exiting out classical logic. He seems to have assumed Cusanus’ anticipation of the new theoretical organization; all goes as if Hegel wanted to improve Cusanus’ poor method, by introducing a process of additions of two negations which however does not agree with the intuitionist logic. Moreover, Hegel presupposes, like Cusanus in his last years, the free application of the principle of sufficient reason to the entire subject of his philosophy of logic without awareness of the logical constraints to which is subject a correct application of this principle; hence, he introduced a metaphysical arguing which according to modern mathematical logic has no consistent content. Also Hegel’s supposed prolongation of Cusanus’ logical discoveries was an essentially metaphysical view. (shrink)

Imre Lakatos' views on the philosophy of mathematics are important and they have often been underappreciated. The most obvious lacuna in this respect is the lack of detailed discussion and analysis of his 1976a paper and its implications for the methodology of mathematics, particularly its implications with respect to argumentation and the matter of how truths are established in mathematics. The most important themes that run through his work on the philosophy of mathematics and which culminate in the (...) 1976a paper are (1) the (quasi-)empirical character of mathematics and (2) the rejection of axiomatic deductivism as the basis of mathematical knowledge. In this paper Lakatos' later views on the quasi-empirical nature of mathematical theories and methodology are examined and specific attention is paid to what this view implies about the nature of mathematical argumentation and its relation to the empirical sciences. (shrink)

This paper surveys Bolzano's Beyträge zu einer begründeteren Darstellung der Mathematik (Contributions to a better-grounded presentation of mathematics) on the 200th anniversary of its publication. The first and only published issue presents a definition of mathematics, a classification of its subdisciplines, and an essay on mathematical method, or logic. Though underdeveloped in some areas (including,somewhat surprisingly, in logic), it is nonetheless a radically innovative work, where Bolzano presents a remarkably modern account of axiomatics and the epistemology of the formal sciences. (...) We also discuss the second, unfinished and unpublished issue, where Bolzano develops his views on universal mathematics. Here we find the beginnings of his theory of collections, for him the most fundamental of the mathematical disciplines. Though not exactly the same as the later Cantorian set theory, Bolzano's theory of collections was used in very similar ways in mathematics, notably in analysis. In retrospect, Bolzano's debut in philosophy was a remarkably successful one, though its fruits would only become generally known much later. (shrink)

The first beginnings of modern logic in Croatia are recognizable as early as in the middle of the 19th century in Vatroslav Bertić. At the turn of the 20th century, Albin Nagy, who was teaching in Italy, made contributions to algebraic logic and to the philosophy of logic. At that time, a distinctive author Mate Meršić stood out, also working on algebraic logic. In the Croatian academic philosophy, until the publication of Gajo Petrović's textbook (1964) and the contributions (...) by Heda Festini, a critical or indifferent attitude toward modern logic prevailed. The first comprehensive modern logic textbook in Croatian was written by mathematician Vladimir Devidé (1964), known, for example, for his axiomatizations of natural numbers and classical propositional logic. In the Croatian philosophy of the 1980s and 1990s, influential logicians are Goran Švob and mathematician Zvonimir Šikić. At the turn of the 21st century, logical investigations are being intensified and extended to various branches of the contemporary logic. (shrink)

As is generally known, Newton’s notion of universal gravitation surpassed various theories of particular gravities in the early modern age, as represented mainly by Kepler and Hooke. In his seminal work “Hooke and the Law of Universal Gravitation: A Reappraisal of a Reappraisal” Richard S. Westfall argues that Hooke could not reach beyond the concept of spatially bounded particular gravities, as he deployed the method of analogy between the material principle of congruity and incongruity and the extension of gravitational spheres (...) and their action at a distance. However, the doctrine of universal gravitation does not exclude the nature of particular gravities; it is predicated on the notion of an infinite expansion of individual-gravitational spheres and their uniform nature, namely the mutual and centripetal attraction. In my treatise I attempt to reinvestigate the nature and structure of gravitation, as established historically in the framework of Newtonian Classical Mechanics, by a method of structural intuition. It examines how the structural intuition, as represented in the celestial-mechanical intuitions of Hooke and Kepler, could unfold into an innovative process within the context of early modern mechanical philosophy, attaining thus a historical significance and legitimacy as against the prevailing Newtonian method of geometric-mathematical axiomatization of mechanical principles. It also explores the actual demonstrative features of the tidal phenomenon with regard to its lunar- and solar-gravitational causation, which has been considered to date to be an important piece of empirical evidence for the theory of universal gravitation. (shrink)

Photomechanical reprint of papers from 1970 to 1992 mostly in English, some in German or French: Foreword 1–4; LAW AS PRACTICE ‘La formation des concepts en sciences juridiques’ 7–33, ‘Geltung des Rechts – Wirksamkeit des Rechts’ 35–42, ‘Macrosociological Theories of Law’ 43–76, ‘Law & its Inner Morality’ 77–89, ‘The Law & its Limits’ 91–96; LAW AS TECHNIQUE ‘Domaine »externe« & domaine »interne« en droit’ 99–117, ‘Die ministerielle Begründung’ 119–139, ‘The Preamble’ 141–167, ‘Presumption & Fiction’ 169–185, ‘Legal Technique’187–198; LAW AS LOGIC (...) ‘Moderne Staatlichkeit und modernes formales Recht’ 201–207, ‘Heterogeneity & Validity of Law’ 209–218, ‘Leibniz & die Frage der rechtlichen Systembildung’ 219–232, ‘Law & its Approach as a System’ 233–255, ‘Logic of Law & Judicial Activity’ 258–288, ‘Kelsen’s Pure Theory of Law’ 289–293, ‘The Nature of the Judicial Application of Norms’ 295–314; LAW AS EXPERIENCE ‘The Socially Determined Nature of Legal Reasoning’317–374, ‘The Ontological Foundation of Law’ 375–390, ‘Is Law a System of Enactments?’ 391–398, ‘The Uniqueness of National Legal Cultures’ 399–411, ‘Institutions as Systems’ 413–424; LAW AS HISTORY ‘From Legal Customs to Legal Folkways’ 427–436, ‘Anthropological Jurisprudence?’ 437–457, ‘Law as a Social Issue’ 459–475, ‘Law as History?’477–484, ‘Rechtskultur – Denkkultur’ 485–489; w/ Curriculum Vitae & Bibliography, as well as Index & Indexes of normative materials & of names. (shrink)

A critical review of Wittgenstein's 'On Certainty' which he wrote in 1950-51 and was first published in 1969. Most of the review is spent presenting a modern framework for philosophy(the descriptive psychology of higher order thought) and positioning the work of Wittgenstein and John Searle in this framework and relative to the work of others. It is suggested that this book can be regarded as the foundation stone of psychology and philosophy as it was the first to describe (...) the two systems of thought and shows how our unshakable grasp of the world derives from our innate axiomatic System 1 and how this interacts with System 2. -/- 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)

Probably the leading exponent of Wittgenstein’s ideas on the language games of inner and outer (the ‘Two Selves’ operation of our personality or intentionality or EP etc.) the prolific Daniel Hutto’s (DH) approach is called ‘Radical Enactivism’ and is well explained in numerous recent books and papers. It is a development of or version of the Embodied Mind ideas now current and, cleansed of its jargon, it is a straightforward extension of W’s 2nd and 3rd period writings (though Hutto seems (...) only intermittently aware of this). -/- The basic idea of the Embodied Mind or Enactivism is that much of behavior is automated and does not involve representations (basically S2 dispositions-see Hutto’s lovely dissection of the ‘representation rats nest’ in his online papers ). To me this is just another way of stating the fact that System 1 precedes the operation of System 2 which is a standard feature of contemporary psychology, which I have explained above and in further detail in my reviews of Wittgenstein (who was the first to see this and explored it in great detail) and Searle (who called it The Phenomenological Illusion in his superb essay of this name in his book Philosophy in a New Century which I have also reviewed). Since these are basic incontrovertible facts of animal behavior and I have already discussed them I won’t dwell on it here. -/- This book is a sustained argument against other similar ways of describing behavior which he calls CEC and CIC in favor of REC (Radical Embodied Cognition), which he characterizes as “the strongest reading of the embodiment thesis—one that uncompromisingly maintains that basic cognition is literally constituted by, and to be understood in terms of concrete patterns of environmental situated organismic activity, nothing more or less” (p11). This is clear as a bell if you understand the two systems view explained above but likely opaque if you don’t. Much clearer is Fodor’s characterization which he quotes as “abilities are prior to theories”, that “competence is prior to content” and that “knowing how is the paradigm cognitive state and it is prior to knowing that” (p10). That is, the unconscious automatisms of S1 are evolutionarily and behaviorally prior to the slow conscious dispositions of S2. -/- This is classic Hutto high level philosophical dialog, which is quite elegant, but somewhat too dense and a tad pretentious for the rest of us. I have not before encountered his coauthor Myin so can’t say how much of this text is really due to him. It is clear from this and the rest of Hutto’s work that (like everyone else) he has not quite kept up with the latest work in psychology nor really grasped the full power of W or S, even though he is one of the top Wittgensteinians alive and as bright as anyone in the field. His discussions of the language games of “information” and “representation” in his other papers and books (and much else including his deconstructions of Dennett and Fodor) should be required reading for anyone interested in behavior. So, I have the greatest respect for him, but one hopes that he will mellow with time and write descriptions of behavior (i.e., all we can really do as philosophers according to W) in more mundane prose such as this lovely summation on p15. “Hence, REC is nothing less than a fundamental rethinking of the very foundations of standard approaches to cognitive science and philosophy of mind.” Yes and what a pity that this great Wittgensteinian (and everyone else) does not realize that W laid it all out with great (and unmatched) clarity in his third period works over 60 years ago. -/- I have much less sympathy for the extended and scaffolded minds of Chap 7. I don’t see how one can lay the burden of explaining how the mind works at Searle’s door, nor how the convoluted prose about “decoupled contentful activities” etc., helps at all. Why not just say that automated unconscious prelinguistic S1 feeds deliberate, conscious linguistic S2, which is axiomatically extended by public language into the myriad wonders of culture? Beginning and end of story. -/- Their last chapter is about “regaining consciousness,” but I would say that if one has understood Wittgenstein and Searle, one has never lost it. And, though this is an excellent book by two of the brightest and the best, I suggest mulling over my thoughts in this and other reviews and reading Johnston and the latest from Searle, along of course with as much of 3rd period W as feasible, is an even better filter for folly. In sum an excellent book with various faults which I try to correct. -/- Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my article The Logical Structure of Philosophy, Psychology, Mind and Language as Revealed in Wittgenstein and Searle 59p(2016). For all my articles on Wittgenstein and Searle see my e-book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Wittgenstein and Searle 367p (2016). 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)

This paper presents a uniform semantic treatment of nonmonotonic inference operations that allow for inferences from infinite sets of premises. The semantics is formulated in terms of selection functions and is a generalization of the preferential semantics of Shoham (1987), (1988), Kraus, Lehman, and Magidor (1990) and Makinson (1989), (1993). A selection function picks out from a given set of possible states (worlds, situations, models) a subset consisting of those states that are, in some sense, the most preferred ones. A (...) proposition α is a nonmonotonic consequence of a set of propositions Γ iff α holds in all the most preferred Γ-states. In the literature on revealed preference theory, there are a number of well-known theorems concerning the representability of selection functions, satisfying certain properties, in terms of underlying preference relations. Such theorems are utilized here to give corresponding representation theorems for nonmonotonic inference operations. At the end of the paper, the connection between nonmonotonic inference and belief revision, in the sense of Alchourrón, Gärdenfors, and Makinson, is explored. In this connection, infinitary belief revision operations that allow for the revision of a theory with a possibly infinite set of propositions are introduced and characterized axiomatically. (shrink)

Despite of the fact that Reichenbach clearly acknowledged his indebtedness to Hilbert, the influence of this leading mathematician of the time on him is grossly neglected. The present paper demonstrates that the decisive years of the development of Reichenbach as a philosopher of science coincide with, and also partly followed the “philosophical” turn of Hilbert’s mathematics after 1917 that was fixed in the so called “Hilbert’s program”. The paper specifically addresses the fact that after 1917, Hilbert saw the axiomatic (...) method as an instrument for providing the foundations not only of mathematics but also of other sciences. In particular, Hilbert’s axiomatic program was closely connected with the theoretical physics and arguably helped Einstein to discover the general theory of relativity. In this context, one can see Reichenbach’s project to axiomatize Einstein’s theory of relativity as a continuation of this project. Under Russell’s influence, after 1914 Hilbert also developed an interest in mathematical logic. Reichenbach experienced similar transition from axiomatics to logic which went together with turn of his interest from Hilbert to Russell. Reichenbach’s rapprochement to Russell also supported the transition of his interests from epistemology to ontology. (shrink)

The author attempts to show how mereology, taken together with certain topological notions, can yield the foundations for future investigations in formal ontology. He also attempts to show how the mereological framework allows for the direct and natural formulation of a series of theses - for example pertaining to the concept of a boundary - which can be only indirectly formulated (if at all) in set-theoretic terms. The far-reaching ain of the present framework is to serve as a basis for (...) a formal ontology of the common-sense world. The author is interested in producing formally precise theories of structures of certain sorts in such a way that it is the structures themselves that intrest him and not formal machinery that has been set up to describe them. Hence the axioms are chosen primarily for the sake of the light they throw on the intended subject-matters (and not for their logical independence). The world itself - or its picture given in ordinary experience - is the only model the paper concentrates upon. Thus for example the presented system allows to prove that every boundary is the boundary of something, and that in particular no point exists in isolation from a large extended whole that is its boundary. (shrink)

Corcoran’s 27 entries in the 1999 second edition of Robert Audi’s Cambridge Dictionary of Philosophy [Cambridge: Cambridge UP]. -/- ancestral, axiomatic method, borderline case, categoricity, Church (Alonzo), conditional, convention T, converse (outer and inner), corresponding conditional, degenerate case, domain, De Morgan, ellipsis, laws of thought, limiting case, logical form, logical subject, material adequacy, mathematical analysis, omega, proof by recursion, recursive function theory, scheme, scope, Tarski (Alfred), tautology, universe of discourse. -/- The entire work is available online free at (...) more than one website. Paste the whole URL. http://archive.org/stream/RobertiAudi_The.Cambridge.Dictionary.of.Philosophy/Robert.Audi_The.Cambridge.Dictionary.of.Philosophy -/- The 2015 third edition will be available soon. Before you think of buying it read some reviews on Amazon and read reviews of its competition: For example, my review of the 2008 Oxford Companion to Philosophy, History and Philosophy of Logic,29:3,291-292. URL: http://dx.doi.org/10.1080/01445340701300429 -/- Some of the entries have already been found to be flawed. For example, Tarski’s expression ‘materially adequate’ was misinterpreted in at least one article and it was misused in another where ‘materially correct’ should have been used. The discussion provides an opportunity to bring more flaws to light. -/- Acknowledgements: Each of these entries was presented at meetings of The Buffalo Logic Dictionary Project sponsored by The Buffalo Logic Colloquium. The members of the colloquium read drafts before the meetings and were generous with corrections, objections, and suggestions. Usually one 90-minute meeting was devoted to one entry although in some cases, for example, “axiomatic method”, took more than one meeting. Moreover, about half of the entries are rewrites of similarly named entries in the 1995 first edition. Besides the help received from people in Buffalo, help from elsewhere was received by email. We gratefully acknowledge the following: José Miguel Sagüillo, John Zeis, Stewart Shapiro, Davis Plache, Joseph Ernst, Richard Hull, Concha Martinez, Laura Arcila, James Gasser, Barry Smith, Randall Dipert, Stanley Ziewacz, Gerald Rising, Leonard Jacuzzo, George Boger, William Demopolous, David Hitchcock, John Dawson, Daniel Halpern, William Lawvere, John Kearns, Ky Herreid, Nicolas Goodman, William Parry, Charles Lambros, Harvey Friedman, George Weaver, Hughes Leblanc, James Munz, Herbert Bohnert, Robert Tragesser, David Levin, Sriram Nambiar, and others. -/- . (shrink)

This dissertation examines several of the problems that Hilbert discovered in the foundations of mathematics, from a metalogical perspective. The problems manifest themselves in four different aspects of Hilbert’s views: (i) Hilbert’s axiomatic approach to the foundations of mathematics; (ii) His response to criticisms of set theory; (iii) His response to intuitionist criticisms of classical mathematics; (iv) Hilbert’s contribution to the specification of the role of logical inference in mathematical reasoning. This dissertation argues that Hilbert’s axiomatic approach was (...) guided primarily by model theoretical concerns. Accordingly, the ultimate aim of his consistency program was to prove the model-theoretical consistency of mathematical theories. It turns out that for the purpose of carrying out such consistency proofs, a suitable modification of the ordinary first-order logic is needed. To effect this modification, independence-friendly logic is needed as the appropriate conceptual framework. It is then shown how the model theoretical consistency of arithmetic can be proved by using IF logic as its basic logic. Hilbert’s other problems, manifesting themselves as aspects (ii), (iii), and (iv)—most notably the problem of the status of the axiom of choice, the problem of the role of the law of excluded middle, and the problem of giving an elementary account of quantification—can likewise be approached by using the resources of IF logic. It is shown that by means of IF logic one can carry out Hilbertian solutions to all these problems. The two major results concerning aspects (ii), (iii) and (iv) are the following: (a) The axiom of choice is a logical principle; (b) The law of excluded middle divides metamathematical methods into elementary and non-elementary ones. It is argued that these results show that IF logic helps to vindicate Hilbert’s nominalist philosophy of mathematics. On the basis of an elementary approach to logic, which enriches the expressive resources of ordinary first-order logic, this dissertation shows how the different problems that Hilbert discovered in the foundations of mathematics can be solved. (shrink)

Process philosophies tend to emphasise the value of continuous creation as the core of their discourse. For Bergson, Whitehead, Deleuze, and others the real is ultimately a creative becoming. Critics have argued that there is an irreducible element of (almost religious) belief in this re-evaluation of immanent creation. While I don’t think belief is necessarily a sign of philosophical and existential weakness, in this paper I will examine the possibility for the concept of universal creation to be a political and (...) ethical axiom, the result of a global social contract rather than of a new spirituality. I argue here that a coherent way to fight against potentially totalitarian absolutes is to replace them with a virtual absolute that cannot territorialise without deterritorialising at the same time: the Creal principle. (shrink)

In this paper, we analyse conceptions of induction and certainty in Wolff and Crusius, highlighting their competing conceptions of physics. We discuss (i) the perspective of Wolff, who assigned induction an important role in physics, but argued that physics should be an axiomatic science containing certain statements, and (ii) the perspective of Crusius, who adopted parts of the ideal of axiomatic physics but criticized the scope of Wolff’s ideal of certain science. Against interpretations that take Wolff’s proofs in (...) physics to be based on empirical statements that are probable, we show how inductively established statements, coupled with assumptions concerning the uniformity of nature, can be certain according to Wolff. We examine Crusius’ little known work on physics and show that he attacked Wolff, arguing that many statements of physics are probable. We provide a discussion of the reception of methodological rules similar to Newton’s Regulae Philosophandi, discussing different interpretations of such rules. We conclude by briefly hinting at how the debate between Wolff and Crusius provides historical context for understanding Kant’s philosophy of natural science. (shrink)

Justification of theorems plays a vital role in any rational human activity. It is indispensable in science. The deductive method of justifying theorems is used in all sciences and it is the only method of justifying theorems in deductive disciplines. It is based on the notion of proof, thus it is a method of proving theorems. In the Warsaw School of Logic (WSL) – the famous branch of the Lvov-Warsaw School (LWS) – two types of the method: axiomatic deduction (...) method and natural deduction method were developed and practiced. In this paper, both of these methods are briefly discussed with an emphasis on their historical, groundbreaking significance for logic. The axiomatic method by means of rejection (proposed by Jan Łukasiewicz – a co-creator of the WSL), which is the method of the so-called rejection proof (rejection/refutation method) in logical systems and the proving method of generalized natural deduction, which is a hybrid deduction–refutation method of proving theorems, are also outlined in the paper. The author discusses their historical significance. This paper also contains a brief mention of the most significant results which the application of the discussed methods introduced into contemporary scientific research, not only logical one. (shrink)

Despite the conclusions from the contemporary philosophy of science, many economists cherish the ideal of positive science. Therefore, value-free economics is still the central paradigm in economics. The first aim of the paper is to investigate economics' axiomatic assumptions from an epistemological perspective. The critical analysis of the literature shows that the positive-normative dichotomy is exaggerated. Moreover, value-free economics is based on normative foundations that have a negative impact on individuals and society. The paper's second aim is to (...) show that economics' normativity is not a problem because the discussion concerning values is possible and unavoidable. In this context, Weber and other methodologists are investigated. The conclusion of the paper is that science can thrive without strict methodological rules thanks to institutional mechanisms. Therefore, economists could learn from artists who accept the world without absolute rules. This perspective opens the possibility for methodological pluralism and normative approaches. (shrink)

Although now over 25 years old, many of the essays are quite contemporary. As expected, none of the authors grasp the full relevance of W for the description of behavior, missing most of the points made in my comments above, his many examples of how S1becomes S2, his role as a pioneer in EP, and his attempts to separate nature from nurture. Brose has many good points and is aware of the foundational nature of On Certainty, but is too scattered (...) and does not clearly describe W’s analysis of how our innate automatic unconscious S1 is the axiomatic basis for all behavior (but with a few exceptions nobody else to this day has either). Russell’s article is excellent, especially the first part dealing with Kripke’s famously distorted view of W. For a more recent and superb deconstruction of Kripke’s W that is of very general application, see “Kripke’s conjuring Trick” by Read and Sharrock, available on the net. I also found Coulter’s article quite good and like Margolis and Harre, he has continued his work to the present day and published widely. Margolis is very bright and well read but his precious prose and attempt to include as many references as possible results in a lack of clarity and focus. Rosch makes the best effort to apply W to real research but also lacks the broad understanding of him that could transform the view of higher order thought. Harre has since become a major W scholar but has little to say here, so those interested should see my review of his “Wittgenstein and Psychology”. Overall, considering that this book was written over 25 years ago and most of the authors were not philosophers they did a good job and the volume is still worth reading. -/- Those wishing a comprehensive up to date account of Wittgenstein, Searle and their analysis of behavior from the modern two systems view may consult my article The Logical Structure of Philosophy, Psychology, Mind and Language as Revealed in Wittgenstein and Searle (2016). Those interested in all my writings in their most recent versions may download from this site my e-book ‘Philosophy, Human Nature and the Collapse of Civilization Michael Starks (2016)- Articles and Reviews 2006-2016’ by Michael Starks First Ed. 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)

༄༅ REVIEWS ༄༅ -/- « An exhilarating and lucid introduction to Buddhist thought. Sativihari begins with a sophisticated reading of the Four Noble Truths as a sacred poem and ends with a plea for more compassionate culture and politics. In between there is wisdom spiked on every page. »【Mark Kingwell, Department of Philosophy, University of Toronto】 -/- « I am deeply grateful for Rishi Sativihari's achievement in ‘Unlearning The Basics.’ Often, attempts to help Westerners understand Buddhism rely too heavily (...) on idealist philosophies, leading to a kind of mystification of the four noble truths. Because Dr. Sativihari appeals consistently to experience and is sophisticated in his understanding of Western philosophy and theology, he can present the four noble truths with profound spiritual realism. The work is very reader-friendly, showing the fruits of extensive reflection on pedagogical practice. There is genuine spiritual maturity at work in this text. »【Gilles Mongeau S.J., Regis College, University of Toronto】 -/- « ‘Unlearning The Basics’ might be understood as a sequel to the classic ‘Zen Mind, Beginner's Mind’ : gently nudging us back to what we thought we knew and helping us to discover something fresh and real — something suddenly self-evident. A rare and precious achievement. »【Kurt Spellmeyer, Department of English, Rutgers University】 -/- ༄༅༅༅༅ FROM THE FOREWORD BY MU SEONG ༄༅༅༅༅༅ « It is axiomatic that the teachings of the Buddha have found their integrity and authenticity in each generation in the lives as well as interpretative efforts of a handful of practitioners and thinkers. Rishi Sativihari’s is one of these new voices and it’s a pleasure to sit back and listen to it. Sativihari’s argument that — “the four truths were given in a certain order, not only for the sake of creating a logical system of thought, but because experientially they emerged in that way in the Buddha’s life, building progressively on one another” — never rang more true. » « If there is any “system” at all in the Buddha’s teachings, the Four Noble Truths are that system. These truths (or reflections, if you will) are secular, etiological, and universally human. They are free of the ontological promiscuities and speculative metaphysics in which so many religious systems get bogged down. Unlearning the Basics remains impeccably faithful to these orientations of the Four Noble Truths and this orientation is what makes his book an exciting read. » « This book is in many ways a model for how the teachings of the Buddha could and should be talked about in a psychologically mature and sophisticated manner, in a way congruent with recent findings in brain research and cognitive science. Sativihari touches upon these researches and findings to supplement his own innovative insights into what the Buddha was trying to convey to his audience in his explication of the Four Noble Truths. Sativihari’s commitment to using Pali and Sanskrit words as his primary frame of reference, rather than their often garbled and confusing English translations, lends a much-appreciated gravitas to his presentation. » « This is an important book… It adds much to the current discourses and also brings us much closer to a more nuanced understanding of the Buddha’s own thought processes. »【Mu Soeng, Scholar in Residence, Barre Center for Buddhist Studies】 . (shrink)

In early analytic philosophy, one of the most central questions concerned the status of arithmetical objects. Frege argued against the popular conception that we arrive at natural numbers with a psychological process of abstraction. Instead, he wanted to show that arithmetical truths can be derived from the truths of logic, thus eliminating all psychological components. Meanwhile, Dedekind and Peano developed axiomatic systems of arithmetic. The differences between the logicist and axiomatic approaches turned out to be philosophical as (...) well as mathematical. In this paper, I will argue that Dedekind’s approach can be seen as a precursor to modern structuralism and as such, it enjoys many advantages over Frege’s logicism. I also show that from a modern perspective, Frege’s criticism of abstraction and psychologism is one-sided and fails against the psychological processes that modern research suggests to be at the heart of numerical cognition. The approach here is twofold. First, through historical analysis, I will try to build a clear image of what Frege’s and Dedekind’s views on arithmetic were. Then, I will consider those views from the perspective of modern philosophy of mathematics, and in particular, the empirical study of arithmetical cognition. I aim to show that there is nothing to suggest that the axiomatic Dedekind approach could not provide a perfectly adequate basis for philosophy of arithmetic. (shrink)

In his early philosophy as well as in his middle period, Wittgenstein holds a purely syntactic view of logic and mathematics. However, his syntactic foundation of logic and mathematics is opposed to the axiomatic approach of modern mathematical logic. The object of Wittgenstein’s approach is not the representation of mathematical properties within a logical axiomatic system, but their representation by a symbolism that identifies the properties in question by its syntactic features. It rests on his distinction of (...) descriptions and operations; its aim is to reduce mathematics to operations. This paper illustrates Wittgenstein’s approach by examining his discussion of irrational numbers. (shrink)

Stoic philosophers had to face the accusation of incoherence, self-contradiction and Paradoxes since ancient times. Plutarch in his Moralia writes against them; Cicero devotes a separate work on stoic paradoxes. Even in contemporary Literature there are still discussions on the possibility of such an incoherence and existence of paradoxes in the stoic theory. At first glance, stoic Cosmology gives the impression to both accept a kind of Determinism, and at the same time it undoubtedly argues for the moral agent’s freedom (...) of the Will. In pre-stoic or even other contemporary to Stoicism Philosophical Traditions, the definitions that these two terms/concepts are given, fairly accuse as incoherent any Theory that does not set them as “contraries”. Under these types of accusations, the stoic Cosmology and Theory of the Freedom of the Will is often to be included. This phenomenal self-contradiction inside the Principles of Stoicism becomes even more obvious in Epictetus, a philosopher of the Late Stoa. He is interested in practical ethics, thus the phenomenal contradiction gets more lucid. This would have augmented the criticism of the Stoic philosophy for incoherence, if Epictetus had not made his main philosophical aim/target : the clarification of how an agent’s Will can be Free inside a Universe ruled by Fate/Destiny ; namely, a Universe merely Determined by Nature’s/God’s Will. Epictetus’ originality appears in the way he interrelates the concept of Freedom of the Will with the concept of Destiny and Determinism, in order to accomplish their simultaneous co-existence. This approach guards him against being easily accused for incoherence and self-contradiction. Through the unique way he understands and defines the Moral Agency, which is the agent’s internal state/condition/disposition, he steers towards an integrated, accomplished, strong and coherent line of argument. This sturdy declaration is able to support the weight of the Consent to a Free Will, and thus a certain kind Freedom of the moral agent. The excellence of this line of argument is that it can bear also the burden of the Consent to the phenomenally contrary concept of Determinism and Destiny. The elements used to the construction of this argument, which is stretched throughout the whole epictetean corpus can be summarised to a few key concepts, which are: the things which are in our power and the things which are not in our power, the concept of Freedom. These concepts work towards his philosophical targeting, because of the special definition he gives them. Axiomatically Epictetus states that in order for man to be free, it is necessary to be liberated from what the body forces him to do. Desires, passions and beliefs are considered as elements which are external to the moral agent. The moral agent “shrinks” into the Will. Thus man has the capability to free himself from anything external to his Will and therefore to harmonise his own Will to the Will of Nature/God; namely, to will what Nature/God wills and thus never conflict to the external facts. Consequently, Epictetus’ solution, is to include in the category of τά οὐκ ἐφ' ἡμῖν anything that he defines as external to the prohairesis: the desires, beliefs, passions and in general anything the body entails, the external facts. Thus the prohairesis, remains unhindered and it is completely depended on man’s power ; as characteristically Epictetus writes, “not even Zeus himself can overpower” the prohairesis. -/- Dissertation for the MSc Ancient Philosophy (2008-2009) at The University of Edinburgh, supervised by Inna Kupreeva. (shrink)

Overall Stern does a fine analysis of Wittgenstein (W) and is one of the top W scholars, but in my view they all fall short of a full appreciation, as I explain at length in this review and many others. If one does not understand W (and preferably Searle also) then I don't see how one could have more than a superficial understanding of philosophy and of higher order thought and thus of all complex behavior(psychology, sociology, anthropology, history, literature, (...) society). In a nutshell, W demonstrated that when you have shown how a sentence is used in the context of interest, there is nothing more to say. I will start with a few notable quotes and then give what I think are the minimum considerations necessary to understand Wittgenstein, philosophy and human behavior. -/- As Stern is aware, throughout W’s works, understanding is bedeviled by possible alternative and consequently often infelicitous translations from often unedited and handwritten German notes, with “Satz” being frequently incorrectly rendered as “proposition”(which is a testable or falsifiable statement) when referring to our nonfalsifiable psychological axioms, as opposed to the correct “sentence”, which CAN be applied to our axiomatic true-only statements such as “these are my hands” or “Tyrannosaurs were large carnivorous dinosaurs that lived about 50 million years ago”. -/- Finally, let me suggest that with the perspective I have encouraged here, W is at the center of contemporary philosophy and psychology and is not obscure, difficult or irrelevant, but scintillating, profound and crystal clear and that to miss him is to miss one of the greatest intellectual adventures possible. -/- Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my article The Logical Structure of Philosophy, Psychology, Mind and Language as Revealed in Wittgenstein and Searle 59p(2016). For all my articles on Wittgenstein and Searle see my e-book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Wittgenstein and Searle 367p (2016). 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) Amazon ASIN # B071HVC7YP. -/- The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle--Articles and Reviews 2006-2016 (2017) Amazon ASIN # B071P1RP1B. -/- Suicidal Utopian Delusions in the 21st century: Philosophy, Human Nature and the Collapse of Civilization - Articles and Reviews 2006-2017 (2017) Amazon ASIN # B0711R5LGX . (shrink)

Probably the leading exponent of W’s ideas on the language games of inner and outer (the ‘Two Selves’ operation of our personality or intentionality or EP etc. ) the prolific Daniel Hutto’s (DH) approach is called ‘Radical Enactivism’ and is well explained in numerous recent books and papers. It is a development of or version of the Embodied Mind ideas now current and, cleansed of its jargon, it is a straightforward extension of W’s 2nd and 3rd period writings (though Hutto (...) seems only intermittently aware of this). -/- The basic idea of the Embodied Mind or Enactivism is that much of behavior is automated and does not involve representations (basically S2 dispositions-see Hutto’s lovely dissection of the ‘representation rats nest’ in his online papers ). To me this is just another way of stating the fact that System 1 precedes the operation of System 2 which is a standard feature of contemporary psychology, which I have explained above and in further detail in my reviews of Wittgenstein (who was the first to see this and explored it in great detail) and Searle (who called it The Phenomenological Illusion in his superb essay of this name in his book Philosophy in a New Century which I have also reviewed). Since these are basic incontrovertible facts of animal behavior and I have already discussed them I won’t dwell on it here. -/- This book is a sustained argument against other similar ways of describing behavior which he calls CEC and CIC in favor of REC (Radical Embodied Cognition), which he characterizes as “the strongest reading of the embodiment thesis—one that uncompromisingly maintains that basic cognition is literally constituted by, and to be understood in terms of concrete patterns of environmental situated organismic activity, nothing more or less” (p11). This is clear as a bell if you understand the two systems view explained above but likely opaque if you don’t. Much clearer is Fodor’s characterization which he quotes as “abilities are prior to theories”, that “competence is prior to content” and that “knowing how is the paradigm cognitive state and it is prior to knowing that” (p10). That is, the unconscious automatisms of S1 are evolutionarily and behaviorally prior to the slow conscious dispositions of S2. -/- This is classic Hutto high level philosophical dialog, which is quite elegant, but somewhat too dense and a tad pretentious for the rest of us. I have not before encountered his coauthor Myin so can’t say how much of this text is really due to him. It is clear from this and the rest of Hutto’s work that (like everyone else) he has not quite kept up with the latest work in psychology nor really grasped the full power of W or S, even though he is one of the top Wittgensteinians alive and as bright as anyone in the field. His discussions of the language games of “information” and “representation” in his other papers and books (and much else including his deconstructions of Dennett and Fodor) should be required reading for anyone interested in behavior. So, I have the greatest respect for him, but one hopes that he will mellow with time and write descriptions of behavior (i.e., all we can really do as philosophers according to W) in more mundane prose such as this lovely summation on p15. “Hence, REC is nothing less than a fundamental rethinking of the very foundations of standard approaches to cognitive science and philosophy of mind.” Yes and what a pity that this great Wittgensteinian (and everyone else) does not realize that W laid it all out with great (and unmatched) clarity in his third period works over 60 years ago. -/- I have much less sympathy for the extended and scaffolded minds of Chap 7. I don’t see how one can lay the burden of explaining how the mind works at Searle’s door, nor how the convoluted prose about “decoupled contentful activities” etc helps at all. Why not just say that automated unconscious prelinguistic S1 feeds deliberate, conscious linguistic S2, which is axiomatically extended by public language into the myriad wonders of S3 culture? Beginning and end of story. -/- Their last chapter is about “regaining consciousness,” but I would say that if one has understood Wittgenstein and Searle, one has never lost it. And, though this is an excellent book by two of the brightest and the best, I suggest mulling over my thoughts in this and other reviews and reading Johnston and the latest from Searle, along of course with as much of 3rd period W as feasible, is an even better filter for folly. In sum an excellent book with various faults which I try to correct. -/- 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 paper concerns “human symbolic output,” or strings of characters produced by humans in our various symbolic systems; e.g., sentences in a natural language, mathematical propositions, and so on. One can form a set that consists of all of the strings of characters that have been produced by at least one human up to any given moment in human history. We argue that at any particular moment in human history, even at moments in the distant future, this set is finite. (...) But then, given fundamental results in recursion theory, the set will also be recursive, recursively enumerable, axiomatizable, and could be the output of a Turing machine. We then argue that it is impossible to produce a string of symbols that humans could possibly produce but no Turing machine could. Moreover, we show that any given string of symbols that we could produce could also be the output of a Turing machine. Our arguments have implications for Hilbert’s sixth problem and the possibility of axiomatizing particular sciences, they undermine at least two distinct arguments against the possibility of Artificial Intelligence, and they entail that expert systems that are the equals of human experts are possible, and so at least one of the goals of Artificial Intelligence can be realized, at least in principle. (shrink)

We study imagination as reality-oriented mental simulation (ROMS): the activity of simulating nonactual scenarios in one’s mind, to investigate what would happen if they were realized. Three connected questions concerning ROMS are: What is the logic, if there is one, of such an activity? How can we gain new knowledge via it? What is voluntary in it and what is not? We address them by building a list of core features of imagination as ROMS, drawing on research in cognitive psychology (...) and the philosophy of mind. We then provide a logic of imagination as ROMS which models such features, combining techniques from epistemic logic, action logic, and subject matter semantics. Our logic comprises a modal propositional language with non-monotonic imagination operators, a formal semantics, and an axiomatization. (shrink)

The theories of belief change developed within the AGM-tradition are not logics in the proper sense, but rather informal axiomatic theories of belief change. Instead of characterizing the models of belief and belief change in a formalized object language, the AGM-approach uses a natural language — ordinary mathematical English — to characterize the mathematical structures that are under study. Recently, however, various authors such as Johan van Benthem and Maarten de Rijke have suggested representing doxastic change within a formal (...) logical language: a dynamic modal logic. Inspired by these suggestions Krister Segerberg has developed a very general logical framework for reasoning about doxastic change: dynamic doxastic logic (DDL). This framework may be seen as an extension of standard Hintikka-style doxastic logic with dynamic operators representing various kinds of transformations of the agent's doxastic state. Basic DDL describes an agent that has opinions about the external world and an ability to change these opinions in the light of new information. Such an agent is non-introspective in the sense that he lacks opinions about his own belief states. Here we are going to discuss various possibilities for developing a dynamic doxastic logic for introspective agents: full DDL or DDL unlimited. The project of constructing such a logic is faced with difficulties due to the fact that the agent’s own doxastic state now becomes a part of the reality that he is trying to explore: when an introspective agent learns more about the world, then the reality he holds beliefs about undergoes a change. But then his introspective (higher-order) beliefs have to be adjusted accordingly. In the paper we shall consider various ways of solving this problem. (shrink)

Donald Davidson was one of the most influential philosophers of the last half of the 20th century, especially in the theory of meaning and in the philosophy of mind and action. In this paper, I concentrate on a field-shaping proposal of Davidson’s in the theory of meaning, arguably his most influential, namely, that insight into meaning may be best pursued by a bit of indirection, by showing how appropriate knowledge of a finitely axiomatized truth theory for a language can (...) put one in a position both to interpret the utterance of any sentence of the language and to see how its semantically primitive constituents together with their mode of combination determines its meaning (Davidson 1965, 1967, 1970, 1973a). This project has come to be known as truth-theoretic semantics. My aim in this paper is to render the best account I can of the goals and methods of truth-theoretic semantics, to defend it against some objections, and to identify its limitations. Although I believe that the project I describe conforms to the main idea that Davidson had, my aim is not primarily Davidson exegesis. I want to get on the table an approach to compositional semantics for natural languages, inspired by Davidson, but extended and developed, which I think does about as much along those lines as any theory could. I believe it is Davidson’s project, and I defend this in detail elsewhere (Ludwig 2015; Lepore and Ludwig 2005, 2007a, 2007b, 2011). But I want to develop and defend the project while also exploring its limitations, without getting entangled in exegetical questions. (shrink)

In this work we argue that there is no strong demarcation between pure and applied mathematics. We show this first by stressing non-deductive components within pure mathematics, like axiomatization and theory-building in general. We also stress the “purer” components of applied mathematics, like the theory of the models that are concerned with practical purposes. We further show that some mathematical theories can be viewed through either a pure or applied lens. These different lenses are tied to different communities, which endorse (...) different evaluative standards for theories. We evaluate the distinction between pure and applied mathematics from a late Wittgensteinian perspective. We note that the classical exegesis of the later Wittgenstein’s philosophy of mathematics, due to Maddy, leads to a clear-cut but misguided demarcation. We then turn our attention to a more niche interpretation of Wittgenstein by Dawson, which captures aspects of the aforementioned distinction more accurately. Building on this newer, maverick interpretation of the later Wittgenstein’s philosophy of mathematics, and endorsing an extended notion of meaning as use which includes social, mundane uses, we elaborate a fuzzy, but more realistic, demarcation. This demarcation, relying on family resemblance, is based on how direct and intended technical applications are, the kind of evaluative standards featured, and the range of rhetorical purposes at stake. (shrink)

Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it (...) had many partial successes, and generated important advances in logical theory and metatheory, both at the time and since. The article discusses the historical background and development of Hilbert’s program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s. (shrink)

Two-dimensional semantics, which can represent the distinction between a priority and necessity, has wielded considerable influence in the philosophy of language. In this paper, I axiomatize the dagger operator of Stalnaker’s “Assertion” in the formal context of two-dimensional modal logic. The language contains modalities of actuality, necessity, and a priority, but is also able to represent diagonalization, a conceptually important operation in a variety of contexts, including models of the relative a priori and a posteriori often appealed to Bayesian (...) and Gricean contexts. Finally, I sketch the prospects for extending this two-dimensional upgrade to other kinds of modal logics for natural language. (shrink)

The paper is an attempt at a logical explication of some crucial notions of current general semantics and pragmatics. A general, axiomatic, formal-logical theory of meaning and interpretation is outlined in this paper.In the theory, accordingto the token-type distinction of Peirce, language is formalised on two levels: first as a language of token-objects (understood as material, empirical, enduring through time-and space objects) and then – as a language of type-objects (understood as abstract objects, as classes of tokens). The basic (...) concepts of the theory, i.e. the notions: meaning, denotation and interpretation of well-formed expressions (wfes) of the language are formalised on the type-level, by utilising some semantic-pragmatic primitive notions introduced on the token-level. The paper is divided into two parts.In Part Ia theoryof meaningand denotation is proposed, and in Part II - its expansion to the theory of meaning and interpretation is presented.The meaninga wfe is defined as an equivalence class of the relation possessing the same manner of using types (cf. Ajdukiewicz [1934], Wittgenstein [1953]). The concept of denotation is defined by means of the relation of referring which holds between wfe-types and objects of reality described by the given language. (shrink)

A number of authors have objected to the application of non-classical logic to problems in philosophy on the basis that these non-classical logics are usually characterised by a classical metatheory. In many cases the problem amounts to more than just a discrepancy; the very phenomena responsible for non-classicality occur in the field of semantics as much as they do elsewhere. The phenomena of higher order vagueness and the revenge liar are just two such examples. The aim of this paper (...) is to show that a large class of non-classical logics are strong enough to formulate their own model theory in a corresponding non-classical set theory. Specifically I show that adequate definitions of validity can be given for the propositional calculus in such a way that the metatheory proves, in the specified logic, that every theorem of the propositional fragment of that logic is validated. It is shown that in some cases it may fail to be a classical matter whether a given sentence is valid or not. One surprising conclusion for non-classical accounts of vagueness is drawn: there can be no axiomatic, and therefore precise, system which is determinately sound and complete. (shrink)