C. I. Lewis (I883-I964) was the first major figure in history and philosophy of logic—-a field that has come to be recognized as a separate specialty after years of work by Ivor Grattan-Guinness and others (Dawson 2003, 257).Lewis was among the earliest to accept the challenges offered by this field; he was the first who had the philosophical and mathematical talent, the philosophical, logical, and historical background, and the patience and dedication to objectivity needed to excel. He (...) was blessed with many fortunate circumstances, not least of which was entering the field when mathematical logic, after only six decades of toil, had just reaped one of its most important harvests with publication of the monumental Principia Mathematica. It was a time of joyful optimism which demanded an historical account and a sober philosophical critique. Lewis was one of the first to apply to mathematical logic the Aristotelian dictum that we do not understand a living institution until we see it growing from its birth. (shrink)

In this historical article, Newton da Costa discusses Francisco Miró Quesada’s philosophical ideas about logic. He discusses the topics of reason, logic, and action in Miró Quesada’s work, and in the final section he offers his critical view. In particular, he disagrees with Miró Quesada’s stance on the historicity of reason, for whom “reason is essentially absolute”, whereas for da Costa it “is being constructed in the course of history”. Da Costa concludes by emphasizing the importance of (...) Miró Quesada’s theory of logic and reason, despite it still being incomplete. -/- Historical article by Newton da Costa, annotated and translated by J. C. Cifuentes and L. F. Bartolo Alegre. (shrink)

This article discusses the relation between the early Wittgenstein’s and Carnap’s philosophies of logic, arguing that Carnap’s position in The Logical Syntax of Language is in certain respects much closer to the Tractatus than has been recognized. In Carnapian terms, the Tractatus’ goal is to introduce, by means of quasi-syntactical sentences, syntactical principles and concepts to be used in philosophical clarification in the formal mode. A distinction between the material and formal mode is therefore already part of the Tractatus’ (...) view, and its method for introducing syntactical concepts and principles should be entirely acceptable for Carnap by his own criteria. Moreover, despite the Tractatus’ rejection of syntactical statements, there is an important correspondence between Wittgenstein’s saying-showing distinction and Carnap’s object-language-syntax-language distinction: both constitute a distinction between logico-syntactical determinations concerning language and language as determined or described by those determinations. Wittgenstein’s distinction therefore constitutes a precursor of the object-language syntax-language distinction which the latter in a certain sense affirms, rather than simply contradicting it. The saying-showing distinction agrees with Carnap’s position also in marking logic as something that isn’t true/false about either language or reality, which is a conception that underlies Carnap’s principle of tolerance. (shrink)

P.F. Strawson contributed to many philosophical domains, including the philosophy of language, the history of philosophy, metaphysics, moral philosophy and philosophical methodology. Most of his contributions in these areas have influenced contemporary debates, either because his views are still defended or because they are still considered worthy of detailed responses. His views on the philosophy of logic have been only rarely discussed, however. My aim in this paper is threefold. First, I provide a systematic (...) account of Strawson’s philosophy of logic. I argue that Strawson is an important predecessor of logical expressivism, a contemporary position in the philosophy of logic most notably defended by Robert Brandom. My main focus is on Strawson’s largely-neglected 1982 paper ‘Logical Form and Logical Constants’, which contains his most mature ideas on the topic. Second, while Strawson’s position is of historical and independent philosophical interest, I argue that he leaves many points unclear. Finally, I propose several clarifications of Strawson’s position. (shrink)

This paper contributes to explaining the rise of logical empiricism in mid-twentieth century (North) America and to a better understanding of American philosophy of science before the dominance of logical empiricism. We show that, contrary to a number of existing histories, philosophy of science was already a distinct subfield of philosophy, one with its own approaches and issues, even before logical empiricists arrived in America. It was a form of speculative philosophy with a concern for speculative (...) metaphysics, normative issues relating to science and society and issues which later were associated with logical empiricist philosophy of science, issues such as confirmation, scientific explanation, reductionism and laws of nature. Further, philosophy of science was not primarily pragmatist in orientation. We also show, with the help of our historical characterization, that a recent account of the emergence of analytic philosophy applies to the rise of logical empiricism. It has been argued that the emergence of American analytic philosophy is partly explained by analytic philosophers’ use of key institutions, including of journals, to marginalize speculative philosophy and promote analytic philosophy. We argue that this use of institutions included the marginalization of speculative and value-laden philosophy of science and the promotion of logical empiricism. (shrink)

Philosophy of science and history of science both have a significant relation to science itself; but what is their relation to each other? That question has been a focal point of philosophical and historical work throughout the second half of this century. An analysis and review of the progress made in dealing with this question, and especially that made in philosophy, is the focus of this thesis. Chapter one concerns logical positivist and empiricist approaches to philosophy (...) of science, and the significance of the criticisms levelled at them by analytic epistemologists such as Willard Quine and 'historicist' philosophers, especially Thomas Kuhn. Chapter two details the attempts by Kuhn and Lakatos to integrate these historicist criticisms with historically oriented philosophy of science, in their separate attempts at providing rational explanations of historical developments. Kuhn's latest work seeks to mend fences with philosophy, but his efforts remain too closely tied to the epistemological approaches strongly criticized in his earlier work. Lakatos' treatment of history is much more subtle than most have understood it to be, but the conception of scientific rationality that arises out of it is transformed into an abstract cultural product, more reminiscent of Hegel's geist than of individual human rationality. Chapters three and four discuss the recommendations of Lakatos and Laudan to historians with regard to historiography, and the actual historiographies and philosophy of history of practicing historians and historians of science. The philosophers' contributions indicate little concern for the historians' own methods, materials, and purposes; and the historians' writings present methodologies for history of science that are independent of the normative demarcations of philosophy of science, pace Lakatos and Laudan. Chapter five develops a philosophical position that fosters a more productive engagement between philosophy and history of science, a 'methodological historicism' that embraces the possibility of an important role for social and political factors in a philosophical study of scientific development. The epistemological relativism that might accompany such a historicist position need not be the radical epistemological anarchism of Feyerabend, though it will allow for a significant underdetermination of scientific development by reason nonetheless. (shrink)

