Quine claims that holism (i.e., the Quine-Duhem thesis) prevents us from defining synonymy and analyticity (section 2). In Word and Object, he dismisses a notion of synonymy which works well even if holism is true. The notion goes back to a proposal from Grice and Strawson and runs thus: R and S are synonymous iff for all sentences T we have that the logical conjunction of R and T is stimulus-synonymous to that of S and T. Whereas (...) Grice and Strawson did not attempt to defend this definition, I try to show that it indeed gives us a satisfactory account of synonymy. Contrary to Quine, the notion is tighter than stimulus-synonymy – particularly when applied to sentences with less than critical semantic mass (section 3). Now according to Quine, analyticity could be defined in terms of synonymy, if synonymy were to make sense: A sentence is analytic iff synonymous to self-conditionals. This leads us to the following notion of analyticity: S is analytic iff, for all sentences T, the logical conjunction of S and T is stimulus-synonymous to T; an analytic sentence does not change the semantic mass of any theory to which it may be conjoined (section 4). This notion is tighter than Quine's stimulus-analyticity; unlike stimulus-analyticity, it does not apply to those sentences from the very center of our theories which can be assented to come what may, even though they are not synthetic in the intuitive sense (section 5). Conclusion: We can have well-defined notions of synonymy and analyticity even if we embrace Quine's holism, naturalism, behaviorism, and radical translation. Quine's meaning skepticism is to be repudiated on Quinean grounds. (shrink)

Quine claims that holism (i.e., the Quine-Duhem thesis) prevents us from defining synonymy and analyticity (section 2). In "Word and Object," he dismisses a notion of synonymy which works well even if holism is true. The notion goes back to a proposal from Grice and Strawson and runs thus: R and S are synonymous iff for all sentences T we have that the logical conjunction of R and T is stimulus-synonymous to that of S and T. Whereas (...) Grice and Strawson did not attempt to defend this definition, I try to show that it indeed gives us a satisfactory account of synonymy. Contrary to Quine, the notion is tighter than stimulus-synonymy -- particularly when applied to sentences with less than critical semantic mass (section 3). Now according to Quine, analyticity could be defined in terms of synonymy, if synonymy were to make sense: A sentence is analytic iff synonymous to self-conditionals. This leads us to the following notion of analyticity: S is analytic iff, for all sentences T, the logical conjunction of S and T is stimulus-synonymous to T; an analytic sentence does not change the semantic mass of any theory to which it may be conjoined (section 4). This notion is tighter than Quine's stimulus-analyticity; unlike stimulus-analyticity, it does not apply to those sentences from the very center of our theories which can be assented to come what may, even though they are not synthetic in the intuitive sense (section 5). (shrink)

Alonzo Church provided three criteria for “strict synonymy”, i.e., sameness of semantic content: Alternatives (0), (1), and (2)--in order of increasing course-grainedness of content. On (2) expressions are strictly synonymous iff they are logically equivalent. (1) is a significant improvement over (2). On (1) expressions are synonymous iff they are lambda-convertible. Even on (1), assuming the Millian account of proper names, ‘Tully admires Cicero’ is deemed synonymous with ‘Cicero is self-admiring’. On (0) expressions are strictly synonymous iff they are (...) “synonymously isomorphic” in Church’s sense. A fourth alternative, here called ‘(3)’, has been maintained by several philosophers. On (3) expressions are strictly synonymous iff they are co-intensional. In particular, sentences are strictly synonymous iff they are true with resect to the same possible worlds. This criterion’s notion of content is even more course grained than that of (2). Several objections to (3) are considered. (shrink)

Synonymy, at its most basic, is sameness of meaning. A token-reflexive expression is an expression whose meaning assigns a referent to its tokens by relating each particular token of that particular expression to its referent. In doing so, the formulation of its meaning mentions the particular expression whose meaning it is. This seems to entail that no two token-reflexive expressions are synonymous, which would constitute a strong objection against token-reflexive semantics. In this paper, I propose and defend a notion (...) of synonymy for token-reflexive expressions that allows such expressions to be synonymous, while being a fairly conservative extension of the customary notion of synonymy. (shrink)

Resolution of Frege's Puzzle by denying that synonym substitution in logical truths preserves sentence sense and explaining how logical form has semantic import. Intensional context substitutions needn't preserve truth, because intercepting doesn't preserve sentence meaning. Intercepting is nonuniformly substituting a pivotal term in syntactically secured truth. Logical sentences and their synonym interceptions share factual content. Semantic content is factual content in synthetic predications, but not logical sentences and interceptions. Putnam's Postulate entails interception nonsynonymy. Syntax and vocabulary explain only the factual (...) content of synthetic predications; extrasentential reality explains their truth. Construction of logical factual content explains logical necessity. Terms retain objectual reference, but logical syntax preempts their function in explaining truth. Grasping the facts GG/gg assert entails understanding this. Understanding what GH states requires some recognition that GH must be true just because GmH, and GmH state an empirical fact. GH is standardly used to express that fact. Church's Test exposes puzzles. QMi sentences, and QTi sentences are metalogical necessities, true by syntax. Intercepting QMi creates empirical QM contingencies. Synonymy turns semantic contingencies into metalogical and lexical necessities. That transformation is syntactic, via the syntactic duality of definite descriptions. GmH is a contingent copredication, and a lexically necessary referential identity with rigidly codesignating indexicals. Metalogical sentences may be about expressional matter or what it expresses. GG has GG's semantic content, but the referent expression switches. Metalogical syntax secures truth by self-referential quotational indexing. Metalogically, referents are identified with intrasentential replica. Extrasentential identifications are metalogically irrelevant. (shrink)

