This paper describes both an exegetical puzzle that lies at the heart of Frege’s writings—how to reconcile his logicism with his definitions and claims about his definitions—and two interpretations that try to resolve that puzzle, what I call the “explicative interpretation” and the “analysis interpretation.” This paper defends the explicative interpretation primarily by criticizing the most careful and sophisticated defenses of the analysis interpretation, those given my Michael Dummett and Patricia Blanchette. Specifically, I argue that Frege’s text either (...) are inconsistent with the analysis interpretation or do not support it. I also defend the explicative interpretation from the recent charge that it cannot make sense of Frege’s logicism. While I do not provide the explicative interpretation’s full solution to the puzzle, I show that its main competitor is seriously problematic. (shrink)

Nous envisagerons dans cet article la possibilité d'un abord pratique de la relation entre linguistique et psychanalyse : la modélisation linguistique des données mises au jour par la psychanalyse à partir de corpus tirés du discours courant. La validation de tels modèles d'après les critères requis par l'« approche logiciste » de J.-C. Gardin et J. Molino sera examinée sur un exemple précis que nous exposerons en détail : l'Analyse des Logiques Subjectives, modèle développé, publié et enseigné par nous depuis (...) près de vingt ans. (shrink)

In the early 1900s, Russell began to recognize that he, and many other mathematicians, had been using assertions like the Axiom of Choice implicitly, and without explicitly proving them. In working with the Axioms of Choice, Infinity, and Reducibility, and his and Whitehead’s Multiplicative Axiom, Russell came to take the position that some axioms are necessary to recovering certain results of mathematics, but may not be proven to be true absolutely. The essay traces historical roots of, and motivations for, Russell’s (...) method of analysis, which are intended to shed light on his view about the status of mathematical axioms. I describe the position Russell develops in consequence as “immanent logicism,” in contrast to what Irving (1989) describes as “epistemic logicism.” Immanent logicism allows Russell to avoid the logocentric predicament, and to propose a method for discovering structural relationships of dependence within mathematical theories. (shrink)

The present first part about the eventual completeness of mathematics (called “Hilbert mathematics”) is concentrated on the Gödel incompleteness (1931) statement: if it is an axiom rather than a theorem inferable from the axioms of (Peano) arithmetic, (ZFC) set theory, and propositional logic, this would pioneer the pathway to Hilbert mathematics. One of the main arguments that it is an axiom consists in the direct contradiction of the axiom of induction in arithmetic and the axiom of infinity in set theory. (...) Thus, the pair of arithmetic and set are to be similar to Euclidean and non-Euclidean geometries distinguishably only by the Fifth postulate now, i.e. after replacing it and its negation correspondingly by the axiom of finiteness (induction) versus that of finiteness being idempotent negations to each other. Indeed, the axiom of choice, as far as it is equivalent to the well-ordering “theorem”, transforms any set in a well-ordering either necessarily finite according to the axiom of induction or also optionally infinite according to the axiom of infinity. So, the Gödel incompleteness statement relies on the logical contradiction of the axiom of induction and the axiom of infinity in the final analysis. Nonetheless, both can be considered as two idempotent versions of the same axiom (analogically to the Fifth postulate) and then unified after logicism and its inherent intensionality since the opposition of finiteness and infinity can be only extensional (i.e., relevant to the elements of any set rather than to the set by itself or its characteristic property being a proposition). So, the pathway for interpreting the Gödel incompleteness statement as an axiom and the originating from that assumption for “Hilbert mathematics” accepting its negation is pioneered. A much wider context relevant to realizing the Gödel incompleteness statement as a metamathematical axiom is consistently built step by step. The horizon of Hilbert mathematics is the proper subject in the third part of the paper, and a reinterpretation of Gödel’s papers (1930; 1931) as an apology of logicism as the only consistent foundations of mathematics is the topic of the next second part. (shrink)

The Bounds of Logic presents a new philosophical theory of the scope and nature of logic based on critical analysis of the principles underlying modern Tarskian logic and inspired by mathematical and linguistic development. Extracting central philosophical ideas from Tarski’s early work in semantics, Sher questions whether these are fully realized by the standard first-order system. The answer lays the foundation for a new, broader conception of logic. By generally characterizing logical terms, Sher establishes a fundamental result in semantics. (...) Her development of the notion of logicality for quantifiers and her work on branching are of great importance for linguistics. Sher outlines the boundaries of the new logic and points out some of the philosophical ramifications of the new view of logic for such issues as the logicist thesis, ontological commitment, the role of mathematics in logic, and the metaphysical underpinning of logic. She proposes a constructive definition of logical terms, reexamines and extends the notion of branching quantification, and discusses various linguistic issues and applications. (shrink)

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

