In the substitutional framework, validity is truth under all substitutions of the nonlogical vocabulary. I develop a theory where □ is interpreted as substitutional validity. I show how to prove soundness and completeness for common modal calculi using this definition.

Goodman and Lederman (2020) argue that the traditional Fregean strategy for preserving the validity of Leibniz’s Law of substitution fails when confronted with apparent counterexamples involving proper names embedded under propositional attitude verbs. We argue, on the contrary, that the Fregean strategy succeeds and that Goodman and Lederman’s argument misfires.

True beliefs and truth-preserving inferences are, in some sense, good beliefs and good inferences. When an inference is valid though, it is not merely truth-preserving, but truth-preserving in all cases. This motivates my question: I consider a Modus Ponens inference, and I ask what its validity in particular contributes to the explanation of why the inference is, in any sense, a good inference. I consider the question under three different definitions of ‘case’, and hence of ‘validity’: the orthodox (...) definition given in terms of interpretations or models, a metaphysical definition given in terms of possible worlds, and a substitutional definition defended by Quine. I argue that the orthodox notion is poorly suited to explain what's good about a Modus Ponens inference. I argue that there is something good that is explained by a certain kind of truth across possible worlds, but the explanation is not provided by metaphysical validity in particular; nothing of value is explained by truth across all possible worlds. Finally, I argue that the substitutional notion of validity allows us to correctly explain what is good about a valid inference. (shrink)

It is widely held that counterfactuals, unlike attitude ascriptions, preserve the referential transparency of their constituents, i.e., that counterfactuals validate the substitution of identicals when their constituents do. The only putative counterexamples in the literature come from counterpossibles, i.e., counterfactuals with impossible antecedents. Advocates of counterpossibilism, i.e., the view that counterpossibles are not all vacuous, argue that counterpossibles can generate referential opacity. But in order to explain why most substitution inferences into counterfactuals seem valid, counterpossibilists also often maintain that counterfactuals (...) with possible antecedents are transparency‐preserving. I argue that if counterpossibles can generate opacity, then so can ordinary counterfactuals with possible antecedents. Utilizing an analogy between counterfactuals and attitude ascriptions, I provide a counterpossibilist‐friendly explanation for the apparent validity of substitution inferences into counterfactuals. I conclude by suggesting that the debate over counterpossibles is closely tied to questions concerning the extent to which counterfactuals are more like attitude ascriptions and epistemic operators than previously recognized. (shrink)

In their Anachronic Renaissance, Alexander Nagel and Christopher Wood identify two principles upon which, in fifteenth-century Europe, a work of art might establish its validity or authority: substitution and performance. It has become established wisdom that the dual schema of substitution and performance follows Hans Belting's dualism of the medieval cult of the image and the modern aesthetic system of art. This, I submit, is not just a mistake, but also prevents from evaluating one of the book's most ambitious (...) contributions to art-historical theory on its own merits. An analysis of the structure of the claims made by Nagel and Wood brings to light that the two concepts—substitution and performance—do not play the same role as the conceptual pair of Bild and Kunst in Belting's influential work. (shrink)

In this paper we investigate with a case study from chemistry under what conditions a simulation can serve as a surrogate for an experiment. The case-study concerns a simulation of H2-formation in outer space. We find that in this case the simulation can act as a surrogate for an experiment, because there exists comprehensive theoretical background knowledge in form of quantum mechanics about the range of phenomena to which the investigated process belongs and because any particular modelling assumptions as can (...) be justified. If these requirements are met then direct empirical validation may even be dispensable. We conjecture that this is not the case in the absence of comprehensive theoretical background knowledge. (shrink)

Information-theoretic approaches to formal logic analyse the "common intuitive" concept of propositional implication (or argumental validity) in terms of information content of propositions and sets of propositions: one given proposition implies a second if the former contains all of the information contained by the latter; an argument is valid if the conclusion contains no information beyond that of the premise-set. This paper locates information-theoretic approaches historically, philosophically and pragmatically. Advantages and disadvantages are identified by examining such approaches in themselves (...) and by contrasting them with standard transformation-theoretic approaches. Transformation-theoretic approaches analyse validity (and thus implication) in terms of transformations that map one argument onto another: a given argument is valid if no transformation carries it onto an argument with all true premises and false conclusion. Model-theoretic, set-theoretic, and substitution-theoretic approaches, which dominate current literature, can be construed as transformation-theoretic, as can the so-called possible-worlds approaches. Ontic and epistemic presuppositions of both types of approaches are considered. Attention is given to the question of whether our historically cumulative experience applying logic is better explained from a purely information-theoretic perspective or from a purely transformation-theoretic perspective or whether apparent conflicts between the two types of approaches need to be reconciled in order to forge a new type of approach that recognizes their basic complementarity. (shrink)

In a series of articles, Kit Fine presents some highly compelling objections to monism, the doctrine that spatially coincident objects are identical. His objections rely on Leibniz’s Law and linguistic environments that appear to be immune to the standard charge of non-transparency and substitution failure. In this paper, I respond to Fine’s objections on behalf of the monist. Following Benjamin Schnieder, I observe that arguments from Leibniz’s Law are valid only if they involve descriptive, rather than metalinguistic, negation. Then I (...) show that the monist is justified in treating the negation in Fine’s objections as metalinguistic in nature. Along the way I make a few methodological remarks about the interaction between the study of natural language and metaphysics. I also present evidence that some of the linguistic environments which Fine relies on are, contrary to appearances, non-transparent. (shrink)

