The aim of this paper is to argue for a revised and precisified version of the infamous Verifiability Criterion for the meaningfulness of declarative sentences. The argument is based on independently plausible premises concerning probabilistic confirmation and meaning as context-change potential, it is shown to be logically valid, and its ramifications for potential applications of the criterion are being discussed. Although the paper is not historical but systematic, the criterion thus vindicated will resemble the original one(s) (...) in some important ways. At the same time, it will also be more modest insofar as meaningfulness will turn out to be relativized linguistically and probabilistically, and different choices of the linguistic and probabilistic parameters may lead to different verdicts on meaningfulness. (shrink)

As my title implies, I think the verifiability criterion is indeed a criterion of something. I do not intend, therefore, merely to commemorate it. On the other hand I am not sure that those who put it forward in its more liberal forms as a criterion of ‘factual significance’ or ‘literal meaningfulness’ were right in what they identified as the consequence of a sentence's failing to satisfy it. What I want to argue for, in a somewhat (...) reductionist spirit, is a resurrected version of the ‘weak’ verifiability criterion. My resurrected version will certainly appear more rarefied, in so far as it is independent of empiricism. It will, I hope, also be purified of some of the mortal blemishes from which the criterion, as construed by members of the Vienna Circle, seems not to have recovered. (shrink)

As my title implies, I think the verifiability criterion is indeed a criterion of something. I do not intend, therefore, merely to commemorate it. On the other hand I am not sure that those who put it forward in its more liberal forms as a criterion of ‘factual significance’ or ‘literal meaningfulness’ were right in what they identified as the consequence of a sentence's failing to satisfy it. What I want to argue for, in a somewhat (...) reductionist spirit, is a resurrected version of the ‘weak’ verifiability criterion. My resurrected version will certainly appear more rarefied, in so far as it is independent of empiricism. It will, I hope, also be purified of some of the mortal blemishes from which the criterion, as construed by members of the Vienna Circle, seems not to have recovered. (shrink)

The purpose of this paper is to try to set the record a little straighter about the idea of a verifiability criterion.

Physicists routinely claim that the fundamental laws of physics are 'time symmetric' or 'time reversal invariant' or 'reversible'. In particular, it is claimed that the theory of quantum mechanics is time symmetric. But it is shown in this paper that the orthodox analysis suffers from a fatal conceptual error, because the logical criterion for judging the time symmetry of probabilistic theories has been incorrectly formulated. The correct criterion requires symmetry between future-directed laws and past-directed laws. This criterion (...) is formulated and proved in detail. The orthodox claim that quantum mechanics is reversible is re-evaluated. The property demonstrated in the orthodox analysis is shown to be quite distinct from time reversal invariance. The view of Satosi Watanabe that quantum mechanics is time asymmetric is verified, as well as his view that this feature does not merely show a de facto or 'contingent' asymmetry, as commonly supposed, but implies a genuine failure of time reversal invariance of the laws of quantum mechanics. The laws of quantum mechanics would be incompatible with a time-reversed version of our universe. (shrink)

Ian Shapiro proposes a representative government that bases its understanding of truth on mature enlightenment philosophy. He examines various enlightenment and anti-enlightenment theories to substantiate his arguments in favour of verifiability as the criterion for defining truth. Contending such a concept of truth he specifies that it is possible only within a representative democracy as it can systematically undermine socially built readymade systems. To examine Shapiro’s fallibilist approach to truth, this paper critically analyses his concept of truth-telling for (...) legitimizing a government and contrasts it with Plato’s explanation of truth-telling. It argues that Shapiro’s procedural mechanisms that override social background presuppose uniform rationality backed by power systems. (shrink)

This article may be of significant interest to those who may want to reconsider Aristotelian principles in the light of the philosophy of science---i. e., the Aristotelian Thomistic philosophy of sensation as harmonizable with recent findings in the physics/chemistry/physiology of sensation, especially in correlation with research in colorimetry and spectrophotometry. Primarily metaphysical and epistemological in orientation, this paper makes a case for “methodological realism”---viz., how evidence may be grasped, judged, and interpreted in a way that recognizes extemal sense objects to (...) be criteria for verifying statements made about these objects. Amongst the matters and/or problems, considered philosophically, historically, and scientifically, in the course of the article, are: the kinds of sensible qualities discoverable by us; the problem of “immediate” sensation; an analysis of the intemal process of sensation, investigated in conjunction with insights from Aquinas and today’s science; objective/subjective aspects of sensation; causality in sensation; sceptical positions regarding sensation; the problem of sense error; a critique of Descartes’s assumptions about sensation; a sumrnary of conclusions, based on this examination. (shrink)

This article may be of significant interest to those who may want to reconsider Aristotelian principles in the light of the philosophy of science---i. e., the Aristotelian Thomistic philosophy of sensation as harmonizable with recent findings in the physics/chemistry/physiology of sensation, especially in correlation with research in colorimetry and spectrophotometry. Primarily metaphysical and epistemological in orientation, this paper makes a case for “methodological realism”---viz., how evidence may be grasped, judged, and interpreted in a way that recognizes extemal sense objects to (...) be criteria for verifying statements made about these objects. Amongst the matters and/or problems, considered philosophically, historically, and scientifically, in the course of the article, are: the kinds of sensible qualities discoverable by us; the problem of “immediate” sensation; an analysis of the intemal process of sensation, investigated in conjunction with insights from Aquinas and today’s science; objective/subjective aspects of sensation; causality in sensation; sceptical positions regarding sensation; the problem of sense error; a critique of Descartes’s assumptions about sensation; a sumrnary of conclusions, based on this examination. (shrink)