Sentences \(\varphi\) and \(\psi\) are _cognitive synonyms_ for one when they play the same role in one’s cognitive life. The notion is pervasive (Sect. 1 ), but elusive: it is bound to be hyperintensional (Sect. 2 ), but excessive fine-graining would trivialize it and there are reasons for some coarse-graining (Sect. 2.1 ). Conceptual limitations stand in the way of a natural algebra (Sect. 2.2 ), and it should be sensitive to subject matters (Sect. 2.3 ). A cognitively adequate individuation (...) of content may be intransitive (Sect. 3 ) due to ‘dead parrot’ series: sequences of sentences \(\varphi _1, \ldots, \varphi _n\) where adjacent \(\varphi _i\) and \(\varphi _{i+1}\) are cognitive synonyms while \(\varphi _1\) and \(\varphi _n\) are not (Sect. 3.1 ). Finding an intransitive account is hard: Fregean equipollence won’t do (Sect. 3.2 ) and a result by Leitgeb shows that it wouldn’t satisfy a minimal compositionality principle (Sect. 3.3 )._Sed contra_, there are reasons for transitivity, too (Sect. 3.4 ). In Sect. 4, we come up with a formal semantics capturing this jumble of desiderata, thereby showing that the notion is coherent. In Sect. 5, we re-assess the desiderata in its light. (shrink)

Quine behauptet, dass uns der Holismus (d.h. die Quine/Duhem-These) daran hindert, Synonymie zu definieren. In "Word and Object" weist er einen Synonymiebegriff zurück, der selbst dann gut funktioniert, wenn der Holismus zutrifft. Dieser Begriff lässt sich so definieren: R und S sind synonym, wenn für alle Sätze T die logische Konjunktion aus R und T reizsynonym zur Konjunktion aus S und T ist. Dieser Begriff entgeht Quines bedeutungsskeptischen, holistischen Einwänden. Anders als Quine gemeint hat, ist der Begriff enger als sein (...) Begriff der Reizsynonymie – insbesondere bei Anwendung auf Sätze mit weniger als kritischer semantischer Masse. Fazit: Wir können Synonymie selbst dann sauber definieren, wenn wir Quines Holismus, Naturalismus, Behaviorismus und radikale Übersetzung mitmachen. Quines Bedeutungsskepsis sollte sogar auf Quines eigenem Territorium zurückgewiesen werden. (shrink)

Perceptual processes differ from cognitive, this paper argues, in functioning to be causally controlled by proximal stimuli, and being modular, at least in a modest sense that excludes their being isotropic in Jerry Fodor's sense. This claim agrees with such theorists as Jacob Beck and Ben Phillips that a function of stimulus-control is needed for perceptual status. In support of this necessity claim, I argue, inter alia, that E.J. Green's recent architectural account misclassifies processes deploying knowledge of grammar as (...) perceptual. _Pace_ Beck and Phillips, however, I argue a function of stimulus-control is insufficient for perceptual as opposed to cognitive status. One consideration in favour of such insufficiency, noted but (I argue) not convincingly rebutted by these theorists, concerns perpetually grounded demonstrative thought. Two other considerations trade on the fact that a function of stimulus-control can arise not from blind nature but intentional design or social institutions, where so-functioning processes may but need not be perceptual. I offer two cases where such processes are cognitive, viz. skilful play-by-play announcing of ongoing events, and voluntary visualizing of ongoing events under the guidance of apt play-by-play announcements, dubbed announcement-driven visualizing (ADV). The cognitive status of these three diverse phenomena cannot be explained by an absence of a perception-like representational format or content (for ADV has such) or by a presence of personal-level mental states causally mediating between stimuli and outputs (for perception has such). A bettter explanation invokes, I argue, the non-modular character of the generating process. (shrink)

Analyticity is a bogus explanatory concept, and is so even granting genuine synonomy. Definitions can't explain the truth of a statement, let alone its necessity and/or our a priori knowledge of it. The illusion of an explanation is revealed by exposing diverse confusions: e.g., between nominal, conceptual and real definitions, and correspondingly between notational, conceptual, and objectual readings of alleged analytic truths, and between speaking a language and operating a calculus. The putative explananda of analyticity are (alleged) truths about essential (...) properties. Real definitions (a la Socrates) are the (alleged) explananda, not the explanans of analyticity. Their truth can be explained neither by conceptual definitions (a la Kant), nor by nominal definitions (a la Frege). The Quinean assault on synonomy is unsuccessful and in any case misplaced, because analyticity turns on the explanatory import of synonomy, not its existence. Synonym substitution in a logical truth cannot yield a necessary truth for it doesn't preserve logical form. Self-identity statements (for properties and/or individuals) differ in logical form from alter-identity statements. (shrink)

Noam Chomsky's Poverty of the Stimulus Argument is one of the most famous and controversial arguments in the study of language and the mind. Though widely endorsed by linguists, the argument has met with much resistance in philosophy. Unfortunately, philosophical critics have often failed to fully appreciate the power of the argument. In this paper, we provide a systematic presentation of the Poverty of the Stimulus Argument, clarifying its structure, content, and evidential base. We defend the argument against (...) a variety of philosophical criticisms, new and old, and argue that the Poverty of the Stimulus Argument continues to deserve its guiding role in the study of language and the mind. (shrink)

In this paper it is shown how a formal theory of interpretation in Montague’s style can be reconciled with a view on meaning as a social construct. We sketch a formal theory in which agents can have their own theory of interpretation and in which groups can have common theories of interpretation. Frege solved the problem how different persons can have access to the same proposition by placing the proposition in a Platonic realm, independent from all language users but accessible (...) to all of them. Here we explore the alternative of letting meaning be socially constructed. The meaning of a sentence is accessible to each member of a linguistic community because the way the sentence is to be interpreted is common knowledge among the members of that community. Misunderstandings can arise when the semantic knowledge of two or more individuals is not completely in sync. (shrink)

In this paper I provide some formal schemas for the analysis of vague predicates in terms of a set of semantic relations other than classical synonymy, including weak synonymy (as between "large" and "huge"), antonymy (as between "large" and "small"), relativity (as between "large" and "large for a dog"), and a kind of supervenience (as between "large" and "wide" or "long"). All of these relations are representable in the simple comparative logic CL, in accordance with the basic formula: (...) the more something is F, the more (or less) it is G. I use Carnapian meaning postulates to define these relations as constraints on interpretations of the formal language of CL. (shrink)

