The new phase of science evolution is characterized by totality of subject and object of cognition and technology (high-hume). As a result, forming of network structure in a disciplinary matrix modern are «human dimensional» natural sciences and two paradigmal «nuclei» (attraktors). As a result, the complication of structure of disciplinary matrix and forming a few paradigm nuclei in modern «human dimensional» natural sciences are observed. In the process of social verification integration of scientific theories into the existent system of (...) mental and valued options of spiritual culture takes place. The attribute of classical science – ethics neutrality of scientific knowledge becomes an unattainable ideal. One of the trends in the evolution of theoretical epistemology is the study of migration mechanisms of generation of scientific knowledge from the sphere of its own logic and methodology of science in the field of sociology - the consideration of this process, as the resulting system of interactions of social structures and institutions. Ensuing ideas and settings become the dominant worldview of philosophical and technological civilization. -/- . (shrink)

This paper investigates the strange case of an argument that was directed against a positivist verification principle. We find an early occurrence of the argument in a talk by the phenomenologist Roman Ingarden at the 1934 International Congress of Philosophy in Prague, where Carnap and Neurath were present and contributed short rejoinders. We discuss the underlying presuppositons of the argument, and we evaluate whether the attempts by Carnap (especially) actually succeed in answering this argument. We think they don’t, and (...) offer instead a few sociological thoughts about why the argument seems to have disappeared from the profession’s evaluaton of the positivist criterion of verifiability. (shrink)

The new phase of science evolution is characterized by totality of subject and object of cognition and technology (high-hume). As a result, forming of network structure in a disciplinary matrix modern are «human dimensional» natural sciences and two paradigmal «nuclei» (attraktors). As a result, the complication of structure of disciplinary matrix and forming a few paradigm nuclei in modern «human dimensional» natural sciences are observed. In the process of social verification integration of scientific theories into the existent system of (...) mental and valued options of spiritual culture takes place. The attribute of classical science – ethics neutrality of scientific knowledge becomes an unattainable ideal. One of the trends in the evolution of theoretical epistemology is the study of migration mechanisms of generation of scientific knowledge from the sphere of its own logic and methodology of science in the field of sociology - the consideration of this process, as the resulting system of interactions of social structures and institutions. Ensuing ideas and settings become the dominant worldview of philosophical and technological civilization. -/- . (shrink)

Interactive theorem provers might seem particularly impractical in the history of philosophy. Journal articles in this discipline are generally not formalized. Interactive theorem provers involve a learning curve for which the payoffs might seem minimal. In this article I argue that interactive theorem provers have already demonstrated their potential as a useful tool for historians of philosophy; I do this by highlighting examples of work where this has already been done. Further, I argue that interactive theorem provers can continue to (...) be useful tools for historians of philosophy in the future; this claim is defended through a more conceptual analysis of what historians of philosophy do that identifies argument reconstruction as a core activity of such practitioners. It is then shown that interactive theorem provers can assist in this core practice by a description of what interactive theorem provers are and can do. If this is right, then computer verification for historians of philosophy is in the offing. (shrink)

This article explores some open questions related to the problem of verification of theories in the context of empirical sciences by contrasting three epistemological frameworks. Each of these epistemological frameworks is based on a corresponding central metaphor, namely: (a) Neo-empiricism and the gambling metaphor; (b) Popperian falsificationism and the scientific tribunal metaphor; (c) Cognitive constructivism and the object as eigen-solution metaphor. Each of one of these epistemological frameworks has also historically co-evolved with a certain statistical theory and method for (...) testing scientific hypotheses, respectively: (a) Decision theoretic Bayesian statistics and Bayes factors; (b) Frequentist statistics and p-values; (c) Constructive Bayesian statistics and e-values. This article examines with special care the Zero Probability Paradox (ZPP), related to the verification of sharp or precise hypotheses. Finally, this article makes some remarks on Lakatos’ view of mathematics as a quasi-empirical science. (shrink)

The new phase of science evolution is characterized by totality of subject and object of cognition and technology (high-hume). As a result, forming of network structure in a disciplinary matrix modern are «human dimensional» natural sciences and two paradigmal «nuclei» (attraktors). As a result, the complication of structure of disciplinary matrix and forming a few paradigm nuclei in modern «human dimensional» natural sciences are observed.

Every person has his/her own unique signature that is used mainly for the purposes of personal identification and verification of important documents or legal transactions. There are two kinds of signature verification: static and dynamic. Static(off-line) verification is the process of verifying an electronic or document signature after it has been made, while dynamic(on-line) verification takes place as a person creates his/her signature on a digital tablet or a similar device. Offline signature verification is not (...) efficient and slow for a large number of documents. To overcome the drawbacks of offline signature verification, we have seen a growth in online biometric personal verification such as fingerprints, eye scan etc. In this paper we created CNN model using python for offline signature and after training and validating, the accuracy of testing was 99.70%. (shrink)

Très souvent, on compte sur la science pour nous sauver. Le rapport qu'on établit avec elle peut donner à penser que la science parlerait ainsi de choses, validerait quelque chose comme des évidences immédiates. La connaissance scientifique est inférentielle. Si elle a un objet, ce qu'en rigueur de termes la philosophie n'a pas, elle doit néanmoins se mettre à distance de lui pour se faire science. Elle valide ainsi des schèmes abstraits, qui ne sont scientifiques que dans cette mesure. Nous (...) prendrons la mesure du fait que pour nous aider à retrouver le concret, l'intuition est meilleure guide que la science, et puis nous convoquerons certaines idées de l'algébriste et métaphysicien Alfred North Whitehead dont l'actualité ne cesse d'étonner, lorsqu'il inverse l'accès direct au réel, à l'envers de la vulgate reçue concernant les rapports entre science et religion. (shrink)