The verifiability principle was the characteristic claim of a group of thinkers who called themselves the Vienna Circle and who formed the philosophical movement now known as logical positivism. The verifiability principle is an empiricist criterion of meaning which declares that only statements that are verifiable by —i.e., logically deducible from— observational statements are cognitively meaningful. -/- This essay is a short introduction to the philosophical movement of logical positivism and its formulation of the verifiability principle. (...) Its primary aim is to provide students of philosophy with an accessible first overview of this philosophical movement. -/- After pointing out some aspects of the philosophical background of logical positivism (section 1), I will comment on the reasoning that lead these authors to formulate the verifiability principle (section 2), and I will analyse the debate about how to understand observational language and how observational statements (the so-called ‘protocol statements’) are verified (section 3). I will also comment on the two main consequences of accepting the verifiability principle: the conception of philosophy as the task of logical analysis and the project of unified science (section 4), and I will explain the different views on ethical language defended by logical positivists (section 5). I will end this essay by identifying the main problems of the verifiability principle and I will explain the core ideas of Carnap’s confirmability criterion, which attempts to resolve these problems (section 6 and 7). (shrink)

The claim that distant simultaneity with respect to an inertial observer is conventional arose in the context of a space-and-time rather than a spacetime ontology. Reformulating this problem in terms of a spacetime ontology merely trivializes it. In the context of flat space, flat time, and a linear inertial structure (a purely space-and-time formalism), we prove that the hyperplanes of space for a given inertial observer are determined by a purely spatial criterion that depends for its validity only on (...) the two-way light principle, which is universally regarded as empirically verified. All (empirically determined) “spacetime” entities, such as the conformal structure or light surface equation, are used in a purely mathematical manner that is independent of and hence isneutral with respect to the ontological status that is ascribed to them. In this regard, our criterion is significantly stronger than thespacetime criterion recently advanced by D. Malament, which appeals explicitly to the conformal orthogonality of spacetime vectors and to the invariance of the conformal-orthogonal structure of spacetime under the causal automorphisms of spacetime. Once the hyperplanes of space for a given inertial observer have been determined by our empirical and purely spatial criterion, the following holds: there exists one and only one $\vec \varepsilon $ -synchronization procedure, namely the standard procedure proposed by Einstein, such that the planes of common time are thesame as the nonconventional hyperplanes of space for the inertial observer. It follows that our criterion provides an empirical even if indirect method for determining that the one-way speed of light is the same as the average two-way speed of light. In addition, two inertial observers that are not at rest with respect to each other necessarily havedifferent hyperplanes of space, and consequently their respective spatial views cannot be encompassed in a single three-dimensional space. Hence, our purely spatial criterion provides an empirical motivation for adopting the more comprehensive spacetime ontology. (shrink)

This paper is divided into four sections. -/- The first section contains an informal characterization of what may, for the purposes of this discussion, be referred to as the standard interpretation of theological statements. -/- Then, in the second section, I mention two challenges to the commonsense view that theological statements have cognitive content: the quote “falsifiability challenge” and the “ translatability challenge”. -/- Both of these challenges involve an appeal to an empiricist criterion of cognitive content, but I (...) contend that they are nonetheless very different arguments and that clarity about the fundamental issues involved in the question of theology and verificationism cannot be achieved unless these two lines are argument are carefully distinguished. -/- The third section is concerned with the question of the possibility of an empiricist criterion of cognitive significance. The underlying purpose of the discussion will be to arrive derive at an evaluation of the commonly advanced claim that verificationist objections to the meaningfulness of theological language can be refuted by simply arguing that is not possible to formulate an adequate confirmability criterion of cognitive significance. -/- I then conclude by suggesting some responses that seem more promising. (shrink)

Many authors have turned their attention to the notion of constitution to determine whether the hypothesis of extended cognition (EC) is true. One common strategy is to make sense of constitution in terms of the new mechanists’ mutual manipulability account (MM). In this paper I will show that MM is insufficient. The Challenge of Trivial Extendedness arises due to the fact that mechanisms for cognitive behaviors are extended in a way that should not count as verifying EC. This challenge can (...) be met by adding a necessary condition: cognitive constituents satisfy MM and they are what I call behavior unspecific. (shrink)

According to Locke’s Principle, material objects are identical if and only if they are of the same kind and once occupy the same place at the same time. There is disagreement about whether this principle is true, but what is seldom disputed is that, even if true, the principle fails to constitute an applicable criterion of identity. In this paper, I take issue with two arguments that have been offered in support of this claim by arguing (i) that we (...) can have knowledge of past whereabouts, and so verify the right hand side of Locke’s Principle, without having to assess concrete identity claims first; (ii) that even under conditions of incomplete knowledge of past whereabouts we can use Locke’s Principle to decide concrete identity problems. (shrink)