Corcoran, J. 2007. Psychologism. American Philosophy: an Encyclopedia. Eds. John Lachs and Robert Talisse. New York: Routledge. Pages 628-9. -/- Psychologism with respect to a given branch of knowledge, in the broadest neutral sense, is the view that the branch is ultimately reducible to, or at least is essentially dependent on, psychology. The parallel with logicism is incomplete. Logicism with respect to a given branch of knowledge is the view that the branch is ultimately reducible to logic. Every branch of (...) knowledge depends on logic. Psychologism is found in several fields including history, political science, economics, ethics, epistemology, linguistics, aesthetics, mathematics, and logic. Logicism is found mainly in branches of mathematics: number theory, analysis, and, more rarely, geometry. Although the ambiguous term ‘psychologism’ has senses with entirely descriptive connotations, it is widely used in senses that are derogatory. No writers with any appreciation of this point will label their own views as psychologistic. It is usually used pejoratively by people who disapprove of psychologism. The term ‘scientism’ is similar in that it too has both pejorative and descriptive senses but its descriptive senses are rarely used any more. It is almost a law of linguistics that the negative connotations tend to drive out the neutral and the positive. Dictionaries sometimes mark both words with a usage label such as “Usually disparaging”. In this article, the word is used descriptively mainly because there are many psychologistic views that are perfectly respectable and even endorsed by people who would be offended to have their views labeled psychologism. A person who subscribes to logicism is called a logicist, but there is no standard word for a person who subscribes to psychologism. ‘Psychologist’, which is not suitable, occurs in this sense. ‘Psychologician’, with stress on the second syllable as in ‘psychologist’, has been proposed. In the last century, some of the most prominent forms of psychologism pertained to logic; the rest of this article treats only such forms. Psychologism in logic is very “natural”. After all, logic studies reasoning, which is done by the mind, whose nature and functioning is studied in psychology—using the word ‘psychology’ in its broadest etymological sense. (shrink)

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

This note presents an analysis of Symbolic Knowledge from Leibniz to Husserl, a collection of works from some members of The Southern Cone Group for the Philosophy of Formal Sciences. The volume delineates an outlook of the philosophical treatments presented by Leibniz, Kant, Frege, and the Booleans, as well as by Husserl, of some questions related to the conceptual singularities of symbolic knowledge –whose standard we find in the arts of algebra and arithmetic. The book’s unity of themes and (...) (at least in part) style is examined with the aim of showing the articulation of its parts. (shrink)

This paper contains a close analysis of Frege's proofs of the axioms of arithmetic §§70-83 of Die Grundlagen, with special attention to the proof of the existence of successors in §§82-83. Reluctantly and hesitantly, we come to the conclusion that Frege was at least somewhat confused in those two sections and that he cannot be said to have outlined, or even to have intended, any correct proof there. The proof he sketches is in many ways similar to that given (...) in Grundgesetze der Arithmetik, but fidelity to what Frege wrote in Die Grundlagen and in Grundgesetze requires us to reject the charitable suggestion that it was this (beautiful) proof that he had in mind in §§82-83. (shrink)

In this paper we describe and interpret the formal machinery of abstraction processes in which the domain of abstracta is a subset of the domain of objects from which is abstracted.

A crucial part of the contemporary interest in logicism in the philosophy of mathematics resides in its idea that arithmetical knowledge may be based on logical knowledge. Here an implementation of this idea is considered that holds that knowledge of arithmetical principles may be based on two things: (i) knowledge of logical principles and (ii) knowledge that the arithmetical principles are representable in the logical principles. The notions of representation considered here are related to theory-based and structure-based notions of representation (...) from contemporary mathematical logic. It is argued that the theory-based versions of such logicism are either too liberal (the plethora problem) or are committed to intuitively incorrect closure conditions (the consistency problem). Structure-based versions must on the other hand respond to a charge of begging the question (the circularity problem) or explain how one may have a knowledge of structure in advance of a knowledge of axioms (the signature problem). This discussion is significant because it gives us a better idea of what a notion of representation must look like if it is to aid in realizing some of the traditional epistemic aims of logicism in the philosophy of mathematics. (shrink)

The rather unrestrained use of second-order logic in the neo-logicist program is critically examined. It is argued in some detail that it brings with it genuine set-theoretical existence assumptions and that the mathematical power that Hume’s Principle seems to provide, in the derivation of Frege’s Theorem, comes largely from the ‘logic’ assumed rather than from Hume’s Principle. It is shown that Hume’s Principle is in reality not stronger than the very weak Robinson Arithmetic Q. Consequently, only a few rudimentary (...) facts of arithmetic are logically derivable from Hume’s Principle. And that hardly counts as a vindication of logicism. (shrink)

There is a long-standing gap in the literature as to whether Gödelian incompleteness constitutes a challenge for Neo-Logicism, and if so how serious it is. In this paper, I articulate and address the challenge in detail. The Neo-Logicist project is to demonstrate the analyticity of arithmetic by deriving all its truths from logical principles and suitable definitions. The specific concern raised by Gödel’s first incompleteness theorem is that no single sound system of logic syntactically implies all arithmetical truths. I (...) set out some responses that initially seem appealing and explain why they are not compelling. The upshot is that Neo-Logicism either offers an epistemic route only to some truths of arithmetic; or that it has to move from a syntactic to a semantic notion of logical consequence, which risks undermining its epistemic goals. I conclude by considering Crispin Wright’s recent attempt to address Gödelian incompleteness, which I argue is not satisfactory. (shrink)

