In paragraph 21 of his "Logic of Scientific Discovery", Karl Popper characterizes with the help of two seemingly synonymous definitions the falsifiability of a theory as a logical relation between the theory itself and its basic statements. It is shown that his definitions do not agree with each other, and this result is applied to the problem of the falsifiability of contradictions, to the difference between falsifiable and empirical statements and to the demarcation criterion.

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

Mit seinem Einfluß auf die Entwicklung der Physiologie, Physik und Geometrie ist Hermann von Helmholtz wie kaum ein anderer Wissenschaftler der zweiten Hälfte des 19. Jahrhunderts repräsentativ für die Naturforschung in Deutschland. Nicht weniger repräsentativ nimmt sich die Entwicklung seiner Wissenschaftsauffassung aus. Während er bis in die späten 60er Jahre einen emphatischen Wahrheitsanspruch der Wissenschaft vertrat, begann er in der nachfolgenden Zeit, die Geltungsbedingungen der wissenschaftlichen Erkenntnis einer Relativierung zu unterwerfen, die zusammenfassend als Hypothetisierung bezeichnet werden kann. Helmholtz entwickelte damit (...) schon im vergangenen Jahrhundert Ansätze einer Wissenschaftsauffassung , die in erstaunlichem Umfang in die Richtung der Moderne weisen. Wie nah er späteren Wissenschaftsauffassungen bereits gekommen ist, kann ein Vergleich mit Karl R. Poppers Forschungslogik illustrieren. In seiner Forschungslogik ist die Hypothetisierung der wissenschaftlichen Erkenntnis entschieden weiter vorangeschritten als in Heimholtz' Wissenschaftstheorie. Was sich bei Helmholtz erst vage abzuzeichnen beginnt, ist bei ihm bereits explizit formuliertes Programm geworden. Obwohl HeImholtz und Popper in keiner direkten wissenschaftstheoretischen Entwicklungslinie stehen und Popper sich in seinen Schriften auch nur sehr selten und beiläufig auf Helmholtz bezieht, finden sich dennoch überraschende und bisher nicht beachtete Berührungspunkte, die insbesondere dann hervortreten, wenn man Heimholtz' Wissenschaftsauffassung vor dem Hintergrund von Poppers Forschungslogik betrachtet. (shrink)

Purpose – To review and discuss Luciano Floridi’s 2019 book The Logic of Information: A Theory of Philosophy as Conceptual Design, the latest instalment in his philosophy of information (PI) tetralogy, particularly with respect to its implications for library and information studies (LIS). Design/methodology/approach – Nine scholars with research interests in philosophy and LIS read and responded to the book, raising critical and heuristic questions in the spirit of scholarly dialogue. Floridi responded to these questions. Findings – Floridi’s (...) PI, including this latest publication, is of interest to LIS scholars, and much insight can be gained by exploring this connection. It seems also that LIS has the potential to contribute to PI’s further development in some respects. Research implications – Floridi’s PI work is technical philosophy for which many LIS scholars do not have the training or patience to engage with, yet doing so is rewarding. This suggests a role for translational work between philosophy and LIS. Originality/value – The book symposium format, not yet seen in LIS, provides forum for sustained, multifaceted and generative dialogue around ideas. (shrink)

The aim of this paper is to investigate Nishida Kitarō’s way of philosophizing in the light of the concept of “transition” in order to deepen our understanding of both Nishida’s philosophy and our thinking about and in transitions, using the concept of “boundary” or “border” (Grenze) as a catalyst. For that purpose, we focus on Nishida’s essay “Place” (「場所」), passing through different parts of the text as if through successive gates on a path of transition between one place and the (...) next, until we reach the final place of “absolute nothingness.” Dwelling on this place, we turn our attention to its internal structure and try to depict it along the outlines of a boundary, following the movements taking place in Nishida’s essay. The second part proposes an interpretation of the place of nothingness as an interminable practice of boundary-crossing that doesn’t come to a halt in a final, all-encompassing place, but dynamically situates itself on countless intersecting planes. After a more or less abstract analysis of the concept of “boundary,” we will apply and concretize this approach by using the example of the skin. To this end, we expose five main features of the skin as boundary: permeability, enclosure, excessiveness, interstitiality and reciprocal self-formation. (shrink)

Inspired by Bas van Fraassen’s Stance Empiricism, Anjan Chakravartty has developed a pluralistic account of what he calls epistemic stances towards scientific ontology. In this paper, I examine whether Chakravartty’s stance pluralism can exclude epistemic stances that licence pseudo-scientific practices like those found in Scientology. I argue that it cannot. Chakravartty’s stance pluralism is therefore prone to a form of debilitating relativism. I consequently argue that we need (1) some ground or constraint in relation to which epistemic stances can be (...) ranked by degrees, and (2) some way to demarcate science from pseudo-science so that we know what epistemic stances are about. Regarding (1), I argue that empirical detectability can serve as the ground in relation to which epistemic stances are ranked by degrees. Regarding (2), I argue for ranking sciences on a continuum according to established institutional criteria, rather than attempting to draw a strict demarcation. (shrink)

Husserl and Frege reject logical psychologism, the view that logical laws are psychological 'laws of thought'. This paper offers an account of these famous objections and argues that their crucial premise, the necessity of logical laws, is justified with reference to a problematic metaphysics. However, this premise can be established in a more plausible way, namely via a transcendental argument which starts from the practice of rational criticism. This argument is developed through a discussion of Quine's holism, which at first (...) appears to make the idea of the necessity of logical laws even less plausible, but eventually turns out to speak in favor of this view. (shrink)