Summary Giancarlo Trombini presents the continuation of his research on the question of which criteria can be used to assess the progress of therapy in an objectively verifiable way and to make the decision on the completion of therapy. In the first phase of his research, the phenomenological criterion of a qualitative change in the patient’s relations toward the positive and higher complexity was proposed for this purpose. In terms of the working method in analytic therapy, this meant concretely: (...) attention should be paid to what development is shown in the comparison of the relationships that occur in the dream narrative and in the subsequent associations. This criterion was therefore given the name manifest dream/association comparison (MDAC)—comparison between the manifest dream and the subsequent associations. The idea can easily be transferred to those therapy methods, which do not primarily work with reports of dream memories and subsequent associations—also, in other ways of working, it is possible to pay attention, in the way suggested by Trombini, to the qualitative development of the relationships which are thematized by the clients in the course of an hour. To this first criterion, another phenomenological criterion is now added in the present article: that of the “concluding therapeutic turn” (CTT). If the patient’s development reaches this turn in the course of the therapy in one session, this indicates, according to Trombini, that the therapy can soon be concluded. The fulfillment of this criterion can be recognized by the fact that in the sequence of dream narration and subsequent associations in a session, a relational dynamic toward the positive and higher complexity becomes recognizable and that is, at the same time, connected with a reconciliation of the three temporal reference systems (past, present, and future). The achievement of this CTT indicates that the patient is aware of the changes made in therapy and makes it evident to the therapist that the therapy is nearing completion. (shrink)

I think that one of the main objections to be made to Ayer's verifiability criterion is simply the mechanical way in which it is designed to work: supposedly, a philosopher need not study, for example, how religious assertions are used, nor what sorts of illumination their users take themselves to be shedding on the human condition; instead, Ayer imagines that we can test them in a simple way that requires us to do no exploration whatever. This, surely, is (...) hubris; and that accounts for much of the very angry and passionate reaction which Ayer's criterion provoked. (shrink)

Phenomenology and logical positivism both subscribed to an empirical-verifiability criterion of mental or linguistic meaning. The acceptance of this criterion confronted them with the same problem: how to understand the Other as a subject with his own experience, if the existence and nature of the Other's experiences cannot be verified. Husserl tackled this problem in the Cartesian Meditations, but he could not reconcile the verifiability criterion with understanding the Other's feelings and sensations. Carnap's solution was (...) to embrace behaviorism and eliminate the idea of private sensations, but behaviorism has well-known difficulties. Heidegger broke this impasse by suggesting that each person's being included being-with, an innate capacity for understanding the Other. To be human is to be "hard-wired" to make sense of the Other without having to verify the Other's private sensations. I suggest that being-with emerged from an evolutionary imperative for conspecific animals to recognize each other and to coordinate their activities. Wittgenstein also rejected the verifiability criterion. He theorized that the meaning of a term is its usage and that terms about private sensations were meaningful because they have functions in our language-games. For example, "I'm in pain," like a cry of pain, functions to get the attention of others and motivate others to help. Wittgenstein's theory shows how Dasein's being-with includes "primitive" adaptive behavior such as cries, smiles, and threatening or playful gesture. As Dasein is acculturated, these behaviors are partially superseded by functionally equivalent linguistic expressions. (shrink)

I want to address myself, then, to the task of such examination, offering first a brief review of the philosophic career of the doctrine and a critique of a recent revision, and going on to formulate a modified empiricist thesis, and to consider its basic problems and some general approaches to them. In Section I, I shall survey early attempts to state an empirical or verifiability criterion of cognitive significance and to indicate difficulties encountered and philosophic consequences. In (...) Section II, I shall criticize the recent revision in terms of translatability. In Section III, a modified empiricism in terms of inclusion will be outlined and its consequences explored. Section IV will be devoted to a consideration of two outstanding problems faced by such empiricism: the problem of dispositional terms and the problem of theoretical or transcendental terms. (shrink)

This study takes its shape around two fundamentally opposed ways of understanding the discipline of history. The one regards historical inquiry as capable of discovering "what really happened" in the human past and considers historical truth to be a matter of the correspondence between historical accounts and the past as it actually was. The other regards historical inquiry as actually constructing the human past by its methods of interpreting evidence and considers historical truth to be a matter of the internal (...) coherence of historical accounts and their compatibility with the evidence upon which they are based. My thesis is that neither the "Discovery Theory" nor the "Construction Theory" offers a satisfactory analysis of history. I offer an alternate theory which regards the concepts of correspondence and coherence as complementary and mutually necessary to such an analysis. ;The primary material of this study is to be found in two recent books, Jack Meiland's Scepticism and Historical Knowledge and Leon Goldstein's Historical Knowing , which attempt systematically to defend a Construction Theory of history. These two defenses are particularly interesting because they are grounded in very different epistemological orientations. Meiland approaches the subject from a logical positivist point of view; Goldstein takes a perspective an idealist or phenomenologist would appreciate. ;I begin in Chapter 1 with a brief historical sketch of the way the Construction Theory has evolved out of criticisms of the Discovery Theory. In Chapter 2 I argue against Meiland's claim that there cannot be present evidence of past events. Here I consider the nature and the role of general correlation principles in history. In Chapter 3 I argue against Meiland's use of the positivist Verifiability Criterion to prove that historical statements are meaningless. My claim is that historical statements are indirectly verifiable in principle. In Chapter 4 I develop Goldstein's theory of historical verification and support his view that the concept of coherence plays the major role in this process. In Chapter 5 I argue against Goldstein's theory of historical reference and develop the claim that verified historical statements must be regarded as referring to the past. In Chapter 6 I return to Meland in order to consider the relevance of the concept of correspondence to the analysis of historical reference. ;In Chapter 7 I attempt to define the middle ground between the two theories by developing the idea of historical truth. I argue that the concept of coherence is an indispensable part of the analysis of historical verification, that the concept of correspondence is indispensable to the understanding of historical reference, and that both are involved in the notion of historical meaningfulness. (shrink)