In two recent papers, Bob Hale has attempted to free second-order logic of the 'staggering existential assumptions' with which Quine famously attempted to saddle it. I argue, first, that the ontological issue is at best secondary: the crucial issue about second-order logic, at least for a neo-logicist, is epistemological. I then argue that neither Crispin Wright's attempt to characterize a `neutralist' conception of quantification that is wholly independent of existential commitment, nor Hale's attempt to characterize the second-order domain in (...) terms of definability, can serve a neo-logicist's purposes. The problem, in both cases, is similar: neither Wright nor Hale is sufficiently sensitive to the demands that impredicativity imposes. Finally, I defend my own earlier attempt to finesse this issue, in "A Logic for Frege's Theorem", from Hale's criticisms. (shrink)

Certain advocates of the so-called “neo-logicist” movement in the philosophy of mathematics identify themselves as “neo-Fregeans” (e.g., Hale and Wright), presenting an updated and revised version of Frege’s form of logicism. Russell’s form of logicism is scarcely discussed in this literature and, when it is, often dismissed as not really logicism at all (in light of its assumption of axioms of infinity, reducibility and so on). In this paper I have three aims: firstly, to identify more clearly the primary (...) meta-ontological and methodological differences between Russell’s logicism and the more recent forms; secondly, to argue that Russell’s form of logicism offers more elegant and satisfactory solutions to a variety of problems that continue to plague the neo-logicist movement (the bad company objection, the embarrassment of richness objection, worries about a bloated ontology, etc.); thirdly, to argue that neo-Russellian forms of logicism remain viable positions for current philosophers of mathematics. (shrink)

Logicism is the thesis that all or, at least parts, of mathematics is reducible to deductive logic in at least two senses: (A) that mathematical lexis can be defined by sole recourse to logical constants [a definition thesis]; and, (B) that mathematical theorems are derivable from solely logical axioms [a derivation thesis]. The principal proponents of this thesis are: Frege, Dedekind, and Russell. The central question that I raise in this paper is the following: ‘How did Russell construe the philosophical (...) worth of logicism?’ The argument that I build in response to this is that Russell perceived an inverse proportion between a logical reduction of mathematics and the certitude of non-novel mathematical theorems—such that the more we reduce mathematics to logic, the more certain we become of our mathematical theorems; this was portrayed through a presentation of mathematical knowledge as coherent. Therefore, I set out to sketch Russell’s coherence theory and appraise it in relation to the presence discourse: i.e., in relation to logicism and mathematical certainty. (shrink)

This paper objectively defines the three main contemporary philosophies of mathematics: formalism, logicism, and intuitionism. Being the three leading scientists of each: Hilbert (formalist), Frege (logicist), and Poincaré (intuitionist).

In this work I study the main tenets of the logicist philosophy of mathematics. I deal, basically, with two problems: (1) To what extent can one dispense with intuition in mathematics? (2) What is the appropriate logic for the purposes of logicism? By means of my considerations I try to determine the pros and cons of logicism. My standpoint favors the logicist line of thought. -/- .

According to Quine, Charles Parsons, Mark Steiner, and others, Russell’s logicist project is important because, if successful, it would show that mathematical theorems possess desirable epistemic properties often attributed to logical theorems, such as aprioricity, necessity, and certainty. Unfortunately, Russell never attributed such importance to logicism, and such a thesis contradicts Russell’s explicitly stated views on the relationship between logic and mathematics. This raises the question: what did Russell understand to be the philosophical importance of logicism? Building on recent (...) work by Andrew Irvine and Martin Godwyn, I argue that Russell thought a systematic reduction of mathematics increases the certainty of known mathematical theorems (even basic arithmetical facts) by showing mathematical knowledge to be coherently organized. The paper outlines Russell’s theory of coherence, and discusses its relevance to logicism and the certainty attributed to mathematics. (shrink)

Bertrand Russell was one of the best-known proponents of logicism: the theory that mathematics reduces to, or is an extension of, logic. Russell argued for this thesis in his 1903 The Principles of Mathematics and attempted to demonstrate it formally in Principia Mathematica (PM 1910–1913; with A. N. Whitehead). Russell later described his work as a further “regressive” step in understanding the foundations of mathematics made possible by the late 19th century “arithmetization” of mathematics and Frege’s logical definitions of arithmetical (...) concepts. The logical system of PM sought to improve on earlier attempts by solving the contradictions found in, e.g., Frege’s system, by employing a theory of types. In this article, I also consider and critically evaluate the most common objections to Russell’s logicism, including the claim that it is undermined by Gödel’s incompleteness results, and Putnam's charge of “if-thenism”. I suggest that if we are willing to accept a slightly revisionist account of what counts as a mathematical truth, these criticisms do not obviously refute Russell’s claim to have established that mathematical truths generally are a species of logical truth. (shrink)

In this extended critical discussion of 'Kant's Modal Metaphysics' by Nicholas Stang (OUP 2016), I focus on one central issue from the first chapter of the book: Stang’s account of Kant’s doctrine that existence is not a real predicate. In §2 I outline some background. In §§3-4 I present and then elaborate on Stang’s interpretation of Kant’s view that existence is not a real predicate. For Stang, the question of whether existence is a real predicate amounts to the question: ‘could (...) there be non-actual possibilia?’ (p.35). Kant’s view, according to Stang, is that there could not, and that the very notion of non-actual or ‘mere’ possibilia is incoherent. In §5 I take a close look at Stang’s master argument that Kant’s Leibnizian predecessors are committed to the claim that existence is a real predicate, and thus to mere possibilia. I argue that it involves substantial logical commitments that the Leibnizian could reject. I also suggest that it is danger of proving too much. In §6 I explore two closely related logical commitments that Stang’s reading implicitly imposes on Kant, namely a negative universal free logic and a quantified modal logic that invalidates the Converse Barcan Formula. I suggest that each can seem to involve Kant himself in commitment to mere possibilia. (shrink)