The terms ‘verification’ and ‘validation’ are widely used in science, both in the natural and the social sciences. They are extensively used in simulation, often associated with the need to evaluate models in different stages of the simulation development process. Frequently, terminological ambiguities arise when researchers conflate, along the simulation development process, the technical meanings of both terms with other meanings found in the philosophy of science and the social sciences. This article considers the problem of verification and (...) validation in social science simulation along five perspectives: The reasons to address terminological issues in simulation; the meaning of the terms in the philosophical sense of the problem of “truth”; the observation that some debates about these terms in simulation are inadvertently more terminological than epistemological; the meaning of the terms in the technical context of the simulation development process; and finally, a comprehensive outline of the relation between terminology used in simulation, different types of models used in the development process and different epistemological perspectives. (shrink)

in Oct-14-1998 ordinance INDESP-IO4 established the federal software certification and verification requirements for gaming machines in Brazil. The authors present the rationale behind these criteria, whose basic principles can find applications in several other software authentication applications.

The foundation of a building connects the main body superstructure to the ground. Every form of foundation and footing have a unique application in a given location for a certain weather condition. Understanding the foundation work is crucial for carrying out building activities. Due to the variety of structures they support, foundations are frequently built in different subsoil conditions and are exposed to static loads. The proper evaluation of soil-bearing capacity is fundamental to the construction of various buildings. One of (...) the quick, easy, and affordable ways to determine soil carrying capacity is the plate load test. The effect of subsoil conditions on the test results is assessed and analyzed in thorough parametric investigations. An overview of axial static and dynamic plate load testing will be given in this study. This article presents detailed processes and schematics. In an effort to highlight the differences and shared characteristics of the results, computational test results of the static load plate test and the dynamic load plate test are contrasted. A load cell, a steel plate, a hydraulic actuator mounted on a big truck to apply a load, a load cell to measure the load, and one or more linear variable displacement transformers to measure the vertical displacements make up the test setup. The maximum thrust load that should be applied to a fixed or stationary actuator when it is not moving is known as a "static load depending on the actuator's static load capacity, we can determine what a safe load is. The maximum thrust load that should be applied to the actuator while it is moving is known as a dynamic load. Dynamic load capacity refers to how much force an actuator can exert when driven and extending or retracting. With each method's benefits and drawbacks considered, it can be determined that using them in various situations and agreeing to the confrontation of these tests for the purpose of comparing results is the best course of action in order to have a base that satisfies the construction standards. (shrink)

According to Karl Popper, science cannot verify its theories empirically, but it can falsify them, and that suffices to account for scientific progress. For Popper, a law or theory remains a pure conjecture, probability equal to zero, however massively corroborated empirically it may be. But it does just seem to be the case that science does verify empirically laws and theories. We trust our lives to such verifications when we fly in aeroplanes, cross bridges and take modern medicines. We can (...) do some justice to this apparent capacity of science to verify if we make a number of improvements to Popper’s philosophy of science. The key step is to recognize that physics, in accepting unified theories only, thereby makes a big metaphysical assumption about the nature of the universe. The outcome is a conception of scientific method which facilitates the criticism and improvement of metaphysical assumptions of physics. This view provides, not verification, but a perfect simulacrum of verification indistinguishable from the real thing. (shrink)

We comment some recent results obtained by using a Clifford bare bone skeleton of quantum mechanics in order to formulate the conclusion that quantum mechanics has its origin in the logic, and relates conceptual entities. Such results touch directly the basic problem about the structure of our cognitive and conceptual dynamics and thus of our mind. The problem of exploring consciousness results consequently to be strongly linked. This is the reason because studies on quantum mechanics applied to this matter are (...) so important for neurologists and psychologists. Under this profile we present some experimental results showing violation of Bell inequality during the MBTI test in investigation of C.V. Jung’s theory of personality. (shrink)

Karl Popper rightly contests the possibility of a verification of basic statements. At the same time he strictly believes in the possibility of growth of empirical knowledge. Knowledge growth, however, is only possible if empirical theories can be falsified. This raises the question, how theories can be falsified, if a verification of those statements that falsify theories – i.e. basic statements – is not possible. This problem is often referred to as the “basic problem” or “problem of the (...) empirical basis”. In this paper I show that – from a logical point of view – a falsification of theories is possible without a verification of basic state-ments. Furthermore I show that knowledge growth in the empirical sciences will be possible if two assumptions are valid. These assumptions can neither be proven nor falsified. However, they have to be postulated by everybody in eve-ryday life. (shrink)

A. J. Ayer’s empiricist criterion of meaning was supposed to have sorted all statements into nonsense on the one hand, and tautologies or genuinely factual statements on the other. Unfortunately for Ayer, it follows from classical logic that his criterion is trivial—it classifies all statements as either tautologies or genuinely factual, but none as nonsense. However, in this paper, I argue that Ayer’s criterion of meaning can be defended from classical proofs of its triviality by the adoption of a relevant (...) logic—an idea which is motivated because, according to Ayer, the genuinely factual statements are those which observation is relevant to. (shrink)