Die Coronapandemie stellt die Gesellschaft vor große Herausforderungen. Vielen Menschen mangelt es an (elementaren) naturwissenschaftlichen Kenntnissen. Sie sind skeptisch und misstrauen grundlegenden Prinzipien und Konzepten der Forschung. Esoterik und (Aber-) Glaube ersetzen ihnen den Zugang zur Wirklichkeit. -/- Nicht nur Fakten sind neuerdings "alternativ". Auch pseudowissenschaftliche Heilmethoden und okkulte Verfahren wurden der Bevölkerung trotz fehlender Wirksamkeitsnachweise lange als gleichwertige Alternativen zur modernen Medizin präsentiert. Ganz so, als wären Vernunft oder Unsinn eben eine Frage des persönlichen Geschmacks, einer anderen Weltanschauung. (...) Sekundiert durch das Gerede von einem "übertrieben szientistischen Weltbild", wurden Empirie und Logik systematisch diffamiert. -/- Infolge dieses Zerrbilds grassieren nun allerhand Verschwörungstheorien. Geistheiler, Seher, Schamanen, Scharlatane, Quacksalber, Sektierer, und Eiferer aller Richtungen und Couleur haben Konjunktur. Ein diffuses Pandemiemanagement und eine miserable Kommunikation tun ihr Übriges und tragen dazu bei, dass Infektionsschutzmaßnahmen oft rundweg abgelehnt und Impfquoten sich nun kaum noch signifikant steigern lassen. -/- The corona pandemic poses major challenges for society. Many people lack (basic) scientific knowledge. They are skeptical and distrust fundamental research principles and concepts. Esotericism and superstition replace them access to reality. -/- Not only facts are recently considered "alternative". Pseudo-scientific healing methods and occult procedures have long been presented to the public as equivalent alternatives to modern medicine, despite the lack of evidence of their effectiveness. Just as if reason or nonsense were just a question of personal taste, a different world view. Seconded by talk of an "exaggeratedly scientific world view", empiricism and logic were systematically defamed. -/- As a result of this distorted picture, all kinds of conspiracy theories are now rampant. Spiritual healers, seers, shamans, charlatans, quacks, sectarians, and zealots of all stripes and persuasions are in demand. Diffuse pandemic management and miserable communication do the rest and contribute to the fact that infection control measures are often flatly rejected and vaccination rates can hardly be increased significantly. -/- . (shrink)

The corona pandemic poses major challenges for society. Many people lack (basic) scientific knowledge. They are skeptical and distrust fundamental research principles and concepts. Esotericism and superstition replace them access to reality. -/- Not only facts are recently considered "alternative". Pseudo-scientific healing methods and occult procedures have long been presented to the public as equivalent alternatives to modern medicine, despite the lack of evidence of their effectiveness. Just as if reason or nonsense were just a question of personal taste, (...) a different world view. Seconded by talk of an "exaggeratedly scientific world view", empiricism and logic were systematically defamed. -/- As a result of this distorted picture, all kinds of conspiracy theories are now rampant. Spiritual healers, seers, shamans, charlatans, quacks, sectarians, and zealots of all stripes and persuasions are in demand. Diffuse pandemic management and miserable communication do the rest and contribute to the fact that infection control measures are often flatly rejected and vaccination rates can hardly be increased significantly. -/- Die Coronapandemie stellt die Gesellschaft vor große Herausforderungen. Vielen Menschen mangelt es an (elementaren) naturwissenschaftlichen Kenntnissen. Sie sind skeptisch und misstrauen grundlegenden Prinzipien und Konzepten der Forschung. Esoterik und (Aber-) Glaube ersetzen ihnen den Zugang zur Wirklichkeit. -/- Nicht nur Fakten sind neuerdings "alternativ". Auch pseudowissenschaftliche Heilmethoden und okkulte Verfahren wurden der Bevölkerung trotz fehlender Wirksamkeitsnachweise lange als gleichwertige Alternativen zur modernen Medizin präsentiert. Ganz so, als wären Vernunft oder Unsinn eben eine Frage des persönlichen Geschmacks, einer anderen Weltanschauung. Sekundiert durch das Gerede von einem "übertrieben szientistischen Weltbild", wurden Empirie und Logik systematisch diffamiert. -/- Infolge dieses Zerrbilds grassieren nun allerhand Verschwörungstheorien. Geistheiler, Seher, Schamanen, Scharlatane, Quacksalber, Sektierer, und Eiferer aller Richtungen und Couleur haben Konjunktur. Ein diffuses Pandemiemanagement und eine miserable Kommunikation tun ihr Übriges und tragen dazu bei, dass Infektionsschutzmaßnahmen oft rundweg abgelehnt und Impfquoten sich nun kaum noch signifikant steigern lassen. -/- . (shrink)

This essay surveys the main objections to aesthetic hedonism, the view that aesthetic value is reducible to the value of aesthetic pleasure or experience. Hedonism is the dominant view of aesthetic value, but a spate of recent criticisms has drawn its accuracy into question. I introduce some distinctions crucial to the criticisms, before using the bulk of the essay to identify and review six major lines of argument that hedonism's critics have employed against it. Whether or not these arguments suffice (...) to refute hedonism decisively, I argue that its privileged status, as the sole contender in aesthetic value theory, is detrimental to downstream research on aesthetic phenomena. The essay concludes with an overview of current work and promising avenues of inquiry into non-hedonic alternatives. (shrink)

In Popper's Logik der Forschung, a theoretical system is a set of sentences that describe a particular sub-area of science, in particular of empirical science. The goal of axiomatizing a theoretical system is to specify a small number of "axioms" describing all presuppositions of the sub-area under consideration, so that all other sentences of this system can be derived from them by means of logical or mathematical transformations. The paper discusses two philosophical interpretations of these proper axioms. First, (...) proper axioms stipulate the use of the signs for the basic concepts of the system. Consequently, the proper axioms turn out to be analytic relative to a class of interpretations of the underlying logic. Hence, they cannot be falsified by refuting their logical consequences because these consequences are analytic as well. Secondly, proper axioms are synthetic, falsifiable and uncertain sentences. Hence, they are not immunized against falsification by refuting their logical consequences. (shrink)

This paper examines the integration of ethical considerations in management accounting (MA) education. Drawing on the work of Alisdair MacIntyre, it is argued that MA instruments such as performance measurement are not morally neutral, but instead bear moral implications. Therefore, this paper contends that MA students should be trained to take these moral implications into consideration alongside MA's technical aspects. A content analysis is carried out to examine the integration of ethical considerations in top-ranked MA textbooks. The findings indicate that (...) these textbooks, particularly the introductory textbooks, marginally integrate ethical considerations. Furthermore, the findings point to the risk of detaching ethical considerations from the discussion of MA's technical aspects, which may weaken the potential of the ethical considerations and turn them into ‘afterthoughts’. Finally, this paper offers practical suggestions for the improvement of the integration of ethical considerations in MA education and concludes with directions for future research. (shrink)

This article reviews the debate on ‘intersectionality’ as the dominant approach in gender studies, with an emphasis on the politics of representation. The debate on intersectionality officially began in the late 1980s, though the approach can be traced back to the institutionalization of women's studies in the 1970s and the feminist movement of the 1960s. Black and lesbian feminists have long advocated hyphenated identities to be the backbone of feminist thought. But in recent years, intersectionality has sustained criticism from numerous (...) angles within gender studies, ranging from feminist philosophy to applied political research. This article will use the theorization of ‘interference’ as a searchlight to produce an overview of this interdisciplinary debate, culminating in our affirmative answer to the question: should we move from intersectionality to interference? Our answer is based on onto-epistemological reflections, i.e., reflections in which being and knowing are always already entangled. -/- . (shrink)