In Fact, Fiction and Forecast, Nelson Goodman claims that the problem of justifying induction is not something over and above the problem of describing valid induction. Such claim, besides suggesting his commitment to the collapse of the distinction between the context of description and the context of justification, seems to open the possibility that the new riddle of induction could be addressed empirically. Discoveries about psychological preferences for projecting certain classes of objects could function as a criterion for determining which (...) predicates are after all projectible. In this paper, I argue that Goodman's claim must be construed within his project for constructional definitions, which is methodologically oriented by reflective equilibrium. The description of inductive practice is committed to the articulation of the extension of the class selected by the predicate ‘valid induction’. The mutual adjustment between theoretical considerations and inductive practice involved in the proposal of a definition of ‘valid induction’ must preserve that practice as much as possible, there is no way to get rid of entrenchment. Empirical discoveries about the psychological mechanism that underlies projections may help that adjustment but they cannot substitute the role played by the entrenchment of predicates. (shrink)

In this issue of the Report, James L. Bernat proposes an innovative and sophisticated distinction to justify the introduction of permanent cessation as a valid substitute standard for irreversible cessation in death determination. He differentiates two approaches to conceptualizing and determining death: the biological concept and the prevailing medical practice standard. While irreversibility is required by the biological concept, the weaker criterion of permanence, he claims, has always sufficed in the accepted standard medical practice to declare death. Bernat argues that (...) the medical practice standard may be acceptable on the ground that proving circulatory or brain permanence is sufficient to assure complete accuracy for death diagnosis. -/- The topic requires public deliberation: processes to survey people's opinions and mechanisms to channel their opinions into policy-making. What is at stake is the nature of our society. Do we want an expertocracy, in which an enlightened few design policies for the greater good of the majority and exploit the lack of public knowledge to achieve compliance? (shrink)

Misinformation can have significant societal consequences. For example, misinformation about climate change has confused the public and stalled support for mitigation policies. When people lack the expertise and skill to evaluate the science behind a claim, they typically rely on heuristics such as substituting judgment about something complex (i.e. climate science) with judgment about something simple (i.e. the character of people who speak about climate science) and are therefore vulnerable to misleading information. Inoculation theory offers one approach to effectively neutralize (...) the influence of misinformation. Typically, inoculations convey resistance by providing people with information that counters misinformation. In contrast, we propose inoculating against misinformation by explaining the fallacious reasoning within misleading denialist claims. We offer a strategy based on critical thinking methods to analyse and detect poor reasoning within denialist claims. This strategy includes detailing argument structure, determining the truth of the premises, and checking for validity, hidden premises, or ambiguous language. Focusing on argument structure also facilitates the identification of reasoning fallacies by locating them in the reasoning process. Because this reason-based form of inoculation is based on general critical thinking methods, it offers the distinct advantage of being accessible to those who lack expertise in climate science. We applied this approach to 42 common denialist claims and find that they all demonstrate fallacious reasoning and fail to refute the scientific consensus regarding anthropogenic global warming. This comprehensive deconstruction and refutation of the most common denialist claims about climate change is designed to act as a resource for communicators and educators who teach climate science and/or critical thinking. (shrink)

The explanation of nature in theoretical terms was first postulated and initiated by Ancient Greek philosophers. With the rise of monotheistic religions, however, curiosity about our transient world was widely regarded as contributing nothing to salvation. There was a decline in natural philosophy, which lasted for several centuries and was then reversed both in Islamic philosophy and in Christian theology in the Middle Ages. At this point, the "Book of Nature" was recognized as a complement to the Book of Revelation. (...) Originally, Aristotelian philosophy played the leading part in this process, but only after Aristotelian physics was substituted by experimental mathematical mechanics did it become possible for modern science to develop. General laws of physics form the basis of the explanation of events in space and time, including life processes. However, modern science has also revealed its own limitations. The scope and limits of scientific knowledge allows for different philosophical, cultural and religious interpretations of human beings and the universe. The history of science demonstrates erratic and persistent developments, but the long-term retrospective view discredits extreme forms of relativism and structuralism. Science appears as a construct of the human mind, and yet it is capable of generating valid explanations of nature. In the book more attention than usual is given to Cusanus (Nikolas de Cusa). -/- . (shrink)

Pattern recognition is represented as the limit, to which an infinite Turing process converges. A Turing machine, in which the bits are substituted with qubits, is introduced. That quantum Turing machine can recognize two complementary patterns in any data. That ability of universal pattern recognition is interpreted as an intellect featuring any quantum computer. The property is valid only within a quantum computer: To utilize it, the observer should be sited inside it. Being outside it, the observer would obtain quite (...) different result depending on the degree of the entanglement of the quantum computer and observer. All extraordinary properties of a quantum computer are due to involving a converging infinite computational process contenting necessarily both a continuous advancing calculation and a leap to the limit. Three types of quantum computation can be distinguished according to whether the series is a finite one, an infinite rational or irrational number. (shrink)