The article is dedicated to the popular argument among nativists, who use it against the empiricist approach. We analyze the strongest objection against the poverty of the stimulus argument which is the curry argument. As a result of the critical consideration of the poverty of the stimulus discussion, we conclude that the curry argument is quite sound.

Traditionally, vision science and information/data visualization have interacted by using knowledge of human vision to help design effective displays. It is argued here, however, that this interaction can also go in the opposite direction: the investigation of successful visualizations can lead to the discovery of interesting new issues and phenomena in visual perception. Various studies are reviewed showing how this has been done for two areas of visualization, namely, graphical representations and interaction, which lend themselves to work on visual processing (...) and the control of visual operations, respectively. The results of these studies have provided new insights into aspects of vision such as grouping, attentional selection and the sequencing of visual operations. More generally yet, such results support the view that the perception of visualizations can be a useful domain for exploring the nature of visual cognition, inspiring new kinds of questions as well as casting new light on the limits to which information can be conveyed visually. (shrink)

Recent studies have demonstrated neural overlap between resting state activity and self-referential processing. This “rest-self” overlap occurs especially in anterior cortical midline structures like the perigenual anterior cingulate cortex (PACC). However, the exact neurotemporal and biochemical mechanisms remain to be identified. Therefore, we conducted a combined electroencephalography (EEG)-magnetic resonance spectroscopy (MRS) study. EEG focused on pre-stimulus (e.g., prior to stimulus presentation or perception) power changes to assess the degree to which those changes can predict subjects’ perception (and judgment) (...) of subsequent stimuli as high or low self-related. MRS measured resting state concentration of glutamate, focusing on PACC. High pre-stimulus (e.g., prior to stimulus presentation or perception) alpha power significantly correlated with both perception of stimuli judged to be highly self-related and with resting state glutamate concentrations in the PACC. In sum, our results show (i) pre-stimulus (e.g., prior to stimulus presentation or perception) alpha power and resting state glutamate concentration to mediate rest-self overlap that (ii) dispose or incline subjects to assign high degrees of self-relatedness to perceptual stimuli. (shrink)

Given the ever-present subject of consciousness wherever consciousness is, it is peculiar that consciousness researchers often mention mental states as if they are conscious independently of being the conscious states of someone [1, p. 132]. We refer to visual perceptions that become conscious, when in reality no one has ever studied mere conscious visual perceptions. What are studied are visual perceptions belonging to conscious human or animal subjects; it is the subjects who are conscious of visual stimuli, not the visual (...) perceptions. I do not know all the reasons why conscious subjects are rarely mentioned in consciousness science, but one could be pragmatic. Explaining the mysterious jump from the nonconscious nuts and bolts of neurons to the aurora borealis of consciousness is a hard problem. But it is an easy problem compared to explaining the emergence of a single conscious subject from the human brain’s 86 billion neurons [cf. 5]. Perhaps it is more practically realistic to solve the less hard problem before attempting to solve the harder hard problem. On the other hand, if we ignore a necessary condition for the presence of consciousness, our explanations of it could be plagued by inadequacy. And how can we explain our whole data set regarding consciousness if we neglect the most fundamental aspect of the data? (shrink)

Dans Word and Object, Quine propose explicitement une définition de la notion de signification-stimulus dans les termes du behaviorisme. Cette caractérisation est commandée par son naturalisme, qui consiste à faire de la philosophie une partie de la science empirique. Il est néanmoins généralement admis que la science entend décrire les phénomènes tandis qu’à la suite du tournant linguistique, la philosophie se concentre sur le langage. Dans ces conditions, il est légitime de chercher à déterminer le statut logique que l’on (...) doit assigner à la notion de signification-stimulus chez Quine. Nous présentons à cet effet trois procédures langagières bien distinctes dans la littérature. Nous ébauchons ensuite le cadre théorique dans lequel se situe la notion de signification-stimulus avant d’en proposer une reconstruction rationnelle en termes neurophysiologiques. Ces considérations apportées, nous montrons que la caractérisation que Quine donne de cette notion constitue non une définition, mais une explication. (shrink)

"From Stimulus to Science" crystallises one of America's most celebrated philosophers' thinking of a lifetime on naturalised epistemology. This slim volume grew out of Quine's Ferrarer Mora Lectures of 1990 at the Universitat de Girona in Catalonia. Its overarching theme can fairly be described as rational reconstruction of the passage to mature, predictive scientific theory from “...the mere impacts of rays and particles on our surfaces and a few odds and ends such as the strain of walking uphill” (p. (...) 16). (shrink)

Social experimental research commonly employs media to elicit responses from research subjects. This use of media is broadly protected under fair use exemptions to copyright, and creators of content used in experiments are generally not afforded any formal consideration or protections in existing research ethics frameworks. Online social networking sites are an emerging and important setting for social experiments, and in this context the material used to elicit responses is often content produced by other users. This article argues that users (...) may have a reasonable interest in controlling the use of their content in experiments conducted in online social networks. Matters of risk and autonomy in research ethics are explored by analogy to active debates in law over adhesion contracts, moral rights, and the right to be forgotten. The article concludes by considering practical difficulties in identifying and protecting the interests of creators. (shrink)

