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)

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)

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)

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)

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)

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.

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)

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)

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.

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 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)

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)

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)

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)

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)

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)

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)

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)

A Calculus of Qualia (CQ) was proposed (on PhilPapers). The key idea is that, for example, blackness is radically different than █. The former term, “blackness” refers to or is about a quale, whereas the latter term, “█” instantiates a quale in the reader's mind and is non-referential, *it does not even refer to itself*. The meaning and behavior of these terms is radically different. In this paper in this series of papers, we discuss verifiability, experimental predictability and expanding science (...) to include the notion of systematic 1st-person versions of these. For example, I can make systematic predictions about a chair based on intersubjective agreement. I cannot do that with qualia, but if I witness (or experience) the truth of the qualation █ ≠ ▲ I can systematically predict that you will witness (or experience) the truth of your version of it, based on CQ and *intrasubjective* agreement. This is a radical expansion of the scientific methodology to include 1st-person verifiability and predictions and is an important part of the beginning of a paradigm shift. (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 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 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)

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 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)

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)

This paper is concerned with the construction of theories of software systems yielding adequate predictions of their target systems’ computations. It is first argued that mathematical theories of programs are not able to provide predictions that are consistent with observed executions. Empirical theories of software systems are here introduced semantically, in terms of a hierarchy of computational models that are supplied by formal methods and testing techniques in computer science. Both deductive top-down and inductive bottom-up approaches in the discovery of (...) semantic software theories are refused to argue in favour of the abductive process of hypothesising and refining models at each level in the hierarchy, until they become satisfactorily predictive. Empirical theories of computational systems are required to be modular, as modular are most software verification and testing activities. We argue that logic relations must be thereby defined among models representing different modules in a semantic theory of a modular software system. We exclude that scientific structuralism is able to define module relations needed in software modular theories. The algebraic Theory of Institutions is finally introduced to specify the logic structure of modular semantic theories of computational systems. (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)

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)

Revised version of chapter in J. N. Mohanty and W. McKenna (eds.), Husserl’s Phenomenology: A Textbook, Lanham: University Press of America, 1989, 29–67. -/- Logic for Husserl is a science of science, a science of what all sciences have in common in their modes of validation. Thus logic deals with universal laws relating to truth, to deduction, to verification and falsification, and with laws relating to theory as such, and to what makes for theoretical unity, both on the side (...) of the propositions of a theory and on the side of the domain of objects to which these propositions refer. This essay presents a systematic overview of Husserl’s views on these matters as put forward in his Logical Investigations. It shows how Husserl’s theory of linguistic meanings as species of mental acts, his formal ontology of part, whole and dependence, his theory of meaning categories, and his theory of categorial intuition combine with his theory of science to form a single whole. Finally, it explores the ways in which Husserl’s ideas on these matters can be put to use in solving problems in the philosophy of language, logic and mathematics in a way which does justice to the role of mental activity in each of these domains while at the same time avoiding the pitfalls of psychologism. (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)

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)

Evoluția testelor gravitaționale dintr-o perspectivă epistemologică încadrată în conceputul de reconstrucție rațională al lui Imre Lakatos, pe baza metodologiei acestuia a programelor de cercetare. Perioada evaluată este foarte vastă, începând cu filosofia naturală a lui Newton și până la teoriile gravitației cuantice din zilele noastre. Pentru a explica mai rațional evoluția complexă a conceptului de gravitație din ultimul secol, propun o extindere naturală a metodologiei programelor de cercetare pe care o folosesc apoi pe parcursul lucrării. Consider că această abordare oferă (...) o nouă perspectivă asupra modului în care au evaluat în timp conceptul de gravitație și metodele de testare a fiecărei teorii a gravitației, prin observații și experimente. Argumentez, pe baza metodologiei programelor de cercetare și a studiilor oamenilor de știință și filosofilor, că actualele teorii ale gravitației cuantice sunt degenerative, datorită lipsei dovezilor experimentale pe o perioadă îndelungată de timp și a auto-imunizării împotriva posibilității falsificării. Mai mult, în prezent este în curs de dezvoltare un curent metodologic care atribuie un rol secundar, neimportant, verificărilor prin observații și/sau experimente. Din această cauză, nu va fi posibilă o teorie completă a gravitației cuantice în forma actuală care să includă la limită relativitatea generală, întrucât teoriile fizice au fost dintotdeauna ajustate, în decursul evoluției lor, pe baza testelor observaționale sau experimentale, și verificate prin predicțiile făcute. De asemenea, contrar unei opinii răspândite și a unor programe active actuale privind unificarea tuturor forțelor fundamentale ale fizicii într-o singură teorie finală, pe baza teoriei corzilor, argumentez că este puțin probabil în general să se realizeze această unificare, și nu este posibil oricum ca unificarea să se elaboreze pe baza teoriilor actuale ale gravitației cuantice, inclusiv prin teoria corzilor. În plus, susțin punctele de vedere ale unor oameni de știință și filosofi că în prezent se consumă mult prea multe resurse pe ideea dezvoltării teoriilor gravitației cuantice, și în special teoria corzilor, care să includă relativitatea generală și să unifice gravitația cu celelalte forțe, în condițiile în care știința nu impune astfel de programe de cercetare. -/- DOI: 10.13140/RG.2.2.14582.75842 . (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)