Natural argument is represented as the limit, to which an infinite Turing process converges. A Turing machine, in which the bits are substituted with qubits, is introduced. That quantum Turing machine can recognize two complementary natural arguments in any data. That ability of natural argument is interpreted as an intellect featuring any quantum computer. The property is valid only within a quantum computer: To utilize it, the observer should be sited inside it. Being outside it, the observer would obtain quite (...) different result depending on the degree of the entanglement of the quantum computer and observer. All extraordinary properties of a quantum computer are due to involving a converging infinite computational process contenting necessarily both a continuous advancing calculation and a leap to the limit. Three types of quantum computation can be distinguished according to whether the series is a finite one, an infinite rational or irrational number. -/- . (shrink)

Special relativity has changed the fundamental view on space and time since Einstein introduced it in 1905. It substitutes four dimensional spacetime for the absolute space and time of Newtonian mechanics. It is believed that the validities of Lorentz invariants are fully confirmed empirically for the last one hundred years and therefore its status are canonical underlying all physical principles. However, spacetime metric is a geometric approach on nature when we interpret the natural phenomenon. A geometric flaw on this will (...) be exhibited and the alternative is suggested. The reasonable geometric model of space and time is a three dimensional space which is translating along the time direction. This model legitimately represents the true characteristic of nature. (shrink)

Information-theoretic approaches to formal logic analyze the "common intuitive" concepts of implication, consequence, and validity in terms of information content of propositions and sets of propositions: one given proposition implies a second if the former contains all of the information contained by the latter; one given proposition is a consequence of a second if the latter contains all of the information contained by the former; an argument is valid if the conclusion contains no information beyond that of the premise-set. (...) This paper locates information-theoretic approaches historically, philosophically, and pragmatically. Advantages and disadvantages are identified by examining such approaches in themselves and by contrasting them with standard transformation-theoretic approaches. Transformation-theoretic approaches analyze validity (and thus implication) in terms of transformations that map one argument onto another: a given argument is valid if no transformation carries it onto an argument with all true premises and false conclusion. Model-theoretic, set-theoretic, and substitution-theoretic approaches, which dominate current literature, can be construed as transformation-theoretic, as can the so-called possible-worlds approaches. Ontic and epistemic presuppositions of both types of approaches are considered. Attention is given to the question of whether our historically cumulative experience applying logic is better explained from a purely information-theoretic perspective or from a purely transformation-theoretic perspective or whether apparent conflicts between the two types of approaches need to be reconciled in order to forge a new type of approach that recognizes their basic complementarity. (shrink)

This paper is the twin of (Duží and Jespersen, in submission), which provides a logical rule for transparent quantification into hyperprop- ositional contexts de dicto, as in: Mary believes that the Evening Star is a planet; therefore, there is a concept c such that Mary be- lieves that what c conceptualizes is a planet. Here we provide two logical rules for transparent quantification into hyperpropositional contexts de re. (As a by-product, we also offer rules for possible- world propositional contexts.) One (...) rule validates this inference: Mary believes of the Evening Star that it is a planet; therefore, there is an x such that Mary believes of x that it is a planet. The other rule validates this inference: the Evening Star is such that it is believed by Mary to be a planet; therefore, there is an x such that x is believed by Mary to be a planet. Issues unique to the de re variant include partiality and existential presupposition, sub- stitutivity of co-referential (as opposed to co-denoting or synony- mous) terms, anaphora, and active vs. passive voice. The validity of quantifying-in presupposes an extensional logic of hyperinten- sions preserving transparency and compositionality in hyperinten- sional contexts. This requires raising the bar for what qualifies as co-denotation or equivalence in extensional contexts. Our logic is Tichý’s Transparent Intensional Logic. The syntax of TIL is the typed lambda calculus; its highly expressive semantics is based on a procedural redefinition of, inter alia, functional abstraction and application. The two non-standard features we need are a hyper- intension (called Trivialization) that presents other hyperintensions and a four-place substitution function (called Sub) defined over hy- perintensions. (shrink)

Husserl’s phenomenology opens itself with a critique of positive sciences. Husserl problematizes the hardcore presupposition of positivism that the world is a definite sort of an existential totality of objects and thus it is exhaustible with empirical data and deductive-conceptual abstraction on the basis of causalspatio-temoprality. Criticizing the wholesome reduction of nature into a physical reality and the instrumentalizing of theoretical reason, he proposes transcendental phenomenology, as an ideal form of science. Self-entitled as the genuine science, the science of origin, (...) the science of all sciences, etc., it concerns itself with the matter of validity. Claiming that validating objectivity as such and the meaning of scientific objectification is something of which onlyphenomenological reflection on pure consciousness is capable and that the positivistic objectivity is and must be founded on transcendental subjectivity, Husserl radically idealistically revised the whole positivistic concept of evidence and givenness of a fact and substituted it with the phenomenological notion of apriori self-evidence and originary givenness of primordial intentional consciousness. Nevertheless, it is noticed that the absolute universal validity of positivistic objectivity was never rejected or questioned; objectivity is still in and of itself an absolute criterion of scientificity in Husserl. This paper will argue that the idealistic turn toward subjectivity takes place through factualization of transcendentality and this, by bestowing apriori apodicticity with facticity, even enhances more the supreme epistemological function of positivity. It will discuss such positivistic drive, directly bequeathed from the very cultural ethos at which phenomenological criticism targeted, as an important locomotive for Husserl’s program and point out an antinomical consequence with which it is to be faced as a consequence. (shrink)