Wer eine philosophische Bedeutungstheorie aufstellen möchte, sollte u.a. den Begriff der Synonymie (Bedeutungsgleichheit) zu klären versuchen. Ein Hauptproblem für dies bedeutungstheoretische Projekt hängt mit dem Holismus der Quine/Duhem-These zusammen: Dieser holistischen These zufolge findet die Überprüfung unserer Behauptungen über die Welt nicht auf der Ebene des einzelnen Satzes statt, sondern auf der Ebene ganzer Theorien (Abschnitt I). Wenn wir z.B. aus Davidsons Bedeutungskonzeption Aufschlüsse über Synonymie extrahieren wollen, dann stolpern wir über Quines Holismus. Falls Davidsons Theorie gar nicht für Synonymie (...) aufkommen möchte, ist diese Theorie zumindest unvollständig (Abschnitt II). Dies Verdikt trifft natürlich nur zu, wenn es überhaupt möglich ist, im Rahmen von Quines Holismus einen Begriff der Synonymie einzuführen. Dass dies möglich ist, zeige ich (gegen Quine) im Abschnitt III, indem ich verifikationalistische und falsifikationalistische Theoriestücke zu einer neuen empiristischen Bedeutungstheorie ausbaue, in deren Rahmen sinnvoll über Synonymie gesprochen werden kann. Im Abschnitt IV wird dies positive Resultat zur Verteidigung des Begriffs des analytischen Satzes herangezogen. (shrink)

View more Abstract If logical truth is necessitated by sheer syntax, mathematics is categorially unlike logic even if all mathematics derives from definitions and logical principles. This contrast gets obscured by the plausibility of the Synonym Substitution Principle implicit in conceptions of analyticity: synonym substitution cannot alter sentence sense. The Principle obviously fails with intercepting: nonuniform term substitution in logical sentences. ‘Televisions are televisions’ and ‘TVs are televisions’ neither sound alike nor are used interchangeably. Interception synonymy gets assumed because (...) logical sentences and their synomic interceptions have identical factual content, which seems to exhaust semantic content. However, intercepting alters syntax by eliminating term recurrence, the sole strictly syntactic means of ensuring necessary term coextension, and thereby syntactically securing necessary truth. Interceptional necessity is lexical, a notational artifact. The denial of interception nonsynonymy and the disregard of term recurrence in logic link with many misconceptions about propositions, logical form, conventions, and metalanguages. Mathematics is distinct from logic: its truth is not syntactic; it is transmitted by synonym substitution; term recurrence has no essential role. The ‘=’ of mathematics is an objectual relation between numbers; the ‘=’ of logic marks a syntactic relation of coreferring terms. -/- . (shrink)

Perception of time is susceptible to distortions; among other factors, it has been suggested that the perceived duration of a stimulus is affected by the observer’s expectations. It has been hypothesized that the duration of an oddball stimulus is overestimated because it is unexpected, whereas repeated stimuli have a shorter perceived duration because they are expected. However, recent findings suggest instead that fulfilled expectations about a stimulus elicit an increase in perceived duration, and that the oddball effect (...) occurs because the oddball is a target stimulus, not because it is unexpected. Therefore, it has been suggested that top-down attention is sometimes sufficient to explain this effect, and sometimes only necessary, with an additional contribution from saliency. However, how the expectedness of a target stimulus and its salient features affect its perceived duration is still an open question. In the present study, participants’ expectations about and the saliency of target stimuli were orthogonally manipulated with stimuli presented on a short (Experiment 1) or long (Experiment 2) temporal scale. Four repetitive standard stimuli preceded each target stimulus in a task in which participants judged whether the target was longer or shorter in duration than the standards. Engagement of top-down attention to target stimuli increased their perceived duration to the same extent irrespective of their expectedness. A small but significant additional contribution to this effect from the saliency of target stimuli was dependent on the temporal scale of stimulus presentation. In Experiment 1, saliency only significantly increased perceived duration in the case of expected target stimuli. In contrast, in Experiment 2, saliency exerted a significant effect on the overestimation elicited by unexpected target stimuli, but the contribution of this variable was eliminated in the case of expected target stimuli. These findings point to top-down attention as the primary cognitive mechanism underlying the perceptual extraction and processing of task-relevant information, which may be strongly correlated with perceived duration. Furthermore, the scalar properties of timing were observed, favoring the pacemaker-accumulator model of timing as the underlying timing mechanism. (shrink)

Spontaneous activity levels prior to stimulus presentation can determine how that stimulus will be perceived. It has also been proposed that such spontaneous activity, particularly in the default-mode network (DMN), is involved in self-related processing. We therefore hypothesised that pre-stimulus activity levels in the DMN predict whether a stimulus is judged as self-related or not. Method: Participants were presented in the MRI scanner with a white noise stimulus that they were instructed contained their name or (...) another. They then had to respond with which name they thought they heard. Regions where there was an activity level difference between self and other response trials two seconds prior to the stimulus being presented were identified. Results: Pre-stimulus activity levels were higher in the right temporoparietal junction (RTPJ), the right temporal pole (RTP), and the left superior temporal gyrus in trials where the participant responded that they heard their own name than trials where they responded that they heard another. Conclusion: Pre-stimulus spontaneous activity levels in particular brain regions, largely overlapping with the DMN, predict the subsequent judgement of stimuli as self-related. This extends our current knowledge of self-related processing and its apparent relationship with intrinsic brain activity in what can be termed a rest-self overlap. (shrink)

The innate knowledge problem is a classical problem in philosophy, which has been known since the classical antiquity. Plato in his dialogues Meno and Phaedo formulated the doctrine of innate ideas and proposed an early version of the poverty of the stimulus argument, which is the most frequently used argument in innate knowledge debates. In the history of philosophy there was also an opposite view. This approach is often associated with J. Locke’s philosophy. Locke thought that all our knowledge (...) about the world is a product of the universal learning mechanisms whose functioning is based on perception. The question about the presence of innate ideas in the human mind still remains relevant. New findings in cognitive science and neurosciences and also some recent arguments from philosophers contribute to the contemporary discussion between the spokesmen of the rival approaches to this problem. The paper presents the investigation of one of the approaches to solving the problem of innate concepts, which is called a “concept nativism.” It highlights the outstanding characteristics of the concept nativism: (a) domain specificity position, (b) belief that domain-specific mechanisms of learning are innate and (c) belief that at least some concepts are innate. The article also proposes an analysis of notions “innateness” and “idea” which is important for understanding nativists’ approach to innate ideas theory. And finally, it describes the most popular nativists’ arguments: (a) references to empirical studies using the preferential looking technique, (b) the poverty of the stimulus argument and (c) the argument from animals. (shrink)