My analysis here is an attempt to bring out the main through-line in the development of Bulgarian philosophy of law today. A proper account of Bulgarian philosophy of law in the 20th century requires an attempt to find, on the one hand, a solution to epistemological and methodological problems in law and, on the other, a clear-cut influence of the Kantian critical tradition. Bulgarian philosophy of law follows a complicated path, ranging from acceptance and revision of Kantian (...) philosophy to the development of interesting theories on the logic of legal reasoning. (shrink)

I outline the theoretical framework of, and three research programs within American speculative philosophy of science during the period 1900-1931. One program applies verificationism to research in psychology, one investigates the methodology of research programs, and one analyses scientific explanation and other scientific concepts. The primary sources for my outline are works by Morris Raphael Cohen, Grace Andrus de Laguna, Theodore de Laguna, Edgar Arthur Singer Jr., Harold Robert Smart, and Marie Collins Swabey. I also use my outline to (...) provide a partial comparison of American speculative philosophy of science and 1930s logical positivism. My comparison suggests that logical positivism was a proposal for substantially narrowing down and winding back American philosophy of science and was based on positions that were already problematized in the American context. -/- . (shrink)

CORCORAN RECOMMENDS COCCHIARELLA ON TYPE THEORY. The 1983 review in Mathematical Reviews 83e:03005 of: Cocchiarella, Nino “The development of the theory of logical types and the notion of a logical subject in Russell's early philosophy: Bertrand Russell's early philosophy, Part I”. Synthese 45 (1980), no. 1, 71-115 .

Broadly speaking, two views of modernity are prevalent in contemporary debates. According to the first view, i.e. “modernization theory,” there is one single form of modernity, which is tantamount to liberal, capitalist modernity. The West has already and fully achieved modernity; non-Western societies have lagged behind and must simply catch up with the West. In contrast, according to the second view, “post-colonial theory,” there is no such thing as modernity. What the West erroneously calls “modernity” is nothing but a highly (...) parochial way of thought, and of economic and political organization, that developed by accident first in the West and then by the exercise of military violence or economic power was subsequently “universalized.” In this chapter, I argue that Hegel, read properly, provides a third conception of modernity, one which, contrary to the modernization theory, respects differences between societies, and yet, contrary to post-colonial theory, does not engage in dividing the human species into fundamentally different or incommensurate groups. I argue that Hegel’s theory of modernity must be sought at the conjunction of the Science of Logic (specifically the logic of the Concept) and the Philosophy of Right. I then elaborate on Hegel’s theory of modernity, thus construed. (shrink)

Contemporary natural-language semantics began with the assumption that the meaning of a sentence could be modeled by a single truth condition, or by an entity with a truth-condition. But with the recent explosion of dynamic semantics and pragmatics and of work on non- truth-conditional dimensions of linguistic meaning, we are now in the midst of a shift away from a truth-condition-centric view and toward the idea that a sentence’s meaning must be spelled out in terms of its various roles in (...) conversation. This communicative turn in semantics raises historical questions: Why was truth-conditional semantics dominant in the first place, and why were the phenomena now driving the communicative turn initially ignored or misunderstood by truth-conditional semanticists? I offer a historical answer to both questions. The history of natural-language semantics—springing from the work of Donald Davidson and Richard Montague—began with a methodological toolkit that Frege, Tarski, Carnap, and others had created to better understand artificial languages. For them, the study of linguistic meaning was subservient to other explanatory goals in logic, philosophy, and the foundations of mathematics, and this subservience was reflected in the fact that they idealized away from all aspects of meaning that get in the way of a one-to-one correspondence between sentences and truth-conditions. The truth-conditional beginnings of natural- language semantics are best explained by the fact that, upon turning their attention to the empirical study of natural language, Davidson and Montague adopted the methodological toolkit assembled by Frege, Tarski, and Carnap and, along with it, their idealization away from non-truth-conditional semantic phenomena. But this pivot in explana- tory priorities toward natural language itself rendered the adoption of the truth-conditional idealization inappropriate. Lifting the truth-conditional idealization has forced semanticists to upend the conception of linguistic meaning that was originally embodied in their methodology. (shrink)

Philosophy of biology is often said to have emerged in the last third of the twentieth century. Prior to this time, it has been alleged that the only authors who engaged philosophically with the life sciences were either logical empiricists who sought to impose the explanatory ideals of the physical sciences onto biology, or vitalists who invoked mystical agencies in an attempt to ward off the threat of physicochemical reduction. These schools paid little attention to actual biological science, and (...) as a result philosophy of biology languished in a state of futility for much of the twentieth century. The situation, we are told, only began to change in the late 1960s and early 1970s, when a new generation of researchers began to focus on problems internal to biology, leading to the consolidation of the discipline. In this paper we challenge this widely accepted narrative of the history of philosophy of biology. We do so by arguing that the most important tradition within early twentieth-century philosophy of biology was neither logical empiricism nor vitalism, but the organicist movement that flourished between the First and Second World Wars. We show that the organicist corpus is thematically and methodologically continuous with the contemporary literature in order to discredit the view that early work in the philosophy of biology was unproductive, and we emphasize the desirability of integrating the historical and contemporary conversations into a single, unified discourse. (shrink)

The received view in the history of the philosophy of psychology is that the logical positivists—Carnap and Hempel in particular—endorsed the position commonly known as “logical” or “analytical” behaviourism, according to which the relations between psychological statements and the physical-behavioural statements intended to give their meaning are analytic and knowable a priori. This chapter argues that this is sheer legend: most, if not all, such relations were viewed by the logical positivists as synthetic and knowable only a posteriori. (...) It then traces the origins of the legend to the logical positivists’ idiosyncratic extensional or at best weakly intensional use of what are now considered crucially strongly intensional semantic notions, such as “translation,” “meaning” and their cognates, focussing on a particular instance of this latter phenomenon, arguing that a conflation of explicit definition and analyticity may be the chief source of the legend. (shrink)

