Mystical religious experiences typically purport to engage with the transcendent and often claim to involve encounters with spiritual entities or a detachment from the material world. Daoism diverges from this paradigm. This paper examines Daoist mystical experiences of bodily transformations and explores their epistemological implications. Specifically, we defend the justificatory power of Daoist somatic experiences against the disanalogy objection. The disanalogy objection posits that mystical experiences, in contrast to sense perceptions, are not socially verifiable and thereby lack prima facie epistemic (...) value. We argue that some Daoist mystical bodily states, being essentially spatiotemporal, are exempt from this challenge. This leads to a broader understanding of mysticism and offers a partial resolution to the disanalogy objection. (shrink)

This paper presents a formalization of the classical proof of completeness in Henkin-style developed by Troelstra and van Dalen for intuitionistic logic with respect to Kripke models. The completeness proof incorporates their insights in a fresh and elegant manner that is better suited for mechanization. We discuss details of our implementation in the Lean theorem prover with emphasis on the prime extension lemma and construction of the canonical model. Our implementation is restricted to a system of intuitionistic propositional logic with (...) implication, conjunction, disjunction, and falsity given in terms of a Hilbert-style axiomatization. As far as we know, our implementation is the first verified Henkin-style proof of completeness for intuitionistic logic following Troelstra and van Dalen's method in the literature. (shrink)

One of the primary, if not most critical, difficulties in the design and implementation of autonomous systems is the black-boxed nature of the decision-making structures and logical pathways. How human values are embodied and actualised in situ may ultimately prove to be harmful if not outright recalcitrant. For this reason, the values of stakeholders become of particular significance given the risks posed by opaque structures of intelligent agents (IAs). This paper explores how decision matrix algorithms, via the belief-desire-intention model for (...) autonomous vehicles, can be designed to minimize the risks of opaque architectures. Primarily through an explicit orientation towards designing for the values of explainability and verifiability. In doing so, this research adopts the Value Sensitive Design (VSD) approach as a principled framework for the incorporation of such values within design. VSD is recognized as a potential starting point that offers a systematic way for engineering teams to formally incorporate existing technical solutions within ethical design, while simultaneously remaining pliable to emerging issues and needs. It is concluded that the VSD methodology offers at least a strong enough foundation from which designers can begin to anticipate design needs and formulate salient design flows that can be adapted to the changing ethical landscapes required for utilisation in autonomous vehicles. (shrink)

Abstract In slogan form, the thesis of this paper is that beliefs are self-verifying fictions: We make them up, but in so doing, they come to exist, and so the fiction of belief is in fact true. This picture of belief emerges from a combination of three independently motivated views: (1) a phenomenal intentionalist picture of intentionality, on which phenomenal consciousness is the basis of intentionality; (2) what I will call a “self-ascriptivist” picture of derived representation, on which non-fundamental representational (...) features are a matter of our ascribing contents to ourselves or our mental states or contents; and (3) a representationalist picture of the attitudes, on which the attitude components of mental states (e.g., the “belief” bit of a belief that P) are represented contents. This paper outlines and motivates the view of beliefs as self-verifying fictions, compares the view to alternative views of belief, and contrasts beliefs on the resulting picture to other belief-like mental states. (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)

Classical interpretations of Goedels formal reasoning, and of his conclusions, implicitly imply that mathematical languages are essentially incomplete, in the sense that the truth of some arithmetical propositions of any formal mathematical language, under any interpretation, is, both, non-algorithmic, and essentially unverifiable. However, a language of general, scientific, discourse, which intends to mathematically express, and unambiguously communicate, intuitive concepts that correspond to scientific investigations, cannot allow its mathematical propositions to be interpreted ambiguously. Such a language must, therefore, define mathematical truth (...) verifiably. We consider a constructive interpretation of classical, Tarskian, truth, and of Goedel's reasoning, under which any formal system of Peano Arithmetic---classically accepted as the foundation of all our mathematical Languages---is verifiably complete in the above sense. We show how some paradoxical concepts of Quantum mechanics can, then, be expressed, and interpreted, naturally under a constructive definition of mathematical truth. (shrink)