L’analyse logiciste des constructions savantes a pour but de mettre à nu leurs composantes symboliques : une base de données (observations et présuppositions) et un ensemble d’opérations de réécriture exprimant le raisonnement qui relie cette base aux thèses de la construction. Les travaux inspirés de ce programme depuis une vingtaine d’années soulèvent des questions intéressantes dans les perspectives d’une épistémologie pratique maintes fois exposées. L’étude des conflits d’interprétation y tient une large place ; elle s’apparente à l’analyse des controverses scientifiques (...) mais vise moins à expliquer celles-ci, du point de vue socio-historique, qu’à mieux définir les voies choisies pour les résoudre, les éluder ou les dépasser, selon les cas. Le questionnement logiciste porte sur les conséquences intellectuelles et institutionnelles de ces choix. L’affirmation de sa pérennité procède à la fois d’un constat et d’un pari, l’un et l’autre argumentés dans cet article. (shrink)

Review of Logic as Universal Science: Russell’s Early Logicism and Its Philosophical Context, by Anssi Korhonen (Palgrave Macmillan 2013).

In the Foundations of Mathematics, Ramsey attempted to amend Principia Mathematica’s logicism to meet serious objections raised against it. While Ramsey’s paper is well known, some questions concerning Ramsey’s motivations to write it and its reception still remain. This paper considers these questions afresh. First, an account is provided for why Ramsey decided to work on his paper instead of simply accepting Wittgenstein’s account of mathematics as presented in the Tractatus. Secondly, evidence is given supporting that Wittgenstein was not moved (...) by Ramsey’s objection against the Tractarian account of arithmetic, and a suggestion is made to explain why Wittgenstein reconsidered Ramsey’s account in the early thirties on several occasions. Finally, a reading is formulated to understand the basis on which Wittgenstein argues against Ramsey’s definition of identity in his 1927 letter to Ramsey. (shrink)

Logicism is the view that mathematical truths are logical truths. But a logical truth is commonly thought to be one with a universally valid form. The form of “7 > 5” would appear to be the same as “4 > 6”. Yet one is a mathematical truth, and the other not a truth at all. To preserve logicism, we must maintain that the two either are different subforms of the same generic form, or that their forms are not at all (...) what they appear. The historical record shows that Russell pursued both these options, but that the struggle with the logical paradoxes pushed him away from the first kind of response and toward the second. An object cannot itself have a kind of inner logical complexity that makes a proposition have a different logical form merely in virtue of being about it, nor can their representatives in logical forms be single things different for different forms, at least not without postulating too many such objects and thereby creating Cantorian diagonal paradoxes. There are only apparent objects which are actually fragments of logical forms, different in different cases. (shrink)

The previous Part I of the paper discusses the option of the Gödel incompleteness statement (1931: whether “Satz VI” or “Satz X”) to be an axiom due to the pair of the axiom of induction in arithmetic and the axiom of infinity in set theory after interpreting them as logical negations to each other. The present Part II considers the previous Gödel’s paper (1930) (and more precisely, the negation of “Satz VII”, or “the completeness theorem”) as a necessary condition for (...) granting the Gödel incompleteness statement to be a theorem just as the statement itself, to be an axiom. Then, the “completeness paper” can be interpreted as relevant to Hilbert mathematics, according to which mathematics and reality as well as arithmetic and set theory are rather entangled or complementary rather than mathematics to obey reality able only to create models of the latter. According to that, both papers (1930; 1931) can be seen as advocating Russell’s logicism or the intensional propositional logic versus both extensional arithmetic and set theory. Reconstructing history of philosophy, Aristotle’s logic and doctrine can be opposed to those of Plato or the pre-Socratic schools as establishing ontology or intensionality versus extensionality. Husserl’s phenomenology can be analogically realized including and particularly as philosophy of mathematics. One can identify propositional logic and set theory by virtue of Gödel’s completeness theorem (1930: “Satz VII”) and even both and arithmetic in the sense of the “compactness theorem” (1930: “Satz X”) therefore opposing the latter to the “incompleteness paper” (1931). An approach identifying homomorphically propositional logic and set theory as the same structure of Boolean algebra, and arithmetic as the “half” of it in a rigorous construction involving information and its unit of a bit. Propositional logic and set theory are correspondingly identified as the shared zero-order logic of the class of all first-order logics and the class at issue correspondingly. Then, quantum mechanics does not need any quantum logics, but only the relation of propositional logic, set theory, arithmetic, and information: rather a change of the attitude into more mathematical, philosophical, and speculative than physical, empirical and experimental. Hilbert’s epsilon calculus can be situated in the same framework of the relation of propositional logic and the class of all mathematical theories. The horizon of Part III investigating Hilbert mathematics (i.e. according to the Pythagorean viewpoint about the world as mathematical) versus Gödel mathematics (i.e. the usual understanding of mathematics as all mathematical models of the world external to it) is outlined. (shrink)