The identity theory’s rise to prominence in analytic philosophy of mind during the late 1950s and early 1960s is widely seen as a watershed in the development of physicalism, in the sense that whereas logical behaviourism proposed analytic and a priori ascertainable identities between the meanings of mental and physical-behavioural concepts, the identity theory proposed synthetic and a posteriori knowable identities between mental and physical properties. While this watershed does exist, the standard account of it is misleading, as it (...) is founded in erroneous intensional misreadings of the logical positivists’—especially Carnap’s—extensional notions of translation and meaning, as well as misinterpretations of the positivists’ shift from the strong thesis of translation-physicalism to the weaker and more liberal notion of reduction-physicalism that occurred in the Unity of Science programme. After setting the historical record straight, the essay traces the first truly modern identity theory to Schlick’s pre-positivist views circa 1920 and goes on to explore its further development in Feigl, arguing that the fundamental difference between the Schlick-Feigl identity theory and the more familiar and influential Place-Smart-Armstrong identity theory has resurfaced in the deep and seemingly unbridgeable gulf in contemporary philosophy of consciousness between inflationary mentalism and deflationary physicalism. (shrink)

The syllogistic figures and moods can be taken to be argument schemata as can the rules of the Stoic propositional logic. Sentence schemata have been used in axiomatizations of logic only since the landmark 1927 von Neumann paper [31]. Modern philosophers know the role of schemata in explications of the semantic conception of truth through Tarski’s 1933 Convention T [42]. Mathematical logicians recognize the role of schemata in first-order number theory where Peano’s second-order Induction Axiom is approximated by (...) Herbrand’s Induction-Axiom Schema [23]. Similarly, in first-order set theory, Zermelo’s second-order Separation Axiom is approximated by Fraenkel’s first-order Separation Schema [17]. In some of several closely related senses, a schema is a complex system having multiple components one of which is a template-text or scheme-template, a syntactic string composed of one or more “blanks” and also possibly significant words and/or symbols. In accordance with a side condition the template-text of a schema is used as a “template” to specify a multitude, often infinite, of linguistic expressions such as phrases, sentences, or argument-texts, called instances of the schema. The side condition is a second component. The collection of instances may but need not be regarded as a third component. The instances are almost always considered to come from a previously identified language (whether formal or natural), which is often considered to be another component. This article reviews the often-conflicting uses of the expressions ‘schema’ and ‘scheme’ in the literature of logic. It discusses the different definitions presupposed by those uses. And it examines the ontological and epistemic presuppositions circumvented or mooted by the use of schemata, as well as the ontological and epistemic presuppositions engendered by their use. In short, this paper is an introduction to the history and philosophy of schemata. (shrink)

The Warsaw School of Logic (WSL) was the famous branch of the Lvov-Warsaw School (LWS) – the most important movement in the history of Polish philosophy. Logic made the most important field in the activities of the WSL. The aim of this work is to highlight the role and significance of the WSL in the history of logic in the 20th century.

Logic diagrams have seen a resurgence in their application in a range of fields, including logic, biology, media science, computer science and philosophy. Consequently, understanding the history and philosophy of these diagrams has become crucial. As many current diagrammatic systems in logic are based on ideas that originated in the 18th and 19th centuries, it is important to consider what motivated the use of logic diagrams in the past and whether these reasons are (...) still valid today. This paper proposes that transcendental philosophy was a key inspiration for the development of logic diagrams and that such diagrams can be employed in transcendental arguments, even after the linguistic turn. (shrink)

In my dissertation, I present Hermann Cohen's foundation for the history and philosophy of science. My investigation begins with Cohen's formulation of a neo-Kantian epistemology. I analyze Cohen's early work, especially his contributions to 19th century debates about the theory of knowledge. I conclude by examining Cohen's mature theory of science in two works, The Principle of the Infinitesimal Method and its History of 1883, and Cohen's extensive 1914 Introduction to Friedrich Lange's History of Materialism. In (...) the former, Cohen gives an historical and philosophical analysis of the foundations of the infinitesimal method in mathematics. In the latter, Cohen presents a detailed account of Heinrich Hertz's Principles of Mechanics of 1894. Hertz considers a series of possible foundations for mechanics, in the interest of finding a secure conceptual basis for mechanical theories. Cohen argues that Hertz's analysis can be completed, and his goal achieved, by means of a philosophical examination of the role of mathematical principles and fundamental concepts in scientific theories. (shrink)

The science of logic has occupied an important role in Islamic history. Especially when al-Gazali 505-1111 has come and claimed that who learned Islamic sciences, without learning the Logic we cannot trust in his knowledge. From this time The science of logic has been flourished and quietly began to include in many sciences even Tefsir and Fiqh. After that, Al-razzi 606/1210 has established a big school in Islamic philosophy in general and in logic in (...) particular. al-Khonaji 646/1248 one of his important students. Who moved from Iran to Egypt and became Qadi al-Qudat (Chief Islamic justice). He has improved The science of logic by his books; like Keshf al-Asrar. In the sixth/twelfth one of his books has been spread in Muslim world and became the first step for who wanted to learn Logic. Beside that we have a lot of scholars has made commentaries on this book. In this article we focused on (Metn al-Jumal) by al-Konaji with his spreading in the Sixth. Seventh h.centuries. (shrink)

Ayda Ignez Arruda was a key figure in the development of the Brazilian school of Paraconsistent logic and the first person to write a historical survey of the field. Despite her importa...

This essay discusses Wittgenstein's conception of logic, early and late, and some of the types of logical system that he constructed. The essay shows that the common view according to which Wittgenstein had stopped engaging in logic as a philosophical discipline by the time of writing Philosophical Investigations is mistaken. It is argued that, on the contrary, logic continued to figure at the very heart of later Wittgenstein's philosophy; and that Wittgenstein's mature philosophy of (...) class='Hi'>logic contains many interesting thoughts that have gone widely unnoticed. (shrink)