We consider the argument that Tarski's classic definitions permit an intelligence---whether human or mechanistic---to admit finitary evidence-based definitions of the satisfaction and truth of the atomic formulas of the first-order Peano Arithmetic PA over the domain N of the natural numbers in two, hitherto unsuspected and essentially different, ways: (1) in terms of classical algorithmic verifiabilty; and (2) in terms of finitary algorithmic computability. We then show that the two definitions correspond to two distinctly different assignments of satisfaction and truth (...) to the compound formulas of PA over N---I_PA(N; SV ) and I_PA(N; SC). We further show that the PA axioms are true over N, and that the PA rules of inference preserve truth over N, under both I_PA(N; SV ) and I_PA(N; SC). We then show: (a) that if we assume the satisfaction and truth of the compound formulas of PA are always non-finitarily decidable under I_PA(N; SV ), then this assignment corresponds to the classical non-finitary putative standard interpretation I_PA(N; S) of PA over the domain N; and (b) that the satisfaction and truth of the compound formulas of PA are always finitarily decidable under the assignment I_PA(N; SC), from which we may finitarily conclude that PA is consistent. We further conclude that the appropriate inference to be drawn from Goedel's 1931 paper on undecidable arithmetical propositions is that we can define PA formulas which---under interpretation---are algorithmically verifiable as always true over N, but not algorithmically computable as always true over N. We conclude from this that Lucas' Goedelian argument is validated if the assignment I_PA(N; SV ) can be treated as circumscribing the ambit of human reasoning about `true' arithmetical propositions, and the assignment I_PA(N; SC) as circumscribing the ambit of mechanistic reasoning about `true' arithmetical propositions. (shrink)

To verify the occurrence of a singular instance of testimonial injustice three facts must be established. The first is whether the hearer in fact has an identity prejudice of which she may or may not be aware; the second is whether that prejudice was in fact the cause of the unjustified credibility deficit; and the third is whether there was in fact a credibility deficit in the testimonial exchange. These three elements constitute the facts of the matter of testimonial injustice. (...) In this essay we argue that none of these facts can be established with any degree of confidence, and therefore that testimonial injustice is an undetectable phenomenon in singular instances. Our intention is not to undermine the idea of testimonial injustice, but rather to set limits to what can be justifiably asserted about it. According to our argument, although there are insufficient reasons to identify individual acts of testimonial injustice, it is possible to recognize recurrent patterns of epistemic responses to speakers who belong to specific social groups. General testimonial injustice can thus be characterized as a behavioral tendency of a prejudiced hearer. (shrink)

In this multi-disciplinary investigation we show how an evidence-based perspective of quantification---in terms of algorithmic verifiability and algorithmic computability---admits evidence-based definitions of well-definedness and effective computability, which yield two unarguably constructive interpretations of the first-order Peano Arithmetic PA---over the structure N of the natural numbers---that are complementary, not contradictory. The first yields the weak, standard, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically verifiable Tarskian truth values to the formulas of PA under the (...) interpretation. The second yields a strong, finitary, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically computable Tarskian truth values to the formulas of PA under the interpretation. We situate our investigation within a broad analysis of quantification vis a vis: * Hilbert's epsilon-calculus * Goedel's omega-consistency * The Law of the Excluded Middle * Hilbert's omega-Rule * An Algorithmic omega-Rule * Gentzen's Rule of Infinite Induction * Rosser's Rule C * Markov's Principle * The Church-Turing Thesis * Aristotle's particularisation * Wittgenstein's perspective of constructive mathematics * An evidence-based perspective of quantification. By showing how these are formally inter-related, we highlight the fragility of both the persisting, theistic, classical/Platonic interpretation of quantification grounded in Hilbert's epsilon-calculus; and the persisting, atheistic, constructive/Intuitionistic interpretation of quantification rooted in Brouwer's belief that the Law of the Excluded Middle is non-finitary. We then consider some consequences for mathematics, mathematics education, philosophy, and the natural sciences, of an agnostic, evidence-based, finitary interpretation of quantification that challenges classical paradigms in all these disciplines. (shrink)

If science disputes the validity or authenticity of religious knowledge it is because both the scientist and the rational man assume that every object of knowledge there is or can be exists as a material percept in time and space. If we assume that knowledge of material objects is definite knowledge – an assumption itself suspect considering that the latest WMAP data indicates that 95.4% of the total matter in our universe is dark matter and dark energy – all scientific (...) knowledge (confined as it is to knowledge of 4.6% of the visible universe) is definite knowledge; but because it’s knowledge is confined to a miniscule fraction of all knowledge there is or can be had in our material universe, it can scarcely be said – as Sir Bertrand Russell claims – that all definite knowledge is scientific knowledge. There are other reasons why all definite knowledge is not in the domain of science. Parts of the universe are; the universe as a whole isn’t. The sentient body is; the Self that is clothed by that body isn’t. Analysis of both these wholes reveals the possibility of the existence of a third entity that is beyond scientific knowledge. This humanity calls God. A detailed investigation not conducted but outlined here reveals that (a) Russell’s claim that science holds a monopoly of definite knowledge is false: he probably meant that science has a monopoly of objectively verifiable knowledge; (b) as objective verifiability is contingent upon objectively real existence, science’s monopoly is over entities that are objectively real; (c) all objects of knowledge are not material objects in time and space: there are objects that, because they are not percepts, are not objectively verifiable. There is nothing indefinite about knowledge of such entities. There is nothing subjective about the knowledge of such entities either: so it is not open to science to dismiss knowledge of such entities as subjective, arising from the state of mind of the observer. Space and time are aspects of objective reality and not of subjective reality. The second part of this paper briefly examines the nature of dimensions. Space, time and Self consciousness are three types of dimensions considered. The third part of this paper speaks of a concept called immutable wholes. This is a logical culmination of the paper because dimensions are the state-giving norms of the wholes that these dimensions define and characterize. Spiritual seekers make these entities (sub specie aeternitatis) objects of their realization. Such entities as the Universe as a Whole, the Self, and God belong to this class of existents. If Universe as a Whole {not parts of it (study of which is in the domain of science), no matter how large those parts are, but the whole. Only a true seeker can tell science why the whole ≠ sum of all its parts – but that would be the subject of another paper}. (shrink)

Self-verifying judgments like _I exist_ seem rational, and self-defeating ones like _It will rain, but I don’t believe it will rain_ seem irrational_._ But one’s evidence might support a self-defeating judgment, and fail to support a self-verifying one. This paper explains how it can be rational to defy one’s evidence if judgment is construed as a mental performance or act, akin to inner assertion. The explanation comes at significant cost, however. Instead of causing or constituting beliefs, judgments turn out to (...) be mere epiphenomena, and self-verification and self-defeat lack the broader philosophical import often claimed for them. (shrink)

The Humean view that conceivability entails possibility can be criticized via input from cognitive psychology. A mainstream view here has it that there are two candidate codings for mental representations (one of them being, according to some, reducible to the other): the linguistic and the pictorial, the difference between the two consisting in the degree of arbitrariness of the representation relation. If the conceivability of P at issue for Humeans involves the having of a linguistic mental representation, then it is (...) easy to show that we can conceive the impossible, for impossibilities can be represented by meaningful bits of language. If the conceivability of P amounts to the pictorial imaginability of a situation verifying P, then the question is whether the imagination at issue works purely qualitatively, that is, only by phenomenological resemblance with the imagined scenario. If so, the range of situations imaginable in this way is too limited to have a significant role in modal epistemology. If not, imagination will involve some arbitrary labeling component, which turns out to be sufficient for imagining the impossible. And if the relevant imagination is neither linguistic nor pictorial, Humeans will appear to resort to some representational magic, until they come up with a theory of a ‘third code’ for mental representations. (shrink)

The paper defends the view that that a significant part of metaphysics should be understood as conceptual engineering, and explores its epistemological advantages and metaphysical implications. It discusses the challenge raised by moderate modal skepticism, which points out the lack of reliable methods for verifying modal statements through thought experiments. As I argue, a normative stance on metaphysical methodology, understanding it as engaging in conceptual engineering project, justifies the use of this method. By adopting an approach where the method of (...) cases offers reasons for adopting specific normative constraints on concept usage, the method becomes justifiable. Consequently, it can be employed to justify the revision of conceptual schemes and, in turn, validate certain modal claims about entities falling under the scrutinized concepts. The paper explores how this approach can methodologically enrich conceptual engineering-focused perspectives in metaphysics and examines its metaphysical consequences. In particular, it demonstrates that despite the mind-dependency of the method of cases results, it still leaves room for a metaphysically realistic viewpoint. (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)

In light of rampant fake news and disinformation in today's press and social media, I provide a new consequentialist argument that regulations on the media pertaining to certain false verifiable empirical facts are warranted. This contention is based in part on a collection of pre-existing empirical findings that I newly piece together from political science and psychology demonstrating that a post-truth society is likely with current media. My position is then defended from several counters, such as that it violates deontological (...) rights to free speech and to freedom of the press, that free speech leads to the acquisition of truth, and that government regulators can be biased and corrupt. (shrink)

When thinking about designing social media platforms, we often focus on factors such as usability, functionality, aesthetics, ethics, and so forth. Epistemic considerations have rarely been given the same level of attention in design discussions. This paper aims to rectify this neglect. We begin by arguing that there are epistemic norms that govern environments, including social media environments. Next, we provide a framework for applying these norms to the question of platform design. We then apply this framework to the real-world (...) case of long-form informational content platforms. We argue that many current long-form informational content platforms are epistemically unhealthy. The good news? We provide concrete advice on how to take steps toward improving their health! Specifically, we argue that they should change how they verify and authenticate content creators and how this information is displayed to content consumers. We conclude by connecting this guidance to broader issues about the epistemic health of platforms. (shrink)

I present a formal theory of the logic and aboutness of imagination. Aboutness is understood as the relation between meaningful items and what they concern, as per Yablo and Fine’s works on the notion. Imagination is understood as per Chalmers’ positive conceivability: the intentional state of a subject who conceives that p by imagining a situation—a configuration of objects and properties—verifying p. So far aboutness theory has been developed mainly for linguistic representation, but it is natural to extend it to (...) intentional states. The proposed framework combines a modal semantics with a mereology of contents: imagination operators are understood as variably strict quantifiers over worlds with a content-preservation constraint. (shrink)

In this paper, I investigate whether we can use a world-involving framework to model the epistemic states of non-ideal agents. The standard possible-world framework falters in this respect because of a commitment to logical omniscience. A familiar attempt to overcome this problem centers around the use of impossible worlds where the truths of logic can be false. As we shall see, if we admit impossible worlds where “anything goes” in modal space, it is easy to model extremely non-ideal agents that (...) are incapable of performing even the most elementary logical deductions. A much harder, and considerably less investigated challenge is to ensure that the resulting modal space can also be used to model moderately ideal agents that are not logically omniscient but nevertheless logically competent. Intuitively, while such agents may fail to rule out subtly impossible worlds that verify complex logical falsehoods, they are nevertheless able to rule out blatantly impossible worlds that verify obvious logical falsehoods. To model moderately ideal agents, I argue, the job is to construct a modal space that contains only possible and non-trivially impossible worlds where it is not the case that “anything goes”. But I prove that it is impossible to develop an impossible-world framework that can do this job and that satisfies certain standard conditions. Effectively, I show that attempts to model moderately ideal agents in a world-involving framework collapse to modeling either logical omniscient agents, or extremely non-ideal agents. (shrink)

Though the study of grounding is still in the early stages, Kit Fine, in ”The Pure Logic of Ground”, has made a seminal attempt at formalization. Formalization of this sort is supposed to bring clarity and precision to our theorizing, as it has to the study of other metaphysically important phenomena, like modality and vagueness. Unfortunately, as I will argue, Fine ties the formal treatment of grounding to the obscure notion of a weak ground. The obscurity of weak ground, together (...) with its centrality in Fine’s system, threatens to undermine the extent to which this formalization offers clarity and precision. In this paper, I show how to overcome this problem. I describe a system, the logic of strict ground (LSG) and demonstrate its adequacy; I specify a translation scheme for interpreting Fine’s weak grounding claims; I show that the interpretation verifies all of the principles of Fine’s system; and I show that derivability in Fine’s system can be exactly characterized in terms of derivability in LSG. I conclude that Fine’s system is reducible to LSG. (shrink)

Although Husserlian phenomenology appears to require that practitioners bracket all metaphysical questions and claims, this requirement runs against the evidence of experience in which objects themselves are presented as constituents of experience. Moreover, to completely bracket metaphysical considerations would suggest that phenomenology is compatible with metaphysical views it should in principle deny. Nonetheless, permitting metaphysical claims threatens to contravene the critical limits of phenomenology, to invite claims that would require a perspective different in kind than our own to verify. These (...) tensions raise an important question, namely, what are the metaphysical implications of the phenomenologically intuitive claim that objects themselves are constituents of experience? To answer this question, I draw on a broad swath of thought on transcendental idealism and phenomenology. I argue that a modest metaphysics of appearance is warranted within the critical limits of Husserlian phenomenology. Through discussing and addressing the problems that typically plague transcendental arguments, I show that Husserlian phenomenology permits stronger claims about objects of experience than deflationary accounts allow but does not permit claims about intrinsic properties allowed by some forms of transcendental idealism. (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)

There are various supernatural phenomena which hardly can be explained by the existing electromagnetic science, for instance non-locality interactions (may be associated with ESP etc), and also precognitive interdictions. And there are other problems such as how to include the Spirit in our consciousness. For example, it has been known for long time that intuition plays significant role in many professions and human life, including in entrepreneurship, government, and also in detective or law enforcement activities. Despite these examples, such a (...) precognitive interdiction is hardly accepted in established science. In this paper, we discuss non-locality interactions and also advanced solutions of Maxwell equations, and argue in favor of precognitive interdiction from classical perspective. We also discuss shortly on how “spirit” may be included in medicine, although we also make cautious remarks on the danger of “spiritism.” However, we admit that what we discuss here is quite rough, and more researches are needed to verify what we describe here. (shrink)

In the theory of meaning, it is common to contrast truth-conditional theories of meaning with theories which identify the meaning of an expression with its use. One rather exact version of the somewhat vague use-theoretic picture is the view that the standard rules of inference determine the meanings of logical constants. Often this idea also functions as a paradigm for more general use-theoretic approaches to meaning. In particular, the idea plays a key role in the anti-realist program of Dummett and (...) his followers. In the theory of truth, a key distinction now is made between substantial theories and minimalist or deflationist views. According to the former, truth is a genuine substantial property of the truth-bearers, whereas according to the latter, truth does not have any deeper essence, but all that can be said about truth is contained in T-sentences (sentences having the form: ‘P’ is true if and only if P). There is no necessary analytic connection between the above theories of meaning and truth, but they have nevertheless some connections. Realists often favour some kind of truth-conditional theory of meaning and a substantial theory of truth (in particular, the correspondence theory). Minimalists and deflationists on truth characteristically advocate the use theory of meaning (e.g. Horwich). Semantical anti-realism (e.g. Dummett, Prawitz) forms an interesting middle case: its starting point is the use theory of meaning, but it usually accepts a substantial view on truth, namely that truth is to be equated with verifiability or warranted assertability. When truth is so understood, it is also possible to accept the idea that meaning is closely related to truth-conditions, and hence the conflict between use theories and truth-conditional theories in a sense disappears in this view. (shrink)

A generative grammar for a language L generates one or more syntactic structures for each sentence of L and interprets those structures both phonologically and semantically. A widely accepted assumption in generative linguistics dating from the mid-60s, the Generative Grammar Hypothesis , is that the ability of a speaker to understand sentences of her language requires her to have tacit knowledge of a generative grammar of it, and the task of linguistic semantics in those early days was taken to be (...) that of specifying the form that the semantic component of a generative grammar must take. Then in the 70s linguistic semantics took a curious turn. Without rejecting GGH, linguists turned away from the task of characterizing the semantic component of a generative grammar to pursue instead the Montague-inspired project of providing for natural languages the same kind of model-theoretic semantics that logicians devise for the artificial languages of formal systems of logic, and “formal semantics” continues to dominate semantics in linguistics. This essay argues that the sort of compositional meaning theory that would verify GGH would not only be quite different from the theories formal semanticists construct, but would be a more fundamental theory that supersedes those theories in that it would explain why they are true when they are true, but their truth wouldn’t explain its truth. Formal semantics has undoubtedly made important contributions to our understanding of such phenomena as anaphora and quantification, but semantics in linguistics is supposed to be the study of meaning. This means that the formal semanticist can’t be unconcerned that the kind of semantic theory for a natural language that interests her has no place in a theory of linguistic competence; for if GGH is correct, then the more fundamental semantic theory is the compositional meaning theory that is the semantic component of the internally represented generative grammar, and if that is so, then linguistic semantics has so far ignored what really ought to be its primary concern. (shrink)

Several researchers have recently argued that p values lose their meaning in exploratory analyses due to an unknown inflation of the alpha level (e.g., Nosek & Lakens, 2014; Wagenmakers, 2016). For this argument to be tenable, the familywise error rate must be defined in relation to the number of hypotheses that are tested in the same study or article. Under this conceptualization, the familywise error rate is usually unknowable in exploratory analyses because it is usually unclear how many hypotheses have (...) been tested on a spontaneous basis and then omitted from the final research report. In the present article, I argue that it is inappropriate to conceptualize the familywise error rate in relation to the number of hypotheses that are tested. Instead, it is more appropriate to conceptualize familywise error in relation to the number of different tests that are conducted on the same null hypothesis in the same study. Under this conceptualization, alpha level adjustments in exploratory analyses are (a) less necessary and (b) objectively verifiable. As a result, p values do not lose their meaning in exploratory analyses. (shrink)

This paper develops an account of the meaning of `ought', and the distinction between weak necessity modals (`ought', `should') and strong necessity modals (`must', `have to'). I argue that there is nothing specially ``strong'' about strong necessity modals per se: uses of `Must p' predicate the (deontic/epistemic/etc.) necessity of the prejacent p of the actual world (evaluation world). The apparent ``weakness'' of weak necessity modals derives from their bracketing whether the necessity of the prejacent is verified in the actual world. (...) `Ought p' can be accepted without needing to settle that the relevant considerations (norms, expectations, etc.) that actually apply verify the necessity of p. I call the basic account a modal-past approach to the weak/strong necessity modal distinction (for reasons that become evident). Several ways of implementing the approach in the formal semantics/pragmatics are critically examined. The account systematizes a wide range of linguistic phenomena: it generalizes across flavors of modality; it elucidates a special role that weak necessity modals play in discourse and planning; it captures contrasting logical, expressive, and illocutionary properties of weak and strong necessity modals; and it sheds light on how a notion of `ought' is often expressed in other languages. These phenomena have resisted systematic explanation. In closing I briefly consider how linguistic inquiry into differences among necessity modals may improve theorizing on broader philosophical issues. (shrink)