Fiona Cowie's book What's Within: Nativism Reconsidered offers an important critical assessment of nativist views of the mind. She provides an account of what nativism consists in, and discusses prominent nativist views of concept acquisition and language acquisition. In the latter case, she also offers an empiricist alternative to Chomskyan nativist accounts, and claims that the main arguments for an innate language faculty—one that embodies Universal Grammar—don't work. We provide an overview of her position, focusing mostly on her views about (...) natural language, and argue that she has underestimated the power the poverty of the stimulus argument and consequently has underestimated the advantages of nativist models of language acquisition. (shrink)

Toward a theory of n-tuples of individuals and concepts as surrogates for Russellian singular propositions and singular concepts. Alonzo Church proposed a powerful and elegant theory of sequences of functions and their arguments as singular-concept surrogates. Church’s account accords with his Alternative (0), the strictest of his three competing criteria for strict synonymy. The currently popular objection to strict criteria like (0) on the basis of the Russell-Myhill paradox is misguided. Russell-Myhill is not a problem specifically for Alternative (0). (...) Rather it is a disproof of unrestricted concept comprehension. Unrestricted comprehension is also inconsistent with facts about sets of properties. It is demonstrated furthermore that the principal rival conception of propositions, as classes of possible worlds, is subject to a fatal philosophical collapse: It follows on that conception, given that each of us is fallible, that everyone believes everything. Although it is far superior to its principal rival conception, Church’s proposed theory is vulnerable under (0) to a version of Russell’s notorious Gray’s /Elegy/ objection. Some amendments to Church’s proposal are proffered that address Russell’s objection, including an amendment first proposed in the present author’s /Frege’s Puzzle/ (1986). Church’s response (personal correspondence) is considered. (shrink)

How much does stimulus input shape perception? The common-sense view is that our perceptions are representations of objects and their features and that the stimulus structures the perceptual object. The problem for this view concerns perceptual biases as responsible for distortions and the subjectivity of perceptual experience. These biases are increasingly studied as constitutive factors of brain processes in recent neuroscience. In neural network models the brain is said to cope with the plethora of sensory information by predicting (...) stimulus regularities on the basis of previous experiences. Drawing on this development, this chapter analyses perceptions as processes. Looking at olfaction as a model system, it argues for the need to abandon a stimulus-centred perspective, where smells are thought of as stable percepts, computationally linked to external objects such as odorous molecules. Perception here is presented as a measure of changing signal ratios in an environment informed by expectancy effects from top-down processes. (shrink)

The National Cancer Institute’s Thesaurus (NCIT) has been created with the goal of providing a controlled vocabulary which can be used by specialists in the various sub-domains of oncology. It is intended to be used for purposes of annotation in ways designed to ensure the integration of data and information deriving from these various sub-domains, and thus to support more powerful cross-domain inferences. In order to evaluate its suitability for this purpose, we examined the NCIT’s treatment of the kinds of (...) entities which are fundamental to an ontology of colon carcinoma. We here describe the problems we uncovered concerning classification, synonymy, relations and definitions, and we draw conclusions for the work needed to establish the NCIT as a reference ontology for the cancer domain in the future. (shrink)

The principle of compositionality requires that the meaning of a complex expression remains the same after substitution of synonymous expressions. Alleged counterexamples to compositionality seem to force a theoretical choice: either apparent synonyms are not synonyms or synonyms do not syntactically occur where they appear to occur. Some theorists have instead looked to Frege’s doctrine of “reference shift” according to which the meaning of an expression is sensitive to its linguistic context. This doctrine is alleged to retain the relevant claims (...) about synonymy and substitution while respecting the compositionality principle. Thus, Salmon (Philos Rev 115(4):415, 2006) and Glanzberg and King (Philosophers’ Imprint 20(2):1–29, 2020) offer occurrence-based accounts of variable binding, and Pagin and Westerståhl (Linguist Philos 33(5):381–415, 2010c) argue that an occurrence-based semantics delivers a compositional account of quotation. Our thesis is this: the occurrence-based strategies resolve the apparent failures of substitutivity in the same general way as the standard expression-based semantics do. So it is a myth that a Frege-inspired occurrence-based semantics affords a genuine alternative strategy. (shrink)

Expressions are synonymous if they have the same semantic content. Complex expressions are synonymously isomorphic in Alonzo Church’s sense if one is obtainable from the other by a sequence of alphabetic changes of bound variables or replacements of component expressions by syntactically simple synonyms. Synonymous isomorphism provides a very strict criterion for synonymy of sentences. Several eminent philosophers of language hold that synonymous isomorphism is not strict enough. These philosophers hold that ‘Greeks prefer Greeks’ and ‘Greeks prefer Hellenes’ express (...) different propositions even if they are synonymously isomorphic. They hold that the very recurrence (multiple occurrence) of ‘Greeks’ contributes to the proposition expressed something that indicates the very recurrence in question. Kit Fine argues that this thesis, which he labels semantic relationism calls for a radically new conception of semantics. I have argued that the relevant phenomenon is wholly pragmatic, entirely non-semantic. Here I supplement the case with a new argument. No cognition without recognition—or almost none. With this observation, standard Millianism has sufficient resources to confront Frege’s puzzle and related problems without injecting pragmatic phenomena where they do not belong. (shrink)

In his 1955 essay "Meaning and synonymy in natural languages", Rudolf Carnap presents a thought experiment wherein an investigator provides a hypothetical robot with a definition of a concept together with a description of an individual, and then asks the robot if the individual is in the extension of the concept. In this work, we show how to realize Carnap's Robot through knowledge probing of an large language model (LLM), and argue that this provides a useful cognitive tool for (...) conceptual engineers to compare the extension of a proposed concept definition to the extensional knowledge represented as facts in a given knowledge base, providing a possible solution to the implementation problem in conceptual engineering. (shrink)