A CONSTRUCTIVE CRITIQUE OF THE FOUNDATIONS OF PHILOSOPHY: Abstract of the Ph.D. Dissertation By Ramesh N. Patel June, 1970 -/- Philosophy pursues a rational explication of our understanding, experiences, and values in terms of objective truth and reality. Conspicuously, its view of rationality has been rigid and preconceived. Application of the preconceived reason in the explication of the essential features of our world fails and issues in a network of dialectical tangles. These artificially created tangles pose a unique intellectual challenge, (...) but the perennial failure to resolve them limits the intellectual response of philosophers to remaining caught in the tangles, or to taking intuitively favorable sides, or to simply denouncing the tangles as meaningless. Each is understandable. -/- Superficially, traditional philosophical reason looks like a correct tool for the explication of our world of common sense, but its applications to the world result in logical tangles showing its inadequacy. The philosopher’s faith in such reason ends up in one of two positions: abandoning our world in the interests of such reason, or embodying itself in the world through a special form of reason. Plato took the first and Aristotle took the second position. My analysis shows that Plato failed to explicate the relation between his world of Forms and our world of particulars, and, more importantly, between the Forms and the intuitive reason which grasps them. Aristotle, in my analysis, cannot conceal that the law of noncontradiction is a mere exhortation and has no descriptive necessity with respect to thought, things, or meaning. We also find such dialectical difficulties in Augustine, Hume and Strawson. -/- “Microphilosophical feasibilism” is our proposal for the best treatment, if not the definitive solution, of these problems. Instead of separating philosophical method into logic, epistemology, axiology, and metaphysics on the one side, and partitioning the projected results of philosophizing into validity, truth, valuation, and reality on the other, we need to start philosophizing with a general distinction between “method employed” and “intended result.” This distinction is not pre-colored by claims to ultimate verities. It is a direct aid to understanding. I consider the basic inevitable paradox that a philosopher should explain not only our understanding of experience but also his philosophizing itself. The circularity between “method employed” and “intended result” needs to be admitted as an initial fact about reason rather than circumvented by an implausibly claimed capacity of philosophical reason to formally transcend everything including this circularity. -/- Presuppositions are reduced to a minimum inevitable number. Being our primary microphilosophical criteria, they are reason, experience, and value in their minimal sense. They cannot be plausibly substituted or further reduced. They cannot be preferred one or more to others arbitrarily. We show how, in microphilosophy they coincide or synchronize. Jointly and basically, they form the minimum method employed. The initial, basic, intended result is called minimum feasibility. The fundamental circularity between method and result leaves no way out but to ground self-reference in such a manner that method and result “logico-genetically” coincide. Two extreme situations are avoided: “the logical zero-situation” where nothing is true or real, and “the credulous open situation” where everything is true or real. Finding a mean manifests a basic value. If the meaning of truth and reality is to be preserved, the basic value must have a clear impact and express descriptive rather than revisionary reason. -/- Several other stringent demands are raised as conditions which microphilosophy should fulfil to achieve feasibility. The final, joint, outcome of both “method” and “result,” in the thesis of microphilosophical feasibilism, is formulated thus: Self refers freely and symbolically to itself, own person, own body, material bodies, other persons’ bodies, other persons, and other selves. -/- Ramesh N. Patel Doctor of Philosophy in Philosophy conferred in June, 1970 University of New Mexico, Albuquerque, N.M. (shrink)

In this admirable book, Scott Soames provides well defended answers to some of the most difficult and important questions in the philosophy of language, and he does so with characteristic thoroughness, clarity, and rigor. The book's title is appropriate, since it does indeed go ‘beyond rigidity’ in many ways. Among other things, Soames does the following in the course of the book. He persuasively argues that the main thesis of Kripke's Naming and Necessity—that ordinary names are rigid designators—can be extended (...) to the more general thesis that simple proper names are synonymous with neither nonrigid nor rigidified descriptions, and so have no descriptive content whatever. He thoroughly defends and places in the context of a larger semantic theory the Millian thesis that the sole semantic contents of most proper names are the names' referents, so that sentences containing such names semantically express singular Russellian propositions. He provides and defends at length an innovative pragmatic account of why substitution of co-referring proper names in cognitive contexts intuitively fails to be truth preserving, even though it seems to follow from the Millian thesis that such substitution must be semantically valid. And he thoroughly and persuasively defends a semantic theory of natural kind terms that explains how, following Kripke and Putnam, theoretical identities involving such terms can express a posteriori necessities, even though on Soames's theory, and contrary to the Kripke-Putnam view, such terms are neither names of natural kinds nor rigid designators in any interesting sense. (shrink)

This memorandum, originally written in 1961 and published in an obscure journal in 1986, emphasizes the degree to which general acceptance has been substituted for proof in current scientific practice. Its main objective is to reveal which generally accepted ideas have no sound factual basis and therefore _could_ be erroneous. The new and improved basic theory that is fervently desired must conflict with some items of this kind, and probably with many of them. Such conflicts, if confined to the categories (...) herein enumerated, do not constitute valid arguments against any new theory that may be proposed, and should not be allowed to block consideration of new theories. (shrink)