Rudolf Carnap defended two quite different critiques of traditional philosophy: in addition to the much discussed verifiability criterion, he also proposed a critique based upon "formalizability." Formalizability rests upon the principle of tolerance plus an acceptance of a linguistic methodology. Standard interpreters of Carnap (e.g., [7] and [8]) assume that the principle of tolerance (and, hence, formalizability) gains its argumentative support from verificationism. Carnap, in fact, kept the two critiques separate and independent. Indeed, verificationism is even, in spirit, (...) inconsistent with tolerance. If the formalizability approach is emphasized, traditional metaphysics is reconstructed, not banished. Philosophical disputes remain rationally decidable, but metatheoretical in nature. Two results follow: Carnap's metaphilosophy cannot be rejected merely on the basis of rejections of verifiability. Second, Carnap's conclusion that all philosophy concerns language provides no reason for despair. (shrink)

Phenomenology and logical positivism both subscribed to an empirical-verifiability criterion of mental or linguistic meaning. The acceptance of this criterion confronted them with the same problem: how to understand the Other as a subject with his own experience, if the existence and nature of the Other's experiences cannot be verified. Husserl tackled this problem in the Cartesian Meditations, but he could not reconcile the verifiability criterion with understanding the Other's feelings and sensations. Carnap's solution was (...) to embrace behaviorism and eliminate the idea of private sensations, but behaviorism has well-known difficulties. Heidegger broke this impasse by suggesting that each person's being included being-with, an innate capacity for understanding the Other. To be human is to be "hardwired" to make sense of the Other without having to verify the Other's private sensations. I suggest that being-with emerged from an evolutionary imperative for conspecific animals to recognize each other and to coordinate their activities. Wittgenstein also rejected the verifiability criterion. He theorized that the meaning of a term is its usage and that terms about private sensations were meaningful because they have functions in our language-games. For example, "I'm in pain," like a cry of pain, functions to get the attention of others and motivate others to help. Wittgenstein's theory shows how Dasein's being-with includes "primitive" adaptive behavior such as cries, smiles, and threatening or playful gesture. As Dasein is acculturated, these behaviors are partially superseded by functionally equivalent linguistic expressions. (shrink)

“The Strong Programme” is put forward as a metaphysical theory of sociology by the Edinburgh School (SSK) to study the social causes of knowledge. Barry Barnes and David Bloor are the proponents of the School. They call their programme “the Relativist View of Knowledge” and argue against rationalism in the philosophy of science. Does their relativist account of knowledge present a serious challenge to rationalism, which has dominated 20th century philosophy of science? I attempt to answer this question by criticizing (...) the main ideas of SSK and defending rationalism theories in modern philosophy of science. (shrink)

In far and away the best critical review of analysis to date, Blanshard examines in great detail both positivism and linguistic analysis, giving an historical treatment where possible. Logical atomism, the twists and turns of the verifiability criterion of meaning, and the analytic theory of a priori knowledge are subjected to patient and exhausting criticism and found wanting in nearly every particular. He finds all the distinctive views of linguistic analysis to be in the wrong. The discussion of (...) "clear thinkers" is best, that of Wittgenstein less good. Finally, Blanshard gives the recurrent themes of universals and necessity a positive treatment, elaborating and defending the position of The Nature of Thought against recent criticisms.--R. C. N. (shrink)

Carnap’s search for a criterion of empirical significance is usually considered a failure. I argue that the results from two out of his three different approaches are at the very least problematic, but that one approach led to success. Carnap’s criterion of translatability into logical syntax is too vague to allow for definite results. His criteria for terms—introducibility by chains of reduction sentences and his criterion from “The Methodological Character of Theoretical Concepts”—are almost trivial and have no (...) clear relation to the empirical significance of sentences. However, his criteria for sentences—translatability, verifiability, falsifiability, confirmability—are usable, and under the assumptions needed for the Carnap sentence approach, verifiability, falsifiability, and translatability become equivalent. As a result of the Carnap sentence approach, metaphysics is rendered analytic. (shrink)

We introduce a reciprocity criterion for coalition formation among goal-directed agents, which we call the indecomposable do-ut-des property. It refines an older reciprocity property, called the do-ut-des or give-to-get property by considering the fact that agents prefer to form coalitions whose components cannot be formed independently. A formal description of this property is provided as well as an analysis of algorithms and their complexity. We provide an algorithm to decide whether a coalition has the desired property, and we show (...) that the problem to verify whether a single coalition satisfies the property is tractable. Moreover, we provide an algorithm to search all the sub-coalitions of a given coalition satisfying the new property. Even if this problem is not computationally tractable, we show that in several cases, also the complexity of this problem may decrease considerably. (shrink)