The scalar approach to negative polarity item (NPI) licensing assumes that NPIs are allowable in contexts in which the introduction of the NPI leads to proposition strengthening (e.g., Kadmon & Landman 1993, Krifka 1995, Lahiri 1997, Chierchia 2006). A straightforward processing prediction from such a theory is that NPI’s facilitate inference verification from sets to subsets. Three experiments are reported that test this proposal. In each experiment, participants evaluated whether inferences from sets to subsets were valid. Crucially, we manipulated (...) whether the premises contained an NPI. In Experiment 1, participants completed a metalinguistic reasoning task, and Experiments 2 and 3 tested reading times using a self-paced reading task. Contrary to expectations, no facilitation was observed when the NPI was present in the premise compared to when it was absent. In fact, the NPI significantly slowed down reading times in the inference region. Our results therefore favor those scalar theories that predict that the NPI is costly to process (Chierchia 2006), or other, nonscalar theories (Giannakidou 1998, Ladusaw 1992, Postal 2005, Szabolcsi 2004) that likewise predict NPI processing cost but, unlike Chierchia (2006), expect the magnitude of the processing cost to vary with the actual pragmatics of the NPI. (shrink)

Purpose. An empirical verification of the Hemingway’s “sad hypothesis” and study of some individual characteristics of a discourse formation in a process of short texts understanding. -/- Methods and procedure of research. The study was based on the principle of a standardized interview, which was carried out on a random sample (103 respondents) using the questionnaire. The subjects interpreted two proverbs and the short story by Hemingway (“For sale: baby shoes, never worn”). In each case, it was proposed to (...) choose one of the six ready-made interpretations or to create an original one. Proverb explications were classified by experts as “normative” or “deviating”, and interpretations of the story were evaluated into “sad” or “pragmatic” ones. Also, a “normativity index” was calculated for each respondent, reflecting the number of normative renditions of proverbs. The Psychogeometric test was used, and such socio-demographic characteristics were recorded as: gender, age, having children. -/- Results. This study refutes the “sad hypothesis” regarding Hemingway’s six-word story affect. The prevalence of pragmatic type interpretation over sentimental one is statistically significant. The type of interpretation turned out to be not directly related to any of the considered socio-demographic characteristics. It was found that the sad interpretation of the story reliably corresponds to a high normativity of the proverbs explications. Conversely, respondents with deviating interpretations of proverbs were significantly more likely to interpret Hemingway’s story in a pragmatic way. Differential psychological features, which were distinguished using the Psychogeometric test, turned out to be an insignificant predictor of the six-word story interpretations. -/- Conclusions. The analysis of the research results made it possible to argue the thesis that the differences in the formation of individual discourses are directly related to a worldview and indirectly determined by other factors in turn influencing the outlook. The interaction of the worldview with discursive practice that arises in the process of short texts understanding is carried out according to differential scenarios. These scenarios are conditioned by such individual characteristics as discursive conformity and discursive lability, which, in turn, correspond with high and low normativity, respectively. Above features are cognitive in nature. Their ontological localization coincides with the I-language (Chomsky). (shrink)

Les scientifiques espèrent qu'à l'avenir ils pourront tester des trous noirs en observant les effets causés par un fort champ gravitationnel à proximité, comme la lentille gravitationnelle. Il existe déjà des observations sur les lentilles gravitationnelles faibles, dans lesquelles les rayons lumineux sont déviés en quelques secondes seulement, mais jamais directement pour un trou noir. Il existe plusieurs candidats à cet effet, en orbite autour du Sagittaire A*. Plusieurs conjectures ad hoc ont été introduites pour mieux expliquer les observations de (...) candidats de trous noirs astronomiques identiques, mais avec des mécanismes de fonctionnement différents : gravastar, étoile noire (gravité semi-classique) , étoile à énergie noire, etc. DOI: 10.13140/RG.2.2.27478.06723. (shrink)

We investigate claims about the frequency of "know" made by philosophers. Our investigation has several overlapping aims. First, we aim to show what is required to confirm or disconfirm philosophers’ claims about the comparative frequency of different uses of philosophically interesting expressions. Second, we aim to show how using linguistic corpora as tools for investigating meaning is a productive methodology, in the sense that it yields discoveries about the use of language that philosophers would have overlooked if they remained in (...) their "armchairs of an afternoon", to use J.L. Austin’s phrase. Third, we discuss facts about the meaning of "know" that so far have been ignored in philosophy, with the aim of reorienting discussions of the relevance of ordinary language for philosophical theorizing. (shrink)

The utopian character of modern scientific theories, with the human nature as a subject, is an inevitable consequence of the presence of an imperative component of transdisciplinary human dimensional scientific knowledge. Its social function is the adaptation of the descriptive component of the theory to the given socio-cultural type that simplifies the passage of the process of social verification of the theory. The genesis of bioethics can be seen as one of the basic premises for the actualization of the (...) anthropic principle of ontology, which thus acquires the axiological and epistemological sense. (shrink)

В статье рассмотрено как результаты квантовых экспериментов могут изменить метафизические представления о реальности. Экспериментальная проверка неравенств Белла, Леггета, Леггета—Гарга, а также эксперименты с отложенным выбором и квантовым «ластиком» подтверждают, что для квантовых объектов следует отказаться от представлений классического реализма. Однако конкуренция между квантовым анти-реализмом и квантовым реализмом продолжается.

The concept of non-arbitrage plays an essential role in finance theory. Under certain regularity conditions, the Fundamental Theorem of Asset Pricing states that, in non-arbitrage markets, prices of financial instruments are martingale processes. In this theoretical framework, the analysis of the statistical distributions of financial assets can assist in understanding how participants behave in the markets, and may or may not engender arbitrage conditions. Assuming an underlying Variance Gamma statistical model, this study aims to test, using the FBST - Full (...) Bayesian Significance Test, if there is a relevant price difference between essentially the same financial asset traded at two distinct locations. Specifically, we investigate and compare the behavior of call options on the BOVESPA Index traded at (a) the Equities Segment and (b) the Derivatives Segment of BM&FBovespa. Our results seem to point out significant statistical differences. To what extent this evidence is actually the expression of perennial arbitrage opportunities is still an open question. (shrink)

