This essay considers arguments for and against syntactical constraints on the proper formalization of definitions, originally owing to Alfred Tarski. It discusses and refutes an application of the constraints generalized to include a prohibition against not only object-place but also predicate-place variables in higher-order logic in a criticism of a recent effort to define the concept of heterologicality in a strengthened derivation of Grelling's paradox within type theory requirements. If the objections were correct, they would offer a more general moral (...) for the proper formal definition of terms in philosophical logic. The criticism nevertheless seems mistaken both in the substance and specific application with respect to legitimate synctactical constraints on definitions of key concepts in the case of Grelling's paradox. As such, the critique provides no justification for overturning previous conclusions concerning the possibility of resurrecting a type-observant version of Grelling's heterologicality paradox. (shrink)

[IMPORTANT CORRECTION - See end of abstract.] In Syntactical Treatments of Modality, with Corollaries on Reflexion Principles and Finite Axiomatizability, Acta Philosophica Fennica 16 (1963), 153–167, Richard Montague shows that the use of a single syntactic predicate (with a context-independent semantic value) to represent modalities of alethic necessity and idealized knowledge leads to inconsistency. In A Note on Syntactical Treatments of Modality, Synthese 44 (1980), 391–395, Richmond Thomason obtains a similar impossibility result for idealized belief: under a syntactical treatment (...) of belief, the assumption that idealized belief is deductively closed, together with certain other plausible conditions on idealized belief, imply that an ideal believer with consistent beliefs cannot believe the truth of Robinson's Arithmetic. In this essay I assert an impossibility result similar to Thomason's but which does not assume that belief is deductively closed or ideal in any other way. There are technical mistakes in the formulations of Lemmas 1-4 and Theorem 2, however. Corrections can be found in the Erratum section of the author's website. (shrink)

All accounts of language acquisition agree that, by around age 4, children’s knowledge of grammatical constructions is abstract, rather than tied solely to individual lexical items. The aim of the present research was to investigate, focusing on the passive, whether children’s and adults’ performance is additionally semantically constrained, varying according to the distance between the semantics of the verb and those of the construction. In a forced‐choice pointing study (Experiment 1), both 4‐ to 6‐year olds (N = 60) and adults (...) (N = 60) showed support for the prediction of this semantic construction prototype account of an interaction such that the observed disadvantage for passives as compared to actives (i.e., fewer correct points/longer reaction time) was greater for experiencer‐theme verbs than for agent‐patient and theme‐experiencer verbs (e.g., Bob was seen/hit/frightened by Wendy). Similarly, in a production/priming study (Experiment 2), both 4‐ to 6‐year olds (N = 60) and adults (N = 60) produced fewer passives for experiencer‐theme verbs than for agent‐patient/theme‐experiencer verbs. We conclude that these findings are difficult to explain under accounts based on the notion of A(rgument) movement or of a monostratal, semantics‐free, level of syntax, and instead necessitate some form of semantic construction prototype account. (shrink)

The concept of “grammatical sense” could explain semantic complexity without positing a “sense” on the illocutionary level of “communicating something.” In order to assess the aptness of the concept of “grammatical sense” for resolving Dummett's problem, the author offers a rudimentary sketch of a solution based on Wittgenstein's very simple language games. This sketch shows what a systematic treatment of the meaning side of a language would look like once one recognizes the facts of projection and gives up the requirement (...) that forms for forming complexes must always have just one meaning and always lead the hearer to correctly grasp the “thought” expressed by the speaker. The author addresses the question of whether the recognition of projection (syntactic metaphor) and of the other frequent cases of “positive misuse” in natural languages means that our understanding of the meaning side of language is overwhelmingly unsystematic. (shrink)

This paper proposes an architecture for the mapping between syntax and phonology — in particular, that aspect of phonology that determines ordering. In Fox and Pesetsky (in prep.), we will argue that this architecture, when combined with a general theory of syntactic domains ("phases"), provides a new understanding of a variety of phenomena that have received diverse accounts in the literature. This shorter paper focuses on two processes, both drawn from Scandinavian: the familiar process of Object Shift and the (...) less well-known process of Quantifier Movement. We will argue that constraints on these operations can be seen as instances of the same property of grammar that explains the fact that movement is local and successive cyclic. We begin by sketching a model in which locality and successive cyclicity are consequences of the architecture that we propose, rather than specific facts about movement itself. We next present our proposal in somewhat greater detail, and show how it can account for a wide range of apparent limitations on movement — in particular, superficially contradictory restrictions on Object Shift and Quantifier Movement. The restrictions on Object Shift include those grouped under the rubric of Holmberg's Generalization, which Quantifier Movement does not seem to obey. We will argue that Quantifier Movement instead obeys a near mirror-image of Holmberg's Generalization (an "Inverse Holmberg Effect"), but that both Holmberg's Generalization and its mirror image are expected if our proposed architecture is correct. (shrink)

This paper proposes an architecture for the mapping between syntax and phonology — in particular, that aspect of phonology that determines ordering. In Fox and Pesetsky (in prep.), we will argue that this architecture, when combined with a general theory of syntactic domains ("phases"), provides a new understanding of a variety of phenomena that have received diverse accounts in the literature. This shorter paper focuses on two processes, both drawn from Scandinavian: the familiar process of Object Shift and the (...) less well-known process of Quantifier Movement. We will argue that constraints on these operations can be seen as instances of the same property of grammar that explains the fact that movement is local and successive cyclic. We begin by sketching a model in which locality and successive cyclicity are consequences of the architecture that we propose, rather than specific facts about movement itself. We next present our proposal in somewhat greater detail, and show how it can account for a wide range of apparent limitations on movement — in particular, superficially contradictory restrictions on Object Shift and Quantifier Movement. The restrictions on Object Shift include those grouped under the rubric of Holmberg's Generalization, which Quantifier Movement does not seem to obey. We will argue that Quantifier Movement instead obeys a near mirror-image of Holmberg's Generalization (an "Inverse Holmberg Effect"), but that both Holmberg's Generalization and its mirror image are expected if our proposed architecture is correct. (shrink)