Popper Proposed the criterion of falsifiability as a solution to the problem of demarcation i.e. of distinguishing science from pseudo-science and not, as many of his contemporaries in the Vienna Circle mistook it to be, a solution to the quite different problem with which they themselves were preoccupied, viz. of providing a criterion of meaning to distinguish the meaningful from the meaningless. While the positivists were concerned to damn metaphysics and exalt science, by identifying the empirically verifiable with (...) the meaningful, Popper was concerned to separate science from scientism, to damn astrology and to extol astronomy. In other words his preoccupation belongs not to the philosophy of language but to the philosophy of science. (shrink)

In his article Banicki proposes a universal model for all forms of philosophical therapy. He is guided by works of Martha Nussbaum, who in turn makes recourse to Aristotle. As compared to Nussbaum’s approach, Banicki’s model is more medical and less based on ethical argument. He mentions Foucault’s vision to apply the same theoretical analysis for the ailments of the body and the soul and to use the same kind of approach in treating and curing them. In his interpretation of (...) philosophical therapy, there are, however, some controversial issues, to which we would like to call attention: -/- Is restoring health by a philosophical method of treatment – health understood as a person’s ability to reach his/her vital goals – a convincing explication of philosophical therapy in general? In order to answer this question, it may be useful to look at Plato. It is not only Platonism (and especially Neo-platonism since Plotinus) that questions the idea that therapy is necessarily connected with „vital goals“. Buddhist and Gnostic philosophies are questioning „the vital“ in general. The immense effort in the history of philosophy to liberate the mind from the body casts doubt on the project to explain philosophical therapy solely in analogy to medical therapy. -/- According to Banicki a therapeutic philosophy has to identify the diseases it attempts at curing. There are, however, reasons for associating the term therapy with suffering/risk rather than disease. If a therapy aims at reducing the fear of death, as for example many classical philosophical therapies do, then there is no disease to be cured. A model based on chances and risks also has the advantage that the Buddhist and Stoic reinterpretation of desires/emotions as “diseases” can be dropped in contemporary philosophical therapy. -/- Banicki mentions the comparison of therapies as one of the primary goals of modelling. Methods should be verified by a statistical correlation between method and therapeutic success and/or by a theory which justifies the method. Some forms of therapies, however, avoid theory-specific terms and concepts in favor of an unprejudiced interpretation of the patient’s statements. Others share the (Nietzschean) aspiration to explore and change measures of value. If the therapeutic process is seen as a unique phenomenon, then there can be no theory and no statistics with co-occurrences. -/- According to Banicki philosophical therapy has to describe techniques which qualify as genuinely philosophical. Techniques like maieutics and hermeneutics, however, are antique philosophical “inventions”, which were later adopted by psychotherapy. If meditation is accepted as a therapeutic tool – as it was in ancient times – then there is not only a methodical but also an emotional relation to religion. If finally, the Socratic search for a good life is seen as one of the characteristics of philosophical therapy, then delimitation even turns into a criterion for non-philosophical therapies. The search for a good life requires an interdisciplinary approach. -/- For the concretization of the formal structure, we suggest a typology of therapies, which is based on chances and risks. Such a typology has the advantage, that it can model conflicting (and even opposing) forms of therapies. The variety of therapeutic goals and methods is a consequence of the historical development towards conceptual freedom. (shrink)

Using astrology as a case study, this paper attempts to establish a criterion for demarcating science from pseudoscience. Numerous reasons for considering astrology to be a pseudoscience are evaluated and rejected; verifiability and falsifiability are briefly discussed. A theory is said to be pseudoscientific if and only if (1) it has been less progressive than alternative theories over a long period of time, and faces many unsolved problems, but (2) the community of practitioners makes little attempt to develop (...) the theory towards solutions of the problems, shows no concern for attempts to evaluate the theory in relation to others, and is selective in considering confirmations and disconfirmations. This criterion has the interesting consequence that a theory can be scientific at one time but pseudoscientific at another. (shrink)

Many philosophers since Hume have accepted that imagining/conceiving a scenario is our prime guide to knowing its possibility. Stephen Yablo provided a more systematic criterion: one is justified in judging that p is possible if one can imagine a world which one takes to verify p. I defend a version of Yablo’s criterion against van Inwagen’s moderate modal scepticism. Van Inwagen’s key argument is that we cannot satisfy Yablo’s criterion because we are not in a position to (...) spell out far-fetched possible scenarios in relevant detail. Van Inwagen’s argument can be applied to the use of conceivability for everyday possibility claims, leaving us with the spectre of pervasive modal scepticism. In order to answer the sceptical threat, I combine van Inwagen’s main example with general considerations about the nature of metaphysical modality to motivate a version of Yablo’s criterion and show that it does not lead to scepticism. One structural condition of p being metaphysically possible is that it coheres with a complete reality. This condition gives rise to Yablo’s criterion. However, for the criterion to be of any avail, we have to disregard details we are not in a position to specify. To account for our practice of doing so, I use Yablo’s distinction between imagining a world as determinate and imagining it determinately. I present a condition when we may simply disregard details as determinate. The condition results from integrating analogical reasoning into the conceivability test. (shrink)