The purpose of this paper is to review and discuss Luciano Floridi’s 2019 book The Logic of Information: A Theory of Philosophy as Conceptual Design, the latest instalment in his philosophy of information (PI) tetralogy, particularly with respect to its implications for library and information studies (LIS) .

This short essay presents a critical cartography of the critical new materialist notion and methodology of diffraction.

This document presents the Bonn PRINTEGER Consensus Statement: Working with Research Integrity—Guidance for research performing organisations. The aim of the statement is to complement existing instruments by focusing specifically on institutional responsibilities for strengthening integrity. It takes into account the daily challenges and organisational contexts of most researchers. The statement intends to make research integrity challenges recognisable from the work-floor perspective, providing concrete advice on organisational measures to strengthen integrity. The statement, which was concluded February 7th 2018, (...) provides guidance on the following key issues: § 1.Providing information about research integrity § 2.Providing education, training and mentoring § 3.Strengthening a research integrity culture § 4.Facilitating open dialogue § 5.Wise incentive management § 6.Implementing quality assurance procedures § 7.Improving the work environment and work satisfaction § 8.Increasing transparency of misconduct cases § 9.Opening up research § 10.Implementing safe and effective whistle-blowing channels § 11.Protecting the alleged perpetrators § 12.Establishing a research integrity committee and appointing an ombudsperson § 13.Making explicit the applicable standards for research integrity. (shrink)

The debate on the sharing economy in Belgium has been mainly focused on its economic, quantitative, and digital aspects. Given the fact that the adoption of the sharing economy has accelerated lately, this report wanted to contribute to further open up the debate on the adoption of this economy in relation to an aspect that is too little discussed, namely sustainability. Based on some smaller studies, this report identifies different drivers for concrete sustainable sharing economy initiatives to develop that situate (...) themselves on the level of people’s daily life practices, social and cultural developments, and policy developments. Next to these drivers, there were issues detected that interact closely with the further development of this economy. The report ends with a suggestion for more systematic research of the drivers behind the initiation, adoption, and sustaining of sharing economy initiatives and their contributions to a more sustainable Belgian society. (shrink)

Zwischen 1987 und 1994 sandte ich 20 Briefe an Karl Popper. Die meisten betrafen Fragen bezüglich seiner Antiinduktionsbeweise und seiner Wahrscheinlichkeitstheorie, einige die organisatorische und inhaltliche Vorbereitung eines Fachgesprächs mit ihm in Kenly am 22. März 1989 (worauf hier nicht eingegangen werden soll), einige schließlich ganz oder in Teilen nicht-fachliche Angelegenheiten (die im vorliegenden Bericht ebenfalls unberücksichtigt bleiben). Von Karl Popper erhielt ich in diesem Zeitraum 10 Briefe. Der bedeutendste ist sein siebter, bestehend aus drei Teilen, geschrieben am 21., 22. (...) und 23. Oktober 1992, in dem er eine Vorform jener Definition der probabilistischen Unabhängigkeit entwickelte, die er 1994 im neuen Anhang *XX der 10. Auflage seiner Logik der Forschung (LdF) der wissenschaftstheoretischen Forschergemeinde vorstellte. Der berührendste ist sein letzter, geschrieben am 26. Juli 1994, in dem er trotz Erschöpfung mit Humor schildert, wie mühselig der Druck des Anhangs *XX verlaufen ist. Mein Bericht ist zugleich chronologisch und systematisch gegliedert: die ersten, vergleichsweise wenigen Briefe, großteils 1987 geschrieben, handeln von der Induktion; der große Rest, zeitlicher Schwerpunkt 1992, beschäftigt sich mit der Wahrscheinlichkeitstheorie. Das Kapitel 1 über Induktion ist in vier Abschnitte unterteilt: 1.1 Das Popper/Miller-Argument: eine Nachkonstruktion, 1.2 Karl Poppers Brief vom 25.8.1987: Deduktive Stützung, 1.3 Karl Poppers Brief vom 29.9.1987: Nochmals zur deduktiven Stützung, 1.4 Echt induktive Stützung und Schwächung: zwei eigene Beweise. Das Kapitel 2 über Wahrscheinlichkeit ist ebenfalls in vier Abschnitte unterteilt: 2.1 Ein Mangel an Überschußgesetzen in der Logic of Scientific Discovery, 2.2 Probabilistische Unabhängigkeit, 2.3 Wahrscheinlichkeitstheorie und Wahrscheinlichkeitssemantik, 2.4 Die neue Unabhängigkeitsdefinition im Anhang *XX der LdF. (shrink)

This article discusses various dangers that accompany the supposedly benign methods in behavioral evoltutionary biology and evolutionary psychology that fall under the framework of "methodological adaptationism." A "Logic of Research Questions" is proposed that aids in clarifying the reasoning problems that arise due to the framework under critique. The live, and widely practiced, " evolutionary factors" framework is offered as the key comparison and alternative. The article goes beyond the traditional critique of Stephen Jay Gould and Richard C. (...) Lewontin, to present problems such as the disappearance of evidence, the mishandling of the null hypothesis, and failures in scientific reasoning, exemplified by a case from human behavioral ecology. In conclusion the paper shows that "methodological adaptationism" does not deserve its benign reputation. (shrink)

Karl Popper, ca raționalist critic, a fost un oponent al tuturor formelor de scepticism, convenționalism și relativism în știință. În 1935 a scris Logica cercetării (Logik der Forschung. Zur Erkenntnistheorie der modernen Naturwissenschaft), traducând ulterior cartea în engleză și publicând-o sub titlul The Logic of Scientific Discovery (1959) considerată ca o lucrare de pionierat în domeniu. Multe dintre argumentele din această carte sunt îndreptate împotriva membrilor "Cercului Vienez", precum Moritz Schlick, Otto Neurath, Rudolph Carnap, Hans Reichenbach, Carl (...) Hempel și Herbert Feigl. Popper este de acord cu aceștia cu privire la aspectele generale ale metodologiei științifice și neîncrederea lor în metodologia filosofică tradițională, dar soluțiile sale au fost semnificativ diferite. Popper a contribuit semnificativ la dezbaterile privind metodologia științifică generală, demarcarea științei de pseudoștiință, natura probabilității și metodologia științelor sociale. (shrink)