This study investigated the association between syntactic awareness and L2 Chinese passage-level reading comprehension among 209 Chinese as a second language adult-learners. The participants were administered a character knowledge test, a vocabulary knowledge test, a morphological awareness test, a grammatical judgment and correction test, a word order test, and two reading comprehension tests. Partial correlation analyses showed that the participants’ performance in two syntactic awareness tasks were significantly positively correlated with their passage-level reading comprehension. Multiple regression analyses revealed (...) that syntactic awareness made a unique contribution to L2 Chinese reading even when the effects of age, major, gender, length of learning Chinese, character knowledge, vocabulary knowledge, and morphological awareness were controlled for. In addition, the word order knowledge had a stronger predicting power to L2 Chinese reading comprehension compared to the grammatical judgment/correction ability. (shrink)

In this paper we document the developmental trajectory of the complementizer system (CP-system) in Italian by looking at the earliest spontaneous production of eleven young children, whose transcriptions are available on CHILDES. We conducted a novel corpus analysis, tracking down a number of constructions in which the clausal left-periphery is activated. First, we considered the appearance of the different complementizer particles in the CP-system, which overtly realize the three distinct functional projections ForceP, IntP, and FinP. The analysis revealed that children (...) acquiring Italian correctly use these complementizer particles already in the third year of life. Second, we looked for the simultaneous activation of different functional projections within the CP-system. We went through our corpus searching for complex sentences in which more than one constituent was moved to the left periphery. This option is allowed by the adult grammar of Italian and, as our search revealed, it is also attested in the grammar of young children. Soon after their second birthday, sequences in which a left-dislocated Topic and a Wh- element co-occur are attested, directly supporting the existence of a (high) Topic position above FocusP. Moreover, movement in general conforms to the constraints of the adult grammar, with no attested violation of obligatory inversion (a consequence of the Q-Criterion). Importantly, “why-questions” did not require inversion, much as in the adult grammar of Italian. Taken together, children's use of complementizer particles and their activation of multiple landing sites for movement show that 2-year-olds already possess a richly articulated functional structure of the CP-system, aligned to the layered adult structure. In concluding the paper, we also discuss some temporal differences between constructions activating high and low portions of the CP-system. In particular, we detect a temporal precedence for wh-questions over why-questions. Since the former activate a lower projection, this is consistent with the recently proposedGrowing Treeshypothesis, according to which the development of the CP-system proceeds stepwise. (shrink)

We investigate a new paradigm in the context of learning in the limit, namely, learning correction grammars for classes of computably enumerable (c.e.) languages. Knowing a language may feature a representation of it in terms of two grammars. The second grammar is used to make corrections to the first grammar. Such a pair of grammars can be seen as a single description of (or grammar for) the language. We call such grammars correction grammars. Correction grammars capture the observable fact that (...) people do correct their linguistic utterances during their usual linguistic activities. We show that learning correction grammars for classes of c.e. languages in the TxtEx-model (i.e., converging to a single correct correction grammar in the limit) is sometimes more powerful than learning ordinary grammars even in the TxtBe-model (where the learner is allowed to converge to infinitely many syntactically distinct but correct conjectures in the limit). For each n ≥ 0, there is a similar learning advantage, again in learning correction grammars for classes of c.e. languages, but where we compare learning correction grammars that make n + 1 corrections to those that make n corrections. The concept of a correction grammar can be extended into the constructive transfinite, using the idea of counting-down from notations for transfinite constructive ordinals. This transfinite extension can also be conceptualized as being about learning Ershov-descriptions for c.e. languages. For u a notation in Kleene's general system $(O,\, < _o )$ of ordinal notations for constructive ordinals, we introduce the concept of an u-correction grammar, where u is used to bound the number of corrections that the grammar is allowed to make. We prove a general hierarchy result: if u and v are notations for constructive ordinals such that $u\, < _o \,v$ , then there are classes of c.e. languages that can be TxtEx-learned by conjecturing v-correction grammars but not by conjecturing u-correction grammars. Surprisingly, we show that— above "ω-many" corrections—it is not possible to strengthen the hierarchy: TxtEx-learning u-correction grammars of classes of c.e. languages, where u is a notation in O for any ordinal, can be simulated by TxtBe-learning ω-correction grammars, where ω is any notation for the smallest infinite ordinal ω. (shrink)

Basic syntactic analysis refers to sentence-level syntactic analysis. In the process of developing the Mat Link English–Chinese machine translation system, the Generalized Maximum Likelihood Ratio algorithm was improved, and a basic English syntax analyzer for English–Chinese translation was designed and implemented. The analyzer approves the structure of the analysis table with a variety of export products, introduces the character mapping function to realize the automatic recognition of the sentence boundary, uses the children of the same level to describe (...) the grammatical structure of the sentence, and realizes the proverb from the original sentence to the target sentence stage conversion. Finally, through the analysis of example sentences, the design concept and working process of the basic grammar are explained. (shrink)

The disambiguation of a syntactically ambiguous sentence in favor of a less preferred parse can lead to slower reading at the disambiguation point. This phenomenon, referred to as a garden‐path effect, has motivated models in which readers initially maintain only a subset of the possible parses of the sentence, and subsequently require time‐consuming reanalysis to reconstruct a discarded parse. A more recent proposal argues that the garden‐path effect can be reduced to surprisal arising in a fully parallel parser: words consistent (...) with the initially dispreferred but ultimately correct parse are simply less predictable than those consistent with the incorrect parse. Since predictability has pervasive effects in reading far beyond garden‐path sentences, this account, which dispenses with reanalysis mechanisms, is more parsimonious. Crucially, it predicts a linear effect of surprisal: the garden‐path effect is expected to be proportional to the difference in word surprisal between the ultimately correct and ultimately incorrect interpretations. To test this prediction, we used recurrent neural network language models to estimate word‐by‐word surprisal for three temporarily ambiguous constructions. We then estimated the slowdown attributed to each bit of surprisal from human self‐paced reading times, and used that quantity to predict syntactic disambiguation difficulty. Surprisal successfully predicted the existence of garden‐path effects, but drastically underpredicted their magnitude, and failed to predict their relative severity across constructions. We conclude that a full explanation of syntactic disambiguation difficulty may require recovery mechanisms beyond predictability. (shrink)