In the present paper, these authors argue on actual reasons why Hilbert’s axiomatic program to unify gravitation theory and electromagnetism failed completely. An outline of plausible resolution of this problem is given here, based on: a) Gödel’s incompleteness theorem, b) Newton’s aether stream model. And in another paper we will present our calculation of receding Moon from Earth based on such a matter creation hypothesis. More experiments and observations are called to verify this new hypothesis, albeit it is inspired from (...) Newton’s theory himself. (shrink)

In this paper, we analyse actual causation in terms of production. The latter concept is made precise by a strengthened Ramsey Test semantics of conditionals: \ iff, after suspending judgement about A and C, C is believed in the course of assuming A. This test allows us to verify or falsify that an event brings about another event. Complementing the concept of production by a weak condition of difference-making gives rise to a full-fledged analysis of causation.

This is a partly provocative essay edited as a humanitarian study in philosophy of science and social philosophy. The starting point is Isaac Asimov’s famous sci-fi novella “Profession” (1957) to be “back” extrapolated to today’s relation between Thomas Kuhn’s “normal science” and “scientific revolutions” (1962). The latter should be accomplished by Asimov’s main personage George Platen’s ilk (called “feeble minded” in the novella) versus the “burned minded” professionals able only to “normal science”. Francis Fukuyama’s “end of history” in post-Hegelian manner (...) is now interpreted to an analogically supposed “end of scientific history” without “scientific revolutions” any more. The relevant dystopia of the prolonged or even “eternal” period of normal science is justified to the contemporary institution of science due to mechanisms such as “peer-review”, “impact-factor rating”, the projects’ competition for funding, etc. Positive feedbacks forcing all scientists needing careers to be more and more orthodox are demonstrated therefore establishing for that dystopia to be the real state of contemporary science. Two counterfactual case studies based correspondingly on Feyerabend’s “Against method” (1975) if Galilei should make his discoveries today and Sokal’s hoax (1996) if he suggested a scientific masterpiece to be really rejected by journals are discussed. Still one case study considering the abundance of Kelvin’s “clouds” on the horizon of today’s physics (dark matter, dark energy, entanglement, quantum gravitation, phenomena refuting the Big Bang, etc.) serves to verify the aforementioned conjecture that science has already entered that dystopia of eternal normal science. The conception of “ontomathematics” implying “creation ex nihilo” being scandalous for the dominating paradigm is sketched as an eventual revolutionary way out. An imaginary and utopic “happy end” reinterpreting the analogical “happy end” of Asimov’s “Profession” finishes the essay “instead of conclusion” relying on the Internet and AI in an increasingly “fluid” and anti-hierarchical society. (shrink)