Karl Popper, en tant que rationaliste critique, a été un opposant à toutes les formes de scepticisme, de conventionnalisme et de relativisme scientifique. En 1935, il a écrit Logik der Forschung. Zur Erkenntnistheorie der modernen Naturwissenschaft, traduisant plus tard le livre en anglais et le publiant sous le titre The Logic of Scientific Discovery (1959), considéré comme un travail de pionnier dans son domaine. De nombreux arguments de ce livre sont dirigés contre les membres du « Cercle (...) de Vienne », tels que Moritz Schlick, Otto Neurath, Rudolph Carnap, Hans Reichenbach, Carl Hempel et Herbert Feigl. Popper est d'accord avec eux sur les aspects généraux de la méthodologie scientifique et sur leur méfiance à l'égard de la méthodologie philosophique traditionnelle, mais ses solutions ont été sensiblement différentes. Popper a largement contribué aux débats sur la méthodologie scientifique générale, la démarcation de la pseudo-science, la nature des probabilités et la méthodologie des sciences sociales. DOI: 10.13140/RG.2.2.12087.57763. (shrink)

What methodological approaches do research programs use to investigate the world? Elisabeth Lloyd’s Logic of Research Questions (LRQ) characterizes such approaches in terms of the questions that the researchers ask and causal factors they consider. She uses the Logic of Research Questions Framework to criticize adaptationist programs in evolutionary biology for dogmatically assuming selection explanations of the traits of organisms. I argue that Lloyd’s general criticism of methodological adaptationism is an artefact of the impoverished LRQ. (...) My Ordered Factors Proposal extends the LRQ to characterize approaches with sequences of questions and factors. I highlight the importance that ordering one’s investigation plays in approaches at the level of adaptationism by analyzing two research programs in community ecology: competitionists and neutralists. Competitionists and neutralists take opposed starting points and use explanatory and developmental heuristics to consider more factors in due time. On the Ordered Factors Proposal, these approaches are not only the ecological factors they are open to considering but also the order in which they will consider them. My disagreement with Lloyd’s over how to characterize methodological approaches reflects different views about methodological monism and pluralism. (shrink)

Empty individual expressions are needed to reconstruct the actual use of scientific language as well as to make logic free from existence assumptions. According to Quine, a language must be extensional to be adequate for the purposes of science. By means of Lambert's non-extensionality argument it can be demonstrated that a language containing empty individual expressions cannot be extensional as long as truth-values are the extensions of sentences. This book investigates the soundness of Lambert's argument and examines the question (...) of whether and how extensionality of a language for free logic can be secured. To achieve these aims, the notion of extensionality is thoroughly analyzed and two new semantic approaches to free logic are developed in which states of affairs, but not truth-values, are the extensions of sentences. These two semantic approaches are defended against the slingshot argument. In this way, two possible solutions to the problem of extensionality arise which use non-existent objects in two different ways: whereas in dual domain semantics non-existent objects serve as referents of empty singular terms, in single domain semantics they serve as hole marker objects that mark the holes in states of affairs where an object is missing due to an irreferental individual expression. (shrink)

In this position paper, we describe a number of methodological and philosophical challenges that arose within our interdisciplinary Digital Humanities project CatVis, which is a collaboration between applied geometric algorithms and visualization researchers, data scientists working at OCLC, and philosophers who have a strong interest in the methodological foundations of visualization research. The challenges we describe concern aspects of one single epistemic need: that of methodologically securing (an increase in) trust in visualizations. We discuss the lack of ground truths (...) in the (digital) humanities and argue that trust in visualizations requires that we evaluate visualizations on the basis of ground truths that humanities scholars themselves create. We further argue that trust in visualizations requires that a visualization provides provable guarantees on the faithfulness of the visual representation and that we must clearly communicate to the users which part of the visualization can be trusted and how much. Finally, we discuss transparency and accessibility in visualization research and provide measures for securing transparency and accessibility. (shrink)

The Centre for Society and Genomics (CSG) was established in 2004, funded by NGI (the Netherlands Genomics Initiative). Funding was continued in 2008. This report summarises the basic outcomes of almost a decade of interactive societal research, in close collaboration with the other centres of the NGI network. There are two reasons for presenting these results. First of all, at the end of this year, the CSG Next programme (2008-2013), encompassing more than 50 research projects conducted at 10 (...) Dutch universities, will be completed. Moreover, we are currently preparing ourselves for the years to come. The network of principal investigators, together with the research communities they represent and the societal and international networks they are involved in, have agreed to continue to work together, on the basis of mutual learning, transdisciplinary collaboration and collegial support. Notably, we offer our networks, experiences and expertise to help prepare the ground for promoting Responsible Research and Innovation (RRI) in the context of Horizon2020, together with our European colleagues. This report summarises what our type of research can achieve and how we want to continue our activities in the future. After a concise sketch of the life sciences landscape as it has evolved during the past seven decades or so, we explain how CSG came about and what kind of approach we have developed. Subsequently, we list our main results, notably in the form of project vignettes, so as to make the harvest of the CSG Next programme as tangible and concrete as possible. Finally, we explain how we see our role in the future. As is already indicated by the title: this is not merely a retrospective summary of our results (CSG harvest), but an invitation to readers (from academia, industry, policy and civil society) to reassemble and to optimally prepare ourselves for things to come, by strengthening and broadening our collaborative efforts, building on what we have achieved so far. (shrink)

In Logik der Forschung (1934) and later works, Karl Popper proposed a set of methodological rules for scientists. Among these were requirements that theories should evolve in the direction of increasing content, and that new theories should only be accepted if some of their novel predictions are experimentally confirmed. There are currently two, viable theories of cosmology: the standard cosmological model, and a theory due to Mordehai Milgrom called MOND. Both theories can point to successes and failures, but (...) only MOND has repeatedly made novel predictions that were subsequently found to be correct. Standard-model cosmologists, by contrast, have almost always responded to new observations in a post-hoc manner, adjusting or augmenting their theory as needed to obtain correspondence with the facts. I argue that these methodological differences render a comparison of the two theories in terms of their ‘truthlikeness’ or ‘verisimilitude’ essentially impossible since the two groups of scientists achieve correspondence with the facts in fundamentally different ways, and I suggest that a better guide to the theories’ progress toward the truth might be the methodologies themselves. (shrink)

scientific progress, natural philosophy of the Late Medieval Period is seen as playing the role of apologetics. For philosophers of science, with their repudiation of metaphysics, the task of providing a rational reconstruction of how scientific progress has occurred is nigh on impossible. Even explanations such as the Popperian and the Kuhnian strain under great difficulty and provide only partly satisfactory results. In his “Logik der Forschung” (1934) Karl Raimund Popper argues that metaphysics plays an accidental part in (...) the emergence of new scientific ideas. Correspondingly, in “Structure of Scientific Revolutions” (1962), by carrying out theoretical interpretations and classification of empirical facts without their metaphysical premises, Thomas Kuhn comes to the conclusion that natural science was formed under the influence of erroneous interpretations of Aristotelian natural philosophy presented by medieval natural philosophers. These are some of the reasons why medievalists are still made to defend late medieval natural philosophy from shallow convictions that at medieval universities nothing of any significance to contemporary science and philosophy took place at all. Seeking to render a fragment of a coherent reconstruction of the development of natural philosophy, I will investigate one idea of late medieval philosophy – the explanation of motion (impetus). The main statement of the paper holds that the ideas of late medieval natural philosophy have a decisive significance for the development of modern natural science instead of accidental or negative one. In the paper, following Aristotelian philosophical approach, premises of Jean Buridan’s theory of impetus will be exposed. Then, debates over the explanation of projectile motion are going to be presented, and finally, the necessary significance of this metaphysical idea on the modifications of natural philosophy is going to be ascertained. (shrink)