The problems of access—retrieving linguistic structure from some mental grammar —and disambiguation—choosing among these structures to correctly parse ambiguous linguistic input—are fundamental to language understanding. The literature abounds with psychological results on lexical access, the access of idioms, syntactic rule access, parsing preferences, syntactic disambiguation, and the processing of garden‐path sentences. Unfortunately, it has been difficult to combine models which account for these results to build a general, uniform model of access and disambiguation at the lexical, idiomatic, and (...) syntactic levels. For example, psycholinguistic theories of lexical access and idiom access and parsing theories of syntactic rule access have almost no commonality in methodology or coverage of psycholinguistic data. This article presents a single probabilistic algorithm which models both the access and disambiguation of linguistic knowledge. The algorithm is based on a parallel parser which ranks constructions for access, and interpretations for disambiguation, by their conditional probability. Low‐ranked constructions and interpretations are pruned through beam‐search; this pruning accounts, among other things, for the garden‐path effect. I show that this motivated probabilistic treatment accounts for a wide variety of psycholinguistic results, arguing for a more uniform representation of linguistic knowledge and for the use of probabilistically‐enriched grammars and interpreters as models of human knowledge of and processing of language. (shrink)

There is an error in the completeness proof for the {λ, =} part of FOIL-K. The error occurs in Section 4, in the text following the proof of Corollary 4.7, and concerns the definition of the interpretation I on relation symbols. Before this point in the paper, for each object variable v an equivalence class v has been defined, and for each intension variable f a function f has been defined. Then the following definition is given for a relation symbol (...) P : v1, v2, . . . , f1, f2, . . . ∈ I(P )(Γ) just in case there are w1, w2, . . . in d(Γ) with wi ∈ vi such that P (w1, w2, . . . , f1, f2, . . .) ∈ Γ. It was pointed out by Torben Brauner that we could have f1 and g1 being the same function, but also have P (w1, w2, . . . , f1, f2, . . .) ∈ Γ without having P (w1, w2, . . . , g1, f2, . . .) ∈ Γ. Our solution is to modify the definition of the model, rather artificially, so that if f and g are the same function, then f and g are syntactically the same intension variable. This is done as follows. First, arbitrarily choose some object variable w, and its corresponding equivalence class w. For each intension variable f we define a disambiguation world ˆ. (shrink)

This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent case, (...) we show that the refined calculi Ldm^m_nL derive theorems within a restricted class of (forestlike) sequents, allowing us to provide proof-search algorithms that decide single-agent STIT logics. We prove that the proof-search algorithms are correct and terminate. (shrink)

This exploratory study assessed the use of functional Near Infrared Spectroscopy (fNIRS) to examine hemodynamic response patterns during sentence processing. Four groups of participants: monolingual English children, bilingual Chinese-English children, bilingual Chinese-English adults and monolingual English adults were given an agent selection syntactic processing task. Bilingual child participants were classified as simultaneous or sequential bilinguals to examine the impact of first language, age of second-language acquisition (AoL2A), and the length of second language experience on behavioral performance and cortical activation. (...) Participants were asked to select the agent of four types of sentences: subject-verb-object (SVO), passive (PAS), subject-extracted relative clause (SR), and object-extracted relative clause (OR) adopted from the “Whatdunit” task by Montgomery et al. (2016). Semantic cues were removed by using inanimate nouns for agents and patients, which constrained participants to make decisions based on syntactic knowledge. Behavioral results showed greater accuracy for canonical SVO and SR sentence types than for noncanonical OR and PAS sentence types, which aligns with prior studies. Neuroimaging results revealed greater hemodynamic responses to relative clauses (i.e., SR and OR sentences) than to simple sentences (SVO and PAS), especially for Chinese-English bilinguals suggesting first-language transfer influencing sentence processing in English. The effects AoL2A and the length of second language experience showed no significant differences between simultaneous and sequential bilinguals or between bilingual adults and children for identifying the correct agent in each sentence. However, neuroimaging results demonstrated greater hemodynamic responses in right dorsolateral prefrontal cortex (DLPFC) and left inferior parietal lobule (IPL) in simultaneous bilinguals compared to sequential bilinguals and greater hemodynamic responses in left and right DLPFC and left IPL among bilingual adults. Different behavioral and neural hemodynamic response patterns afford new insights into the effects of syntactic knowledge on sentence processing. (shrink)

Problems are raised with the global workspace hypothesis of consciousness, for example about exactly how global the workspace needs to be for consciousness to suddenly be present. Problems are also raised with Carruthers's version that excludes conceptual representations, and in which phenomenal consciousness can be reduced to physical processes, with instead a different levels of explanation approach to the relation between the brain and the mind advocated. A different theory of phenomenal consciousness is described, in which there is a particular (...) computational system involved in which Higher Order Syntactic Thoughts are used to perform credit assignment on first order thoughts of multiple step plans to correct them by manipulating symbols in a syntactic type of working memory. This provides a good evolutionary reason for the evolution of this kind of computational module, with which, it is proposed, phenomenal consciousness is associated. Some advantages of this HOST approach to phenomenal consciousness are then described with reference not only to the global workspace approach, but also to Higher Order Thought theories. It is hypothesized that the HOST system which requires the ability to manipulate first order symbols in working memory might utilize parts of the prefrontal cortex implicated in working memory, and especially the left inferior frontal gyrus, which is involved in language and probably syntactical processing. Overall, the approach advocated is to identify the computations that are linked to consciousness, and to analyze the neural bases of those computations. [copyright: Copyright © 2020 Rolls.]. (shrink)