While there is a widespread acceptance of the link between religiosity and ethics, there is less certainty how this influence occurs exactly, necessitating further research into these issues. A main roadblock to our understanding of this influence from an Islamic perspective is the absence of a validated measurement tool. The purpose of this study therefore is to develop a Scale of Muslims’ Views of Allah. This article discusses how the SMVA was developed through the following five steps: establishment of content (...) and face validity; application of a cognitive interviewing technique to pretest the SMVA with sixteen participants; pilot testing of the SMVA with twelve participants; administration of the SMVA online to marketing and management professionals via a multi-stage cluster sampling process to verify the scale’s reliability and validity; and testing criterion-related validity. The results showed that the newly constructed 13-item scale had adequate psychometric properties. Finally, the implications for organisations, limitations and future research are discussed. (shrink)

Popper's well-known demarcation criterion has often been understood to distinguish statements of empirical science according to their logical form. Implicit in this interpretation of Popper's philosophy is the belief that when the universe of discourse of the empirical scientist is infinite, empirical universal sentences are falsifiable but not verifiable, whereas the converse holds for existential sentences. A remarkable elaboration of this belief is to be found in Watkins's early work on the statements he calls “all-and-some,” such as: “For every (...) metal there is a melting point.” All-and-some statements are both universally and existentially quantified in that order. Watkins argued that AS should be regarded as both nonfalsifiable and nonverifiable, for they partake in the logical fate of both universal and existential statements. This claim is subject to the proviso that the bound variables are “uncircumscribed” ; i.e., that the universe of discourse is infinite. (shrink)

We study model theoretic tree properties and their associated cardinal invariants. In particular, we obtain a quantitative refinement of Shelah’s theorem for countable theories, show that [Formula: see text] is always witnessed by a formula in a single variable and that weak [Formula: see text] is equivalent to [Formula: see text]. Besides, we give a characterization of [Formula: see text] via a version of independent amalgamation of types and apply this criterion to verify that some examples in the literature (...) are indeed [Formula: see text]. (shrink)

This paper sets forth a familiar theme, that science essentially consists of two interdependent episodes, one imaginative, the other critical. Hypotheses and other imaginative conjectures are the initial stage of scientific inquiry because they provide the incentive to seek the truth and a clue as to where to find it. But scientific conjectures must be subject to critical examination and empirical testing. There is a dialogue between the two episodes; observations made to test a hypothesis are the inspiration for new (...) conjectures. Inductive generalizations may also inspire hypotheses, but cannot validate them. A hypothesis is empirically tested by ascertaining whether or not predictions about the world of experience deduced from the hypothesis agree with what is actually observed. This has been appropriately considered the 'criterion of demarcation' that distinguishes science from other knowledge. But scientific hypotheses must satisfy other tests as well, e.g., whether they have explanatory value and further understanding. I briefly explore such issues as verifiability and falsifiability, empirical content and truthfulness, contingency and certainty, fact and theory, error and fraud. Science like any human activity is subject to error and to the foibles and other failings of human beings. But severe attempts of empirical falsification and other trials yield knowledge that stands the test of time and provides a foothold for further knowledge. Moreover, scientists have developed social mechanisms, such as peer review and publication, to evaluate their work. Because the research of scientists depends on the validity of previous knowledge, it is of great consequence that they discern valid from invalid knowledge and thus scientists are inclined to transcend ideology, nationality, friendship, monetary interest and other prejudices when the mettle of scientific knowledge is at stake. I use historical examples to illustrate some relevant aspects of scientific practice: its success (Mendel), misrepresentation (Darwin), ideological abuse (Lysenko), arrogant violation of the requirement of testing (Koch), theory replacement (Priestly and Lavoisier, Newton and Einstein), and the indispensability of context (Oswald Avery and Alfred Wegener). (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)

Positivists and phenomenalists of all sorts maintain, and long have maintained, some variant of the following thesis concerning the existence of physical objects: Such statements as ‘There is now a wall behind my back’ are synonymous with a class of statements of which the following is representative ‘If I shall turn my head, then I shall also have the visual experience called ‘seeing a wall'.’ This amounts to proposing what many of us call a philosophical analysis of ‘exist’ or, more (...) precisely, of one meaning of ‘exist'; for the thesis implies that this verb, in the sense in which we use it when we say ‘This wall exists', is dispensable in the sense of being definable. Realists, who oppose the thesis, hold that ‘exist', in the sense mentioned, is what I would call an undefined descriptive predicate; and then they go on to recommend that instead of defining existence in terms of what we see, we had better say that we shall, if we turn, see a wall because there is a wall. Thus one could say, perhaps, that the realists wish to convert the positivistic position; instead of founding existence upon experience, they want to found experience upon existence. To be sure, this is but a bare and crudely formulated schema of an issue that has been argued for a long time. Also, contemporary analysts for the most part do not discuss the issue directly; they give their attention to preliminary and, therefore, more fundamental questions. Like experienced chess players, who know to which characteristic situations in the middle game certain openings will eventually lead, we try to convince each other of the excellence of our respective openings. There is, in particular, one fundamental or opening move that is now widely discussed and which, I believe, most of us examine with a view to the position in which we shall find ourselves—in the middle game—with respect to the realism issue. I refer to the clarification of the relations between meaning and verification or, to put it the way positivists do, to the formulation of an adequate meaning criterion. Let me indicate the connection between these questions and the crude schema I have given for the realism issue. According to current garden varieties of positivism, a statement is meaningful if it is verifiable by experience. ‘There is a wall behind my back’ is, in this view, meaningful because it is synonymous with a class of statements each of which is verifiable by future experience. More pointedly, the familiar common sense statements about the existence of physical objects are considered as meaningful because they are verifiable. This has again the subjectivistic ring realists dislike so much; so they may again be inclined to convert the positivistic position, if only tentatively and because they feel that a piece of realistic common sense would thus be preserved. But to make the conversion is to say that ‘There is a wall behind my back’ is verifiable because it is meaningful. (shrink)