The reception of Kant began in Croatia at the turn of the 19th century with the writings of J.B. Horváth, whose textbooks were in use at that time in Croatia and Hungary. Unlike Horváth's decidedly negative attitude toward Kant, Šimun Čučić (Simeon Chuchich), in his systematic work Philosophia Critice Elaborata (1815), adopted some aspects of Kantian philosophy. This includes, for example, the formalistic conception of logic, Kantian apriorism and subjectivism, the formalistic approach to the moral law, and the like. (...) However, since these elements were incorporated into a schoolbook type of text, they could not always be consistently implemented. The beginning of the reception of Kant in Croatia coincided with the revival of Croatian national self-awareness. -- Die Kantrezeption setzte in Kroatien an der Wende zum 19. Jahrhundert ein mit den Schriften J. B. Horváths, dessen Lehrbuecher in Kroatien und Ungarn damals in Gebrauch waren. Im Unterschied zu Horváth's ausgeschprochen negativer Einstellung zu Kant hat Šimun Čučić in seinem systematischen Werk Philosophia critice elaborata (1815) einige Aspekte der Kantischen Philosophie uebernommen. Dies betrifft z.B. die formalistische Auffassung der Logik, die Uebernahme des kantianischen Apriorismus und Subjektivismus, die formalistische Auffassungsweise des moralischen Gesetzes und dgl. Da nun diese Momente in ein schulmaeßig konzipiertes Buch aufgenommen wurden, konnten sie nicht immer konsequent durchgefuehrt werden. Der Beginn der Kantrezeption in Kroatien koinzidierte mit der Wiedererweckung des kroatischen nationalen Selbsbewußtseins. (shrink)

First I argue that the prohibition of linguistic self-reference as a solution to the antinomy problem contains a pragmatic contradiction and is thus not only too restrictive, but just inconsistent (chap.1). Furthermore, the possibilities of non-restrictive strategies for antinomy avoidance are discussed, whereby the explicit inclusion of the – pragmatically presuposed – consistency requirement proves to be the optimal strategy (chap.2). The central question here is that about the actual reason for antinomic structures. It turns out to be a form (...) of negative self-conditioning (chap.3). This makes it necessary to clarify the status of negative concepts (chap.4). The generalization of these considerations (chap.5) leads to the actual analysis of the antinomic basic structure (chap.6): Decisively for the pragmatics of the concept is that it positively owns a meaning, so that positivity is always constituted by the concept qua concept. Thus a negative concept is characterized by a fundamental ambivalence: From a semantic point of view it has negative character, in its pragmatic status as a concept, however, it has positive character. If the meaning is especially that of a negative self-reference, the ambivalence leads to the antinomic constellation of a negative self-condition – that is the crux of the matter here! The concept thus possesses the property defined by it exactly when it does not possess it and vice versa. A closer analysis shows that the function of reflective structures for the occurrence of antinomies has to be judged much more differentiated than previous opinions suggest. Not only are four forms of reflectivity to be distinguished in this context – ontic, semantic, pragmatic reflectivity, and especially the form of negative self-condition; but it is also apparent that these are intertwined with each other in a way that is difficult to be understood. The astonishing variety of relationships associated with this makes the irritation that has always emanated from the antinomy problem appear more comprehensible. In the developed pragmatic perspective furtheron parallels to the structure of self-consciousness become visible (chap.7). I conclude with considerations about the significance of the antinomic structure for the problem of dialectics, especially for the synthesis formation of mutually exclusive terms (chap.8). ---------- Zunächst wird gezeigt, dass das Verbot sprachlicher Selbstreferenz als Lösung des Antinomienproblems einen pragmatischen Widerspruch enthält und damit nicht nur zu restriktiv, sondern geradezu inkonsistent ist (Kap.1). Ferner werden Möglichkeiten nicht-restriktiver Strategien zur Antinomienvermeidung diskutiert, wobei sich die explizite Einbindung der – pragmatisch präsupponierten – Konsistenzforderung als optimale Strategie erweist (Kap.2). Zentral ist hier die Frage nach dem eigentlichen Grund antinomischer Strukturen. Er erweist sich als eine Form von negativer Selbst-Bedingung (Kap.3). Dies nötigt zu einer Klärung des Status negativer Begriffe (Kap.4). Die Verallgemeinerung dieser Überlegungen (Kap.5) leitet über zur eigentlichen Analyse der antinomischen Grundstruktur (Kap.6): Entscheidend zur Pragmatik des Begriffs gehört, dass ihm eine Bedeutung positiv zukommt, sodass durch den Begriff qua Begriff stets auch Positivität konstituiert ist. Dadurch ist ein negativer Begriff durch eine prinzipielle Ambivalenz gekennzeichnet: In semantischer Hinsicht hat er negativen Charakter, in seinem pragmatischen Status als Begriff hingegen positiven Charakter. Ist die Bedeutung insbesondere die eines negativen Selbstbezugs, führt die Ambivalenz zur antinomischen Konstellation einer negativen Selbst-Bedingung – das ist hier der springende Punkt! Der Begriff besitzt so die durch ihn definierte Eigenschaft genau dann, wenn er sie nicht besitzt und umgekehrt. Die nähere Analyse zeigt, dass hierbei die Funktion reflexiver Strukturen für das Auftreten von Antinomien weitaus differenzierter zu beurteilen ist, als bisherige Auffassungen nahelegen. Nicht nur dass in diesem Kontext vier Formen von Reflexivität – ontische, semantische, pragmatische Reflexivität und insbesondere auch die Form negativer Selbstbedingung – unterschieden werden müssen; es zeigt sich auch, dass diese in schwer durchschaubarer Weise ineinander verschränkt sind. Die damit verbundene erstaunliche Beziehungsvielfalt läßt die Irritation, die seit je vom Antinomienproblem ausging, begreiflicher erscheinen. In der entwickelten pragmatischen Perspektive werden ferner Parallelen zur Struktur von Selbstbewußtsein sichtbar (Kap.7). Ich schließe mit Überlegungen zur Bedeutung der antinomischen Struktur für das Problem der Dialektik, insbesondere zur Synthesebildung einander ausschließender Bestimmungen (Kap.8). (shrink)