This study addressed the question of whether L2 learners are able to utilize verb’s argument structure information in online structural analysis. Previous L2 research has shown that L2 learners have difficulty in using verb’s intransitive information to guide online syntactic processing. This is true even though L2 learners have grammatical knowledge that is correct and similar to that of native speakers. In the present study, we contrasted three hypotheses, the initial inaccessibility account, the intransitivity overriding account, and the fuzzy (...) subcategorization frame account, to investigate whether L2 learner’s knowledge of intransitive verbs is in fact ignored in L2 online structural analysis. The initial inaccessibility account and the fuzzy subcategorization frame account predicted that L2 learners cannot access intransitivity information in building syntactic structures in any situation. The intransitivity overriding account predicted that intransitivity information is accessed in L2 parsing, but this process is overridden by the strong transitivity preference when a verb is followed by a noun phrase. Importantly, the intransitivity overriding account specifically predicted that L2 learners would be able to use intransitive information in online syntactic processing when a noun phrase does not appear immediately following a verb. We tested the three accounts in an eye-tracking reading experiment using filler-gap dependency structures. We manipulated verb’s transitivity information and lexically based plausibility information and tested English native speakers as a control L1 group and Japanese-English L2 participants. The results showed that L2 learners as well as native speakers processed sentences differently depending on the subcategorization information of the verb, and adopted transitive analysis only when the verb was optionally transitive, providing support for the intransitivity overriding. The results further demonstrated that L2 learners had strong expectations for the transitive structure, which is consistent with the view proposed by the hyper-active gap-filling hypothesis. In addition, the results showed that the semantic mismatch in the incorrect transitive analysis facilitated native speaker’s processing but caused difficulty for L2 learners. Together, the current study provides evidence that L2 learners use intransitive information of the verbs to guide their structural analysis when there are no overriding constraints. (shrink)

In Zielonka (1981a, 1989), I found an axiomatics for the product-free calculus L of Lambek whose only rule is the cut rule. Following Buszkowski (1987), we shall call such an axiomatics linear. It was proved that there is no finite axiomatics of that kind. In Lambek's original version of the calculus (cf. Lambek, 1958), sequent antecedents are non empty. By dropping this restriction, we obtain the variant L0 of L. This modification, introduced in the early 1980s (see, e.g., Buszkowski, 1985; (...) Zielonka, 1981b), did not gain much popularity initially; a more common use of L0 has only occurred within the last few years (cf. Roorda, 1991: 29). In Zielonka (1988), I established analogous results for the restriction of L0 to sequents without left (or, equivalently, right) division. Here, I present a similar (cut-rule) axiomatics for the whole of L0.This paper is an extended, corrected, and completed version of Zielonka (1997). Unlike in Zielonka (1997), the notion of rank of an axiom is introduced which, although inessential for the results given below, may be useful for the expected non-finite-axiomatizability proof.The paper follows the same way of subject exposition as Zielonka (2000) but it is technically much less complicated. I restrict myself to giving bare results; all the ideological background is exactly the same as in case of the non-associative calculusNL0 and those who are interested in it are requested to consult the introductory section of Zielonka (2000). (shrink)

In Zielonka (1981a, 1989), I found an axiomatics for the product-free calculus L of Lambek whose only rule is the cut rule. Following Buszkowski (1987), we shall call such an axiomatics linear. It was proved that there is no finite axiomatics of that kind. In Lambek's original version of the calculus (cf. Lambek, 1958), sequent antecedents are non empty. By dropping this restriction, we obtain the variant L 0 of L. This modification, introduced in the early 1980s (see, e.g., Buszkowski, (...) 1985; Zielonka, 1981b), did not gain much popularity initially; a more common use of L 0 has only occurred within the last few years (cf. Roorda, 1991: 29). In Zielonka (1988), I established analogous results for the restriction of L 0 to sequents without left (or, equivalently, right) division. Here, I present a similar (cut-rule) axiomatics for the whole of L 0. This paper is an extended, corrected, and completed version of Zielonka (1997). Unlike in Zielonka (1997), the notion of rank of an axiom is introduced which, although inessential for the results given below, may be useful for the expected non-finite-axiomatizability proof. (shrink)

El objetivo de este trabajo es medir el efecto del feedback correctivo escrito directo en el incremento del aprendizaje y el uso correcto de las preposiciones por y para en español como segunda lengua. Dichas preposiciones se consideran como unas de las más complejas durante el proceso de aprendizaje teniendo en cuenta la frecuencia de errores cometidos en sus usos y la naturaleza sintáctico-semántica. Para ello se llevó a cabo un estudio cuasiexperimental con pretest, postest inmediato, postest diferido y grupo (...) control, aplicando sistemáticamente las estrategias de FC metalingüístico directo y no metalingüístico directo a nivel escrito. Los resultados han demostrado evidencia de los efectos positivos de estos feedbacks correctivos en el incremento del aprendizaje y uso correcto de estas estructuras preposicionales. The aim of this research is to evaluate the effectiveness of written direct corrective feedback on the learning improvement of prepositions “por and para” in Spanish as second language. These grammatical structures are considered among the most complex prepositions to acquire during the learning process, considering the frequency of errors in their use and their syntactic-semantic nature. In order to achieve this aim, a quasi-experimental study with a pretest, immediate posttest, delayed posttest and control group was conducted. In this context, we have systematically applied the strategies of written metalinguistic and non-metalinguistic direct corrective feedback on these prepositions errors. The results have shown the positive effects of the written corrective feedback on the acquisition of these prepositional structures. (shrink)