In this admirable book, Scott Soames provides well defended answers to some of the most difficult and important questions in the philosophy of language, and he does so with characteristic thoroughness, clarity, and rigor. The book's title is appropriate, since it does indeed go ‘beyond rigidity’ in many ways. Among other things, Soames does the following in the course of the book. He persuasively argues that the main thesis of Kripke's Naming and Necessity—that ordinary names are rigid designators—can be extended (...) to the more general thesis that simple proper names are synonymous with neither nonrigid nor rigidified descriptions, and so have no descriptive content whatever. He thoroughly defends and places in the context of a larger semantic theory the Millian thesis that the sole semantic contents of most proper names are the names' referents, so that sentences containing such names semantically express singular Russellian propositions. He provides and defends at length an innovative pragmatic account of why substitution of co-referring proper names in cognitive contexts intuitively fails to be truth preserving, even though it seems to follow from the Millian thesis that such substitution must be semantically valid. And he thoroughly and persuasively defends a semantic theory of natural kind terms that explains how, following Kripke and Putnam, theoretical identities involving such terms can express a posteriori necessities, even though on Soames's theory, and contrary to the Kripke-Putnam view, such terms are neither names of natural kinds nor rigid designators in any interesting sense. (shrink)

An increasing amount of twenty-first century metaphysics is couched in explicitly hyperintensional terms. A prerequisite of hyperintensional metaphysics is that reality itself be hyperintensional: at the metaphysical level, propositions, properties, operators, and other elements of the type hierarchy, must be more fine-grained than functions from possible worlds to extensions. In this paper I develop, in the setting of type theory, a general framework for reasoning about the granularity of propositions and properties. The theory takes as primitive the notion of a (...) substitution on a proposition (property, etc.) and, among other things, uses this idea to elucidate a number of theoretically important distinctions. A class of structures are identified which can be used to model a wide range of positions about the granularity of reality; certain of these structures are seen to receive a natural treatment in the category of M-sets. (shrink)

Sensory substitution devices make use of one substituting modality to get access to environmental information normally accessed through another modality . Based on behavioural and neuroimaging data, some authors have claimed that using a vision-substituting device results in visual perception. Reviewing these data, we contend that this claim is untenable. We argue that the kind of information processed by a SSD is metamodal, so that it can be accessed through any sensory modality and that the phenomenology associated with the use (...) of a SSD is best described in terms of spatial phenomenology, only. (shrink)

When a user integrates a sensory substitution device into her life, the process involves perceptual learning, that is, ‘relatively long-lasting changes to an organism’s perceptual system that improve its ability to respond to its environment’ (Goldstone 1998: 585). In this paper, I explore ways in which the extensive literature on perceptual learning can be applied to help improve sensory substitution devices. I then use these findings to answer a philosophical question. Much of the philosophical debate surrounding sensory substitution devices concerns (...) what happens after perceptual learning occurs. In particular, should the resultant perceptual experience be classified in the substituted modality (as vision), in the substituting modality (as auditory or tactile), or in a new sense modality? I propose a novel empirical test to help resolve this philosophical debate. (shrink)

It is hoped that modern sensory substitution and augmentation devices will be able to replace or expand our senses. But to what extent has this been achieved to date? To what extent are the experiences created by sensory substitution devices like the sensory experiences that we are trying to replace? To what extent can we augment people’s senses providing them with new information and new experiences? The first aim of this introduction is to delve deeply into this question to discover (...) the usefulness of these devices, to outline the different sorts of experience that might be created, and what the evidence tells us about these experiences. While there are some reasons to be hopeful about the powers of sensory substitution devices, there are also reasons to wonder whether they will ever really have the practical applications that we hope they might have. The second aim is to look to see whether the study of modern sensory substitution and augmentation devices can shed light on the nature of our senses and perception in general. Much of the philosophical, psychological, and neuroscientific work that takes place concerning sensory substitution and augmentation is keenly aware of the possibility that it might help our understanding and it seeks to comprehend many different aspects of perception. (shrink)

One of the central limitations of sensory substitution devices (SSDs) is their inability to reproduce the non-sensory feelings that are normally associated with visual experiences, especially hedonic and aesthetic responses. This limitation is sometimes reported to cause SSD users frustration. To make matters worse, it is unclear that improvements in acuity, bandwidth, or training will resolve the issue. Yet, if SSDs are to actually reproduce visual experience in its fullness, it seems that the reproduction of non-sensory feelings will be of (...) some importance. We offer a novel solution. Researchers can produce hedonic and aesthetic responses by eliciting these feelings artificially, pairing distal objects that should be pleasurable to pleasurable stimulus outputs from the SSD. We outline two strategies for accomplishing this: first, by means of a prefixed, hardwired, association of pleasant distal objects to pleasant stimulus outputs from the SSD; second, by means of a flexible, feedback-based association which creates associations based on a subject-directed matching of distal objects to patterns of stimuli from the SSD which the subject takes to have the corresponding hedonic properties. We evaluate some problems with both strategies, and we argue that the feedback-based strategy is more promising. Researchers can use this strategy to help the blind, allowing them to take pleasure in the objects they perceive using SSDs. (shrink)