This paper has two separate aims, with obvious links between them. First, to present Charles S. Peirce and the pragmatist movement in a historical framework which stresses the close connections of pragmatism with the mainstream of philosophy; second, to deal with a particular controversial issue, that of the supposed logicistic orientation of Peirce's work.

Originally applied on domestic and lab animals, assisted reproduction technologies (ARTs) have also found application in conservation breeding programs, where they can make the genetic management of populations more efficient, and increase the number of individuals per generation. However, their application in wildlife conservation opens up new ethical scenarios that have not yet been fully explored. This study presents a frame for the ethical analysis of the application of ART procedures in conservation based on the Ethical Matrix (EM), and (...) discusses a specific case study—ovum pick-up (OPU) procedures performed in the current conservation efforts for the northern white rhinoceros (Ceratotherium simum cottoni)—providing a template for the assessment of ART procedures in projects involving other endangered species. (shrink)

Background: Food fortification refers to the process of adding nutrients to foods during their production. It is a cost-effective strategy with well-documented health, economic, and social benefits. Food fortification practices in school meal programs need guidance and legal support from various national policies. Aim: This study aims to analyze how various national policies—such as those related to school feeding, nutrition, health, food safety, agriculture, and the private sector—associate with the implementation of in-school food fortification among countries with school meals programs. (...) Methods: The Bayesian Mindsponge Framework, combining the reasoning strengths of Mindsponge Theory and inference advantages of Bayesian analysis, was employed on a dataset of 126 government representatives who manage large-scale school meal programs in 126 different countries. Results: Findings showed that food safety policy and agriculture policy were positively and significantly associated with the in-school food fortification practices, while school feeding policy and private sector policy had ambiguous relationships with these practices. Nutrition policy and health policy had a significant negative association with food fortification practices among countries implementing school meal programs. Conclusions: Findings underscore the strong position of food safety policy and agriculture policy in guiding food fortification practices in school meal programs. There is a need to re-assess the implemented nutrition policy and health policy due to their significant negative associations with these practices. Enhancing and strengthening the school feeding policy and private sector policy may increase their potencies in giving positive impacts on in-school food fortification practices. (shrink)

When scientists seek further confirmation of their results, they often attempt to duplicate the results using diverse means. To the extent that they are successful in doing so, their results are said to be robust. This paper investigates the logic of such "robustness analysis" [RA]. The most important and challenging question an account of RA can answer is what sense of evidential diversity is involved in RAs. I argue that prevailing formal explications of such diversity are unsatisfactory. I propose (...) a unified, explanatory account of diversity in RAs. The resulting account is, I argue, truer to actual cases of RA in science; moreover, this account affords us a helpful, new foothold on the logic undergirding RAs. (shrink)

Enterprise Risk Management and security have become a fundamental part of Enterprise Architecture, so several frameworks and modeling languages have been designed to support the activities associated with these areas. Archi- Mate’s Risk and Security Overlay is one of such proposals, endorsed by The Open Group. We investigate the capabilities of the proposed security-related con- structs in ArchiMate with regard to the necessities of enterprise security modeling. Our analysis relies on a well-founded reference ontology of security to uncover ambiguity, (...) missing modeling elements, and other deficiencies of the security mod- eling capabilities in ArchiMate. Based on this ontologically-founded analysis, we propose a redesign of security aspects of ArchiMate to overcome its original limitations. (shrink)

Abstract: Lotteries have long been a source of fascination and intrigue, offering the tantalizing prospect of unexpected fortunes. In this research paper, we delve into the world of lottery predictions, employing cutting-edge AI techniques to unlock the secrets of lottery outcomes. Our dataset, obtained from Kaggle, comprises historical lottery draws, and our goal is to develop predictive models that can anticipate future winning numbers. This study explores the use of deep learning and time series analysis to achieve this elusive (...) feat. Through rigorous experimentation and data-driven approaches, we seek to determine the viability of AI in the realm of lottery predictions. Our findings reveal both the promise and limitations of AI in this context, shedding light on the complexities of lottery data and the potential need for quantum computing as a last resort. (shrink)

In this article, I aim to do two things: first, introduce Juche, the official philosophy of the Democratic People’s Republic of Korea (“North Korea”), and second, defend Juche against Alzo David-West’s allegation that it is a nonsensical philosophy. I organize David-West’s complaints into two major strands—that Juche’s axiom is too vague to be of philosophical use and that Juche makes too stark a distinction between human vs. everything else—and offer responses to both strands. My goal isn’t to defend the regime, (...) but to present its ideology in the most charitable way so its merits and demerits can be seen more clearly in future engagements. (shrink)

Few scholars have explored the founding documents to identify the deliberate social change strategy that led to America's independence and a new form of government that was of, by, and for the people. This study aimed to apply a post-hoc polytheoretical framework of power to the findings of a democratic social change study to understand the dynamics of power between Great Britain and the American colonists. The original study employed the constructivist grounded theory tradition to explore democracy in the Declaration (...) of Independence, the Articles of Confederation, The Federalist Papers, and the United States Constitution. This produced two frameworks of power strategies, one empowering and the other demoralizing: principles of democracy and anti-democratic tenets. To gain a holistic perspective of the interplay of power, a polytheoretical framework of power consisting of theories of power proposed by Marx and Engels, Bourdieu, and Foucault was employed to discuss the findings. The findings suggested that democratic social change interacts with structural forces, culture, and power strategy selection. This could provide an alternative lens through which to explore whether people of color in America were used instrumentally to sustain democracy. (shrink)