In the epistemological tradition, there are two main interpretations of the semantic relation that an empirical theory may bear to the real world. According to realism, the theory-world relationship should be conceived as truth; according to instrumentalism, instead, it should be limited to empirical adequacy. Then, depending on how empirical theories are conceived, either syntactically as a class of sentences, or semantically as a class of models, the concepts of truth and empirical adequacy assume different and specific forms. In this (...) paper, we review two main conceptions of truth (one sentence-based and one model-based) and two of empirical adequacy (one sentence-based and one model-based), we point out their respective difficulties, and we give a first formulation of a new general view of the theory-world relationship, which we call Methodological Constructive Realism (MCR). We then show how the content of MCR can be further specified and expressed in a definite and precise form. The bulk of the paper shows in detail how it is possible to accomplish this goal for the special case of deterministic dynamical phenomena and their correlated deterministic models. This special version of MCR is formulated as an axiomatic extension of set theory, whose specific axioms constitute a formal ontology that provides an adequate framework for analyzing the two semantic relations of truth and empirical correctness, as well as their connections. (shrink)

In order to decide whether a discursive product of human reason corresponds or not to the logical order, one must analyze it in terms of syntactic correctness, consistency, and validity. The first step in logical analysis is formalization, that is, the process by which logical forms of thoughts are represented in different formal languages or logical systems. Although each thought can be properly formalized in different ways, the formalization variants are not equally adequate. The adequacy of formalization seems (...) to depend on several essential features: parsimony, accuracy, transparency, fertility and reliability. Because there is a partial antinomy between these traits, it is impossible to find a perfectly adequate variant of formalization. However, it is possible and preferable to reach a reasonable compromise by choosing the variant of formalization which satisfies all of these fundamental characteristics. (shrink)

A syntactically correct number-specification may fail to specify any number due to underspecification. For similar reasons, although each sentence in the Yablo sequence is syntactically perfect, none yields a statement with any truth-value. As is true of all members of the Liar family, the sentences in the Yablo sequence are so constructed that the specification of their truth-conditions is vacuous; the Yablo sentences fail to yield statements. The ‘revenge’ problem is easily defused. The solution to the semantical paradoxes offered here (...) revives the mediaeval cassatio approach, one that largely disappeared due to its incomprehending rejection by influential contemporary writers such as William Shyreswood and Thomas Bradwardine. The diagnosis readily extends to the set-theoretic paradoxes. (shrink)

This book presents a formal and philosophical analysis of language syntax. It refers to some ideas of E.Husserl and G. Frege, to S. Leśniewski's theory of syntactic categories and K. Ajdukiewicz's conception of formal grammar, also to Ch.S. Pierces's distinction between tokens (concrete linguistic entities) and types (ideal linguistic entities) and to A.A. Markov's theory of algorithms. The central aim of the book is - in the spirit of these ideas - to provide both strict yet comprehensive lectures on (...) two axiomatic theories of languages (grammars) irrespective of specific structure of their expression and the notation used in them. The main feature of these theories are that definitions of well-formed expression allow the formulation of algorithms for the examination of syntactic correctness of expressions and that their formalizations are bi-level, in reference to opposite philosophical orientations: nominalistic and idealistic. The theoretical considerations in the book speak in favour of the former. The book contains a translation of the basic contents of the book in Polish "Teorie języków syntaktycznie kategorialnych ("Theories of syntactically categorial languages"), PWN, Warszawa-Wrocław 1985, and extensive Introduction and Final Remarks. In Introduction are discussed the main assumptions, objectives and conditionings of presented theories and intuitive foundations of these theories. Final Remarks are connected with the subject-matter of the book and the ability to build syntax theories in the opposition spirit, because of the Platonic approach to language syntax. -/- . (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Transgressing the Boundaries: An Afterword*Alan D. SokalAlas, the truth is out: my article, “Transgressing the Boundaries: Toward a Transformative Hermeneutics of Quantum Gravity,” which appeared in the spring/summer 1996 issue of the cultural-studies journal Social Text, is a parody. 1 Clearly I owe the editors and readers of Social Text, as well as the wider intellectual community, a non-parodic explanation of my motives and my true views. One of (...) my goals here is to make a small contribution toward a dialogue on the Left between humanists and natural scientists—“two cultures” which, contrary to some optimistic pronouncements (mostly by the former group), are probably farther apart in mentality than at any time in the past fifty years.Like the genre it is meant to satirize—myriad exemplars of which can be found in its reference list—my article is a mélange of truths, half-truths, quarter-truths, falsehoods, non sequiturs, and syntactically correct sentences that have no meaning whatsoever. (Sadly, there are only a handful of the latter: I tried hard to produce them, but I found that, save for rare bursts of inspiration, I just didn’t have the knack.) I also employed some other strategies that are well-established (albeit sometimes inadvertently) in the genre: appeals to authority in lieu of logic; speculative theories passed off as established science; strained and even absurd analogies; rhetoric that sounds good but whose meaning is [End Page 338] ambiguous; and confusion between the technical and everyday senses of English words (for example: linear, nonlinear, local, global, multidimensional, relative, frame of reference, field, anomaly, chaos, catastrophe, logic, irrational, imaginary, complex, real, equality, choice).I should emphasize that all works cited in my article are real, and all quotations are rigorously accurate; none are invented. Indeed, the most hilarious passages in my article were not written by me: they are direct quotes from the Masters.But why did I do it? I confess that I’m an unabashed Old Leftist who never quite understood how deconstruction was supposed to help the working class. And I’m a stodgy old scientist who believes, naively, that there exists an external world, that there exist objective truths about that world, and that my job is to discover some of them. (If science were merely a negotiation of social conventions about what is agreed to be “true,” why would I bother devoting a large fraction of my all-too-short life to it? I don’t aspire to be the Emily Post of quantum field theory.)But my main concern isn’t to defend science from the barbarian hordes of lit crit. Rather, my concern is explicitly political: to combat a currently fashionable postmodernist/poststructuralist/social-constructivist discourse—and more generally a penchant for subjectivism—which is, I believe, inimical to the values and future of the Left. 2 Alan Ryan said it well:It is, for instance, pretty suicidal for embattled minorities to embrace Michel Foucault, let alone Jacques Derrida. The minority view was always that power could be undermined by truth.... Once you read Foucault as saying that truth is simply an effect of power, you’ve had it.... But American departments of literature, history and sociology contain large numbers of self-described leftists who have confused radical doubts about objectivity with political radicalism, and are in a mess. 3Likewise, Eric Hobsbawm has decriedthe rise of “postmodernist” intellectual fashions in Western universities, particularly in departments of literature and anthropology, which imply that all “facts” claiming objective existence are simply intellectual constructions. In short, that there is no clear difference between fact and fiction. But there is, and for historians, even for the most militantly antipositivist ones among us, the ability to distinguish between the two is absolutely fundamental. 4 [End Page 339](Hobsbawm goes on to show how rigorous historical scholarship can refute the fictions propounded by reactionary nationalists in India, Israel, the Balkans and elsewhere.) And as the acerbic sociologist Stanislav Andreski noted long ago,So long as authority inspires awe, confusion and absurdity enhance conservative tendencies in society. Firstly, because clear and logical thinking leads to a cumulation of knowledge (of which the progress of... (shrink)