Fundamental to Quine’s philosophy of logic is the thesis that substitutional quantification does not express existence. This paper considers the content of this claim and the reasons for thinking it is true.

The aim of this article is to provide a plausible conceptual model of a specific use of images described as substitution in recent art-historical literature. I bring to light the largely implicit shared commitments of the art historians’ discussion of substitution, each working as they do in a different idiom, and I draw consequences from these commitments for the concept of substitution by image—the major being the distinction between nonportraying substitution and substitution by portrayal. I then develop an argument that (...) substitution by image in the desired, nonportraying sense needs to be thought of in terms of a figurative representation of an image’s subject as a generic object, what I will call its figurative instantiation. (shrink)

This report highlights and explores five questions that arose from the workshop on sensory substitution and augmentation at the British Academy, March 26th through 28th, 2013.

This is an excerpt from a report on the Sensory Substitution and Augmentation Conference at the British Academy in March of 2013. This portion of the report explores the question: Does sensory substitution generate perceptual or cognitive states?

This paper explores an idea of Stoic descent that is largely neglected nowadays, the idea that an argument is valid when the conditional formed by the conjunction of its premises as antecedent and its conclusion as consequent is true. As it will be argued, once some basic features of our naıve understanding of validity are properly spelled out, and a suitable account of conditionals is adopted, the equivalence between valid arguments and true conditionals makes perfect sense. The account of (...) validity outlined here, which displays one coherent way to articulate the Stoic intuition, accords with standard formal treatments of deductive validity and encompasses an independently grounded characterization of inductive validity. (shrink)

This is an excerpt from a report on the Sensory Substitution and Augmentation Conference at the British Academy in March of 2013. This portion of the report explores the question: How does sensory substitution interact with the brain’s architecture?

This paper looks at the question of what it means for a psychological test to have construct validity. I approach this topic by way of an analysis of recent debates about the measurement of implicit social cognition. After showing that there is little theoretical agreement about implicit social cognition, and that the predictive validity of implicit tests appears to be low, I turn to a debate about their construct validity. I show that there are two questions at (...) stake: First, what level of detail and precision does a construct have to possess such that a test can in principle be valid relative to it? And second, what kind of evidence needs to be in place such that a test can be regarded as validated relative to a given construct? I argue that construct validity is not an all-or-nothing affair. It can come in degrees, because both our constructs and our knowledge of the explanatory relation between constructs and data can vary in accuracy and level of detail, and a test can fail to measure all of the features associated with a construct. I conclude by arguing in favor of greater philosophical attention to processes of construct development. (shrink)

What is a valid measuring instrument? Recent philosophy has attended to logic of justification of measures, such as construct validation, but not to the question of what it means for an instrument to be a valid measure of a construct. A prominent approach grounds validity in the existence of a causal link between the attribute and its detectable manifestations. Some of its proponents claim that, therefore, validity does not depend on pragmatics and research context. In this paper, I (...) cast doubt on the possibility of a context-independent causal account of validity. I assess several versions, arguing that all of them fail to judge the validity of measuring instruments correctly. Because different research purposes require different properties from measuring instruments, no account of validity succeeds without referring to the specific research purpose that creates the need for measurement in the first place. (shrink)

The 'substitution argument' purports to demonstrate the falsity of Russellian accounts of belief-ascription by observing that, e.g., these two sentences: (LC) Lois believes that Clark can fly. (LS) Lois believes that Superman can fly. could have different truth-values. But what is the basis for that claim? It seems widely to be supposed, especially by Russellians, that it is simply an 'intuition', one that could then be 'explained away'. And this supposition plays an especially important role in Jennifer Saul's defense of (...) Russellianism, based upon the existence of an allegedly similar contrast between these two sentences: (PC) Superman is more popular than Clark. (PS) Superman is more popular than Superman. The latter contrast looks pragmatic. But then, Saul asks, why shouldn't we then say the same about the former? The answer to this question is that the two cases simply are not similar. In the case of (PC) and (PS), we have only the facts that these strike us differently, and that people will sometimes say things like (PC), whereas they will never say things like (PS). By contrast, there is an argument to be given that (LS) can be true even if (LC) is false, and this argument does not appeal to anyone's 'intuitions'. The main goal of the paper is to present such a version of the substitution argument, building upon the treatment of the Fregan argument against Russellian accounts of belief itself in "Solving Frege's Puzzle". A subsidiary goal is to contribute to the growing literature arguing that 'intuitions' simply do not play the sort of role in philosophical inquiry that so-called 'experimental philosophers' have supposed they do. (shrink)

Psychiatric research is in crisis because of repeated failures to discover new drugs for mental disorders. Lack of measurement validity could partly account for these failures. If researchers do not actually measure the effects of drugs on the disorders they aim to investigate, one should expect suboptimal treatment outcomes. I argue that this is the case, focusing on depression, and fear & anxiety disorders. In doing so, I show how psychiatric research illustrates a more general phenomenon that I call (...) “validity drift.” A validity drift occurs when, in the course of developing new measurement procedures, researchers end up studying something different from what they originally aimed to study. I analyze the different ways in which scientists attempt to validate procedures for measuring mental disorders for the purpose of testing drugs in animal models. I show how those validation efforts might fail, thereby leading to validity drifts. Overall, this analysis highlights the complex interplay between the development of new measurement procedures, their calibration, and scientific theories of the target phenomena. (shrink)