The paper first summarizes the author's decision-theoretical model of moral behavior, in order to compare the moral implications of the act-utilitarian and of the rule-utilitarian versions of utilitarian theory. This model is then applied to three voting examples. It is argued that the moral behavior of act-utilitarian individuals will have the nature of a noncooperative game, played in the extensive mode, and involving action-by-action maximization of social utility by each player. In contrast, the moral behavior of rule-utilitarian individuals will have (...) the nature of a cooperative game, played in the normal mode, and involving a firm commitment by each player to a specific moral strategy (viz. to the strategy selected by the rule-utilitarian choice criterion) — even if some individual actions prescribed by this strategy, when considered in isolation, should fail to maximize social utility. The most important advantage that rule utilitarianism as an ethical theory has over act utilitarianism lies in its ability to give full recognition to the moral and social importance of individual rights and personal obligations. It is easy to verify that action-by-action maximization of social utility, as required by act utilitarianism, would destroy these rights and obligations. In contrast, rule utilitarianism can fully recognize the moral validity of these rights and obligations precisely because of its commitment to an overall moral strategy, independent of action-by-action social-utility maximization. The paper ends with a discussion of the voter's paradox problem. The conventional theory of rational behavior cannot avoid the paradoxical conclusion that, in any large electorate, voting is always an irrational activity because one's own individual vote is extremely unlikely to make any difference to the outcome of any election. But it can be shown that, by using the principles of rule-utilitarian theory, this paradox can easily be resolved and that, in actual fact, voting, even in large electorates, may be perfectly rational action. More generally, the example of rule utilitarianism shows what an important role the concept of a rational commitment can play in the analysis of rational behavior. (shrink)

SummaryOn purely logical grounds, if hypothesis H can be eliminated, then so too must its logical complement, H', be confirmed. The Asymmetry Theory, if true, must therefore be not formal but substantial. This cannot be established by the “two‐tier” view which requires symmetrical generalisation of theory terms and observation data. Even singular observations before being usable require a theory of accidents, a theory of errors, already built in to them before they can falsify hypotheses. This explains the inconsistency of Popper's (...) Simplicity criterion and his notion of a priori probability. Conclusion: Falsificationists cannot condemn verifiability without condemning themselves at the same time. (shrink)

Quantifier expressions like “many” and “at least” are part of a rich repository of words in language representing magnitude information. The role of numerical processing in comprehending quantifiers was studied in a semantic truth value judgment task, asking adults to quickly verify sentences about visual displays using numerical or proportional quantifiers. The visual displays were composed of systematically varied proportions of yellow and blue circles. The results demonstrated that numerical estimation and numerical reference information are fundamental in encoding the meaning (...) of quantifiers in terms of response times and acceptability judgments. However, a difference emerges in the comparison strategies when a fixed external reference numerosity is used for numerical quantifiers, whereas an internal numerical criterion is invoked for proportional quantifiers. Moreover, for both quantifier types, quantifier semantics and its polarity biased the response direction. Overall, our results indicate that quantifier comprehension involves core numerical and lexical semantic properties, demonstrating integrated processing of language and numbers. (shrink)

The regular increase in the proportion of resolved feet in the iambic trimeters of Euripides' later plays was first commented upon in 1807 by J. Gottfried Hermann, who therefrom deduced the principle that the date of any play of Euripides could be directly determined from the frequency of its resolutions. This criterion he restated in several of his works in the following years, and when Elmsley objected that it was of uncertain value on account of the small number of (...) plays of certain date by which it might be verified, he replied with a strong defence of his case: he did not, however, develop his principle in detail or give figures in its support. The first scholar to publish the totals of trisyllabic feet in each play was Zirndorfer: relying largely on these, he produced a chronology of Euripides' dramatic composition in several respects superior to any predecessor's. His conclusions were questioned by C. F. W. Müller, who, while accepting Hermann's thesis as being in general correct, doubted its reliability for determining the exact period of a tragedy's composition. Consequently, although he gave the totals of trisyllabic feet en passant, Müller made no attempt to suggest dates. At almost the same time as Müller's treatise appeared, J. Rumpel published an article giving a full and detailed list of references to all trisyllabic feet in Euripides: from this evidence he divided the dramas into four age-groups, but did not go so far as to assign specific dates. (shrink)

This paper contains an analysis of performatives with special attention to performatives in the law. It deals with the possibility to recognise performativity by means of a grammatical-syntactic criterion, the self-verifying and norm-promulgating character of legal performatives, an analysis of the effects of performatives by means of causal logic, the different forms of performativity and a theory of promise-performatives.