This article reports an exploratory survey of the structure of interdisciplinary research in Agent-Based Social Simulation. One hundred and ninety six researchers participated in the survey completing an on-line questionnaire. The questionnaire had three distinct sections, a classification of research domains, a classification of models, and an inquiry into software requirements for designing simulation platforms. The survey results allowed us to disambiguate the variety of scientific goals and modus operandi of researchers with a reasonable level of detail, and (...) to identify a classification of agent-based models used in simulation. In particular, in the interdisciplinary context of social-scientific modelling, agent-based computational modelling and computer engineering, we analyse the extent to which these paradigmatic models seem to be mutually instrumental in the field. We expect that our proposal may improve the viability of submitting, explaining and comparing agent-based simulations in articles, which is an important methodological requirement to consolidate the field. We also expect that it will motivate other proposals that could further validate, extend or change ours, in order to refine the classification with more types of models. (shrink)

_Framing effects_ concern the having of different attitudes towards logically or necessarily equivalent contents. Framing is of crucial importance for cognitive science, behavioral economics, decision theory, and the social sciences at large. We model a typical kind of framing, grounded in (i) the structural distinction between beliefs activated in working memory and beliefs left inactive in long term memory, and (ii) the topic- or subject matter-sensitivity of belief: a feature of propositional attitudes which is attracting growing research attention. We (...) introduce a class of models featuring (i) and (ii) to represent, and reason about, agents whose belief states can be subject to framing effects. We axiomatize a logic which we prove to be sound and complete with respect to the class. (shrink)

We explore the view that Frege's puzzle is a source of straightforward counterexamples to Leibniz's law. Taking this seriously requires us to revise the classical logic of quantifiers and identity; we work out the options, in the context of higher-order logic. The logics we arrive at provide the resources for a straightforward semantics of attitude reports that is consistent with the Millian thesis that the meaning of a name is just the thing it stands for. We provide models (...) to show that some of these logics are non-degenerate. (shrink)

This Open Access volume is based on the 'Early Carnap in Context’ workshop that took place in Konstanz in 2017 and looks at Rudolf Carnap’s philosophy, documented in his recently released diaries, from a combination of historical, cultural and philosophical perspectives. It enables further evaluation of the diaries and traces newly found interrelationships and their systematic definition. From a cultural and historical point of view, Logical Empiricism and Carnap’s pivotal opus, The Logical Structure of the World, did not evolve in (...) a vacuum. This applies equally in a history of philosophy context as well as under consideration of contemporary historical and cultural influences such as the socio-cultural setting in Vienna and Prague, the correlation between Logical Empiricism and Bauhaus modernism, the connection to the Life Reform Movement or the Youth Movement with its own life philosophy. Pursuing Carnap’s progression on a micro level of history and referring the results back to Carnap’s philosophy is now facilitated by recent access to his Diaries from 1908–1935. These shorthand records, reading lists, travel reports and notes constitute a valuable source for the research of networks and social movements which left their mark on him. (shrink)

In Pietroski ( 2018 ) a simple representation language called SMPL is introduced, construed as a hypothesis about core conceptual structure. The present work is a study of this system from a logical perspective. In addition to establishing a completeness result and a complexity characterization for reasoning in the system, we also pinpoint its expressive limits, in particular showing that the fourth corner in the square of opposition (“ Some_not ”) eludes expression. We then study a seemingly small extension, called (...) SMPL +, which allows for a minimal predicate-binding operator. Perhaps surprisingly, the resulting system is shown to encode precisely the concepts expressible in first-order logic. However, unlike the latter class, the class of SMPL + expressions admits a simple procedural (context-free) characterization. Our contribution brings together research strands in logic—including natural logic, modal logic, description logic, and hybrid logic—with recent advances in semantics and philosophy of language. (shrink)

Limits of the Conversation about Forms. Types of Knowledge and Necessity of Forms in Plato's "Parmenides". - Forms (ideas) are among the things that Plato is serious about. But about these things he says in his "Seventh Letter": "There neither is nor ever will be a treatise of mine on the subject." (341c, transl. J. Harward). Plato's statement suggests the question, why one does not and never can do justice to the Platonic forms by means of a written text about (...) the forms. Another big question of Plato research is whether the conversations documented in the Platonic dialogues are also affected by this verdict. This paper aims to provide, as far as possible, newly substantiated answers to these two questions. To this end, the systematic limits of the discussion about forms, which are particularly evident in Plato's dialogue "Parmenides", are examined in eight steps: First, two types of knowledge are presented that play an important systematic role in Plato's philosophy with regard to the limits of conversation: knowledge-how (practical knowledge) and knowledge-that (propositional knowledge) (I). Then the Socratic model of these two types of knowledge is interpreted, which is drafted in the tenth book of the "Republic". This model uses the example of bridle, bridlemaker and rider to explain the primacy of practical knowledge and the limits of propositional knowledge (II). Subsequently, it will be shown how the dialogues "Republic" and "Parmenides" are connected with each other in content and form (III). The gradation of the two types of knowledge, which is indicated by the motifs of the bridle and the horse on the image level of the "Parmenides", proves to be the structure that systematically underlies the structure of the entire dialogue (IV). It also makes clear why the conversation about the forms in the first part of the "Parmenides" has to fail (V). The assumption that the two parts of the "Parmenides" express two different types of knowledge in dealing with forms is supported by the results of a logical analysis of the last defence of the acceptance of forms (135b-c). This analysis shows why, for reasons of principle, it is impossible to speak adequately about forms (VI). Forms have the function of being presuppositions of 'talking about something'. Thus forms are always presupposed in conversation when one talks about them, and thus elude appropriate discussion in conversation (VII). That this is not only a methodical insight of the Platonic Parmenides, but can also be attributed to Plato himself, is demonstrated by the concluding reinterpretation of the central sentence of the critique of writing in Plato's "Seventh Letter". It will become apparent that, contrary to the now widespread view of the representatives of the Tübingen school, philosophical and also good philological reasons speak for the fact that Plato related his criticism only to the communicability of forms through treatises, i.e. tract-like writings (VIII). (shrink)