Can judging that an agent blamelessly broke a rule lead us to claim, paradoxically, that no rule was broken at all? Surprisingly, it can. Across seven experiments, we document and explain the phenomenon of excuse validation. We found when an agent blamelessly breaks a rule, it significantly distorts people’s description of the agent’s conduct. Roughly half of people deny that a rule was broken. The results suggest that people engage in excuse validation in order to avoid indirectly blaming others for (...) blameless transgressions. Excuse validation has implications for recent debates in normative ethics, epistemology and the philosophy of language. These debates have featured thought experiments perfectly designed to trigger excuse validation, inhibiting progress in these areas. (shrink)

Beall and Murzi :143–165, 2013) introduce an object-linguistic predicate for naïve validity, governed by intuitive principles that are inconsistent with the classical structural rules. As a consequence, they suggest that revisionary approaches to semantic paradox must be substructural. In response to Beall and Murzi, Field :1–19, 2017) has argued that naïve validity principles do not admit of a coherent reading and that, for this reason, a non-classical solution to the semantic paradoxes need not be substructural. The aim of (...) this paper is to respond to Field’s objections and to point to a coherent notion of validity which underwrites a coherent reading of Beall and Murzi’s principles: grounded validity. The notion, first introduced by Nicolai and Rossi, is a generalisation of Kripke’s notion of grounded truth, and yields an irreflexive logic. While we do not advocate the adoption of a substructural logic, we take the notion of naïve validity to be a legitimate semantic notion that points to genuine expressive limitations of fully structural revisionary approaches. (shrink)

The paper argues that philosophers commonly misidentify the substitutivity principle involved in Russell’s puzzle about substitutivity in “On Denoting”. This matters because when that principle is properly identified the puzzle becomes considerably sharper and more interesting than it is often taken to be. This article describes both the puzzle itself and Russell's solution to it, which involves resources beyond the theory of descriptions. It then explores the epistemological and metaphysical consequences of that solution. One such consequence, it argues, is that (...) Russell must abandon his commitment to propositions. (shrink)

In perceptual experience we are directed towards objects in a way which establishes a real relation between a mental act and its target. In reading works of fiction we enjoy experiences which manifest certain internal similarities to such relational acts, but which lack objects. The substitution theory of art attempts to provide a reason why we seek out such experiences and the artifacts which they generate. Briefly, we seek out works of art because we enjoy the physiology and the phenomenology (...) of, for example, the experience of love or mountain climbing, and works of art serve as props for the promotion of substitutes for the corresponding genuine feelings. Art arose, or came to be separated out from other, related phenomena, through the discovery that the experience of substitute emotions can be pleasurable. (shrink)

What are people who disagree about logic disagreeing about? The paper argues that (in a wide range of cases) they are primarily disagreeing about how to regulate their degrees of belief. An analogy is drawn between beliefs about validity and beliefs about chance: both sorts of belief serve primarily to regulate degrees of belief about other matters, but in both cases the concepts have a kind of objectivity nonetheless.

How do philosophers and psychologists receive paradigmatic cases from pathology? More specifically, how are some essential features of ‘normal’ cognitive, affective or perceptual functions derived from these pathological cases? In this paper, I argue that Maurice Merleau-Ponty offers a fecund answer to this question by putting forth a logic of supplementation in pathology that distinguishes the coping behavior of the organic world in contrast to an inorganic one. Supplementation, instead of substitution, marks the world of the living, particularly in its (...) higher forms, as it denotes a persistence through impairment governed by an organic norm. A prominent example of this appears in his reading of the patient Schneider case, a classic example from Goldstein and Gelb’s Gestalt psychology. While earlier commentators were interested in underlying whether or not Merleau-Ponty used this example to denote the persistence of a key function or the disruption of another, what has been missed, on my view, is a far more consequential point about pathologies and how they structure our relation to our world. -/- . (shrink)

If someone unintentionally breaks the rules, do they break the rules? In the abstract, the answer is obviously “yes.” But, surprisingly, when considering specific examples of unintentional, blameless rule-breaking, approximately half of people judge that no rule was broken. This effect, known as excuse validation, has previously been observed in American adults. Outstanding questions concern what causes excuse validation, and whether it is peculiar to American moral psychology or cross-culturally robust. The present paper studies the phenomenon cross-culturally, focusing on Korean (...) and American adults, and proposes a new explanation of why people engage in excuse validation, in terms of competing forces in human norm-psychology. The principal findings are that Americans and Koreans engaged in excuse validation at similar levels, and older adults were more likely to engage in excuse validation. (shrink)