That dao and being are correct as written about by Laozi and Heidegger respectively is exposed through eight perspectives.

The verification theory of meaning aims to characterise what it is for a sentence to be meaningful and also what kind of abstract object the meaning of a sentence is. A brief outline is given by Rudolph Carnap, one of the theory's most prominent defenders: If we knew what it would be for a given sentence to be found true then we would know what its meaning is. [...] thus the meaning of a sentence is in a certain sense (...) identical with the way we determine its truth or falsehood; and a sentence has meaning only if such a determination is possible. [4: 420] In short, the verification theory of meaning claims that the meaning of a sentence is the method of its verification. (shrink)

The phenomenon of rationalism and irrationalism, contextually related to the transformation methodology and the social function of modern (post-industrial) science – social verification, interpretation and knowledge, etc., are analyzes.

What do religious statements tell us? The epistemology of statements to which believers dedicate their lives is of critical importance. Richard Bevan Braithwaite (1900-1990), who considers the statements of religion from a non-cognitive but conative perspective, thinks that even if the religious statements cannot be verified, they can be empirically meaningful. This meaning is analogical, drawing policy of life like in moral judgments. According to Braithwaite, these statements have no truth value as in science; the stories told in a religious (...) language only psychologically support the person to maintain the lifestyle. In short, Braithwaite eliminates the cognitive dimension of religious statements by focusing on the conative aspect. Thus, he tries to make religion meaningful so as not to get caught in the verification principle. We aim to analyze Braithwaite's theory of moral interpretation of religious language. In the introduction part of our study, we will explain the dominant paradigm of the period between 1920-1955 to reveal the reasons that prepared Braithwaite for his empiricist approach to religious belief. In this way, we will handle the verification principle, which is the cornerstone of logical positivism. Afterward, we will try to evaluate Braithwaite's ideas on the moral interpretation of the religious statements under two titles. First of all, we will try to answer from Braithwaite's point of view why religious statements cannot pass the verification test. For this, we will present the reasons for not including religious expressions in the empirical, hypothetical, and analytical categories, respectively, and we will present our criticisms. In the second part, we will find an answer to the question of where the religious statements will take place. We will touch on Braithwaite's effort to make religious expressions meaningful by charging functionality, and we will evaluate the criticisms. Afterward, we will discuss the similarities and differences between religious and moral statements and examine the problems that may arise due to Braithwaite's theory. In addition, we will evaluate Braithwaite's attitude concerning the religious stories and the criticisms toward him to distinguish religions with the same moral action. As a result, we will reveal Braithwaite's perspective on the subjectivity of religious belief and point out the possible drawbacks in terms of theism. (shrink)