We argue that concerns about double-counting—using the same evidence both to calibrate or tune climate models and also to confirm or verify that the models are adequate—deserve more careful scrutiny in climate modelling circles. It is widely held that double-counting is bad and that separate data must be used for calibration and confirmation. We show that this is far from obviously true, and that climate scientists may be confusing their targets. Our analysis turns on a Bayesian/relative-likelihood approach to incremental confirmation. (...) According to this approach, double-counting is entirely proper. We go on to discuss plausible difficulties with calibrating climate models, and we distinguish more and less ambitious notions of confirmation. Strong claims of confirmation may not, in many cases, be warranted, but it would be a mistake to regard double-counting as the culprit. 1 Introduction2 Remarks about Models and Adequacy-for-Purpose3 Evidence for Calibration Can Also Yield Comparative Confirmation3.1 Double-counting I3.2 Double-counting II4 Climate Science Examples: Comparative Confirmation in Practice4.1 Confirmation due to better and worse best fits4.2 Confirmation due to more and less plausible forcings values5 Old Evidence6 Doubts about the Relevance of Past Data7 Non-comparative Confirmation and Catch-Alls8 Climate Science Example: Non-comparative Confirmation and Catch-Alls in Practice9 Concluding Remarks. (shrink)

It has been long known that a year after Schrödinger published his equation, Madelung also published a hydrodynamics version of Schrödinger equation. Quantum diffusion is studied via dissipative Madelung hydrodynamics. Initially the wave packet spreads ballistically, than passes for an instant through normal diffusion and later tends asymptotically to a sub‐diffusive law. In this paper we will review two different approaches, including Madelung hydrodynamics and also Bohm potential. Madelung formulation leads to diffusion interpretation, which after a generalization yields to Ermakov (...) equation. Since Ermakov equation cannot be solved analytically, then we try to find out its solution with Mathematica package. It is our hope that these methods can be verified and compared with experimental data. But we admit that more researches are needed to fill all the missing details. (shrink)