Die Forschung hat bislang entweder bemängelt, dass Nietzsches Philosophie ein Begriff von szialer Gerechtigkeit fehlt oder had einen solchen kaum in den Blick bekommen. Im Gegensatz dazu argumentiert der Aufsatz dafür, dass der sozialen Gerechtigkeit in Nietzsches politischem Denken eine zentrale Rolle zukommt. Er zeigt, dass das antike Vorbild seiner Gerechtigkeitsauffasseng Platons Begriff der politischen Gerechrigkeit ist. Die Kernthese des Aufsatzes ist, dass diese Gerechtigkeitsauffassung in Nietzsches Konzeption einer guten Ordnung des Staates und der Gesellschaft enthalten oder verkörpert ist. (...) eine weitere These betrifft das anthropologische Fundament von Nietzsches Vision einer gerechten Gesellschaftsordnung. Dieses Fundament bildet seine Grundüberzegung, dass die Menschen nicht bloß fundamental ungleich sind, sondern dass ihnen auch ein äußerst ungleicher Wert und Rang zukommt.Up to now researchers have maintained that Nietzsche's philosophy has no concept of social justice or have hardly noticed such a concept. On the contrary, the essay argues that social justice plays an important role in Nietzsche's political thinking. It shows that his conception of justice is modelled after Plato's antique concept of political justice. The main thesis of the essay is that this conception is embodied in Nietzsche's notion of a well-ordered state or society. An additional thesis concerns the anthropological basis of what Nietzsche holds to be a just social order. This basis is constituted by his conviction that people are not only fundamentally unequal but also extremely different in worth and rank. (shrink)

In his article “Issues of Pragmaticism” published in 1905, in The Monist, Charles S. Peirce complains that “Logicians have been at fault in giving Vagueness the go-by, so far as not even to analyze it.” That same year, occupying himself with the consequences of “Critical commonsensism,” he affirmed, “I have worked out the logic of vagueness with something like completeness,” a statement that causes the majority of the commentators on his work, including the editors of the Collected Papers to (...) ask where this logic is to be found. The fever for finding Peirce's manuscripts is fed by the hope of some researchers of discovering the logic of vagueness, a hope that has grown since Carolyn Eisele's publication of his mathematical works. Others - and I count myself among them - believe that in reality this is a matter of something already known. That is, they interpret the affirmation ending the paragraph of reproach addressed to logicians, “The present writer has done his best to work out the Stechiology, Critic, and Methodeutik of the subject,” as a tripartite semiotic of the vague, still limited, according to Peirce's older works, to symbols, that is, to the signs of natural language examined from the perspective of logic. (shrink)

The Logic of Causation: Definition, Induction and Deduction of Deterministic Causality is a treatise of formal logic and of aetiology. It is an original and wide-ranging investigation of the definition of causation (deterministic causality) in all its forms, and of the deduction and induction of such forms. The work was carried out in three phases over a dozen years (1998-2010), each phase introducing more sophisticated methods than the previous to solve outstanding problems. This study was intended as part (...) of a larger work on causal logic, which additionally treats volition and allied cause-effect relations (2004). The Logic of Causation deals with the main technicalities relating to reasoning about causation. Once all the deductive characteristics of causation in all its forms have been treated, and we have gained an understanding as to how it is induced, we are able to discuss more intelligently its epistemological and ontological status. In this context, past theories of causation are reviewed and evaluated (although some of the issues involved here can only be fully dealt with in a larger perspective, taking volition and other aspects of causality into consideration, as done in Volition and Allied Causal Concepts). Phase I: Macroanalysis. Starting with the paradigm of causation, its most obvious and strongest form, we can by abstraction of its defining components distinguish four genera of causation, or generic determinations, namely: complete, partial, necessary and contingent causation. When these genera and their negations are combined together in every which way, and tested for consistency, it is found that only four species of causation, or specific determinations, remain conceivable. The concept of causation thus gives rise to a number of positive and negative propositional forms, which can be studied in detail with relative ease because they are compounds of conjunctive and conditional propositions whose properties are already well known to logicians. The logical relations (oppositions) between the various determinations (and their negations) are investigated, as well as their respective implications (eductions). Thereafter, their interactions (in syllogistic reasoning) are treated in the most rigorous manner. The main question we try to answer here is: is (or when is) the cause of a cause of something itself a cause of that thing, and if so to what degree? The figures and moods of positive causative syllogism are listed exhaustively; and the resulting arguments validated or invalidated, as the case may be. In this context, a general and sure method of evaluation called ‘matricial analysis’ (macroanalysis) is introduced. Because this (initial) method is cumbersome, it is used as little as possible – the remaining cases being evaluated by means of reduction. Phase II: Microanalysis. Seeing various difficulties encountered in the first phase, and the fact that some issues were left unresolved in it, a more precise method is developed in the second phase, capable of systematically answering most outstanding questions. This improved matricial analysis (microanalysis) is based on tabular prediction of all logically conceivable combinations and permutations of conjunctions between two or more items and their negations (grand matrices). Each such possible combination is called a ‘modus’ and is assigned a permanent number within the framework concerned (for 2, 3, or more items). This allows us to identify each distinct (causative or other, positive or negative) propositional form with a number of alternative moduses. This technique greatly facilitates all work with causative and related forms, allowing us to systematically consider their eductions, oppositions, and syllogistic combinations. In fact, it constitutes a most radical approach not only to causative propositions and their derivatives, but perhaps more importantly to their constituent conditional propositions. Moreover, it is not limited to logical conditioning and causation, but is equally applicable to other modes of modality, including extensional, natural, temporal and spatial conditioning and causation. From the results obtained, we are able to settle with formal certainty most of the historically controversial issues relating to causation. Phase III: Software Assisted Analysis. The approach in the second phase was very ‘manual’ and time consuming; the third phase is intended to ‘mechanize’ much of the work involved by means of spreadsheets (to begin with). This increases reliability of calculations (though no errors were found, in fact) – but also allows for a wider scope. Indeed, we are now able to produce a larger, 4-item grand matrix, and on its basis find the moduses of causative and other forms needed to investigate 4-item syllogism. As well, now each modus can be interpreted with greater precision and causation can be more precisely defined and treated. In this latest phase, the research is brought to a successful finish! Its main ambition, to obtain a complete and reliable listing of all 3-item and 4-item causative syllogisms, being truly fulfilled. This was made technically feasible, in spite of limitations in computer software and hardware, by cutting up problems into smaller pieces. For every mood of the syllogism, it was thus possible to scan for conclusions ‘mechanically’ (using spreadsheets), testing all forms of causative and preventive conclusions. Until now, this job could only be done ‘manually’, and therefore not exhaustively and with certainty. It took over 72’000 pages of spreadsheets to generate the sought for conclusions. This is a historic breakthrough for causal logic and logic in general. Of course, not all conceivable issues are resolved. There is still some work that needs doing, notably with regard to 5-item causative syllogism. But what has been achieved solves the core problem. The method for the resolution of all outstanding issues has definitely now been found and proven. The only obstacle to solving most of them is the amount of labor needed to produce the remaining (less important) tables. As for 5-item syllogism, bigger computer resources are also needed. (shrink)