This book contains a selection of papers from the workshop *Women in the History of Analytic Philosophy* held in October 2019 in Tilburg, the Netherlands. It is the first volume devoted to the role of women in early analytic philosophy. It discusses the ideas of ten female philosophers and covers a period of over a hundred years, beginning with the contribution to the Significs Movement by Victoria, Lady Welby in the second half of the nineteenth century, and (...) ending with Ruth Barcan Marcus’s celebrated version of quantified modal logic after the Second World War. The book makes clear that women contributed substantially to the development of analytic philosophy in all areas of philosophy, from logic, epistemology, and philosophy of science, to ethics, metaphysics, and philosophy of language. It illustrates that although women's voices were no different from men's as regards their scope and versatility, they had a much harder time being heard. The book is aimed at historians of philosophy and scholars in gender studies. (shrink)

The paper introduces Vailati’s life and works, investigating Vailati’s education, the relation to Peano and his school, and the interest for pragmatism and modernism. A detailed analysis of Vailati’s scientific and didactic activities, shows that he held, like Peano, a a strong interest for the history of science and a pluralist, anti-dogmatic and anti-foundationalist conception of definitions in mathematics, logic and philosophy of language. Vailati’s understanding of mathematical logic as a form of pragmatism is not a (...) faithful interpretation of Peano’s conception, but it is essential to understand the relations of Peano’s logic with other philosophical traditions and some epistemological aspects of Peano’s perspective, such as the search for a universal language. (shrink)

We undeniably live in an information age—as, indeed, did those who lived before us. After all, as the cultural historian Robert Darnton pointed out: ‘every age was an age of information, each in its own way’ (Darnton 2000: 1). Darnton was referring to the news media, but his insight surely also applies to the sciences. The practices of acquiring, storing, labeling, organizing, retrieving, mobilizing, and integrating data about the natural world has always been an enabling aspect of scientific work. Natural (...) history and its descendant discipline of biological taxonomy are prime examples of sciences dedicated to creating and managing systems of ordering data. In some sense, the idea of biological taxonomy as an information science is commonplace. Perhaps it is because of its self-evidence that the information science perspective on taxonomy has not been a major theme in the history and philosophy of science. The botanist Vernon Heywood once pointed out that historians of biology, in their ‘preoccupation with the development of the sciences of botany and zoology… [have] diverted attention from the role of taxonomy as an information science’ (Heywood 1985: 11). More specifically, he argued that historians had failed to appreciate how principles and practices that can be traced to Linnaeus constituted ‘a change in the nature of taxonomy from a local or limited folk communication system and later a codified folk taxonomy to a formal system of information science [that] marked a watershed in the history of biology’ (ibid.). A similar observation could be made about twentieth-century philosophy of biology, which mostly skipped over practical and epistemic questions about information management in taxonomy. The taxonomic themes that featured in the emerging philosophy of biology literature in the second half of the twentieth century were predominantly metaphysical in orientation. This is illustrated by what has become known as the ‘essentialism story’: an account about the essentialist nature of pre- Darwinian taxonomy that used to be accepted by many historians and philosophers, and which stimulated efforts to document and interpret shifts in the metaphysical understanding of species and (natural) classification (Richards 2010; Winsor 2003; Wilkins 2009). Although contemporary debates in the philosophy of taxonomy have moved on, much discussion continues to focus on conceptual and metaphysical issues surrounding the nature of species and the principles of classification. Discussions centring on whether species are individuals, classes, or kinds have sprung up as predictably as perennials. Raucous debates have arisen even with the aim of accommodating the diversity of views: is monism, pluralism, or eliminativism about the species category the best position to take? In addition to these, our disciplines continue to interrogate what is the nature of these different approaches to classification: are they representational or inferential roles of different approaches to classification (evolutionary taxonomy, phenetics, phylogenetic systematics)? While there is still much to learn from these discussions—in which we both actively participate—our aim with this topical collection has been to seek different entrypoints and address underexposed themes in the history and philosophy of taxonomy. We believe that approaching taxonomy as an information science prompts new questions and can open up new philosophical vistas worth exploring. A twenty-first century information science turn in the history and philosophy of taxonomy is already underway. In scientific practice and in daily life it is hard to escape the imaginaries of Big Data and the constant threats of being ‘flooded with data’. In the life sciences, these developments are often associated with the socalled bioinformatics crisis that can hopefully be contained by a new, interdisciplinary breed of bioinformaticians. These new concepts, narratives, and developments surrounding the centrality of data and information systems in the biological and biomedical sciences have raised important philosophical questions about their challenges and implications. But historical perspectives are just as necessary to judge what makes our information age different from those that preceded us. Indeed, as the British zoologist Charles Godfray has often pointed out, the piles of data that are being generated in contemporary systematic biology have led to a second bioinformatics crisis, the first being the one that confronted Linnaeus in the mid-18th century (Godfray 2007). Although our aim is to clear a path for new discussions of taxonomy from an information science-informed point of view, we continue where others in the history, philosophy, and sociology of science have already trod. We believe that an appreciation of biological taxonomy as an information science raises many questions about the philosophical, theoretical, material, and practical aspects of the use and revision of biological nomenclatures in different local and global communities of scientists and citizen scientists. In particular, conceiving of taxonomy as an information science directs attention to the temporalities of managing an accumulating data about classified entities that are themselves subject to revision, to the means by which revision is accomplished, and to the semantic, material, and collaborative contexts that mediate the execution of revisions. (shrink)

Hegel endorsed proofs of the existence of God, and also believed God to be a person. Some of his interpreters ignore these apparently retrograde tendencies, shunning them in favor of the philosopher's more forward-looking contributions. Others embrace Hegel's religious thought, but attempt to recast his views as less reactionary than they appear to be. Robert Williams's latest monograph belongs to a third category: he argues that Hegel's positions in philosophical theology are central to his philosophy writ large. The book (...) is diligently researched, and marshals an impressive amount of textual evidence concerning Hegel's view of the proofs, his theory of personhood, and his views on religious community.Many of... (shrink)