I discuss the role of beauty in physics. Physicists are sometimes described as platonists for their conviction that the fundamental laws are elegant and aesthetic arguments represent an important epistemic tool. After a review of the ideas of Plato and some of the leading figures of modern physics, which suggest that this is indeed the case, I present a list of current aesthetic criteria. I focus on symmetry and unity and demonstrate their increasing relevance in an array of experimentally verified (...) theories. I also deal with an open issue of naturalness as the third criterion. The laws of nature appear increasingly beautiful as we uncover them, and it is important to see if the trend continues in the future. (shrink)

Utilitarianism claims to be a rational moral theory in at least three ways. First, it claims to give us an objective standard of morality, a way of deciding moral issues, not in the light of what each of us happens to like or dislike, but on publicly verifiable grounds. Secondly, by offering only one criterion of morality it assures consistency. If we accept a system which invokes two or more independent principles, there is always the possibility of insoluble conflict. (...) For example, if we take our stand on the Ten Commandments, we cannot, without divine revelation, be sure that we shall not one day find ourselves in a situation in which we must break one or other of them; and our system gives us no guide as to which we ought to break. (shrink)

Due to their acceptance of the verifiability principle, the only way left for logical positivists to argue for the meaningfulness of religious language was to accept some sort of emotivistic conception of it or to reduce it to the description of religious attitude. The verifiability principle, however, suffers from some severe limitations that make it inadequate as a criterion for cognitive meaning. To resolve these problems, logical positivists gave up the requirement of conclusive verifiability and defended (...) a sort of ‘liberalization’ of the verifiability principle. Carnap’s confirmability criterion for cognitive meaning, which is a liberalized form of the verifiability principle, is compatible with an orthodox conception of religious language since, from a theistic perspective, the existence of God can be confirmed through our observational statements. (shrink)

In the setting of transplant medicine, decision making needs to take into account the multiple clinical and psychosocial case variables, rather than turn to arbitrary rules that cannot be scientifically supportedThe yearly demand for liver transplants far exceeds the supply of available organs .1 Additionally, alcoholic cirrhosis has been a controversial indication for transplant as these recipients can be viewed as having caused their own illness—an illness that is preventable by abstaining from alcohol . While not categorically denying liver transplantation (...) to those with alcoholic cirrhosis, many hospitals have incorporated a six month alcohol abstinence criterion 2 in an effort to select optimal candidates. The six month rule has two purposes; namely, allowing the liver a chance to recover in the absence of alcohol , and also observation of the patient to verify that he/she remains alcohol free, with the hope of reducing the risk of relapse. Everhart et al,3 determined that 85% of US liver transplant programmes and 43% of third party payers require a defined period of abstinence—for example, three or six months—as part of the waiting list process.Liver transplantation does not cure alcoholism, as evidenced by the fact that roughly 20% of these patients use alcohol following transplant, with one third exhibiting “repetitive or heavy drinking”.4 Arguments abound as to the scientific merit of a six month abstinence criterion in reducing the risk of alcohol relapse following transplant. Some propose that a minimum of six months abstinence itself predicts a lower relapse rate,5 while others argue that six months is not predictive or that other factors—for example, illicit drug use—in combination with a minimum number of months abstinent is predictive.6,7 Even the United …. (shrink)

Interval time-varying delay is common in control process, e.g., automatic robot control system, and its stability analysis is of great significance to ensure the reliable control of industrial processes. In order to improve the conservation of the existing robust stability analysis method, this paper considers a class of linear systems with norm-bounded uncertainty and interval time-varying delay as the research object. Less conservative robust stability criterion is put forward based on augmented Lyapunov-Krasovskii functional method and reciprocally convex combination. Firstly, (...) the delay interval is partitioned into multiple equidistant subintervals, and a new Lyapunov-Krasovskii functional comprising quadruple-integral term is introduced for each subinterval. Secondly, a novel delay-dependent stability criterion in terms of linear matrix inequalities is given by less conservative Wirtinger-based integral inequality approach. Three numerical comparative examples are given to verify the superiority of the proposed approach in reducing the conservation of conclusion. For the first example about closed-loop control systems with interval time-varying delays, the proposed robust stability criterion could get MADB about 0.3 more than the best results in the previous literature; and, for two other uncertain systems with interval time-varying delays, the MADB results obtained by the proposed method are better than those in the previous literature by about 0.045 and 0.054, respectively. All the example results obtained in this paper clearly show that our approach is better than other existing methods. (shrink)

Acoustic emission technique is a common approach to identify the damage of the refractories; however, there is a complex problem since there are as many as fifteen involved parameters, which calls for effective data processing and classification algorithms to reduce the level of complexity. In this paper, experiments involving three-point bending tests of refractories were conducted and AE signals were collected. A new data processing method of merging the similar parameters in the description of the damage and reducing the dimension (...) was developed. By means of the principle component analysis for dimension reduction, the fifteen related parameters can be reduced to two parameters. The parameters were the linear combinations of the fifteen original parameters and taken as the indexes for damage classification. Based on the proposed approach, the Gaussian mixture model was integrated with the Bayesian information criterion to group the AE signals into two damage categories, which accounted for 99% of all damage. Electronic microscope scanning of the refractories verified the two types of damage. (shrink)