The experimental philosophy movement advocates the use of empirical methods in philosophy. The methods most often discussed and in fact employed in experimental philosophy are appropriated from the experimental paradigm in psychology. But there is a variety of other (at least partly) empirical methods from various disciplines that are and others that could be used in philosophy. The paper explores the application of corpus analysis to philosophical issues. Although the method is well established in linguistics, there are only a (...) few tentative attempts of philosophers to utilise it. Examples are introduced and the merit of corpus analysis is compared to that of using general internet search engines and questionnaires for similar purposes. (shrink)

This essay concerns the question of how we make genuine epistemic progress through conceptual analysis. Our way into this issue will be through consideration of the paradox of analysis. The paradox challenges us to explain how a given statement can make a substantive contribution to our knowledge, even while it purports merely to make explicit what one’s grasp of the concept under scrutiny consists in. The paradox is often treated primarily as a semantic puzzle. However, in “Sect. 1” (...) I argue that the paradox raises a more fundamental epistemic problem, and in “Sects.1 and 2” I argue that semantic proposals—even ones designed to capture the Fregean link between meaning and epistemic significance—fail to resolve that problem. Seeing our way towards a real solution to the paradox requires more than semantics; we also need to understand how the process of analysis can yield justification for accepting a candidate conceptual analysis. I present an account of this process, and explain how it resolves the paradox, in “Sect. 3”. I conclude in “Sect. 4” by considering the implications for the present account concerning the goal of conceptual analysis, and by arguing that the apparent scarcity of short and finite illuminating analyses in philosophically interesting cases provides no grounds for pessimism concerning the possibility of philosophical progress through conceptual analysis. (shrink)

This paper presents an analysis of wh-complements in Montague Grammar. We will be concerned primarily with semantics, though some remarks on syntax are made in Section 4. Questions and wh-comple ments in Montague Grammar have been studied in Hamblin (1976), Bennett (1979), Karttunen (1977) and Hauser (1978) among others. These proposals will not be discussed explicitly, but some differences with Karttunen's analysis will be pointed out along the way.

Many philosophers hold that generics (i.e., unquantified generalizations) are pervasive in communication and that when they are about social groups, this may offend and polarize people because generics gloss over variations between individuals. Generics about social groups might be particularly common on Twitter (X). This remains unexplored, however. Using machine learning (ML) techniques, we therefore developed an automatic classifier for social generics, applied it to 1.1 million tweets about people, and analyzed the tweets. While it is often suggested that generics (...) are ubiquitous in everyday communication, we found that most tweets (78%) about people contained no generics. However, tweets with generics received more “likes” and retweets. Furthermore, while recent psychological research may lead to the prediction that tweets with generics about political groups are more common than tweets with generics about ethnic groups, we found the opposite. However, consistent with recent claims that political animosity is less constrained by social norms than animosity against gender and ethnic groups, negative tweets with generics about political groups were significantly more prevalent and retweeted than negative tweets about ethnic groups. Our study provides the first ML-based insights into the use and impact of social generics on Twitter. (shrink)