It is natural to suppose the following three: factivity of knowledge, alda-know synonymy, and the univocity of alda. However, rago-knowledge attribution, expressed by “rago alda” sentences, seems to defeat to hold them at once. In this paper, I try to dissolve this predicament, analyzing “rago alda” sentence as a kind of hybrid language expression. And the theoretical advantages, which my analysis has over other possible, alternative approaches, are to be shown.

In current discussions on the problem of the metaphysical nature of the word, four factions – eliminativism, nominalism, originalism, and the type-token theory – take an active part. For eliminativism, words as separate entities do not exist; they are only a useful cognitive illusion. In the process of communication, competent speakers make sounds and inscriptions through which they are able to infer certain intentional contents of each other’s cognitive states. However, these sounds and inscriptions cannot be regarded as instances of (...) words since they do not possess the phonological and orthographic properties constitutive of words. For nominalism, by contrast, the streams of sounds and ink patterns produced by competent speakers serve as relevant instances of a particular word, or its tokens. What we usually call “words” are collections of such tokens, composed on the basis of similarity relations (phono- logical, orthographic or semantic). For originalism, the streams of sounds and ink patterns created by competent speakers are stages of words, understood as continuants, concrete ob- jects preserving identity over time, individualized by the causal history of their origin. Words are created by competent speakers through the practice of naming and spread through chains of interpersonal contact. The phonological, orthographic and semantic properties possessed by different stages of the same word are generally useless for a proper description of objects such as words. At different times of their existence, words can change any of their properties (pronunciation, spelling, and even reference) while preserving their identity in time. For the type-token theory, words are types, or abstract objects encoding a particular phonographic pattern, which in the process of communication must be instantiated by a competent native speaker by uttering or writing the appropriate token. The type-token theory has several ad- vantages over the views of eliminativism, nominalism and originalism. Firstly, it offers a unified ontology of linguistic structures (since the division into tokens and types extends here to the whole range of linguistic units, including sentences and letters). Secondly, unlike most of its competitors, it is able to present a clear operational criterion for word identity, while being consistent with most of our intuitive notions of intra- and cross-linguistic phenomena (homonymy, synonymy, etc.). (shrink)

There is no agreement on whether any invertebrates are conscious and no agreement on a methodology that could settle the issue. How can the debate move forward? I distinguish three broad types of approach: theory-heavy, theory-neutral and theory-light. Theory-heavy and theory-neutral approaches face serious problems, motivating a middle path: the theory-light approach. At the core of the theory-light approach is a minimal commitment about the relation between phenomenal consciousness and cognition that is compatible with many specific theories of consciousness: the (...) hypothesis that phenomenally conscious perception of a stimulus facilitates, relative to unconscious perception, a cluster of cognitive abilities in relation to that stimulus. This “facilitation hypothesis” can productively guide inquiry into invertebrate consciousness. What is needed? At this stage, not more theory, and not more undirected data gathering. What is needed is a systematic search for consciousness-linked cognitive abilities, their relationships to each other, and their sensitivity to masking. (shrink)

W.V.O. Quine has famously objected that (1) properties are philosophically suspect because (2) there is no entity without identity and (3) the synonymy criterion for property identity won't do because there's no such concept as synonymy. (2) and (3) may or may not be right but do not prove (1). I reply that Leiniz's Law handles property identity, as it does for everything else, then respond to a variety of objections and confusions.

In this paper I will develop a lambda-term calculus, lambda-2Int, for a bi-intuitionistic logic and discuss its implications for the notions of sense and denotation of derivations in a bilateralist setting. Thus, I will use the Curry-Howard correspondence, which has been well-established between the simply typed lambda-calculus and natural deduction systems for intuitionistic logic, and apply it to a bilateralist proof system displaying two derivability relations, one for proving and one for refuting. The basis will be the natural deduction system (...) of Wansing's bi-intuitionistic logic 2Int, which I will turn into a term-annotated form. Therefore, we need a type theory that extends to a two-sorted typed lambda-calculus. I will present such a term-annotated proof system for 2Int and prove a Dualization Theorem relating proofs and refutations in this system. On the basis of these formal results I will argue that this gives us interesting insights into questions about sense and denotation as well as synonymy and identity of proofs from a bilateralist point of view. (shrink)

Most epistemologists agree that epistemic justification is required for knowledge. This requirement is usually formulated in one of two ways: S knows that p only if S is justified in believing that p. S knows that p only if S's belief that p is justified. Surprisingly and are generally regarded as synonymous formulations of the justification condition. In Chapter 1, I argue that such a synonymy thesis is mistaken and that, in fact, and specify substantively different requirements. requires that (...) the person be justified, whereas requires that the belief in question be justified, and intuitively, these constitute different requirements. Thus, it is concluded that and employ inherently different kinds of epistemic justification in their respective analysantia. I dub them "personal justification" and "doxastic justification", respectively. The remainder of the dissertation is devoted to demonstrating both the legitimacy and the importance of the personal/doxastic justification distinction. For example, the distinction helps account for the divergent intuitions that regularly arise regarding justificatory evaluations in demon-world contexts. ;In Chapters 2 and 3 I provide analyses for doxastic and personal justification. Chapter 2 spells out an externalist reliabilist account of doxastic justification which safely avoids demon-world counterexamples. Chapter 3 advances an internalist coherence account of personal justification. In defending this coherence theory, I argue that all foundation theories are false and that the regress argument on which they are predicated is unsound. ;In Chapter 4, I propose an analysis of ordinary knowledge which only requires doxastic justification. Nevertheless personal justification plays a negative, undermining role in the analysis. I then demonstrate that this analysis of knowledge is immune to typical Gettier examples. It also remains unscathed by Harman's beefed-up Gettier cases. Finally, I consider a stronger analysis of knowledge requiring both doxastic and personal justification. Though the latter analysis proves too strong for ordinary knowledge, it remains interesting as an analysis of a more intellectualistic kind of knowledge. ;The final chapter examines the internalist/externalist controversy and demonstrates that this controversy is yet another manifestation of the personal/doxastic justification conflation. (shrink)