Foundations of Relational Realism presents an intuitive interpretation of quantum mechanics, based on a revised decoherent histories interpretation, structured within a category theoretic topological formalism. -/- If there is a central conceptual framework that has reliably borne the weight of modern physics as it ascends into the twenty-first century, it is the framework of quantum mechanics. Because of its enduring stability in experimental application, physics has today reached heights that not only inspire wonder, but arguably exceed the limits of intuitive (...) vision, if not intuitive comprehension. For many physicists and philosophers, however, the currently fashionable tendency toward exotic interpretation of the theoretical formalism is recognized not as a mark of ascent for the tower of physics, but rather an indicator of sway—one that must be dampened rather than encouraged if practical progress is to continue. -/- In this unique two-part volume, designed to be comprehensible to both specialists and non-specialists, the authors chart out a pathway forward by identifying the central deficiency in most interpretations of quantum mechanics: That in its conventional, metrical depiction of extension, inherited from the Enlightenment, objects are characterized as fundamental to relations—i.e., such that relations presuppose objects but objects do not presuppose relations. The authors, by contrast, argue that quantum mechanics exemplifies the fact that physical extensiveness is fundamentally topological rather than metrical, with its proper logico-mathematical framework being category theoretic rather than set theoretic. -/- By this thesis, extensiveness fundamentally entails not only relations of objects, but also relations of relations. Thus, the fundamental quanta of quantum physics are properly defined as units of logico-physical relation rather than merely units of physical relata as is the current convention. Objects are always understood as relata, and likewise relations are always understood objectively. In this way, objects and relations are coherently defined as mutually implicative. The conventional notion of a history as “a story about fundamental objects” is thereby reversed, such that the classical “objects” become the story by which we understand physical systems that are fundamentally histories of quantum events. -/- These are just a few of the novel critical claims explored in this volume—claims whose exemplification in quantum mechanics will, the authors argue, serve more broadly as foundational principles for the philosophy of nature as it evolves through the twenty-first century and beyond. (shrink)

This is a greatly expanded version of my article "Anarchism and the Beats," which was published in the book, The Philosophy of the Beats, by the University Press of Kentucky in 2012. It is both an historical and a philosophical analysis of the postwar American counterculture. It charts the historical origins of the postwar American counterculture from the anarchists and romantic poets of the early nineteenth century to a complex network of beat poets and pacifist anarchists in the early (...) decades after World War II. The beat poets understood themselves to be religious prophets of a new form of liberated consciousness. Poetry was both a means to achieve this new form of consciousness and a means to express that consciousness once it was achieved by other means including travel, psychedelic drugs, sex or meditation. The transformation of consciousness sought by the beats was therefore primarily religious in nature, not political or ideological. However, that does not mean that the beats believed that the transformation of consciousness they sought had no political or social implications. On the contrary, the beats were almost all anarchists. It merely means that, for them, political ideology follows consciousness, not the reverse. (shrink)

To believe that logic has no history might at first seem peculiar today. But since the early 20th century, this position has been repeatedly conflated with logical monism of Kantian provenance. This logical monism asserts that only one logic is authoritative, thereby rendering all other research in the field marginal and negating the possibility of acknowledging a history of logic. In this paper, I will show how this and many related issues have developed, and that (...) they are founded on only one prominent statement by Kant. I will argue, however, that this statement takes on a very different meaning in a broader context of the history and philosophy of science, and that Kant and his supporters never advocated the logical monism that they are still said to hold today. (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)

Philosophy of history is the conceptual and technical study of the relation which exists between philosophy and history. This paper tries to analyze and examine the nature of philosophy of history, its methodology and ideal development. In this I have tried to set the limits of knowledge to know the special account of Hegel’s idealistic view about philosophy of history. In this paper I have also used the philosophical methodology and philosophy (...) inquiry, quest and hypothesis to discuss the Hegel’s idealistic concept of philosophy of history. It also examines and demonstrates the views of other idealist philosophers like, Socrates, Plato and Aristotle. It also shows the how history of mathematics is a complementary of idealism as most of philosophers who were idealists are also great mathematicians. In this paper we are investigation the epistemological approach, logical and metaphysical approach to study the nature of history, meaning of history and structure of history. (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)

The idea that logic is in some sense normative for thought and reasoning is a familiar one. Some of the most prominent figures in the history of philosophy including Kant and Frege have been among its defenders. The most natural way of spelling out this idea is to formulate wide-scope deductive requirements on belief which rule out certain states as irrational. But what can account for the truth of such deductive requirements of rationality? By far, the most (...) prominent responses draw in one way or another on the idea that belief aims at the truth. In this paper, I consider two ways of making this line of thought more precise and I argue that they both fail. In particular, I examine a recent attempt by Epistemic Utility Theory to give a veritist account of deductive coherence requirements. I argue that despite its proponents’ best efforts, Epistemic Utility Theory cannot vindicate such requirements. (shrink)