In the present article, we are faced with two phenomenological philosophers who, in two different intellectual traditions, namely philosophical hermeneutics and moral phenomenology, have referred to the concept of the Other as the fundamental possibility of the individual. The other, as an ontological and common concept in the thought of Gadamer and Levinas, is the turning point of the condition for the possibility of understanding and ethics. Focusing on the concept of the other, while addressing the points of difference and (...) commonality between Gadamer and Levinas, this article will show that Levinas’s preoccupation with the other as a philosopher refers to the foundations of ethics, and the condition for the possibility of foundations of ethics is encountering the other. In Gadamer, the turning point is the determination of the possibilities of understanding in dialectical and dialogue-oriented relationships. Without the other, in Levinas’s thought, ethics, and moral matter, and in Gadamer’s thought, the process of understanding will not occur in the form of a fusion of horizons. Therefore, this article shows that the other is a common concept between these two philosophers, which both of them cannot avoid in their philosophical analyses of ethics or the process of understanding. Introduction The analysis of ethics is one of the important and innovative achievements of Levinas’s philosophical intellectual structure. Levinas’s concern is to refer to the foundations of morality itself, regardless of institutionalizing the moral in the form of law, and the foundation of morality is in face-to-face relationships with others. Regardless of Levinas’s plan about the concept of the other, Gadamer imagines the determination of understanding in a new way in the face of the other. The other is the comprehensible strain in philosophical hermeneutics, in such a way that the process of understanding is formed by the presence of the other and the face-to-face encounter with it. According to Gadamer, the other is the factor of openness in the process of understanding. The fusion of horizons is the product of openness and mutual encounters in dialogue, which is not possible without the other. The other is the condition of determining the possibility of understanding in each of the parties who are allowed to reveal a part of their being and allow the other to open up and talk. In fact, understanding is a kind of event that is revealed in a two-way conversation in an event-like way. This type of understanding depends on the presence of another. The main focus of the research is the analysis of the concept of the other, which has been done with emphasis on two important works: Truth and method, Totality and infinity. Body & discussion In general, the process of understanding is a dialogical process, whether the other side of the conversation is a text or a person, the foundation of understanding is formed in a relationship with the other. Determining the other as an independent personality and a different perspective is an ontological determination. The other thinks and becomes meaningful beyond the subject or object and even beyond my intellectual position, it belongs to its own independent world and its own experience. In conversation, it plays a significant role in the production of truth. Openness provides the possibility of dialogue and mutual agreement. In dialogue, the final product is not reproduced. The other condition for the production of the final product is dialogue According to Gadamer, facing the other is facing his world. At the moment of facing me, the other makes his abstract aspects concrete and opens his lived experience to me. He believes that the question-and-answer process is a kind of encounter with the world of experience and openness toward it. According to Gadamer, the process of understanding is the result of dialectical-hermeneutic relations between me (the interpreter) and you (the other). The dialogical relationships that allow each other to enter the other’s history are relationships that are formed based on questions and answers. From Gadamer’s point of view, questions and answers are the opening of a new horizon based on tradition and contemporary history. Levinas phenomenologically refers to the philosophical tradition of the West to reread the process of the formation of the concept of the other. Many commentators and interpreters of Levinas’s works believe that it is possible to determine the foundations of ethics from Levinas’s point of view from face-to-face relationships. The condition for the possibility of morality is to pay attention to others. To describe another concept, Levinas analyzes the negative and positive aspects of this concept. In a negative way, Levinas first answers what the other is not, and for this reason, he criticizes the history of Western metaphysics and the criticism of Husserl and Heidegger’s phenomenology. Positively, the other is relative to me and different from me. The other is beyond subject and object. The other is not subjugated by any concept and recognizes its independent identity. The other and the encounter with him are the conditions for determining fundamental ethics from Levinas’s point of view. Another condition of concreteness refers to another person. According to Levinas, it is the condition for the formation of moral form. He believes that ethics is a kind of double encounter in the context of bilateral relations. Many moral concepts are formed in relation to a concrete other. In Levinas’s genealogy of ethics, we are faced with the presence of the other in a concrete way and with the subjectivity of the subject in an abstract and a priori way. Levinas specifies two approaches with the description of the other in the form of an infinite idea. First of all, there is an infinite gap between the other and the same. This issue shows its foreignness and otherness, its independence, and being true to its essence towards me. Second, it is the determination of another in a concrete or abstract form, which in both cases evokes an identity independent of me. Conclusion According to the explanations of the concept of the other in the thought of Gadamer and Levinas, we are faced with two phenomenological philosophers who have paid attention to the ontological aspects of the concept of the other in the fields of philosophical hermeneutics and ethics. In Gadamer’s thought, the other is an ontologically dialectical relationship between I-Thou and the starting point of the conversation process. The fusion of horizons is the turning point of the formation of the relation to the other, which is manifested in another area. The other has its own history, world, tradition, and authority, regardless of the formation of dialogical relationships, and has an independent identity. The other is allowed to share his lived experience in the conversation. The other creates new worlds. The other has opened himself and in return can be self-interpreting and self-revealing. Regardless, the other is the consistency of the complex relationship between language and the world. This form of bilateral relations, which is manifested in the presence of another, is a linguistic form that is the cause of a deep connection between language and the world. The other, whether concrete or abstract, is the turning point of our connection with the world in an ontological way. Regardless of Gadamer’s point of view, Levinas returns to another concept in his new thought project entitled “How to determine the possibilities of ethics.” According to Levinas, finding the foundations of ethics and determining the condition of moral possibilities is in facing the other and in face-to-face relationships. The other is concretely a kind of bilateral encounter which is the basis of many moral events and is manifested abstractly in the form of the subject’s subjectivity. This kind of infinite aspect of the other is revealed in subjectivity is implied in sense. Encountering another in an abstract form within itself is the encounter of the subject’s subjectivity with the sense, and the sense is in the encounter with the other. Sense is the basis of the subjectivity of the subject. Sense is a kind of concrete and visual face-to-face encounter that adds to the importance of determining another. Therefore, both Gadamer and Levinas raise many possibilities about the concept of the other, which shows the importance of this concept in the Western philosophical tradition. (shrink)

Purpose: Due to the increase in energy demand and the effects of global warming, energy-efficient buildings have gained significant importance in the modern construction industry. To create a suitable framework with the aim of reducing energy consumption in the building sector, the external walls of a residential building were considered with two criteria of global warming potential and energy consumption. -/- Design/methodology/approach: In the first stage, to achieve a nearly zero-energy building, energy analysis was performed for 37 different states (...) of thermal insulation. Then, the insulation materials’ life cycle assessment was performed. These results were used to find a set of optimal modes in the Pareto front by using non-dominated sorting genetic algorithm II multi-objective genetic algorithm. Thus, based on the data obtained from this method, it was possible to compare and choose different thermal insulation materials based on the distance from the Pareto front, reducing the environmental effects. -/- Findings: The results showed that replacing the windows was possible to save 3.24% in energy consumption. Also, selecting the proper insulation reduced energy consumption value by 63.13%. Finally, this building can save 69.31% of energy consumption compared to the base building by following the zero-energy building standard. As a result, the Pareto curve was introduced as a guide for the optimal design of the building’s wall insulation. -/- Originality/value: The proposed method provides designers with a framework for latent carbon analysis to access quickly and select optimal scenarios. It can also be used without restrictions for other decisions with different goals and criteria. (shrink)