The main purpose of the article is to analyze the statements of philosophical Ukrainian Studies about the anthropological specifics of Ukrainian philosophical thought by means of historicalphilosophical cultural-predicative analysis. The research methodology was determined primarily by the concept of cultural attribution and translation in the dialogue of languages of historical cultures of the Poznań Methodological School (J. Topolski, W. Wrzosek, E. Domańska) and the culturological approach in historical-philosophical Ukrainian Studies (V. Horskyi, S. Rudenko). The statements of the language of historical (...) and philosophical Ukrainian studies are analyzed by means of historicalphilosophical cultural-predicative analysis. The latter is a specific humanities research strategy, which we propose as a means of studying the communicative specifics and syntactic correctness of the language of historical-philosophical theory. The study of communicative specifics takes place from the perspective of modernized versions of metaphysical, phenomenological, and dialectical logic. The first is understood as the logic of transcendental metaphysics, the second as the logic of immanent metaphysics, and the third as the logic of procedural metaphysics. Such an approach provides a qualitative and comprehensive understanding of the analyzed statements. The statements of the language of the historical-philosophical theory are generalized in its names, depending on the perspective of one of the three versions of the logic of philosophical reasoning. The offered historical-philosophical cultural-predicative analysis of communicative specifics and the syntactic correctness of the Ukrainian historical-philosophical theory statements opens new dimensions in research of the anthropological specifics of Ukrainian philosophy. (shrink)

Throughout the history of the philosophy of science, theories have been linked to formulas as a privileged representational format. In this paper, following, I defend a semantic-representational conception of theories, where theories are identified with sets of scientific re-presentations by virtue of their epistemic potential and independently of their format. To show the potential of this proposal, I analyze as a case study the use of phase diagrams in statistical mechanics to convey in a semantically consistent and syntactically correct way (...) theoretical principles such as Liouville’s theorem. I conclude by defending this philosophical position as a tool to show the enormous representational richness underlying scientific practices. (shrink)

The correct locus (or loci) of binding theory has been a matter of much discussion. Theories can be seen as varying along at least two dimensions. The rst is whether binding theory is con gurationally determined (that is, the theory exploits the geometry of a phrase marker, appealing to such purely structural notions as c-command and government) or whether the theory depends rather on examining the relations between items selected by a predicate (where by selection I am intending to cover (...) everything from semantic dependencies to syntactic subcategorization). The second is the level of grammar on which binding is de ned. Attempting to roughly equate levels across di erent theories, suggestions have included the semantics/lexical conceptual structure (Jackendo 1992), thematic structure (Jackendo 1972, Wilkins 1988), argument structure/D-structure/initial grammatical relations (Manning 1994, Belletti and Rizzi 1988, Perlmutter 1984), surface syntax/grammatical relations, logical form, linear order, pragmatics (Levinson 1991), and discourse (Iida 1992). The data is su ciently varied and complex that many theories end up as mixtures, variously employing a combination of elements along both dimensions (for instance, Chomsky (1986) relies purely on con gurational notions for the relationship between an anaphor and its antecedent, but uses concepts from selection in the de nition of the binding domain of an anaphor). LFG has always rejected a con gurational account of binding. For instancError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMape, Simpson (1991) argues that a con gurational theory of binding in Warlpiri cannot be maintained, among other reasons because nite clauses lack a VP.. (shrink)

Without directly addressing the Demarcation Problem for logic—the problem of distinguishing logical vocabulary from others—we focus on distinctive aspects of logical vocabulary in pursuit of a second goal in the philosophy of logic, namely, proposing criteria for the justification of logical rules. Our preferred approach has three components. Two of these are effectively Belnap’s, but with a twist. We agree with Belnap’s response to Prior’s challenge to inferentialist characterisations of the meanings of logical constants. Belnap argued that for a logical (...) constant to exist, its rules must be conservative over a previously given consequence relation and guarantee the uniqueness of the constant. The twist is that we require logical vocabulary to be provably conservative, not over a previously given formal consequence relation, but over a previously given meaningful vocabulary of a language. Uniqueness is also a feature defined in terms of provability: if two syntactically distinguished expressions are governed by the same rules, then formulas with them as main operators are interderivable. Belnap’s criteria are not only those for the existence of a logical constant, but more: they are what distinguishes logical vocabulary from all other expressions. It is the defining mark of a logical constant that it is provably conservative over the fragment of the language which excludes it and that its rules guarantee its uniqueness. The third component is the topic neutrality of logic. The provable conservativeness of logic over a previously given vocabulary of a language is motivated, in part, by appeal to molecularism in the theory of meaning. Molecularity is a feature endorsed by the theory of meaning as a whole, so it does not distinguish logical constants from other expressions. The same is true for conservativeness. We argue that molecularity, and hence conservativeness, are implicit presuppositions of speakers’ use of language: the addition of new vocabulary to a language is presupposed to be conservative. But this presupposition is one that we should be able reflectively to endorse (such as when attempting a rational reconstruction of the use of the vocabulary). Thus, where conservativeness is found to fail, this defect should be remedied and the use of the vocabulary corrected (as in classical negation) or excised altogether (as in pejoratives). We go on to characterise a notion of topic neutrality, which we argue applies to logical vocabulary. We then note that reflective endorsement of the conservativeness of a topic neutral vocabulary requires a proof that the vocabulary is conservative relative to any base vocabulary. Thus we require that logical vocabulary be demonstrably conservative. Allying this requirement, distinctive of logic, to a general consideration about the commitments of assertion yields a mode of justification for logical constants akin to some conceptions of Harmony, i.e., to the idea that the consequences of assertion of a logical complex need to be warranted by the grounds and ought to be the strongest consequences warranted by the grounds. Intuitionistic logic acquires a somewhat familiar justification but emanating from a new motivation. (shrink)