It has been known for long time that the cosmic sound wave was there since the early epoch of the Universe. Signatures of its existence are abound. However, such a sound wave model of cosmology is rarely developed fully into a complete framework. This paper can be considered as our second attempt towards such a complete description of the Universe based on soliton wave solution of cosmological KdV equation. Then we advance further this KdV equation by virtue of Cellular Automaton (...) method to solve the PDEs. We submit wholeheartedly Robert Kurucz’s hypothesis that Big Bang should be replaced with a finite cellular automaton universe with no expansion. Nonetheless, we are fully aware that our model is far from being complete, but it appears the proposed cellular automaton model of the Universe is very close in spirit to what Konrad Zuse envisaged long time ago. It is our hope that the new proposed method can be verified with observation data. But we admit that our model is still in its infancy, more researches are needed to fill all the missing details. (shrink)

It has been known for long time that intuition plays significant role in many professions and human life, including in entrepreneurship, government, and also in detective or law enforcement activities. Even women are known to possess better intuitive feelings or “hunch” compared to men. Despite these examples, such a precognitive interdiction is hardly accepted in established science. In this paper, we discuss briefly the advanced solutions of Maxwell equations, and then make connection between syntropy and precognition from classical perspective. It (...) is our hope that the new proposed method can be verified with experimental data. But we admit that our model is still in its infancy, more researches are needed to fill all the missing details. (shrink)