According to the philosophical tradition, translation is successful when one has substituted words and sentences from one language with those from another by cross-linguistic synonymy. Moreover, according to the orthodox view, the meaning of expressions and sentences of languages are determined by their basic or systematic role in a language. This makes translating normative and evaluative discourse puzzling for two reasons. First, as languages are syntactically and semantically different because of their peculiar cultural and historical influences, and as values (...) and norms differ across cultures, it is unlikely that languages will have synonymous evaluative and normative expressions. If translation is only successful by cross-linguistic synonymy, it would seem that we will not be able to translate the value theoretic claims of persons from radically different cultures. But it is with such persons that dialogue on evaluative matters is imperative, to resolve ethical and axiological differences that could be the root of conflict. Second, as the orthodox account of meaning renders it linguistically relative, it is unlikely that expressions across languages will be cross-linguistically synonymous. Thus, on the Orthodox account of translation, translation is indeterminate (as W.V.O. Quine has argued) or impossible (as Jacques Derrida has argued). In this dissertation I argue for a novel theory of meaning and translation based on innovations in the translation studies literature and my prior work in cross cultural research, which I call Text-Type Semantics or TTS. TTS explains how translation is successful while affirming radical cultural and linguistic diversity. It treats disciplinary concerns as the neutral criteria to calibrate translation. On the basis of TTS I argue that we need what I call the “Quasi-Indexical” account of thick and thin concepts (or QI) to translate normative and evaluative discourse. I argue that QI and TTS succeed where competing accounts in the moral semantics literature (such as Non-Analytic Naturalism and Expressivism) fail. The argument also shows that the relativization of truth (in philosophy and beyond) to languages and cultures is mistaken. (shrink)

While Spelke provides powerful support for concept nativism, her focus on understanding concept nativism through six innate core knowledge systems is too confining. There is also no reason to suppose that thecurse of a compositional mindconstitutes a principled reason for positing less innate structure in explaining the origins of concepts. Any solution to such problems must take into account poverty of the stimulus considerations, which argue for postulating more innate structure, not less.

It is a familiar point that many ordinary dispositions are multi-track, that is, not fully and adequately characterisable by a single conditional. In this paper, I argue that both the extent and the implications of this point have been severely underestimated. First, I provide new arguments to show that every disposition whose stimulus condition is a determinable quantity must be infinitely multi-track. Secondly, I argue that this result should incline us to move away from the standard assumption that dispositions (...) are in some way importantly linked to conditionals, as presupposed by the debate about various versions of the ‘conditional analysis’ of dispositions. I introduce an alternative conception of dispositionality, which is motivated by linguistic observations about dispositional adjectives and links dispositions to possibility instead of conditionals. I argue that, because of the multi-track nature of dispositions, the possibility-based conception of dispositions is to be preferred. (shrink)

I argue that we sometimes visually perceive the intentions of others. Just as we can see something as blue or as moving to the left, so too can we see someone as intending to evade detection or as aiming to traverse a physical obstacle. I consider the typical subject presented with the Heider and Simmel movie, a widely studied ‘animacy’ stimulus, and I argue that this subject mentally attributes proximal intentions to some of the objects in the movie. I (...) further argue that these attributions are unrevisable in a certain sense and that this result can be used to as part of an argument that these attributions are not post-perceptual thoughts. Finally, I suggest that if these attributions are visual experiences, and more particularly visual illusions, their unrevisability can be satisfyingly explained, by appealing to the mechanisms which underlie visual illusions more generally. (shrink)

This paper published in the 1999 volume of the “Logical Analysis” series serves doubles purpose. For the first, it offers a taxonomy of Russian statives (predicates of state) based on language-specific criteria, such as the (in)ability of Russian copular predicates to take animate dative subjects. For the second, it outlines the general idea that true stative predicates with an animate subject project a complex event structure with two animate participants — the Experiencer alias the Subject of State (X), and the (...) Subject of Evaluation (Y), whose role is to fix that the X is affected by the Stimulus (Z) during a time interval. The Stimulus (Z) is conceived as the Outer World or the Locus of State. X and Y can be different persons, if Y evaluates the stative spatiotemporal situation SZ from outside and concludes that some X  Y is cold, angry or disappointed during a time interval. X and Y can also be coindexed (Xi = Yi), in which case the person who experiences an affection or sensation is the primary source of information about her internal state. (shrink)

The distinction between perception and cognition frames countless debates in philosophy and cognitive science. But what, if anything, does this distinction actually amount to? In this introductory article, we summarize recent work on this question. We first briefly consider the possibility that a perception-cognition border should be eliminated from our scientific ontology, and then introduce and critically examine five positive approaches to marking a perception–cognition border, framed in terms of phenomenology, revisability, modularity, format, and stimulus-dependence.

Fear generalisation is a psychological phenomenon that occurs when fear that is elicited in response to a frightening stimulus spreads to similar or related stimuli. The practical harms of pathological fear generalisation related to trauma are well-documented, but little or no attention has been given so far to its epistemic harms. This paper fills this gap in the literature. It shows how the psychological phenomenon, when it becomes pathological, substantially curbs the epistemic agency of those who experience the fear (...) that generalizes, limiting their ability to respond to evidence, and substantially limiting their epistemic horizons. It is argued that when these epistemic harms are caused by wrongful actions and decisions of individuals or institutions, because the fear is elicited in response to a traumatic experience inflicted by them, the harms should be considered epistemic wrongs. The epistemic wrongs are closely akin to agential epistemic injustice, a variety of distributive epistemic injustice, and sometimes also involve epistemic exclusion. The paper thereby identifies a previously underexplored psychological mechanism that can be a vehicle through which both individuals and institutions can epistemically wrong others. The argument has implications for how both epistemic wrongs and epistemic injustice should be conceived, suggesting that both can occur without being caused by primarily epistemic flaws or errors, or a bad epistemic character. Finally, it highlights the advantage of taking a victim-centred approach to understanding epistemic harm. (shrink)