This article explores the relationship between pragmatics and the other components of grammar. Specifically, it aims to determine whether pragmatics is a distinct module of grammar coming into play at some point in the derivation process to connect the sentence with the context. The conclusion is that, based on the phenomena considered in this work, pragmatics rather than being a separate module, is distributed in the various components. It is shown in fact that the context immediately intervenes at the representative (...) level to yield the correct syntax to be fed to the sensorimotor system on one side, and to the conceptual one on the other. The empirical focus of the article is on a specific type of questions in Italian, namely surprise and surprise-disapproval questions, because they are most sensitive to pragmatic factors. The syntactic, prosodic, and gestural components of these constructions will be examined, highlighting their most important characteristics. (shrink)

This paper describes how to perform syntactic parsing and semantic analysis in a dialog system. The paper especially deals with how to disambiguate potentially ambiguous sentences using the contextual information. Although syntactic parsing and semantic analysis are often studied independently of each other, correct parsing of a sentence often requires the semantic information on the input and/or the contextual information prior to the input. Accordingly, we merge syntactic parsing with semantic analysis, which enables syntactic parsing taking (...) advantage of the semantic content of an input and its context. One of the biggest problems of semantic analysis is how to interpret dependency structures. We employ a framework for semantic representations that circumvents the problem. Within the framework, the meaning of any predicate is converted into a semantic representation which only permits a single type of predicate: an identifying predicate "aru". The semantic representations are expressed as sets of "attribute-value" pairs, and those semantic representations are stored in the context information. Our system disambiguates syntactic/semantic ambiguities of inputs referring to the attribute-value pairs in the context information. We have experimentally confirmed the effectiveness of our approach; specifically, the experiment confirmed high accuracy of parsing and correctness of generated semantic representations. (shrink)

One of Bolzano’s objections to Kant’s way of drawing the analytic-synthetic distinction is that it only applies to judgments within a narrow range of syntactic forms, namely, universal affirmative judgments. According to Bolzano, Kant cannot account for judgments of other syntactic forms that, intuitively, are analytic. A recent paper by Ian Proops also attributes to Kant the view that analytic judgments beyond a limited range of syntactic forms are impossible. I argue that, correctly understood, Kant’s conception of (...) analyticity allows for analytic judgments of a wider range of syntactic forms. (shrink)

Logical form has always been a prime concern for philosophers belonging to the analytic tradition. For at least one century, the study of logical form has been widely adopted as a method of investigation, relying on its capacity to reveal the structure of thoughts or the constitution of facts. This book focuses on the very idea of logical form, which is directly relevant to any principled reflection on that method. Its central thesis is that there is no such thing as (...) a correct answer to the question of what is logical form: two significantly different notions of logical form are needed to fulfil two major theoretical roles that pertain respectively to logic and to semantics. This thesis has a negative and a positive side. The negative side is that a deeply rooted presumption about logical form turns out to be overly optimistic: there is no unique notion of logical form that can play both roles. The positive side is that the distinction between two notions of logical form, once properly spelled out, sheds light on some fundamental issues concerning the relation between logic and language. (shrink)

Mathematics textbooks teach logical reasoning by example, a practice started by Euclid; while logic textbooks treat logic as a subject in its own right without practical application to mathematics. Stuck in the middle are students seeking mathematical proficiency and educators seeking to provide it. To assist them, the article explains in practical detail how to teach logic-based skills such as: making mathematical reasoning fully explicit; moving from step to step in a mathematical proof in logically correct ways; and checking to (...) make sure inferences are logically correct. The methodology can easily be extended beyond the four examples analyzed. (shrink)

A key motivation for Universal Grammar (UG) is developmental: UG can help children acquire the linguistic knowledge that they do as quickly as they do from the data that's available to them. Some of the most fruitful recent work in language acquisition has combined ideas about different hypothesis space building blocks with domain‐general statistical learning. Statistical learning can then provide a way to help navigate the hypothesis space in order to converge on the correct hypothesis. Reinforcement learning is a principled (...) way to update the probability of a categorical option that's in competition with other categorical options. There are two prominent options for linking theory theoretical representations: the Uniformity of Theta Assignment Hypothesis (UTAH) and the relativized form of that theory, relativized UTAH. The learning strategy of Pearl and Sprouse shares the intuition with subjacency that there's a local structural anomaly when syntactic islands occur. (shrink)

Charles Travis presents a series of essays in which he has developed his distinctive view of the relation of thought to language. The key idea is "occasion-sensitivity": what it is for words to express a given concept is for them to be apt for contributing to any of many different conditions of correctness (notably truth conditions). Since words mean what they do by expressing a given concept, it follows that meaning does not determine truth conditions. This view ties thoughts (...) less tightly to the linguistic forms which express them than traditional views of the matter, and in two directions: a given linguistic form, meaning fixed, may express an indefinite variety of thoughts; one thought can be expressed in an indefinite number of syntactically and semantically distinct ways. Travis highlights the importance of this view for linguistic theory, and shows how it gives new form to a variety of traditional philosophical problems. (shrink)