Around 3 decades ago, Jayant Narlikar & Halton Arp argued on possible variable mass hypothesis cosmology (VMH). In the meantime, the Earth expansion problem has attracted great interest, and recent study gives geodetic evidence that the Earth has been expanding, at least over the recent several decades. Therefore, in the present article discusses some interesting effects related to varying G, but here we argue that instead of varying G we can think of varying mass (M). Among other things we discuss (...) receding planets from the Sun, calculation of Pioneer spacecraft anomaly as proposed by B.G. Sidharth, and also possible slight change of LAGEOS Satellite. Further observation to verify or refute this conjecture is recommended, especially based on geological evidence of expanding earth. (shrink)

In recent years, there are a number of proposals to consider collision-based soliton computer based on certain chemical reactions, namely Belousov-Zhabotinsky reaction, which leads to soliton solutions of coupled Nonlinear Schroedinger equations. They are called Manakov System. But it seems to us that such a soliton computer model can also be based on solitary wave solution of Maxwell-Dirac equation, which reduces to Choquard equation. And soliton solution of Choquard equation has been investigated by many researchers, therefore it seems more profound (...) from physics perspective. However, we consider both schemes of soliton computer are equally possible. More researches are needed to verify our proposition. (shrink)

I highlight a metaphysical concern that stands in the way of more widespread adoption of causal modeling techniques such as causal Bayes nets. Researchers in some fields may resist adoption due to concerns that they don't 'really' understand what they are saying about a system when they apply such techniques. Students in these fields are repeated exhorted to be cautious about application of statistical techniques to their data without a clear understanding of the conditions required for those techniques to yield (...) genuine insight into the data. They are acutely aware that anyone can chuck some data into a software package and get what looks like an answer, even though these tests may not be well-defined for the data on which they can apparently be run. This is thus a healthy skepticism for uptake of causal modeling methods, which points directly to the need for a metaphysical understanding of causation in order to successfully use the modeling methods. Without a clear understanding of what the methods are committing to, including what it means to say that there exists a causal relationship, researchers have limited ability to identify potentially bad output, or to independently verify results. (shrink)