This essay examines the contributions of Greek philosopher and theologian Christos Yannaras to the question of the relationship between faith and reason. Although a comprehensive analysis of the entire body of his work is beyond the scope of this project, we will attempt to demonstrate through a selective survey, from the early `On the Absence and Unknowability of God' (1970) to the later `The Effable and the Ineffable' (1999), that he presents a convincing `third way' between rationalism and deism. We (...) will argue that Yannaras accomplishes this by methodologically deconstructing the presuppositions of rationalism and advocating for a more `empirically correct' approach grounded in apophaticism and social verification of knowledge. In doing so, he introduces a paradigm that not only challenges the binary opposition between faith and reason but also establishes a distinctive point of encounter between Orthodox Christian theology and contemporary philosophical discourse. (shrink)

Based on the case of Caster Semenya, I argue in this paper that the practice of Gender Verification Testing (GVT) in professional sports is unethical and pointless. The presumed benefit of GVT—ensuring fair competition for female athletes—is virtually nonexistent compared to its potential harms, in particular the exposure of individual athletes to a largely interphobic public. GVTs constitute a serious incursion on the athlete’s dignity, autonomy, and privacy; an incursion that cannot be justified by the appeal to fairness. My (...) argument will proceed in four steps. In sections 1-5, I provide background information on the definition of intersexuality, the history and methods of Gender Verification Testing, and the performance gap between men and women in professional athletics. In sections 6 and 7, I develop my main argument against GVT. In section 8, I offer a supplementary argument against GVT from the history of “gender engineering” in professional sports in the 1970s and 1980s. In section 9, I briefly consider the suggestion that the presence of intersex athletes in professional sports would force us to abandon gender segregation. (shrink)

The well-known empiricist apories of the lawfulness of nature prevent an adequate philosophical interpretation of empirical science until this day. Clarification can only be expected through an immanent refutation of the empiricist point of view. My argument is that Hume’s claim, paradigmatic for modern empiricism, is not just inconsequent, but simply contradictory: Empiricism denies that a lawlike character of nature can be substantiated. But, as is shown, anyone who claimes experience to be the basis of knowledge (as the empiricist naturally (...) does), has, in fact, always already presupposed the lawfullness of nature, i.e. has assumed the ontology of a nature lawful in itself. If lawfulness is, more closely, understood as dependency on conditions, then the functional character of the laws of nature is involved with the consequence that verification is not to be taken as a mere repetition of measurements but as clarification of the conditional structure of the physical process. Furthermore the functionality of the laws of nature also includes a statement on their invariance (relative to certain transformations) and so their lawlikeness. This throws a new light on the problem of induction. Seen in this way it is hardly surprising that the notorious neglect of the functional aspect in empiricism has led to fundamental problems with the concept of the law of nature. (shrink)

The classical theory of computation does not represent an adequate model of reality for simulation in the social sciences. The aim of this paper is to construct a methodological perspective that is able to conciliate the formal and empirical logic of program verification in computer science, with the interpretative and multiparadigmatic logic of the social sciences. We attempt to evaluate whether social simulation implies an additional perspective about the way one can understand the concepts of program and computation. We (...) demonstrate that the logic of social simulation implies at least two distinct types of program verifications that reflect an epistemological distinction in the kind of knowledge one can have about programs. Computer programs seem to possess a causal capability (Fetzer, 1999) and an intentional capability that scientific theories seem not to possess. This distinction is associated with two types of program verification, which we call empirical and intentional verification. We demonstrate, by this means, that computational phenomena are also intentional phenomena, and that such is particularly manifest in agent-based social simulation. Ascertaining the credibility of results in social simulation requires a focus on the identification of a new category of knowledge we can have about computer programs. This knowledge should be considered an outcome of an experimental exercise, albeit not empirical, acquired within a context of limited consensus. The perspective of intentional computation seems to be the only one possible to reflect the multiparadigmatic character of social science in terms of agent-based computational social science. We contribute, additionally, to the clarification of several questions that are found in the methodological perspectives of the discipline, such as the computational nature, the logic of program scalability, and the multiparadigmatic character of agent-based simulation in the social sciences. (shrink)

The observation that a crisis of confidence regarding Psychiatry exists is a notion shared even among psychiatrists themselves. Psychiatry has a checkered history and its alliance with the pharmaceutical industry, aka Big-Pharma, continues to reinforce a need for healthy skepticism. Why? Mainly, an over-reliance on the questionable expertise and authority afforded psychiatry as the specialists of mental health. I contend that the authority of psychiatry is misplaced and too often harmful. Since the criteria required to justify and satisfy psychiatric expertise (...) is not fully established as can be substantiated by compelling reasons to rethink its authority as a reliable profession in its current form. Psychiatric expertise is not particularly scientific and this is especially dangerous in a sector that prescribes mind-altering drugs. There are a number of identified criteria that would otherwise substantiate psychiatric expertise and whilst partially existent, are nonetheless deficient. These major yet deficient aspects of psychiatric practice concern diagnostic problems – reliability and verification of diagnoses and accurate testable validity of diagnoses - mainly due to an absence of identifiable underlying biomarkers ordinarily related to disease or biological conditions. Psychiatrists often fail to distinguish between reactive-depression (reaction to external event or circumstance) and endogenous-depression (biological) resulting, in part, from incorrectly distinguishing between conditions constitutive of ‘trait’ (endogenous) and of those of ‘state’ (e.g. reactive depression; adverse effects from medication, etc.). (shrink)

Political fact-checkers evaluate the truthfulness of politicians’ claims. This paper contributes to an emerging scholarly debate on whether fact-checkers treat political parties differently in a systematic manner depending on their ideology (bias). We first examine the available approaches to analyze bias and then present a new approach in two steps. First, we propose a logistic regression model to analyze the outcomes of fact-checks and calculate how likely each political party will obtain a truth score. We test our model with a (...) sample of fact-checks from Newtral, a major Spanish fact-checker. Our model would signal bias under two assumptions: a) all political parties are on average equally accurate in their statements; b) the verification method gives precise instructions and is implemented systematically. We investigate this second assumption with a series of interviews with Newtral fact-checkers. We show that standard verification protocols are so loosely implemented that fact-checks reflect a set of journalistic decisions, rather than a bias in the statistical sense. We call for a more rigorous definition of verification methods as a pre-requisite for an unbiased assessment of politician’s claims. (shrink)

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

Large Language Models (LLMs) are generative AI systems capable of producing original texts based on inputs about topic and style provided in the form of prompts or questions. The introduction of the outputs of these systems into human discursive practices poses unprecedented moral and political questions. The article articulates an analysis of the moral status of these systems and their interactions with human interlocutors based on the Habermasian theory of communicative action. The analysis explores, among other things, Habermas's inquiries into (...) the analogy between human minds and computers, and into the status of atypical participants in the linguistic community such as genetically modified subjects and animals. Major conclusions are the LLMs seem to qualify as authors that originally participate in discursive practices but do display only a structurally derivative form of communicative competence and fail to meet the status of communicative agents. In this sense, while the contribution of AI writing systems in public discourse and deliberation can support the process of mutual understanding within the community of speakers, the human actors involved in the development, use, and diffusion of these systems share a collective responsibility for the disclosure of AI authorship and verification and adjudication of validity claims. (shrink)

It is often thought that consciousness has a qualitative dimension that cannot be tracked by science. Recently, however, some philosophers have argued that this worry stems not from an elusive feature of the mind, but from the special nature of the concepts used to describe conscious states. Marc Champagne draws on the neglected branch of philosophy of signs or semiotics to develop a new take on this strategy. The term “semiotics” was introduced by John Locke in the modern period – (...) its etymology is ancient Greek, and its theoretical underpinnings are medieval. Charles Sanders Peirce made major advances in semiotics, so he can act as a pipeline for these forgotten ideas. Most philosophers know Peirce as the founder of American pragmatism, but few know that he also coined the term “qualia,” which is meant to capture the intrinsic feel of an experience. Since pragmatic verification and qualia are now seen as conflicting commitments, Champagne endeavors to understand how Peirce could (or thought he could) have it both ways. The key, he suggests, is to understand how humans can insert distinctions between features that are always bound. Recent attempts to take qualities seriously have resulted in versions of panpsychism, but Champagne outlines a more plausible way to achieve this. So, while semiotics has until now been the least known branch of philosophy ending in –ics, his book shows how a better understanding of that branch can move one of the liveliest debates in philosophy forward. (shrink)

If the reliability of a source of testimony is open to question, it seems epistemically illegitimate to verify the source’s reliability by appealing to that source’s own testimony. Is this because it is illegitimate to trust a questionable source’s testimony on any matter whatsoever? Or is there a distinctive problem with appealing to the source’s testimony on the matter of that source’s own reliability? After distinguishing between two kinds of epistemically illegitimate circularity—bootstrapping and self-verification—I argue for a qualified version (...) of the claim that there is nothing especially illegitimate about using a questionable source to evaluate its own reliability. Instead, it is illegitimate to appeal to a questionable source’s testimony on any matter whatsoever, with the matter of the source’s own reliability serving only as a special case. (shrink)

Margaret MacDonald (1907–56) was a central figure in the history of early analytic philosophy in Britain due to both her editorial work as well as her own writings. While her later work on aesthetics and political philosophy has recently received attention, her early writings in the 1930s present a coherent and, for its time, strikingly original blend of common-sense and scientific philosophy. In these papers, MacDonald tackles the central problems of philosophy of her day: verification, the problem of induction, (...) and the relationship between philosophical and scientific method. MacDonald’s philosophy of science starts from the principle that we should carefully analyse the elements of scientific practice (particularly its temporal features) and the ways that scientists describe that practice. That is, she applies the techniques of ordinary language philosophy to actual scientific language. MacDonald shows how ‘scientific common-sense’ is inconsistent with both of the dominant schools of philosophy of her day. Bringing MacDonald back into the story of analytic philosophy corrects the impression that in early analytic philosophy, there are fundamental dichotomies between the style of Moore and Wittgenstein, on the one hand, and the Vienna Circle on the other. (shrink)

According to a widespread view, Einstein’s definition of time in his special relativity is founded on the positivist verification principle. The present paper challenges this received outlook. It shall be argued that Einstein’s position on the concept of time, to wit, simultaneity, is best understood as a mitigated version of concept empiricism. He contrasts his position to Newton’s absolutist and Kant’s transcendental arguments, and in part sides with Hume’s and Mach’s empiricist arguments. Nevertheless, Einstein worked out a concept empiricism (...) that is considerably more moderate than what we find in the preceding empiricist tradition and early logical positivism. He did not think that the origin of concepts is in observations, but in conventions, and he also maintained a realist ontology of physical events, which he thought is necessary for his theory. Consequently, his philosophy of time in special relativity is not couched in terms of an anti-metaphysical verificationism. (shrink)

Logical and philosophical literature provides different classifications of reasoning. In the Polish literature on the subject, for instance, there are three popular ones accepted by representatives of the Lvov-Warsaw School: Jan Łukasiewicz, Tadeusz Czeżowski and Kazimierz Ajdukiewicz (Ajdukiewicz in Logika pragmatyczna [Pragmatic Logic]. PWN, Warsaw (1965, 2nd ed. 1974). Translated as: Pragmatic Logic. Reidel & PWN, Dordrecht, 1975). The author of this paper, having modified those classifications, distinguished the following types of reasoning: (1) deductive and (2) non-deductive, and additionally two (...) types of them in each of the two, depending on the manner of combining their premises with the conclusion through the relation of classical logical entailment. Consequently, the four types of reasoning: unilateral deductive (incl. its sub-types: deductive inference and proof), bilateral deductive (incl. complete induction), and reductive (incl. the sub-types: explanation and verification), logically nonvaluable (incl. inference by analogy, statistic inference), correspond to four operators of derivability. They are defined formally on the ground of Tarski’s axiomatic theory of deductive systems, by means of the consequence operation _Cn_ (Tarski in Monatshefte Math Phys 37:361–404, 1930a, C R Soc Sci Lett Vars 23:22–29, 1930b). Also, certain metalogical properties of these operators are given, as well as their relations with Tarski’s consequence operations \(Cn^+\) ( \(Cn^+ = Cn\) ) and dual consequences \(Cn^{-1}\) (Słupecki in Zeszyty Naukowe Uniwersytetu Wrocławskiego Seria B Nr 3:33–40, 1959, Słupecki et al. in Stud Log 29:76–123, 1971, Wybraniec-Skardowska, in: Wybraniec-Skardowska, Bryll (eds) Z badań nad teorią zdań odrzuconych [Studies in the Theory of Rejected Propositions], Series B, Studia i Monografie, Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Opole, 1969), and \(Cn^-\) (Wójcicki in Bull Sect Log 2(2):54–57, 1973)). (shrink)

The field of AI has undergone a series of transformations, each marking a new phase of development. The initial phase emphasized curation of symbolic models which excelled in capturing reasoning but were fragile and not scalable. The next phase was characterized by machine learning models—most recently large language models (LLMs)—which were more robust and easier to scale but struggled with reasoning. Now, we are witnessing a return to symbolic models as complementing machine learning. Successes of LLMs contrast with their inscrutability, (...) inaccuracy, and hallucinations, which underwrite concerns over the reliability and trustworthiness of these systems, motivating investigations into commonsense reasoning, AI explainability, and formal verification techniques. Moreover, proper assessments of hybrid machine learning/symbolic systems require novel strategies to facilitate comparisons of performance and guide future AI progress. The EDGeS AAAI 2023 Spring symposium brought together researchers focusing on novel assessments and benchmarks for evaluating hybrid and artificial general intelligence (AGI) systems. This symposium revealed what was already suspected: research concerning evaluation of machine learning/symbolic hybrids and AGI is, unfortunately, lacking. Even so, the discussion was fruitful. (shrink)

This article examines whether Willard Van Orman Quine’s indeterminacy thesis can be sustained. The argument from above, Quine argues, can derive indeterminacy as its conclusion. I will argue that the indeterminacy claim cannot be sustained. I further argue that Quine changed the formulation of the underdetermination of theory by evidence (UTE) argument from what Duhem said to the Quine/Pierce meaning verification view, in order use the new formulation of UTE to imply indeterminacy. Given all that, we see when we (...) apply the old UTE argument we only arrive at underdetermination of theory by evidence, and that applies to all sciences, philosophy and knowledge, including philosophy of language. (shrink)

The article develops a correctness theory of truth (CTT) for semantic information. After the introduction, in section two, semantic information is shown to be translatable into propositional semantic information (i). In section three, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in section four, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q + A]. (...) This completes the reduction of the truth of i to the correctness of A. In sections five and six, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates (in a Fregean sense) Q by verifying and validating it (in the computer science’s sense of “verification” and “validation”); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of “proxy”) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of “commutation”); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. The last section draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. (shrink)

Freud’s discussion of uncanny [unheimlich] experiences focuses on their peculiar ambivalence. On his view, the uncanny is a paradoxical feeling of both familiarity and alienation. While Freud’s analysis of this paradoxical feeling does succeed in explaining it away, it does little to explain it. One might expect a psychoanalytical demystification of the real experience that is hidden behind the superstitious overtones of uncanny experiences. Instead, the uncanny is attributed rather anti- climactically to the combination of a previous superstition (maintained unconsciously) (...) and an entirely coincidental verification of that superstition. The implication is that there is no uncanny per se. There is no distinctive category of experience, the unique character of which tends to cause or encourage superstitious beliefs; rather, such beliefs are prerequisite to having the experience. In other words, the experience suits the belief, and not vice-versa. The uncanny is the fantasized verification of a repressed fantasy. It involves a breakdown of the reality principle and the projection of beliefs into the external world, rather than a peculiarity of feeling that can be linked intrinsically to a specific category of experience. I do not intend to reject this analysis in its entirety. The basic structure, repression and return, is sound. However, Freud’s analysis of the uncanny, which resolves uncanny ambivalence into the separate categories of consciousness and unconsciousness, merely reinstates the problematical opposition of das heimliche and das unheimliche, familiar and unfamiliar, within the mind rather than in the external world. The coincidence of the two feelings in uncanny experience cannot be explained without an intervening stage between repression and return. I will suggest that Freud’s characterization of uncanniness as the return, in superstition, of the repressed is a misplacement of the experience of uncanniness. The aesthetical feeling is the cause of, but not identical to, the projected superstitions and ideas which surround it. An explanation of the feeling of uncanniness must fall not on the side of the repressed, but on the side of consciousness. The import of my position is that the feeling of uncanniness refers, in a manner of speaking, to something “real,” rather than merely to infantile ideas projected upon the external world. Freud’s explanation makes the unconscious a kind of scapegoat to be blamed for imposing fundamentally irrational beliefs into our interpretation of present experience, in that way preserving a model of the conscious ego as autonomous, fundamentally attuned to reality and ultimately independent of the unconscious. I will argue, on the contrary, that the experience of the uncanny is not merely a falling back into irrational or infantile beliefs, but an experience of a deep disunity in personhood that rightly causes us to question our everyday confidence in the unity, independence, and rationality of our conscious sense of self. The ambivalence of the feeling has its source in an irresolvable ambivalence that can exist in consciousness, and not simply in an analytically resolvable psychical ambivalence between consciousness and the unconscious. (shrink)

In the past months, there has been a lively debate about so-called COVID-19 apps developed to deal with the pandemic (Morley et al. 2020b). Some of the best solutions use the Bluetooth connection of mobile phones to determine contacts between people and therefore the probability of contagion, and then suggested related measures. In theory, it may seem simple. In practice, there are several ethical problems (Morley et al. 2020a), not only legal and technical ones. To understand them, it is useful (...) to distinguish between the validation and the verification of a system, remembering that these words are used here only in the design/engineering sense, and certainly not philosophically. The validation of a system answers the following question:“are we building the right system?”. (shrink)

Rape and sexual assault are major problems. In the majority of sexual assault cases consent is the central issue. Consent is, to borrow a phrase, the ‘moral magic’ that converts an impermissible act into a permissible one. In recent years, a handful of companies have tried to launch consent apps which aim to educate young people about the nature of sexual consent and allow them to record signals of consent for future verification. Although ostensibly aimed at addressing the problems (...) of rape and sexual assault on university campuses, these apps have attracted a number of critics. In this paper, I subject the phenomenon of consent apps to philosophical scrutiny. I argue that the consent apps that have been launched to date are unhelpful because they fail to address the landscape of ethical and epistemic problems that arise in the typical rape or sexual assault case: they produce distorted and decontextualised records of consent which may in turn exacerbate the other problems associated with rape and sexual assault. Furthermore, because of the tradeoffs involved, it is unlikely that app-based technologies could ever be created that would significantly address the problems of rape and sexual assault. (shrink)

Semantic information is usually supposed to satisfy the veridicality thesis: p qualifies as semantic information only if p is true. However, what it means for semantic information to be true is often left implicit, with correspondentist interpretations representing the most popular, default option. The article develops an alternative approach, namely a correctness theory of truth (CTT) for semantic information. This is meant as a contribution not only to the philosophy of information but also to the philosophical debate on the nature (...) of truth. After the introduction, in Sect. 2, semantic information is shown to be translatable into propositional semantic information (i). In Sect. 3, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in Sect. 4, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q + A]. This completes the reduction of the truth of i to the correctness of A. In Sects. 5 and 6, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates Q by verifying and validating it (in the computer science’s sense of verification and validation ); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of proxy ) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of commutation ); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. Sect. 7 provides some further clarifications about CTT, in the light of semantic paradoxes. Section 8 draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. In the course of the article all technical expressions from computer science are explained. (shrink)

For forty years I have argued that we urgently need to bring about a revolution in academia so that the basic task becomes to seek and promote wisdom. How did I come to argue for such a preposterously gigantic intellectual revolution? It goes back to my childhood. From an early age, I desired passionately to understand the physical universe. Then, around adolescence, my passion became to understand the heart and soul of people via the novel. But I never discovered how (...) to tell stories in order to tell the truth. So, having failed to become a physicist, and failed to become a novelist, I studied philosophy at Manchester University and then, in six weeks of inspiration, discovered that the riddle of the universe is the riddle of our desires. Philosophy should be about how to live, and should not just do conceptual analysis. I struggled to reconcile the two worlds of my childhood ambitions, the physical universe and the human world. I decided they could be reconciled with one another if one regarded the two accounts of them, physics and common sense, as myths, and not as literal truths. But then I discovered Karl Popper: truth is too important to be discarded. I revised my ideas: physics seeks to depict truly only an aspect of all that there is; in addition, there is the aspect of the experiential features of the world as we experience it. I was immensely impressed with Popper’s view that science makes progress, not by verification, but by ferocious attempted falsification of theories. I was impressed, too, with his generalization of this view to form critical rationalism. Then it dawned on me: Popper’s view of science is untenable because it misrepresents the basic aim of science. This is not truth as such; rather it is explanatory truth – truth presupposed to be unified or physically comprehensible. We need, I realized, a new conception of science, called by me aim-oriented empiricism, which acknowledges the real, problematic aims of science, and seeks to improve them. Then, treading along a path parallel to Popper’s, I realized that aim-oriented empiricism can be generalized to form a new conception of rationality, aim-oriented rationality, with implications for all that we do. This led on to a new conception of academic inquiry. From the Enlightenment we have inherited the view that academia, in order to help promote human welfare, must first acquire knowledge. But this is profoundly and damagingly irrational. If academia really does seek to help promote human welfare, then its primary tasks must be to articulate problems of living, and propose and critically assess possible solutions – possible actions, policies, political programmes, philosophies of life. The pursuit of knowledge is secondary. Academia needs to promote cooperatively rational problem solving in the social world, and needs to help humanity improve individual and institutional aims by exploiting aim-oriented rationality, arrived at by generalizing the real progress-achieving methods of science. We might, as a result, get into life some of the progressive success that is such a marked feature of science. Thus began my campaign to promote awareness of the urgent need for a new kind of academic inquiry rationally devoted to helping humanity create a wiser world. (shrink)

ABSTRACTThis essay offers a reconfiguration of the possibility‐space of positions regarding the metaphysics and epistemology associated with historical knowledge. A tradition within analytic philosophy from Danto to Dummett attempts to answer questions about the reality of the past on the basis of two shared assumptions. The first takes individual statements as the relevant unit of semantic and philosophical analysis. The second presumes that variants of realism and antirealism about the past exhaust the metaphysical options . This essay argues that both (...) of these assumptions should be rejected. It develops as an alternative an irrealist account of history, a view based in part on work by Leon Goldstein and Ian Hacking. On an irrealist view, historical claims ought to be treated as subject to the same conditions and caveats that apply to any theory of empirical or scientific knowledge. Irrealism argues for pasts as made and not found. The argument emphasizes the priority of classification over perception in the order of understanding and so verification. Because nothing a priori anchors practices of classification, no sense can be attached to claims that some single structure must or does determine what events take place in human history. Irrealism denies to realism the very intelligibility of any imagined view from nowhere, that is, a determinately configured past subsisting sub specie aeternitatis. A plurality of pasts exists because constituting a past always depends to some degree on socially mediated negotiations of a fit between descriptions and experience. (shrink)

There are a bewildering variety of claims connecting Darwin to nineteenth-century philosophy of science—including to Herschel, Whewell, Lyell, German Romanticism, Comte, and others. I argue here that Herschel’s influence on Darwin is undeniable. The form of this influence, however, is often misunderstood. Darwin was not merely taking the concept of “analogy” from Herschel, nor was he combining such an analogy with a consilience as argued for by Whewell. On the contrary, Darwin’s Origin is written in precisely the manner that one (...) would expect were Darwin attempting to model his work on the precepts found in Herschel’s Preliminary Discourse on Natural Science. While Hodge has worked out a careful interpretation of both Darwin and Herschel, drawing similar conclusions, his interpretation misreads Herschel’s use of the vera causa principle and the verification of hypotheses. The new reading that I present here resolves this trouble, combining Hodge’s careful treatment of the structure of the Origin with a more cautious understanding of Herschel’s philosophy of science. This interpretation lets us understand why Darwin laid out the Origin in the way that he did and also why Herschel so strongly disagreed, including in Herschel’s heretofore unanalyzed marginalia in his copy of Darwin’s book. (shrink)