Following Anthony Downs’s classic economic analysis of democracy, it has been widely noted that most voters lack the incentive to be well-informed. Recent empirical work, however, suggests further that political partisans can display selectively lazy or biased reasoning. Unfortunately, political knowledge seems to exacerbate, rather than mitigate, these tendencies. In this paper, I build on these observations to construct a more general skeptical challenge which affects what I call creedal beliefs. Such beliefs share three features: (i) the costs to the (...) individual of being wrong are negligible, (ii) the beliefs are subject to social scrutiny, and (iii) the evidential landscape relevant to the beliefs is sufficiently complex so as to make easy verification difficult. Some philosophers and social scientists have recently argued that under such conditions, beliefs are likely to play a signaling, as opposed to a navigational role, and that our ability to hold beliefs in this way is adaptive. However, if this is right, I argue there is at least a partial debunker for such beliefs. Moreover, this offers, I suggest, one way to develop the skeptical challenge based on etiological explanation that John Stuart Mill presents in On Liberty when he claims that the same causes which lead someone to be a devout Christian in London would have made them a Confucian in Peking. Finally, I contend that this skeptical challenge is appropriately circumscribed so that it does not over-extend in an implausible way. (shrink)

After long arguments between positivism and falsificationism, the verification of universal hypotheses was replaced with the confirmation of uncertain major premises. Unfortunately, Hemple proposed the Raven Paradox. Then, Carnap used the increment of logical probability as the confirmation measure. So far, many confirmation measures have been proposed. Measure F proposed by Kemeny and Oppenheim among them possesses symmetries and asymmetries proposed by Elles and Fitelson, monotonicity proposed by Greco et al., and normalizing property suggested by many researchers. Based on (...) the semantic information theory, a measure b* similar to F is derived from the medical test. Like the likelihood ratio, measures b* and F can only indicate the quality of channels or the testing means instead of the quality of probability predictions. Furthermore, it is still not easy to use b*, F, or another measure to clarify the Raven Paradox. For this reason, measure c* similar to the correct rate is derived. Measure c* supports the Nicod Criterion and undermines the Equivalence Condition, and hence, can be used to eliminate the Raven Paradox. An example indicates that measures F and b* are helpful for diagnosing the infection of Novel Coronavirus, whereas most popular confirmation measures are not. Another example reveals that all popular confirmation measures cannot be used to explain that a black raven can confirm “Ravens are black” more strongly than a piece of chalk. Measures F, b*, and c* indicate that the existence of fewer counterexamples is more important than more positive examples’ existence, and hence, are compatible with Popper’s falsification thought. (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)

Physical dimensions like “mass”, “length”, “charge”, represented by the symbols [M], [L], [Q], are not numbers, but used as numbers to perform dimensional analysis in particular, and to write the equations of physics in general, by the physicist. The law of excluded middle falls short of explaining the contradictory meanings of the same symbols. The statements like “m tends to 0”, “r tends to 0”, “q tends to 0”, used by the physicist, are inconsistent on dimensional grounds because “m”, “r”, (...) “q” represent quantities with physical dimensions of [M], [L], [Q] respectively and “0” represents just a number—devoid of physical dimension. Consequently, due to the involvement of the statement “q tends to 0'', where q is the test charge” in the definition of electric field leads to either circular reasoning or a contradiction regarding the experimental verification of the smallest charge in the Millikan–Fletcher oil drop experiment. Considering such issues as problematic, by choice, I make an inquiry regarding the basic language in terms of which physics is written, with an aim of exploring how truthfully the verbal statements can be converted to the corresponding physico-mathematical expressions, where “physico-mathematical” signifies the involvement of physical dimensions. Such investigation necessitates an explanation by demonstration of “self inquiry”, “middle way”, “dependent origination”, “emptiness/relational existence”, which are certain terms that signify the basic tenets of Buddhism. In light of such demonstration I explain my view of “definition”; the relations among quantity, physical dimension and number; meaninglessness of “zero quantity” and the associated logico-linguistic fallacy; difference between unit and unity. Considering the importance of the notion of electric field in physics, I present a critical analysis of the definitions of electric field due to Maxwell and Jackson, along with the physico-mathematical conversions of the verbal statements. The analysis of Jackson’s definition points towards an expression of the electric field as an infinite series due to the associated “limiting process” of the test charge. However, it brings out the necessity of a postulate regarding the existence of charges, which nevertheless follows from the definition of quantity. Consequently, I explain the notion of undecidable charges that act as the middle way to resolve the contradiction regarding the Millikan–Fletcher oil drop experiment. In passing, I provide a logico-linguistic analysis, in physico-mathematical terms, of two verbal statements of Maxwell in relation to his definition of electric field, which suggests Maxwell’s conception of dependent origination of distance and charge ) and that of emptiness in the context of relative vacuum. This work is an appeal for the dissociation of the categorical disciplines of logic and physics and on the large, a fruitful merger of Eastern philosophy and Western science. Nevertheless, it remains open to how the reader relates to this work, which is the essence of emptiness. (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)

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)

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)

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)

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)

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)