This paper develops an update semantics for weak necessity modals like ‘ought’ and ‘should’. I start with the basic approach to the weak/strong necessity modal distinction developed in Silk 2018: Strong necessity modals are given their familiar semantics of necessity, predicating the necessity of the prejacent of the actual world (evaluation world). The apparent “weakness” of weak necessity modals derives from their bracketing the assumption that the relevant worlds in which the prejacent is necessary (deontically, epistemically, etc.) need be candidates (...) for actuality. ‘Should φ’ can be accepted without needing to settle that the relevant considerations (norms, preferences, expectations, etc.) that actually apply, given the facts, verify the necessity of φ. I formalize these ideas within an Update with Centering framework. The meaning of ‘Should φ’ is explained, fundamentally, in terms of how its use updates attention toward possibilities in which φ is necessary. The semantics is also extended to deontic conditionals. The proposed analyses capture various contrasting logical properties and discourse properties of ‘should’ and ‘must’ — e.g., in sensitivities to standing contextual assumptions, entailingness, and force — and provide an improved treatment of largely neglected data concerning information-sensitivity. (shrink)

This essay examines how Husserl stretches the bounds of his philosophy of meaning, according to which all propositions are categorical, to account for existential propositions, which seem to lack predicates. I examine Husserl’s counterintuitive conclusion that an existential proposition does possess a predicate and I explore his endeavor to pinpoint what that predicate is. This goal is accomplished in three stages. First, I examine Husserl’s standard theory of predication and categorial intuition from his 1901 Logical Investigations. Second, I show how (...) Husserl imposes those 1901 insights to uncover the predicate of the existential proposition in unpublished manuscripts and lectures. He determines that the existential proposition predicates of the subject, that it corresponds to an actual object. This analysis reveals that Husserl’s descriptions of existential propositions from the late 1890s employed both static and genetic methodologies. In those texts, he carefully untangles and clarifies the co-enmeshed passive and active moments of consciousness and shows that the passive givenness of certain circumstances is the condition of possibility for our active verifying of propositions. Finally, I execute a critical assessment of Husserl’s thought to reveal that, while his insights about existential propositions are largely correct, they are augmented by re-construing them within the context of his mature philosophy. Only by renouncing his metaphysical neutrality and by accounting for intersubjectivity, can Husserl properly clarify existential propositions. (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)

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)

Calls to hold artificial intelligence to account are intensifying. Activists and researchers alike warn of an “accountability gap” or even a “crisis of accountability” in AI. Meanwhile, several prominent scholars maintain that accountability holds the key to governing AI. But usage of the term varies widely in discussions of AI ethics and governance. This chapter begins by disambiguating some different senses and dimensions of accountability, distinguishing it from neighboring concepts, and identifying sources of confusion. It proceeds to explore the idea (...) that AI operates within an accountability gap arising from technical features of AI as well as the social context in which it is deployed. The chapter also evaluates various proposals for closing this gap. I conclude that the role of accountability in AI ethics and governance is vital but also more limited than some suggest. Accountability’s primary job description is to verify compliance with substantive normative principles—once those principles are settled. Theories of accountability cannot ultimately tell us what substantive standards to account for, especially when norms are contested or still emerging. Nonetheless, formal mechanisms of accountability provide a way of diagnosing and discouraging egregious wrongdoing even in the absence of normative agreement. Providing accounts can also be an important first step toward the development of more comprehensive regulatory standards for AI. (shrink)

In a possible world framework, an agent can be said to know a proposition just in case the proposition is true at all worlds that are epistemically possible for the agent. Roughly, a world is epistemically possible for an agent just in case the world is not ruled out by anything the agent knows. If a proposition is true at some epistemically possible world for an agent, the proposition is epistemically possible for the agent. If a proposition is true at (...) all epistemically possible worlds for an agent, the proposition is epistemically necessary for the agent, and as such, the agent knows the proposition. -/- This framework presupposes an underlying space of worlds that we can call epistemic space. Traditionally, worlds in epistemic space are identified with possible worlds, where possible worlds are the kinds of entities that at least verify all logical truths. If so, given that epistemic space consists solely of possible worlds, it follows that any world that may remain epistemically possible for an agent verifies all logical truths. As a result, all logical truths are epistemically necessary for any agent, and the corresponding framework only allows us to model logically omniscient agents. This is a well-known consequence of the standard possible world framework, and it is generally taken to imply that the framework cannot be used to model non-ideal agents that fall short of logical omniscience. -/- A familiar attempt to model non-ideal agents within a broadly world involving framework centers around the use of impossible worlds where the truths of logic can be false. As we shall see, if we admit impossible worlds where “anything goes” in epistemic space, it is easy to avoid logical omniscience. If any logical falsehood is true at some impossible world, then any logical falsehood may remain epistemically possible for some agent. As a result, we can use an impossible world involving framework to model extremely non-ideal agents that do not know any logical truths. -/- A much harder, and considerably less investigated challenge is to ensure that the resulting epistemic space can also be used to model moderately ideal agents that are not logically omniscient but nevertheless logically competent. Intuitively, while such agents may fail to rule out impossible worlds that verify complex logical falsehoods, they are nevertheless able to rule out impossible worlds that verify obvious logical falsehoods. To model such agents, we need a construction of a non-trivial epistemic space that partly consists of impossible worlds where not "anything goes". This involves imposing substantive constraints on impossible worlds to eliminate from epistemic space, say, trivially impossible worlds that verify obvious logical falsehoods. -/- The central aim of this dissertation is to investigate the nature of such non-trivially impossible worlds and the corresponding epistemic spaces. To flag my conclusions, I argue that successful constructions of epistemic spaces that can safely navigate between the Charybdis of logical omniscience and the Scylla of of “anything goes” are hard, if not impossible to find. (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)