The paper presents an extended argument for the claim that mental content impacts the computational individuation of a cognitive system (section 2). The argument starts with the observation that a cognitive system may simultaneously implement a variety of different syntactic structures, but that the computational identity of a cognitive system is given by only one of these implemented syntactic structures. It is then asked what are the features that determine which of implemented syntactic structures is the computational (...) structure of the system, and it is contended that these features are certain aspects of mental content. The argument helps (section 3) to reassess the thesis known as computational externalism, namely, the thesis that computational theories of cognition make essential reference to features in the individual's environment. It is suggested that the familiar arguments for computational externalism?which rest on thought experiments and on exegesis of Marr's theories of vision?are unconvincing, but that they can be improved. A reconstruction of the visex/audex thought experiment is offered in section 3.1. An outline of a novel interpretation of Marr's theories of vision is presented in section 3.2. The corrected arguments support the claim that computational theories of cognition are intentional. Computational externalism is still pending, however, upon the thesis that psychological content is extrinsic. (shrink)

Recent arguments for relativist semantic theories have centered on the phenomenon of “faultless disagreement.” This paper offers independent motivation for such theories, based on the interpretation of predicates of personal taste in certain attitude contexts and presuppositional constructions. It is argued that the correct interpretation falls out naturally from a relativist theory, but requires special stipulation in a theory which appeals instead to the use of hidden indexicals; and that a hidden indexical analysis presents problems for contemporary syntactic theory.

This study presents and develops in detail (a new version of) the argumental conception of meaning. The two basic principles of the argumental conception of meaning are: i) To know (implicitly) the sense of a word is to know (implicitly) all the argumentation rules concerning that word; ii) To know the sense of a sentence is to know the syntactic structure of that sentence and to know the senses of the words occurring in it. The sense of a sentence (...) is called immediate argumental role of that sentence. According to the argumental conception of meaning a theory of meaning for a particular language yields a systematic specification of the understanding of every sentence of the language which consists in a specification of the immediate argumental role of the sentence. The immediate argumental role is a particular aspect of the use of a sentence in arguments. But it is not the whole use in arguments, nor is the whole use in arguments reducible to the immediate argumental role. That is why, by accepting the argumental conception of meaning, we can have epistemological holism without linguistic holism. The argumental conception distinguishes between the understanding and the correctness of a language. Such a distinction makes it possible to account for our understanding of paradoxical languages. Redundancy theory of truth, realistic conceptions of truth or epistemic conceptions of truth are all compatible with an argumental conception of sense. But here it is argued that an epistemic conception of truth is preferrable. Acceptance of the argumental conception of meaning and of an epistemic conception of truth leads to a rejection of the idea of analytic truth. The argumental conception is pluralistic with respect to the understandability of different logics, and neutral with respect to their correctness. (shrink)

The analytical philosophy of the last hundred years has been heavily influenced by a doctrine to the effect that the key to the correct understanding of reality is captured syntactically in the ‘Fa’ (or, in more sophisticated versions, in the ‘Rab’) of standard first order predicate logic. Here ‘F’ stands for what is general in reality and ‘a’ for what is individual. Hence “f(a)ntology”. Because predicate logic has exactly two syntactically different kinds of referring expressions—‘F’, ‘G’, ‘R’, etc., and ‘a’, (...) ‘b’, ‘c’, etc.—so reality must consist of exactly two correspondingly different kinds of entity: the general (properties, concepts) and the particular (things, objects). We describe the historical influence of this view, and also show how standard first-order predicate logic can be used for the logical formalization of a more adequate “six category ontology”, which recognizes, at the level of both particulars and universals, not only things or objects but also events and qualities. (shrink)

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

This paper investigates different readings of plural and reciprocal sentences and how they can be derived from syntactic surface structures in a systematic way. The main thesis is that these readings result from different ways of inserting logical operators at the level of Logical Form. The basic operator considered here is a cumulative mapping from predicates that apply to singularities onto the corresponding predicates that apply to pluralities. Given a theory which allows for free insertion of such operators, it (...) can then be shown that the lexical semantics of the reciprocal expressions each other/one another consists of exactly two components, namely an anaphoric variable and a non-identity statement. This receives further support from the observation that it is exactly these two components that can be focused by only; all that remains to be done is to correctly manipulate these components at the level of LF. (shrink)

There is a prevalent notion among cognitive scientists and philosophers of mind that computers are merely formal symbol manipulators, performing the actions they do solely on the basis of the syntactic properties of the symbols they manipulate. This view of computers has allowed some philosophers to divorce semantics from computational explanations. Semantic content, then, becomes something one adds to computational explanations to get psychological explanations. Other philosophers, such as Stephen Stich, have taken a stronger view, advocating doing away with (...) semantics entirely. This paper argues that a correct account of computation requires us to attribute content to computational processes in order to explain which functions are being computed. This entails that computational psychology must countenance mental representations. Since anti-semantic positions are incompatible with computational psychology thus construed, they ought to be rejected. Lastly, I argue that in an important sense, computers are not formal symbol manipulators. (shrink)

In this paper, we defend a traditional approach to semantics, that holds that the outputs of compositional semantics are propositional, i.e. truth conditions. Though traditional, this view has been challenged on a number of fronts over the years. Since classic work of Lewis, arguments have been offered which purport to show that semantic composition requires values that are relativized, e.g. to times, or other parameters that render them no longer propositional. Focusing in recent variants of these arguments involving quantification and (...) binding, we argue that a correct understanding of how composition works gives no reason to relativize semantic values, and that propositional semantic values are in fact the preferred option. We take our argument to be mainly empirical, but along the way, we defend some more general theses. Simple propositional semantic values are viable in composition, we maintain, because composition is itself a complex phenomenon, involving multiple modes of composition. Furthermore, some composition principles make adjustments to the meanings of constituents in the course of composition. These adjustments are by triggered syntactic environments. We argue such small contributions of meaning from syntactic structure are acceptable. (shrink)