Expressivism is a blossoming meta-semantic framework sometimes relying on what Carter and Chrisman call “the core expressivist maneuver.” That is, instead of asking about the nature of a certain kind of value, we should be asking about the nature of the value judgment in question. According to expressivists, this question substitution opens theoretical space for the elegant, economical, and explanatorily powerful expressivist treatment of the relevant domain. I argue, however, that experimental work in cognitive psychology can shed light on how (...) the core expressivist maneuver operates at the cognitive level and that this: raises worries about the aptness of the expressivist question substitution and supports an evolutionary debunking argument against expressivism. Since evolutionary debunking arguments are usually run in favor of expressivism, this creates an obvious puzzle for expressivists. I wrap up by briefly responding to the objection that the debunking argument against expressivism overgeneralizes and, therefore, should be rejected. (shrink)

Thomas Hofweber takes the semantic paradoxes to motivate a radical reconceptualization of logical validity, rejecting the idea that an inference rule is valid just in case every instance thereof is necessarily truth-preserving. Rather than this “strict validity”, we should identify validity with “generic validity”, where a rule is generically valid just in case its instances are truth preserving, and where this last sentence is a generic, like “Bears are dangerous”. While sympathetic to Hofweber’s view that strict (...) validity should be replaced by something allowing for exceptions, I argue that this should instead be truth-conduciveness, a matter of a large majority of instances being truth-preserving. The fact that inference rules have uncountably many instances, I argue, can be handled by defining truth-conduciveness as relative to finite sets of instances. Moreover, I argue that Hofweber’s position, while seemingly radical, may be less so under closer scrutiny. For the mere claim that classical rules and unrestricted truth rules are generically valid (or truth-conducive) is not in itself controversial. Also, if there is an answer to the question of which of these are also strictly valid, then the claim that generic validity is the central notion in logic is at most an interest-relative matter, since there is then also a fact of the matter as to which inference rules are (not) strictly valid. If no solution operating with strict validity to the paradoxes can be had, however, then the claim that validity should be identified with a weaker notion is better motivated. I argue that it is reasonable, in view of past failures, to conjecture that no ordinary solution will score high enough relative to standard (uncontroversial) desiderata to merit justified belief. Hence, it is unknowable which solution is correct. I further argue that this is best explained by its being metaphysically indeterminate which solution is correct. If this conjecture is true, then we ought instead to think of validity as allowing exceptions, and then take the “true logic” to be one that takes both the classical rules and the truth rules to be valid, i.e., truth-conducive. This logic scores very high on the desiderata on logics, and is therefore preferable to any logic operating with strict validity. (shrink)

This paper proposes substitutional definitions of logical truth and consequence in terms of relative interpretations that are extensionally equivalent to the model-theoretic definitions for any relational first-order language. Our philosophical motivation to consider substitutional definitions is based on the hope to simplify the meta-theory of logical consequence. We discuss to what extent our definitions can contribute to that.

Is the brain the biological substrate of consciousness? Most naturalistic philosophers of mind have supposed that the answer must obviously be «yes » to this question. However, a growing number of philosophers working in 4e (embodied, embedded, extended, enactive) cognitive science have begun to challenge this assumption, arguing instead that consciousness supervenes on the whole embodied animal in dynamic interaction with the environment. We call views that share this claim dynamic sensorimotor theories of consciousness (DSM). Clark (2009) a founder and (...) leading proponent of the hypothesis of the extended mind, demurs, arguing that as matter of fact the biology of consciousness doesn’t allow for a brain, body and world boundary crossing architecture. We begin by looking at one of the arguments for DSM, the variable neural correlates argument. We then outline two criticisms that Clark has made of this argument and endorse his criticisms. However we finish up by using the case of sensory substitution to argue that something of this argument for DSM nevertheless survives. We suggest that Clark ought to concede sensory substitution as a case in which the conscious mind extends. (shrink)

According to a standard story, part of what we have in mind when we say that an argument is valid is that it is necessarily truth preserving: if the premises are true, the conclusion must also be true. But—the story continues—that’s not enough, since ‘Roses are red, therefore roses are coloured’ for example, while it may be necessarily truth-preserving, is not so in virtue of form. Thus we arrive at a standard contemporary characterisation of validity: an argument is valid (...) when it is NTP in virtue of form. Here I argue that we can and should drop the N; the resulting account is simpler, less problematic, and performs just as well with examples. (shrink)

While Thomas Kuhn's theory of scientific revolutions does not specifically deal with validation, the validation of simulations can be related in various ways to Kuhn's theory: 1) Computer simulations are sometimes depicted as located between experiments and theoretical reasoning, thus potentially blurring the line between theory and empirical research. Does this require a new kind of research logic that is different from the classical paradigm which clearly distinguishes between theory and empirical observation? I argue that this is not the case. (...) 2) Another typical feature of computer simulations is their being ``motley'' (Winsberg 2003) with respect to the various premises that enter into simulations. A possible consequence is that in case of failure it can become difficult to tell which of the premises is to blame. Could this issue be understood as fostering Kuhn's mild relativism with respect to theory choice? I argue that there is no need to worry about relativism with respect to computer simulations, in particular. 3) The field of social simulations, in particular, still lacks a common understanding concerning the requirements of empirical validation of simulations. Does this mean that social simulations are still in a pre-scientific state in the sense of Kuhn? My conclusion is that despite ongoing efforts to promote quality standards in this field, lack of proper validation is still a problem of many published simulation studies and that, at least large parts of social simulations must be considered as pre-scientific. (shrink)