In previous research, Schopenhauer is regarded as a consistent representative of a classical picture theory of language. The paper shows, however, that Schopenhauer does not only present a use theory of meaning in his lectures on logic, but also justifies it with the help of the context principle. Furthermore, it is discussed to what extent Schopenhauer's use theory of meaning is similar to the semantic theory of Ludwig Wittgenstein and his successors.

This paper argues that the principle of continuity that underlies Benjamin’s understanding of what makes the reality of a thing thinkable, which in the Kantian context implies a process of “filling time” with an anticipatory structure oriented to the subject, is of a different order than that of infinitesimal calculus—and that a “discontinuity” constitutive of the continuity of experience and (merely) counterposed to the image of actuality as an infinite gradation of ultimately thetic acts cannot be the principle on which (...) Benjamin bases the structure of becoming. Tracking the transformation of the process of “filling time” from its logical to its historical iteration, or from what Cohen called the “fundamental acts of time” in Logik der reinen Erkenntnis to Benjamin’s image of a language of language (qua language touching itself), the paper will suggest that for Benjamin, moving from 0 to 1 is anything but paradoxical, and instead relies on the possibility for a mathematical function to capture the nature of historical occurrence beyond paradoxes of language or phenomenality. (shrink)

In this paper we compare the propositional logic of Frege’s Grundgesetze der Arithmetik to modern propositional systems, and show that Frege does not have a separable propositional logic, definable in terms of primitives of Grundgesetze, that corresponds to modern formulations of the logic of “not”, “and”, “or”, and “if…then…”. Along the way we prove a number of novel results about the system of propositional logic found in Grundgesetze, and the broader system obtained by including identity. In (...) particular, we show that the propositional connectives that are definable in terms of Frege’s horizontal, negation, and conditional are exactly the connectives that fuse with the horizontal, and we show that the logical operators that are definable in terms of the horizontal, negation, the conditional, and identity are exactly the operators that are invariant with respect to permutations on the domain that leave the truth-values fixed. We conclude with some general observations regarding how Frege understood his logic, and how this understanding differs from modern views. (shrink)

The paper presents a new analysis of Hempel’s conditions of adequacy, differing from the one in Carnap. Hempel, so it is argued, felt the need for two concepts of confirmation: one aiming at true theories, and another aiming at informative theories. However, so the analysis continues, he also realized that these two concepts were conflicting, and so he gave up the concept of confirmation aiming at informative theories. It is then shown that one can have the cake and eat it: (...) There is a logic of confirmation that accounts for both of these two conflicting aspects. (shrink)

The use of the symbol ∨for disjunction in formal logic is ubiquitous. Where did it come from? The paper details the evolution of the symbol ∨ in its historical and logical context. Some sources say that disjunction in its use as connecting propositions or formulas was introduced by Peano; others suggest that it originated as an abbreviation of the Latin word for “or,” vel. We show that the origin of the symbol ∨ for disjunction can be traced to Whitehead (...) and Russell’s pre-Principia work in formal logic. Because of Principia’s influence, its notation was widely adopted by philosophers working in logic (the logical empiricists in the 1920s and 1930s, especially Carnap and early Quine). Hilbert’s adoption of ∨ in his Grundzüge der theoretischen Logik guaranteed its widespread use by mathematical logicians. The origins of other logical symbols are also discussed. (shrink)

Charles S. Peirce (1839-1914) made relevant contributions to deductive logic, but he was primarily interested in the logic of science, and more especially in what he called 'abduction' (as opposed to deduction and induction), which is the process whereby hypotheses are generated in order to explain the surprising facts. Indeed, Peirce considered abduction to be at the heart not only of scientific research, but of all ordinary human activities. Nevertheless, in spite of Peirce's work and writings in (...) the field of methodology of research, scarce attention has been paid to the logic of discovery over the last hundred years, despite an impressive development not only of scientific research but also of logic. -/- Having this in mind, the exposition is divided into five parts: 1) a brief presentation of Peirce, focusing on his work as a professional scientist; 2) an exposition of the classification of inferences by the young Peirce: deduction, induction and hypothesis; 3) a sketch of the notion of abduction in the mature Peirce; 4) an exposition of the logic of surprise; and finally, by way of conclusion, 5) a discussion of this peculiar ability of guessing understood as a rational instinct. -/- . (shrink)

I identify two versions of the scientific anti-realist’s selectionist explanation for the success of science: Bas van Fraassen’s original and K. Brad Wray’s newer interpretation. In Wray’s version, psycho-social factors internal to the scientific community – viz. scientists’ interests, goals, and preferences – explain the theory-selection practices that explain theory-success. I argue that, if Wray’s version were correct, then science should resemble art. In art, the artwork-selection practices that explain artwork-success appear faddish. They are prone to radical change over time. (...) Theory-selection practices that explain theory-success in science are however not faddish. They are mostly stable; that is, long-lived and consistent over time. This is because scientists (explicitly or implicitly) subscribe to what I will call the testability norm: scientific theories must make falsifiable claims about the external physical world. The testability norm and not psycho-sociology explains the theory-selection practices that explain theory-success in science. Contra Wray, scientific anti-realists can then maintain that the external physical world (as expressed in the testability norm) explains theory-success. (shrink)

William Whewell’s 19th century philosophy of science is sometimes glossed over as a footnote to Kant. There is however a key feature of Whewell’s account worth noting. This is his appeal to Aristotle’s form/matter hylomorphism as a metaphor to explain how mind and world merge in successful scientific inquiry. Whewell’s hylomorphism suggests a middle way between rationalism and empiricism reminiscent of experience pragmatists like Steven Levine’s view that mind and world are entwined in experience. I argue however that Levine does (...) not adequately explain exactly how mind and world entwine. He could nonetheless do so if he appealed to Whewell’s hylomorphic metaphor. We may prefer a reductive metaphysical explanation, but I suggest that pragmatists only have recourse to metaphor in this case. Both reductive and metaphorical explanations can enjoy great explanatory power if they exhibit a suitable measure of what I will call sematic distance. Semantic distance measures how close or how far apart explanandum and explanans are from each other in meaning. Metaphorical explanation - as evident in Whewell’s hylomorphism and as detailed via the notion of semantic distance - presents a valuable new explanatory tool to those who hold that mind and world are entwined sans recourse to metaphysics. (shrink)

Inheritance is the principle that deontic `ought' is closed under entailment. This paper is about a tension that arises in connection with Inheritance. More specifically, it is about two observations that pull in opposite directions. One of them raises questions about the validity of Inheritance, while the other appears to provide strong support for it. We argue that existing approaches to deontic modals fail to provide us with an adequate resolution of this tension. In response, we develop a positive analysis, (...) and show that this proposal provides a satisfying account of our intuitions. (shrink)