This collection of articles was written over the last 10 years and the most important and longest within the last year. Also I have edited them to bring them up to date (2016). The copyright page has the date of this first edition and new editions will be noted there as I edit old articles or add new ones. All the articles are about human behavior (as are all articles by anyone about anything), and so about the limitations of having (...) a recent monkey ancestry (8 million years or much less depending on viewpoint) and manifest words and deeds within the framework of our innate psychology as presented in the table of intentionality. As famous evolutionist Richard Leakey says, it is critical to keep in mind not that we evolved from apes, but that in every important way, we are apes. If everyone was given a real understanding of this (i.e., human ecology and psychology) in school, maybe civilization would have a chance. -/- In my view these articles and reviews have many novel and highly useful elements, in that they use my own version of the recently (ca. 1980’s) developed dual systems view of our brain and behavior to lay out a logical system of rationality (personality, psychology, mind, language, behavior, thought, reasoning, reality etc.) that is sorely lacking in the behavioral sciences (psychology, philosophy, literature, politics, anthropology, history, economics, sociology etc.). The philosophy centers around the two writers I have found the most important, Ludwig Wittgenstein and John Searle, whose ideas I combine and extend within the dual system (two systems of thought) framework that has proven so useful in recent thinking and reasoning research. As I note, there is in my view essentially complete overlap between philosophy, in the strict sense of the enduring questions that concern the academic discipline, and the descriptive psychology of higher order thought (behavior). Once one has grasped Wittgenstein’s insight that there is only the issue of how the language game is to be played, one determines the Conditions of Satisfaction (what makes a statement true or satisfied etc.) and that is the end of the discussion. -/- Now that I think I understand how the games work I have mostly lost interest in philosophy, which of course is how Wittgenstein said it should be. But since they are the result of our innate psychology, or as Wittgenstein put, it due to the lack of perspicuity of language, the problems run throughout all human discourse, so there is endless need for philosophical analysis, not only in the ‘human sciences’ of philosophy, sociology, anthropology, political science, psychology, history, literature, religion, etc., but in the ‘hard sciences’ of physics, mathematics, and biology. It is universal to mix the language game questions with the real scientific ones as to what the empirical facts are. Scientism is ever present and the master has laid it before us long ago, i.e., Wittgenstein (hereafter W) beginning principally with the Blue and Brown Books in the early 1930’s. -/- "Philosophers constantly see the method of science before their eyes and are irresistibly tempted to ask and answer questions in the way science does. This tendency is the real source of metaphysics and leads the philosopher into complete darkness." (BBB p18) -/- Nevertheless, a real understanding of Wittgenstein’s work, and hence of how our psychology functions, is only beginning to spread in the second decade of the 21st century, due especially to P.M.S. Hacker (hereafter H) and Daniele Moyal-Sharrock (hereafter DMS),but also to many others, some of the more prominent of whom I mention in the articles. -/- When I read ‘On Certainty’ a few years ago I characterized it in an Amazon review as the Foundation Stone of Philosophy and Psychology and the most basic document for understanding behavior, and about the same time DMS was writing articles noting that it had solved the millennia old epistemological problem of how we can know anything for certain. I realized that W was the first one to grasp what is now characterized as the two systems or dual systems of thought, and I generated a dual systems (S1 and S2) terminology which I found to be very powerful in describing behavior. I took the small table that John Searle (hereafter S) had been using, expanded it greatly, and found later that it integrated perfectly with the framework being used by various current workers in thinking and reasoning research. -/- Since they were published individually, I have tried to make the book reviews and articles stand by themselves, insofar as possible, and this accounts for the repetition of various sections, notably the table and its explanation. I start with a short article that presents the table of intentionality and briefly describes its terminology and background. Next, is by far the longest article, which attempts a survey of the work of W and S as it relates to the table and so to an understanding or description (not explanation as W insisted) of behavior. -/- The key to everything about us is biology, and it is obliviousness to it that leads millions of smart educated people like Obama, Chomsky, Clinton and the Pope to espouse suicidal utopian ideals that inexorably lead straight to Hell On Earth. As W noted, it is what is always before our eyes that is the hardest to see. We live in the world of conscious deliberative linguistic System 2, but it is unconscious, automatic reflexive System 1 that rules. This is Searle’s The Phenomenological Illusion (TPI), Pinker’s Blank Slate and Tooby and Cosmides Standard Social Science Model. Democracy and equality are wonderful ideals, but without strict controls, selfishness and stupidity gain the upper hand and soon destroy any nation and any world that adopts them. The monkey mind steeply discounts the future, and so we sell our children’s heritage for temporary comforts. -/- The astute may wonder why we cannot see System 1 at work, but it is clearly counterproductive for an animal to be thinking about or second guessing every action, and in any case there is no time for the slow, massively integrated System 2 to be involved in the constant stream of split second ‘decisions’ we must make. As W noted, our ‘thoughts’ (T1 or the thoughts of System 1) must lead directly to actions. It is my contention that the table of intentionality (rationality, mind, thought, language, personality etc.) that features prominently here describes more or less accurately, or at least serves an heuristic for how we think and behave, and so it encompasses not merely philosophy and psychology but everything else (history, literature, mathematics, politics etc.). Note especially that intentionality and rationality as I (along with Searle, Wittgenstein and others) view it,includes both conscious deliberative System 2 and unconscious automated System 1 actions or reflexes. -/- Thus all the articles, like all behavior, are intimately connected if one knows how to look at them. As I note, The Phenomenological Illusion (oblivion to our automated System 1) is universal and extends not merely throughout philosophy but throughout life. I am sure that Chomsky, Obama, Zuckerberg and the Pope would be incredulous if told that they suffer from the same problem as Hegel, Husserl and Heidegger, but it’s clearly true. While the phenomenologists only wasted a lot of people’s time, they are wasting the earth. -/- My writings are available in updated versions as paperbacks and Kindles on Amazon. -/- Talking Monkeys: Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet - Articles and Reviews 2006-2017 (2017) ASIN B071HVC7YP. -/- The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle--Articles and Reviews 2006-2016 (2017) ASIN B071P1RP1B. -/- Suicidal Utopian Delusions in the 21st century: Philosophy, Human Nature and the Collapse of Civilization - Articles and Reviews 2006-2017 (2017) 2nd printing with corrections (Feb 2018) ASIN B0711R5LGX -/- Suicide by Democracy: an Obituary for America and the World (2018) ASIN B07CQVWV9C . (shrink)

The philosophy is an important factor of education policy like the religion, heritage, culture and customs of the society .It concerns on the mind and its implication in our daily life. Philosophy focus on Logic, Science, Epistemology, Ethics and Esthetics which are important branches of human thoughts. During the human history, philosophy organizes education and the societies revert to philosophy to regulate education policy. In ancient time, Plato and Aristotle’s educational policy was established for (...) Athens. For the Medieval, Al-Kindi, Al-Farabi, Al-Razi, Ibn Sina, Ibn Tufail, and Ibn Rushd contributed to setting education policy in Arab culture. John Locke, Jean-Jacques Rousseau, Karl Marx and John Dewey elaborated philosophical theories of education. Philosophy contributes to: suggesting education goals, provide the learning outcome, classification of topics and learning activities in educational institutions , and proposes an educational curriculum. In this research, I will address these factors focusing on the fact that our present civilized societies need a philosophical dimension in organizing education policy. I will rely on philosophical theories, as well as contemporary studies that have been written on education policy in developed countries. (shrink)