Does perceptual consciousness require cognitive access? Ned Block argues that it does not. Central to his case are visual memory experiments that employ post-stimulus cueing—in particular, Sperling's classic partial report studies, change-detection work by Lamme and colleagues, and a recent paper by Bronfman and colleagues that exploits our perception of ‘gist’ properties. We argue contra Block that these experiments do not support his claim. Our reinterpretations differ from previous critics' in challenging as well a longstanding and common view of (...) visual memory as involving declining capacity across a series of stores. We conclude by discussing the relation of probabilistic perceptual representations and phenomenal consciousness. (shrink)

Grice and Strawson's 'In Defense of a Dogma is admired even by revisionist Quineans such as Putnam (1962) who should know better. The analytic/synthetic distinction they defend is distinct from that which Putnam successfully rehabilitates. Theirs is the post-positivist distinction bounding a grossly enlarged analytic. It is not, as they claim, the sanctified product of a long philosophic tradition, but the cast-off of a defunct philosophy - logical positivism. The fact that the distinction can be communally drawn does not show (...) that it is based on a real difference. Subcategories that can be grouped together by enumeration will do the trick. Quine's polemical tactic (against which Grice and Strawson protest) of questioning the intelligibility of the distinction is indeed objectionable, but his argument can be revived once it is realized that 'analytic' et al. are theoretic terms, and there is no extant theory to make sense of them. Grice and Strawson's paradigm of logical impossibility is, in fact, possible. Their attempt to define synonymy in Quinean terms is a failure, nor can they retain analyticity along with the Quinean thesis of universal revisability. The dogma, in short, is indefensible. (shrink)

Artificial agents (AAs), particularly but not only those in Cyberspace, extend the class of entities that can be involved in moral situations. For they can be conceived of as moral patients (as entities that can be acted upon for good or evil) and also as moral agents (as entities that can perform actions, again for good or evil). In this paper, we clarify the concept of agent and go on to separate the concerns of morality and responsibility of agents (most (...) interestingly for us, of AAs). We conclude that there is substantial and important scope, particularly in Computer Ethics, for the concept of moral agent not necessarily exhibiting free will, mental states or responsibility. This complements the more traditional approach, common at least since Montaigne and Descartes, which considers whether or not (artificial) agents have mental states, feelings, emotions and so on. By focussing directly on mind-less morality we are able to avoid that question and also many of the concerns of Artificial Intelligence. A vital component in our approach is the Method of Abstraction for analysing the level of abstraction (LoA) at which an agent is considered to act. The LoA is determined by the way in which one chooses to describe, analyse and discuss a system and its context. The Method of Abstraction is explained in terms of an interface or set of features or observables at a given LoA. Agenthood, and in particular moral agenthood, depends on a LoA. Our guidelines for agenthood are: interactivity (response to stimulus by change of state), autonomy (ability to change state without stimulus) and adaptability (ability to change the transition rules by which state is changed) at a given LoA. Morality may be thought of as a threshold defined on the observables in the interface determining the LoA under consideration. An agent is morally good if its actions all respect that threshold; and it is morally evil if some action violates it. That view is particularly informative when the agent constitutes a software or digital system, and the observables are numerical. Finally we review the consequences for Computer Ethics of our approach. In conclusion, this approach facilitates the discussion of the morality of agents not only in Cyberspace but also in the biosphere, where animals can be considered moral agents without their having to display free will, emotions or mental states, and in social contexts, where systems like organizations can play the role of moral agents. The primary cost of this facility is the extension of the class of agents and moral agents to embrace AAs. (shrink)

One Stoic response to the skeptical indistinguishability argument is that it fails to account for expertise: the Stoics allow that while two similar objects create indistinguishable appearances in the amateur, this is not true of the expert, whose appearances succeed in discriminating the pair. This paper re-examines the motivations for this Stoic response, and argues that it reveals the Stoic claim that, in generating a kataleptic appearance, the perceiver’s mind is active, insofar as it applies concepts matching the perceptual (...) class='Hi'>stimulus. I argue that this claim is reflected in the Stoic definition of the kataleptic appearance, and that it respects their more general account of mental representation. I further suggest that, in attributing some activity to the mind in creating each kataleptic appearance, and in claiming that the expert’s mind allows her to form more kataleptic appearances than the amateur, the Stoics draw inspiration from the wax tablet model in Plato’s Theaetetus (190e–196d), where Socrates distinguishes the wise from the ignorant on the basis of how well they match sensory input with its appropriate mental ‘seal’ (σφραγίς). (shrink)

In The Border between Seeing and Thinking, Ned Block argues that the distinction between perception and cognition should be grounded in representational format. I object that cognition is multifaceted, and includes representations with the same format as some perceptual representations. We can save Block’s view by interpreting it as concerning the border between one elite species of cognition—namely, propositional thought—and everything below it, including perception. But that leaves the border between perception and cognition in general unexplained. To fill this gap, (...) I recommend my stimulus-dependence account of the border and reply to objections Block raises against it. This brings into relief a category of mind that is crucial to understanding human infants and nonhuman animals—namely, nonpropositional cognition, which sits between perception and propositional thought. (shrink)

This paper takes a fresh look at the nativism–empiricism debate, presenting and defending a nativist perspective on the mind. Empiricism is often taken to be the default view both in philosophy and in cognitive science. This paper argues, on the contrary, that there should be no presumption in favor of empiricism (or nativism), but that the existing evidence suggests that nativism is the most promising framework for the scientific study of the mind. Our case on behalf of nativism has four (...) parts. (1) We characterize nativism’s core commitments relative to the contemporary debate between empiricists and nativists, (2) we present the positive case for nativism in terms of two central nativist arguments (the poverty of the stimulus argument and the argument from animals), (3) we respond to a number of influential objections to nativist theories, and (4) we explain the nativist approach to the conceptual system. (shrink)