I propose a narrative fabrication thesis of dream reports, according to which dream reports are often not accurate representations of experiences that occur during sleep. I begin with an overview of anti-experience theses of Norman Malcolm and Daniel Dennett who reject the received view of dreams, that dreams are experiences we have during sleep which are reported upon waking. Although rejection of the first claim of the received view, that dreams are experiences that occur during sleep, is implausible, I evaluate (...) in more detail the second assumption of the received view, that dream reports are generally accurate. I then propose a “narrative fabrication” view of dreams as an alternative to the received view. Dream reports are often confabulated or fabricated because of poor memory, bizarre dream content, and cognitive deficits. It is well documented that narratives can be altered between initial rapid eye movement sleep awakenings and subsequent reports. I argue that we have reason to suspect that initial reports are prone to inaccuracy. Experiments demonstrate that subjects rationalize strange elements in narratives, leaving out supernatural or bizarre components when reporting waking memories of stories. Inaccuracies in dream reports are exacerbated by rapid memory loss and bizarre dream content. Waking memory is a process of reconstruction and blending of elements, but unlike waking memory, we cannot reality-test for dream memories. Dream experiences involve imaginative elements, and dream content cannot be verified with external evidence. Some dreams may involve wake-like higher cognitive functions, such as lucid dreams. Such dreams are more likely to elicit accurate reports than cognitively deficient dreams. However, dream reports are generally less accurate than waking reports. I then propose methods which could verify the narrative fabrication view, and argue that although the theory cannot be tested with current methods, new techniques and technologies may be able to do so in the future. -/- . (shrink)

The debate on the ethical permissibility of autonomous weapon systems (AWS) is deadlocked. It could therefore benefit from a differentiated assignment of the burden of proof. This is because the discussion is not purely philosophical in nature, but has a legal and security policy component and aims to avoid the most harmful outcomes of an otherwise unchecked development. Opponents of a universal AWS ban must clearly demonstrate that AWS comply with the Law of Armed Conflict (LOAC). This requires extensive testing (...) of specific models to verify compliance in realistic combat situations; working on appropriate testing regimes is also one of the most important future tasks for AWS ethics. In this context, however, it is easy to refute the claim put forward by prohibitionists that AWS violate LOAC a priori. A state’ s right to ensure security and the protection of human rights through military capacity has a high ethical value. Other arguments against the use of AWS that are not based on LOAC conformity must therefore meet a substantial burden of proof, as they call on governments to abandon a military technology which is at least potentially transformative. None of those objections meet this standard. They include not only culturally or even individually divergent norms and ideas regarding the use of weapons, but also consequentialist (security policy) concerns on the one hand and so-called deontological arguments on the other. While the former at least point to the need for essential regulation, the latter are based on rather dubious premises. For the purposes of solutions beneficial to humanity, prohibitionist should formulate narrower and more specific points of criticism. (shrink)

The interactive theorem prover Isabelle/HOL is used to verify elementary theorems of classical extensional mereology.

The syntactic structure of the deontic “ought” has been much debated in philosophy and linguistics. Schroeder argues that the deontic “ought” is syntactically ambiguous in the sense that it can be associated with either a control or raising construction. He distinguishes between deliberative and evaluative “ought”s and argues that the deliberative “ought” is control while the evaluative “ought” is raising. However, if there is a control sense of “ought,” it implies that there is a sense of “ought” in which the (...) word carries an external argument. Chrisman (2012) proposes two linguistic tests to verify this prediction. I add a new test, which I call the intensionality test, to the list. (shrink)

The current study tries to verify the effectiveness of a training program in increasing Crowdfunding awareness. The sample was (50) students in CIS, who were purposively selected and distributed equally into a treatment and control group. The researchers designed the study tools (a training program to increase Crowdfunding awareness). The study findings revealed the existence of statistically significant differences between the treatment and control groups in favor of the former. Furthermore, there were statistically significant differences between the pre and the (...) post measures of the treatment group in favor of the post measures. Furthermore the current study is unique by the virtue of its nature, scope and way of implied investigation, as it is the first study for Crowdfunding training program in Arabic world. (shrink)

Since the 18th century, one of the key features of diagnosed psychopaths has been “moral colorblindness” or an inability to form moral judgments. However, attempts at experimentally verifying this moral incapacity have been largely unsuccessful. After reviewing the centrality of “moral colorblindness” to the study and diagnosis of psychopathy, I argue that the reason that researchers have been unable to verify that diagnosed psychopaths have an inability to make moral judgments is because their research is premised on the assumption that (...) there is a specific moral faculty of the brain, or specific “moral” emotions, and that this faculty or set of emotions can become “impaired”. I review recent research and argue that we have good reason to think that there is no such distinct capacity for moral judgment, and that, as a result, it is impossible for someone’s “moral judgment faculty” to become selectively disabled. I then discuss the implications of such a position on psychopathy research, the coherence of the disorder, and the moral responsibility of psychopaths. (shrink)