Change is the fundamental idea of evolution. Explaining the extraordinary biological change we see written in the history of genomes and fossil beds is the primary occupation of the evolutionary biologist. Yet it is a surprising fact that for the majority of evolutionary research, we have rarely studied how evolution typically unfolds in nature, in changing ecological environments, over space and time. While ecology played a major role in the eventual acceptance of the population genetic viewpoint of evolution in (...) the synthetic era (circa 1918-1956), it held a lesser role in the development of evolutionary theory until the 1980s, when we began to systematically study the evolutionary dynamics of natural populations in space and time. As a result, early evolutionary theory was initially constructed in an abstract vacuum that was unrepresentative of evolution in nature. The subtle synthesis between ecology with evolutionary biology (eco-evo synthesis) over the past 40 years has progressed our knowledge of natural selection dynamics as they are found in nature, thus revealing how natural selection varies in strength, direction, form, and, more surprisingly, level of biological organization. Natural selection can no longer be reduced to lower levels of biological organization (i.e., individuals, selfish genes) over shorter timescales but should be expanded to include adaptation at higher levels and over longer timescales. Long-term and/or emergent evolutionary phenomena, such as multilevel selection or evolvability, have thus become tenable concepts within an evolutionary biology that embraces ecology and spatiotemporal change. Evolutionary biology is currently suspended at an intermediate stage of scientific progress that calls for the organization of all the recent knowledge revealed by the eco-evo synthesis into a coherent and unified theoretical framework. This is where philosophers of biology can be of particular use, acting as a bridge between the subdisciplines of biology and inventing new theoretical strategies to organize and accommodate the recent knowledge. Philosophers have recommended transitioning away from outdated philosophies that were originally derived from physics within the philosophical zeitgeist of logical positivism (i.e., monism, reductionism, and monocausation) and toward a distinct philosophy of biology that can capture the natural complexity of multifaceted biological systems within diverse ecosystems—one that embraces the emerging philosophies of pluralism, emergence, and multicausality. Therefore, I see recent advances in ecology, evolutionary biology, and the philosophy of biology as laying the groundwork for another major biological synthesis, what I refer to as the Second Synthesis because, in many respects, it is analogous to the aims and outcomes of the first major biological synthesis (but is notably distinct from the inorganic and contrived progressive movement known as the extended evolutionary synthesis). With the general development of a distinctive philosophy of science, biology has rightfully emerged as an autonomous science. Thus, while the first synthesis legitimized biology, the Second Synthesis autonomized biology and afforded biology its own philosophy, allowing biology to finally realize its full scientific potential. (shrink)

Logical positivism is often characterized as a set of naive doctrines on meaning, method, and metaphysics. In recent decades, however, historians have dismissed this view as a gross misinterpretation. This new scholarship raises a number of questions. When did the standard reading emerge? Why did it become so popular? And how could commentators have been so wrong? This essay reconstructs the history of a “caricature” and rejects the hypothesis that it was developed by ill-informed Anglophone scholars who failed to (...) appreciate the subtleties of European scientific philosophy. It argues that the received view has a more complicated history and was frequently promoted by the European positivists themselves. The essay shows that the view has roots in both American and European scientific philosophy and emerged as a result of the complex interplay between the two communities in the years before the intellectual migration. (shrink)

Without directly addressing the Demarcation Problem for logic—the problem of distinguishing logical vocabulary from others—we focus on distinctive aspects of logical vocabulary in pursuit of a second goal in the philosophy of logic, namely, proposing criteria for the justification of logical rules. Our preferred approach has three components. Two of these are effectively Belnap’s, but with a twist. We agree with Belnap’s response to Prior’s challenge to inferentialist characterisations of the meanings of logical constants. Belnap argued that (...) for a logical constant to exist, its rules must be conservative over a previously given consequence relation and guarantee the uniqueness of the constant. The twist is that we require logical vocabulary to be provably conservative, not over a previously given formal consequence relation, but over a previously given meaningful vocabulary of a language. Uniqueness is also a feature defined in terms of provability: if two syntactically distinguished expressions are governed by the same rules, then formulas with them as main operators are interderivable. Belnap’s criteria are not only those for the existence of a logical constant, but more: they are what distinguishes logical vocabulary from all other expressions. It is the defining mark of a logical constant that it is provably conservative over the fragment of the language which excludes it and that its rules guarantee its uniqueness. The third component is the topic neutrality of logic. The provable conservativeness of logic over a previously given vocabulary of a language is motivated, in part, by appeal to molecularism in the theory of meaning. Molecularity is a feature endorsed by the theory of meaning as a whole, so it does not distinguish logical constants from other expressions. The same is true for conservativeness. We argue that molecularity, and hence conservativeness, are implicit presuppositions of speakers’ use of language: the addition of new vocabulary to a language is presupposed to be conservative. But this presupposition is one that we should be able reflectively to endorse (such as when attempting a rational reconstruction of the use of the vocabulary). Thus, where conservativeness is found to fail, this defect should be remedied and the use of the vocabulary corrected (as in classical negation) or excised altogether (as in pejoratives). We go on to characterise a notion of topic neutrality, which we argue applies to logical vocabulary. We then note that reflective endorsement of the conservativeness of a topic neutral vocabulary requires a proof that the vocabulary is conservative relative to any base vocabulary. Thus we require that logical vocabulary be demonstrably conservative. Allying this requirement, distinctive of logic, to a general consideration about the commitments of assertion yields a mode of justification for logical constants akin to some conceptions of Harmony, i.e., to the idea that the consequences of assertion of a logical complex need to be warranted by the grounds and ought to be the strongest consequences warranted by the grounds. Intuitionistic logic acquires a somewhat familiar justification but emanating from a new motivation. (shrink)

In this paper, I criticize the thesis that value-laden approaches in American philosophy of science were marginalized in the 1960s through the editorial policy at Philosophy of Science and funding practices at the National Science Foundation. I argue that there is no available evidence of any normative restriction on philosophy of science as a domain of inquiry which excluded research on the relation between science and society. Instead, I claim that the absence of any exemplary, professional philosopher (...) who discussed the relation between science and society sufficed to narrow the focus of philosophers of science, given the institutional stabilization of the domain within professional philosophy from 1959 onwards. (shrink)

“Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE” is being organized by the Centre for Logic, Epistemology and the History of Science at the State University of Campinas (CLEUnicamp) from September 12th to 15th, 2016, with the auspices of the Brazilian Logic Society, Studia Logica and the Polish Academy of Sciences. The conference is intended to celebrate the 40th anniversary of CLE, and is centered around the areas of logic, (...) epistemology, philosophy and history of science, while bringing together scholars in the fields of philosophy, logic, mathematics, computer science and other disciplines who have contributed significantly to what Studia Logica is today and to what CLE has achieved in its four decades of existence. It intends to celebrate CLE’s strong influence in Brazil and Latin America and the tradition of investigating formal methods inspired by, and devoted to, philosophical views, as well as philosophical problems approached by means of formal methods. The title of the event commemorates one of the three main areas of CLE, what has been called the “Brazilian school of paraconsistency”, combining such a pluralist view about logic and reasoning. (shrink)

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

History and Philosophy of Logic, Volume 33, Issue 1, Page 101-104, February 2012.

Science lies at the intersection of ideas and society, at the heart of the modern human experience. The study of past science should therefore be central to our humanistic attempt to know ourselves. Nevertheless, past science is not studied as an integral whole, but from two very different and divergent perspectives: the intellectual history of science, which focuses on the development of ideas and arguments, and the social history of science, which focuses on the development of science as (...) a social undertaking within its broader contexts. There is almost universal agreement that this bifurcation of the field is lamentable, and nearly universal disagreement about where, exactly, the problem lies. In order to identify the difficulty, this paper examines the institutional histories and disciplinary philosophies that have constituted the study of past science. I argue that science history, eventually allied itself with either History or Philosophy in order to find institutional support, thereby suffering the artificial imposition of the disciplinary prejudices of its allied fields, which lead science historians to adopt either the intellectual or the social perspective. Science history must reconcile its distinctions on its own terms, as an integrated unity with its own disciplinary bounds, and apart from History and Philosophy. As a catalyst for rapprochement, the historical and philosophical examination also yields a mapping of the field of science history that can be used to locate the problematic divisions in present scholarship and to draw new disciplinary bounds. (shrink)

Aristotle's syllogistic theory, as developed in his Prior Analytics, is often regarded as the birth of logic in Western philosophy. Over the past century, scholars have tried to identify important precursors to this theory. I argue that Platonic division, a method which aims to give accounts of essences of natural kinds by progressively narrowing down from a genus, influenced Aristotle's logical theory in a number of crucial respects. To see exactly how, I analyze the method of division as (...) it was originally conceived by Plato and received by Aristotle. I argue that, while Plato allowed that some divisions fail to rigorously investigate the essence, he began a program continued by Aristotle (and others in antiquity and the middle ages) of seeking norms for division that would apply in any domain whatsoever. This idea of a rigorous, general method was taken up and developed by Aristotle in his syllogistic. Aristotle also used Plato's conception of predication as parthood in his semantics for syllogistic propositions. As part of my argument, I prove that a semantics based on Platonic divisional structures is sound and complete for the deduction system used in the literature to model Aristotle's syllogistic. (shrink)

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

The criticism of Immanuel Kant’s logic commenced with the advent of the so-called ‘new logic’ in the 20th century. One particular passage from the second preface to the Critique of Pure Reason has been a source of contention, where Kant asserted that logic has not taken a step forward or backward since Aristotle (B VIII). In Kant scholarship, one current strategy to avoid this criticism is to relocate Kant within the domain of philosophy of logic (...) or by segregating his general logic from modern formal systems. In this paper, it will be contended that this strategy is too weak, given that the B-preface has currently been analyzed in a markedly divergent manner by the so-called ‘methodological interpretation’. In his methodology and history of science of the B-preface, Kant means something different by progress and regression than what his 20th-century critics assume he meant. By examining what Kant and his critics considered to be progress and regress in science and logic, good reasons can be put forward for the argument that Kant was correct in his assertion that logic has not gone a step forward or backward. (shrink)

Several recent works in history and philosophy of science have re-evaluated the alleged opposition between the theses put forth by logical empiricists such as Carnap and the so-called "post-positivists", such as Kuhn. Although the latter came to be viewed as having seriously challenged the logical positivist views of science, recent authors (e.g., Friedman, Reisch, Earman, Irzik and Grünberg) maintain that some of the most notable theses of the Kuhnian view of science have striking similarities with some aspects of (...) Carnap's philosophy. Against that reading, Oliveira and Psillos argue that within Carnap's philosophy there is no place for the Kuhnian theses of incommensurability, holism, and theory-ladenness of observations. This paper presents each of those readings and argues that Carnap and Kuhn have non-opposing views on holism, incommensurability, the theory-ladenness of observations, and scientific revolutions. We note at the very end - without dwelling on the point, however - that they come apart on other matters, such as their views on metaphysics and on the context of discovery/justification distinction. (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)

The textbook-like history of analytic philosophy is a history of myths, re-ceived views and dogmas. Though mainly the last few years have witnessed a huge amount of historical work that aimed to reconsider our narratives of the history of ana-lytic philosophy there is still a lot to do. The present study is meant to present such a micro story which is still quite untouched by historians. According to the received view Kripke has defeated all the (...) arguments of Quine against quantified modal logic and thus it became a respectful tool for philosophers. If we accept the historical interpreta-tion of the network between Quine, Kripke and modal logic, which is to be presented here, we have to conclude that Quine’s real philosophical animadversions against the modalities are still on the table: though Kripke has provided some important (formal-logical) answers, Quine’s animadversions are still viable and worthy of further consideration. (shrink)

We report the results of a study that investigated the views of researchers working in seven scientific disciplines and in history and philosophy of science in regard to four hypothesized dimensions of scientific realism. Among other things, we found that natural scientists tended to express more strongly realist views than social scientists, that history and philosophy of science scholars tended to express more antirealist views than natural scientists, that van Fraassen’s characterization of scientific realism failed to (...) cluster with more standard characterizations, and that those who endorsed the pessimistic induction were no more or less likely to endorse antirealism. (shrink)