I apply Kooi and Tamminga's (2012) idea of correspondence analysis for many-valued logics to strong three-valued logic (K3). First, I characterize each possible single entry in the truth-table of a unary or a binary truth-functional operator that could be added to K3 by a basic inference scheme. Second, I define a class of natural deduction systems on the basis of these characterizing basic inference schemes and a natural deduction system for K3. Third, I show that each of the resulting (...) natural deduction systems is sound and complete with respect to its particular semantics. Among other things, I thus obtain a new proof system for Lukasiewicz's three-valued logic. (shrink)

Artificial gametes, derived from stem cells, have the potential to enable in vitro fertilization of embryos. Currently, artificial gametes are only being generated in laboratory animals; however, considerable efforts are underway to develop artificial gametes using human cell sources. These artificial gametes are being proposed as a means to address infertility through assisted reproductive technologies. Nonetheless, the availability of artificial gametes obtained from adult organisms can potentially expand the possibilities of reproduction. Various groups, such as same-sex couples, post-menopausal women, and (...) deceased donors, could potentially utilize artificial gametes to conceive genetically related offspring. The advent of artificial gametes raises significant bioethical questions. Should all these reproductive scenarios be accepted? How can we delineate the range of future reproductive choices? A normative bioethical framework may be necessary to establish a consensus regarding the use of human artificial gametes. This review aims to present the current state of research on the biological roadmap for generating artificial gametes, while also summarizing proposed approaches to establish a normative framework that delineates ethically acceptable paths for reproduction. (shrink)

Interactions between an intelligent software agent and a human user are ubiquitous in everyday situations such as access to information, entertainment, and purchases. In such interactions, the ISA mediates the user’s access to the content, or controls some other aspect of the user experience, and is not designed to be neutral about outcomes of user choices. Like human users, ISAs are driven by goals, make autonomous decisions, and can learn from experience. Using ideas from bounded rationality, we frame these interactions (...) as instances of an ISA whose reward depends on actions performed by the user. Such agents benefit by steering the user’s behaviour towards outcomes that maximise the ISA’s utility, which may or may not be aligned with that of the user. Video games, news recommendation aggregation engines, and fitness trackers can all be instances of this general case. Our analysis facilitates distinguishing various subcases of interaction, as well as second-order effects that might include the possibility for adaptive interfaces to induce behavioural addiction, and/or change in user belief. We present these types of interaction within a conceptual framework, and review current examples of persuasive technologies and the issues that arise from their use. We argue that the nature of the feedback commonly used by learning agents to update their models and subsequent decisions could steer the behaviour of human users away from what benefits them, and in a direction that can undermine autonomy and cause further disparity between actions and goals as exemplified by addictive and compulsive behaviour. We discuss some of the ethical, social and legal implications of this technology and argue that it can sometimes exploit and reinforce weaknesses in human beings. (shrink)

The use of protocol analysis in the traning of cognitive skills.

I argue, through appeal to the distinction between analysis and decomposition described by Dummett, that Wittgenstein employs both of those notions in the Tractatus. I then bring this interpretation to bear upon the issue of propositional unity, where I formulate an objection to the views of both Leonard Linksy and José Zalabardo. I show that both Linsky and Zalabardo fail to acknowledge the distinction between analysis and decomposition present in the Tractatus, and that they consequently mischaracterise Wittgenstein’s position (...) with respect to propositional unity. (shrink)

This paper presents a semantical analysis of the Weak Kleene Logics Kw3 and PWK from the tradition of Bochvar and Halldén. These are three-valued logics in which a formula takes the third value if at least one of its components does. The paper establishes two main results: a characterisation result for the relation of logical con- sequence in PWK – that is, we individuate necessary and sufficient conditions for a set.

The conditional analysis of dispositions is widely rejected, mainly due to counterexamples in which dispositions are either “finkish” or “masked.” David Lewis proposed a reformed conditional analysis. This view avoids the problem of finkish dispositions, but it fails to solve the problem of masking. I will propose a reformulation of Lewis’ analysis, and I will argue that this reformulation can easily be modified so that it avoids the problem of masking. In the final section, I will address (...) the challenge that some dispositions appear to lack any stimulus condition, and I will briefly turn to the issue of reductionism. (shrink)

An astonishing volume and diversity of evidence is available for many hypotheses in the biomedical and social sciences. Some of this evidence—usually from randomized controlled trials (RCTs)—is amalgamated by meta-analysis. Despite the ongoing debate regarding whether or not RCTs are the ‘gold-standard’ of evidence, it is usually meta-analysis which is considered the best source of evidence: meta-analysis is thought by many to be the platinum standard of evidence. However, I argue that meta-analysis falls far short of (...) that standard. Different meta-analyses of the same evidence can reach contradictory conclusions. Meta-analysis fails to provide objective grounds for intersubjective assessments of hypotheses because numerous decisions must be made when performing a meta-analysis which allow wide latitude for subjective idiosyncrasies to influence its outcome. I end by suggesting that an older tradition of evidence in medicine—the plurality of reasoning strategies appealed to by the epidemiologist Sir Bradford Hill—is a superior strategy for assessing a large volume and diversity of evidence. (shrink)