The aim of this study is to discuss in what sense one can speak about universal character of logic. The authors argue that the role of logic stands mainly in the generality of its language and its unrestricted applications to any field of knowledge and normal human life. The authors try to precise that universality of logic tends in: (a) general character of inference rules and the possibility of using those rules as a tool of justification of theorems of (...) every science, (b) principles of correct formulating of thoughts and using language, and (c) general deductive method of reasoning, i.e in the study of language syntax and semantics. The authors present two theories of language syntax and semantics as exemplifications based on the Tarski’s famous results in metalogic: (1) a formalization of universal syntax system by Andrzej Grzegorczyk based on a new primitive notion of quotation-marks operator, and (2) an enlarged system of axiomatic theory of syntax of any categorial language of Urszula Wybraniec-Skardowska’s in which the main role plays the relation of concatenation understood as a set-theoretical function. The study concludes in arguing that the importance of the result (2) lies not only in solving some philosophical problems but also in different fields of knowledge and spheres of human life as ex. in discussion and education as well. (shrink)

What is common to all languages is notation, so Universal Grammar can be understood as a system of notational types. Given that infants acquire language, it can be assumed to arise from some a priori mental structure. Viewing language as having the two layers of calculus and protocol, we can set aside the communicative habits of speakers. Accordingly, an analysis of notation results in the three types of Identifier, Modifier and Connective. Modifiers are further interpreted as Quantifiers and Qualifiers. (...) The resulting four notational types constitute the categories of Universal Grammar. Its ontology is argued to consist in the underlying cognitive schema of Essence, Quantity, Quality and Relation. The four categories of Universal Grammar are structured as polysemous fields and are each constituted as a radial network centred on some root concept which, however, need not be lexicalized. The branches spread out along troponymic vectors and together map out all possible lexemes. The notational typology of Universal Grammar is applied in a linguistic analysis of the ‘parts of speech’ using the English language. The analysis constitutes a ‘proof of concept’ in (1) showing how the schema of Universal Grammar is capable of classifying the so-called ‘parts of speech’, (2) presenting a coherent analysis of the verb, and (3) showing how the underlying cognitive schema allows for a sub-classification of the auxiliaries. (shrink)

In this paper I develop a theory of 'function' and function as a deontic modal word and phenomenon. Kratzer’s account of the semantics for the deontic modals is invoked and using her approach a formal schema for the semantics of 'function'-sentences is proposed. My account of function is a modalized and extended version of Cummins’ systems-type account of function. In the biological and physical sciences, on this account, function is a complex empirical deontic modal property. It is built on the (...) property of X’s doing Y well enough to enable Z, which is implicitly deontic because of the evaluative but nonetheless empirical in its biological and physical applications. This account of function resolves many of the traditional puzzles about biological and physical function, and extends naturally to include the other types of function. With a variant treatment of the semantics, this account is argued also to apply to mathematical function, where it is shown to be interestingly related to Frege’s account of function. (shrink)

I critically examine some provocative arguments that John Searle presents in his book The Rediscovery of Mind to support the claim that the syntactic states of a classical computational system are "observer relative" or "mind dependent" or otherwise less than fully and objectively real. I begin by explaining how this claim differs from Searle's earlier and more well-known claim that the physical states of a machine, including the syntactic states, are insufficient to determine its semantics. In contrast, his more recent (...) claim concerns the syntax, in particular, whether a machine actually has symbols to underlie its semantics. I then present and respond to a number of arguments that Searle offers to support this claim, including whether machine symbols are observer relative because the assignment of syntax is arbitrary, or linked to universal realizability, or linked to the sub-personal interpretive acts of a homunculus, or linked to a person's consciousness. I conclude that a realist about the computational model need not be troubled by such arguments. Their key premises need further support. (shrink)

What is the source of logical and mathematical truth? This book revitalizes conventionalism as an answer to this question. Conventionalism takes logical and mathematical truth to have their source in linguistic conventions. This was an extremely popular view in the early 20th century, but it was never worked out in detail and is now almost universally rejected in mainstream philosophical circles. Shadows of Syntax is the first book-length treatment and defense of a combined conventionalist theory of logic and mathematics. (...) It argues that our conventions, in the form of syntactic rules of language use, are perfectly suited to explain the truth, necessity, and a priority of logical and mathematical claims, as well as our logical and mathematical knowledge. (shrink)

We show that, contrary to long-standing assumptions, syntactic traits, modeled here within the generative biolinguistic framework, provide insights into deep-time language history. To support this claim, we have encoded the diversity of nominal structures using 94 universally definable binary parameters, set in 69 languages spanning across up to 13 traditionally irreducible Eurasian families. We found a phylogenetic signal that distinguishes all such families and matches the family-internal tree topologies that are safely established through classical etymological methods and datasets. We have (...) retrieved “near-perfect” phylogenies, which are essentially immune to homoplastic disruption and only moderately influenced by horizontal convergence, two factors that instead severely affect more externalized linguistic features, like sound inventories. This result allows us to draw some preliminary inferences about plausible/implausible cross-family classifications; it also provides a new source of evidence for testing the representation of diversity in syntactic theories. (shrink)

How do children learn the meanings of propositional attitude verbs? We argue that children use information contained in both syntactic distribution and pragmatic function to zero in on the appropriate meanings. Specifically, we identify a potentially universal link between semantic subclasses of attitude verbs, their syntactic distribution and the kinds of indirect speech acts they can be used to perform. As a result, children can use the syntax as evidence about the meaning, which in turn constrains the kinds (...) of pragmatic enrichments they do and do not make in understanding these verbs in conversation. (shrink)

It is well known that the model categories of universal Horn theories are locally presentable, hence essentially algebraic . In the special case of quasivarieties a direct translation of the implicational syntax into the essentially equational one is known . Here we present a similar translation for the general case, showing at the same time that many relationally presented Horn classes are in fact quasivarieties.

This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan's Unifying Principle, natural deduction, cut-elimination, semantic tableaux, Skolemization, Herbrand's Theorem, unification, duality, interpolation, and definability. The last three chapters of the book provide an introduction to type theory (higher-order logic). It is shown how various mathematical concepts can be formalized in this very expressive formal language. This expressive notation facilitates (...) proofs of the classical incompleteness and undecidability theorems which are very elegant and easy to understand. The discussion of semantics makes clear the important distinction between standard and nonstandard models which is so important in understanding puzzling phenomena such as the incompleteness theorems and Skolem's Paradox about countable models of set theory. Some of the numerous exercises require giving formal proofs. A computer program called ETPS which is available from the web facilitates doing and checking such exercises. Audience: This volume will be of interest to mathematicians, computer scientists, and philosophers in universities, as well as to computer scientists in industry who wish to use higher-order logic for hardware and software specification and verification. (shrink)

Broken Theory is a jettisoned collection of fragmentary writing, collected and collaged by new media artist, writer, musician, and theorist Alan Sondheim. Folding theoretical musings, text experiments, and personal confessions into a single textual flow, it examines the somatic foundations of philosophical theory and theorizing, discussing their relationships to the writer and body, and to the phenomenology of failure and fragility of philosophy's production. Writing remains writing, undercuts and corrects itself, is always superseded, always produced within an untoward and bespoke (...) silo - not as an inconceivable last word, but instead a broken contribution to philosophical thinking. The book is based on fragmentation and collapse, displacing annihilation and wandering towards a form of "roiling" within which the text teeters on the verge of disintegration. In other words, the writing develops momentary scaffoldings - writing shored up by the very mechanisms that threaten its disappearance. Broken Theory is prefaced by a text from Maria Damon and followed by an extensive interview with art historian Ryan Whyte. Alan Sondheim is a new media artist, theorist, and writer concerned with the phenomenology of the virtual. He has collaborated with motion capture and virtual environment labs. His work is concerned with the inhabitation of the body in the virtual; with the textuality of the body; with the problematic of mixed reality and codework. His writing is known for its "somatic grit" and skeletal codes that partially appear within and determine the surface. This style embeds interferences among syntax, semantics, and formal systems. The textual body, body of text and writer, are deeply entangled. His current work is based on the psychogeography of real and virtual worlds and their modeling. Most recently he has focused on "semantic ghosting" - the body behind the virtual/symbolic body - and modes of viral dispersion in a series of videos and texts. Sondheim was born in Wilkes-Barre, Pennsylvania, attended Brown University, and has exhibited, taught, and lectured at a number of venues in the United States and abroad. (shrink)

This article discusses language universality and language variation, and suggests that there is no feature variation in initial syntax, featural variation arising by metamorphosis under transfer from syntax to PF-morphology. In particular, it explores the Zero Hypothesis, stating that Universal Grammar, UG, only provides two building elements, Root Zero and Edge Feature Zero, zero, as they are purely structural/formal elements with no semantic content in UG. Their potential content is provided by the Concept Mine, a mind-internal but (...) language-external department. UG and narrow syntax has access to the Concept Mine, and this Syntax-Concept Access is unique to humans, a prerequisite for the evolution of language (Section 1). A related idea (also inSection 1) is coined the Generalized Edge Feature Approach, GEFA. It states that Merge always involves at least one edge feature, which precludes symmetric structures and enables Simplest Merge (no Pair-Merge, no Hilbert epsilon operator). The article advocates that there is no syntactic feature selection (Section 2), all syntactic features being universally accessible in the Concept Mine, via Root Zero and Edge Feature Zero. In contrast, there is feature selection in PF (including morphology), yielding variation (Section 3), Gender being a clear example (Section 4). However, there is a widely neglected syntax-to-PF-morphology metamorphosis (Section 5), such that morphological features like [past] are distinct from albeit related to syntactic features like Speech Time. Parameters operate on selected PF features, and not on purely syntactic features, so parameter setting is plausibly closely tied to the syntax-to-PF-morphology metamorphosis (the concludingSection 6). It is suggested that parameters are on the externalization side of language, part of or related to the sensory-motor system, facilitating motoric learning in language acquisition. (shrink)

In just a few years, children achieve a stable state of linguistic competence, making them effectively adults with respect to: understanding novel sentences, discerning relations of paraphrase and entailment, acceptability judgments, etc. One familiar account of the language acquisition process treats it as an induction problem of the sort that arises in any domain where the knowledge achieved is logically underdetermined by experience. This view highlights the 'cues' that are available in the input to children, as well as children's skills (...) in extracting relevant information and forming generalizations on the basis of the data they receive. Nativists, on the other hand, content that language-learners project beyond their experience in ways that the input does not even suggest. Instead of viewing language acqusition as a special case of theory induction, nativists posit a Universal Grammar, with innately specified linguistic principles of grammar formation. The 'nature versus nurture' debate continues, as various "poverty of stimulus" arguments are challenged or supported by developments in linguistic theory and by findings from psycholinguistic investigations of child language. In light of some recent challenges to nativism, we rehearse old poverty-of stimulus arguments, and supplement them by drawing on more recent work in linguistic theory and studies of child language. (shrink)

The goals of linguistic theory are to answer such questions as “What is language?” and “What properties must something (an organism or a machine) have in order for it to learn and use language?” Different theories provide different answers to these questions, and there is at present no general consensus as to what theory gives the best answers. Moreover, most linguists, when pressed, would say that these questions have not yet been answered satisfactorily by any theory.

One of the hallmarks of human cognition is the capacity to generalize over arbitrary constituents. Recently, Marcus (1998, 1998a, b; Cognition 66, p. 153; Cognitive Psychology 37, p. 243) argued that this capacity, called universal generalization (universality), is not supported by Connectionist models. Instead, universality is best explained by Classical symbol systems, with Connectionism as its implementation. Here it is argued that universality is also a problem for Classicism in that the syntax-sensitive rules that are supposed to provide (...) causal explanations of mental processes are either too strict, precluding possible generalizations; or too lax, providing no information as to the appropriate alternative. Consequently, universality is not explained by a Classical theory. (shrink)

This paper argues, based on Lewis’ claim that communication is a coordination game (Lewis in Minnesota studies in the philosophy of science, University of Minnesota Press, Minneapolis, pp 3–35, 1975), that we can account for the communicative function of demonstratives without assuming that they semantically refer. The appeal of such a game theoretical version of the case for non-referentialism is that the communicative role of demonstratives can be accounted for without entering thecul de sacof trying to construct conventions of ever-increasing (...) complexity. Instead communicationviademonstratives is explained with reference to the general, non-domain specific ability of human beings to solve games of coordination. Furthermore, there is empirical support for such a view. Judgments concerning demonstrative reference have been shown to be sensitive to judgments concerningcommon ground(Clark et al. in J Verb Learn Verb Behav 22:245–258, 1983), which is exactly what the non-referentialist account would predict. The game theoretical account also allows for an intuitively plausible, non-referentialist treatment of Speaks’ ‘trumping argument’ (Speaks in Philos Stud 174:709–734, 2017), as well as the Carnap/Agnew puzzle (Kaplan in Syntax Semant 9:221–43, 1970). (shrink)

This handbook provides a critical guide to the most central proposition in modern linguistics: the notion, generally known as Universal Grammar, that a universal set of structural principles underlies the grammatical diversity of the world's languages. Part I considers the implications of Universal Grammar for philosophy of mind and the philosophy of language, and examines the history of the theory. Part II focuses on linguistic theory, looking at topics such as explanatory adequacy and how phonology and semantics (...) fit into Universal Grammar. Parts III and IV look respectively at the insights derived from UG-inspired research on language acquisition, and at comparative syntax and language typology, while part V considers the evidence for Universal Grammar in phenomena such as creoles, language pathology, and sign language. The book will be a vital reference for linguists, philosophers, and cognitive scientists. (shrink)

In previous works we have established that the spacetime probabilistic organization of the quantum theory is determined by the spacetime characteristics of the operations by which the observer produces the objects to be studied (“states” of microsystems) and obtains qualifications of these. Guided by this first conclusion, we have then built a “general syntax of relativized conceptualization” where any description is explicitly and systematically referred to the two basic epistemic operations by which the conceptor introduces the object to be (...) qualified and then obtains qualifications of it. Inside this syntax there emerges a general typology of the relativized descriptions. Here we show that with respect to this typology the type of the predictive quantum mechanical descriptions acquires a precise definition. It appears that the quantum mechanical formalism has captured and has expressed directly in a mathematical language the most complex form in which can occur a first descriptional phase that lies universally at the bottom of any chain of conceptualization. The main features of the Hilbert-Dirac algorithms are decoded in terms of the general syntax of relativized conceptualization. This renders explicit the semantical contents of the quantum mechanical representations relating each one of these to its mathematical quantum mechanical expression. Basic insufficiencies are thus identified and, correlatively, false problems as well as answers to these, or guides toward answers. Globally the results obtained provide a basis for future attempts at a general mathematical representation of the processes of conceptualization. “Il pourrait, en effet, être dangereux pour l'avenir de la Physique qu'elle se contente trop facilement de purs formalismes, d'images floues et d'explications toutes verbales s'exprimant par des mots à signification imprécise”—Louis de Broglie,Certitudes et Incertitudes de la Science (Albin Michel, Paris, 1965). (shrink)

An examination of the evidence for and the theoretical implications of a universal word order constraint, with data from a wide range of languages. This book presents evidence for a universal word order constraint, the Final-over-Final Condition (FOFC), and discusses the theoretical implications of this phenomenon. FOFC is a syntactic condition that disallows structures where a head-initial phrase is contained in a head-final phrase in the same extended projection/domain. The authors argue that FOFC is a linguistic universal, (...) not just a strong tendency, and not a constraint on processing. They discuss the effects of the universal in various domains, including the noun phrase, the adjective phrase, the verb phrase, and the clause. The book draws on data from a wide range of languages, including Hindi, Turkish, Basque, Finnish, Afrikaans, German, Hungarian, French, English, Italian, Romanian, Arabic, Hebrew, Mandarin, Pontic Greek, Bagirmi, Dholuo, and Thai. FOFC, the authors argue, is important because it is the only known example of a word order asymmetry pertaining to the order of heads. As such, it has significant repercussions for theories connecting the narrow syntax to linear order. (shrink)

We investigate a construction schema for first-order logical systems, called “form logic”. Form logic allows us to overcome the dualistic commitment of predicate logic to individual constants and predicates. Dualism is replaced by a pluralism of terms of different “logical forms”. Individual form-logical systems are generated by the determination of a range of logical forms and of the formbased syntax rules for combining terms into formulas. We develop a generic syntax and semantics for such systems and provide a (...) completeness proof for them. To illustrate the idea of form logic, and the possibilities it facilitates, we discuss three particular systems, one of which is the form-logical reconstruction of standard first-order predicate logic. (shrink)

In [5], Béziau provides a means by which Gentzen’s sequent calculus can be combined with the general semantic theory of bivaluations. In doing so, according to Béziau, it is possible to construe the abstract “core” of logics in general, where logical syntax and semantics are “two sides of the same coin”. The central suggestion there is that, by way of a modification of the notion of maximal consistency, it is possible to prove the soundness and completeness for any normal (...) logic. However, the reduction to bivaluation may be a side effect of the architecture of ordinary sequents, which is both overly restrictive, and entails certain expressive restrictions over the language. This paper provides an expansion of Béziau’s completeness results for logics, by showing that there is a natural extension of that line of thinking to n-sided sequent constructions. Through analogical techniques to Béziau’s construction, it is possible, in this setting, to construct abstract soundness and completeness results for n-valued logics. (shrink)

In (Béziau 2001), Béziau provides a means by which Gentzen’s sequent calculus can be combined with the general semantic theory of bivaluations. In doing so, according to Béziau, it is possible to construe the abstract "core" of logics in general, where logical syntax and semantics are "two sides of the same coin". Thecentral suggestion there is that, by way of a modification of the notion of maximal consistency, it is possible to prove the soundness and completeness for any normal (...) logic (without invoking the role of classical negation in the completeness proof). However, the reduction to bivaluation may be a side effect of the architecture of ordinary sequents, which is both overly restrictive, and entails certain expressive restrictions over the language. This paper provides an expansion of Béziau’s completeness results for logics, by showing that there is a natural extension of that line of thinking to n-sided sequent constructions. Through analogical techniques to Béziau’s construction, it is possible, in this setting, to construct abstract soundness and completeness results for n-valued logics.En (Béziau 2001), Béziau ofrece un recurso para combinar el cálculo de secuentes de Gentzen con la teoría semántica general de bivaluaciones. Al hacer esto, según Béziau, es posible construir el “núcleo” abstracto de la lógica en general, donde sintaxis y semántica son las dos caras de una misma moneda. La sugerencia clave es que, mediante una modificación de la noción de consistencia máxima, es posible probar la corrección y completud de cualquier lógica normal (sin invocar la función de la negación clásica en la prueba de completud). Sin embargo, la reducción a bivaluaciones puede ser un efecto colateral de la arquitectura de los secuentes ordinarios, que es abiertamente restrictiva y entraña determinadas restricciones expresivas sobre el lenguaje. Este artículo ofrece una expansión de los resultados de completud de Béziau para la lógica, mostrando que existe una extensión natural de esta línea de pensamiento a construcciones de secuentes de n lados. Mediante técnicas análogas a la construcción de Béziau, en este marco es posible construir resultados abstractos decorrección y completud para la lógica n-valuada. (shrink)

Among the main concerns of 20th century philosophy was that of the foundations of mathematics. But usually not recognized is the relevance of the choice of a foundational approach to the other main problems of 20th century philosophy, i.e., the logical structure of language, the nature of scientific theories, and the architecture of the mind. The tools used to deal with the difficulties inherent in such problems have largely relied on set theory and its “received view”. There are specific issues, (...) in philosophy of language, epistemology and philosophy of mind, where this dependence turns out to be misleading. The same issues suggest the gain in understanding coming from category theory, which is, therefore, more than just the source of a “non-standard” approach to the foundations of mathematics. But, even so conceived, it is the very notion of what a foundation has to be that is called into question. The philosophical meaning of mathematics is no longer confined to which first principles are assumed and which “ontological” interpretation is given to them in terms of some possibly updated version of logicism, formalism or intuitionism. What is central to any foundational project proper is the role of universal constructions that serve to unify the different branches of mathematics, as already made clear in 1969 by Lawvere. Such universal constructions are best expressed by means of adjoint functors and representability up to isomorphism. In this lies the relevance of a category-theoretic perspective, which leads to wide-ranging consequences. One such is the presence of functorial constraints on the syntax–semantics relationships; another is an intrinsic view of (constructive) logic, as arises in topoi and, subsequently, in more general fibrations. But as soon as theories and their models are described accordingly, a new look at the main problems of 20th century’s philosophy becomes possible. The lack of any satisfactory solution to these problems in a purely logical and set-theoretic setting is the result of too circumscribed an approach, such as a static and punctiform view of objects and their elements, and a misconception of geometry and its historical changes before, during, and after the foundational “crisis”, as if algebraic geometry and synthetic differential geometry – not to mention algebraic topology – were secondary sources for what concerns foundational issues. The objectivity of basic geometrical intuitions also acts against the recent version of structuralism proposed as ‘the’ philosophy of category theory. On the other hand, the need for a consistent and adequate conceptual framework in facing the difficulties met by pre-categorical theories of language and scientific knowledge not only provides the basic concepts of category theory with specific applications but also suggests further directions for their development (e.g., in approaching the foundations of physics or the mathematical models in the cognitive sciences). This ‘virtuous’ circle is by now largely admitted in theoretical computer science; the time is ripe to realise that the same holds for classical topics of philosophy. (shrink)

Modal logic originated in philosophy as the logic of necessity and possibility. Now it has reached a high level of mathematical sophistication and has many applications in a variety of disciplines, including theoretical and applied computer science, artificial intelligence, the foundations of mathematics, and natural language syntax and semantics. This volume represents the proceedings of the first international workshop on Advances in Modal Logic, held in Berlin, Germany, October 8-10, 1996. It offers an up-to-date perspective on the field, with (...) contributions covering its proof theory, its applications in knowledge representation, computing and mathematics, as well as its theoretical underpinnings. (shrink)

Universal Game Theory - The theory that all of life is a game played by consciousness’es, (Living Beings). The board is a dream like structure of the universe. The progression is through an active process of intent witnessing, and passive meditation. Which releases the tension in the nerves of the body and leads to selfless actions, moral goodness, and eventually the finish, Enlightenment. Just like a wounded creature only cares about it’s own self. Man in tensionthrough self-centered thought only (...) thinks about his own predicaments. Even if he is thinking about others it is only through his own objectionable view from his false-created center. The enemy or deterrents in the game is the conditioning created by society for ambition, greed, control and general brain washing to give theindividual a false sense of identity, the ego. This is achieved by Religion; tradition, culture, education, reasoning, linear thought, and the creation of time. Leaving him/her in constant anxiety about millions of future contingencies. Through witnessing one realizes the whole futility of one dimensional thought which only leads to more and more thought. Simple or constructed elaborately, thought being time, a human construction. The final step of the Universal Game Theory is understanding the whole process of thought and the eventual revelation of Enlightenment, Bliss, ecstasy. Which the person then understands that he/she is the creator of the life/dream with which they are in. That point being a sexual ecstasy similar to what happens in death to men. i.e. Human males release semenwhen they die, having a sexual ecstasy at their last breath. (shrink)

Since a human language consists of an infinite number of sentences, it cannot be adequately described by enumeration. Hence, as Chomsky wrote in the first paragraph of his first book, Syntactic Structures, an adequate description of a language is approached through the specification of a generative device that will generate and structurally describe all the sentences of a language. And since generative devices form a hierarchy in terms of descriptive power, the basic question of grammar is what is the minimum (...) of power needed to generate human languages. What this book does is describe the Chomsky hierarchy in a very clear and accessible way. Finite state grammars are shown to be equivalent in generative power to regular phrase structure grammars. After context free, and context sensitive phrase structure grammars, one finds at the top of the hierarchy transformational grammars, which Kimball has shown to be weakly equivalent to a universal phrase structure grammar, i.e., one in which rules can delete items. This last equivalence allows one to appreciate the central problem in current grammatical theory: that the "standard theory" of Aspects of the Theory of Syntax allows so much power for the construction of grammars that solutions become arbitrary and non-empirical, and hence the problem is to find a principled minimization of the power of transformational grammars. This is a clear, up-to-date, and elegant little book. One admirably suitable as a comparatively undemanding introduction to the abstract theory of grammar, or as a way of brushing-up on the subject.—J.L. (shrink)

This book investigates the architecture of the language faculty by considering what the properties of language reveal about the mental abilities and processes involved in language acquisition. The language faculty, the author argues, must be able not only to accommodate what is general, exceptionless, and universal in language, but must also be capable of dealing with what is irregular, exceptional, and idiosyncratic. In Syntactic Nuts Peter Culicover shows that this is true not only of the lexicon, but for (...) class='Hi'>syntax. Marginal and exceptional cases, where there is no straightforward form-meaning correspondence, are dealt with by the language faculty easily and precisely as the general cases. In considering how and why this should be the author argues against the prevailing trend in generative grammar, which takes the learner as either incorporating maximally global generalisations as part of its innate capacity for language, or projecting global generalisations from a very limited input on the basis of innate mechanisms. He suggests that the learning mechanism does not generalize significantly beyond the evidence presented to it, and further that it seeks to form generalizations based on all and only the evidence presented to it. Syntactic Nuts makes a fundamental contribution to generative grammar and syntactic theory. It situates syntactic theory within cognitive science in a novel way. It contributes to an alternative, and yet in many ways traditional, perspective on the manner in which knowledge is represented and processed in the mind. (shrink)

Universal Bundle Theory holds that objects are fundamentally identical with bundles of universals. Universals are multiply instantiable properties. One popular objection to UBT concerns the possibility of distinct indiscernibles. There are mainly two replies in the literature, corresponding to two representative UBTs, which I shall call the Identity-View and the Instance-View. Each view faces serious problems. This paper proposes a new version of UBT and argues that it is better than these other two versions.

In lieu of an abstract, here is a brief excerpt of the content:Decolonizing Universality:Postcolonial Theory and the Quandary of Ethical AgencyEsha Niyogi De (bio)Living in colonial India, the Bengali thinker and creative writer Rabindranath Tagore (1861-1941) often meditated on ways that "concord" (milan) and "harmony" (sāmanjasya) could be established between persons and cultures [BIC 450-51]. Noting that "ruptures in balance and harmony" (bhār sāmanjasyer abhāv) that once were more localized now affected the whole world, he maintained that these reinforced the (...) progressive message of the modern age that the local "problems of a people are a part and parcel of humankind's" (swajātir samasyā samasta mānusher samasyār antargata) [RC 279]. In his view, the means to reestablish harmony in this unequal world lay in social practices and ideas conducing "freedom" (mukti) rather than enforcing "power" (shakti) and "coercive discipline" (shāsan) [SaS 408-09]. He argued that such progressive trends of practice and thought would be found not in one culture alone but through traveling across different cultural "seas of knowledge (jnān)" [SwSm 699]. For only through such conceptual journeys would we enkindle in ourselves "arguments with and doubts about" (yukti tarka o sandeher udbhav) our own cultures, and also learn from all the "voyagers in the path of progress" (unnatipather yātri) who emerge in different locations and times [SJ 39-40].As these comments reveal, Rabindranath maintained that inequalities could be rectified by making individual and collective norms and actions accountable to and measurable in terms of a speculative notion of universal humanity. While alert to the injustices proliferating from European colonization, he insisted that coercive practices and imbalances of power could not be entirely localized, and that in order to correct multiple forms of coercion we must seek across cultures and societies for (partial) achievements of human freedom and harmony. In so viewing transcultural negotiations of a common humane proclivity as the means to decolonize the world, Rabindranath did not stand alone but in a diverse company of anti-imperialist thinkers who adapted modern humanism to their ends: W. E. B. Dubois—who lauded Rabindranath's appropriation of [End Page 42] such liberal notions as democracy and equal opportunity "for greater ends" than were allowed by the "inconsistencies" of a racist European perspective [74]—Frantz Fanon, Jean-Paul Sartre, and from Rabindranath's own colonial context, the Bengali Anarchist poet Kazi Nazrul Islam (to name but a few). Reflecting upon worldwide experiences of subjection, these radical modern intellectuals tried above all to avoid reinventing separatism by declaring non-Western cultures to be unilaterally superior to Western imperialist culture. Driven by an activist ethics, they attempted instead to correct the roots of separatism through objectively evaluating, against a common frame of reference, right and wrong, relatively successful or failed practices of human empowerment and community.In this essay, I consider if and how we could characterize as "postcolonial" these evaluative ethics that rationally seek to correct coercive relations between persons and societies through referring to an affirmative idea of a human nature shared by all. If we take postcolonial agency to rest on a thorough critique of and resistance to all political and epistemic maneuvers that subordinate or exclude people and cultures, might this form of resistant agency reside in the ethical normativity of anti-imperialist humanism? This question elicits conflicting responses from contemporary postcolonial theorists.The argument, on the one hand, is that if postcolonial theory is to ethically address the multiple and interlocked hierarchies of a postimperial world, it indeed must take into account how people mobilize against separatism by working through critiques of ethnic divisiveness to negotiate a common human ground. Commenting on the universalism of thinkers such as Rabindranath Tagore and W. E. B. DuBois, Edward Said, for example, suggests that "vital" critiques of chauvinistic separatism arise only from viewing "local identity as not exhaustive" but as elaborating in reference to "larger, more generous realities of community between cultures, peoples, and societies" [Culture and Imperialism 217, 229]. His implication is that only through evaluating ourselves on the basis of a notion of noncoercive universality are we able to think against the identity politics that pervade our world, stemming at once from a nativist... (shrink)

Shopping malls are an indispensable part of urban space and an important place for people to spend and socialize, with its internal space being the focus of shopping mall design. This paper studies the internal space of shopping malls using space syntax theory, quantitatively analyzes the three components of the spatial layout of Hefei shopping centers from a rational perspective, and explores the optimization of the spatial combination, node space configuration, and business layout of Hefei shopping centers in order (...) to guide and optimize the internal space of the existing shopping center and provide a certain reference for the future internal space design of the shopping center. (shrink)

The debate over gun control has taken place in complete isolation from geographical considerations. It focuses on, for the most part, whether legalization would bring about more or fewer accidental deaths, and murders of innocents, than prohibition, and in the USA on the precise meaning of the second amendment to the Constitution. However, these deliberations, argue the authors of the present paper, can be enriched by incorporating into them a spatial context. When this is done, and they are combined with (...) the property rights philosophy of libertarianism, some very different conclusions are drawn. (shrink)

The solutions to moral problems offered by contemporary moral theories largely depend on how they understand pluralism. This article compares two different kinds of universal moral theories, liberal impartiality theory and discourse ethics. It defends the twofold thesis that (1) a dialogical theory such as discourse ethics is better equipped to give an account of pluralism than impartiality theory due to a more correct understanding of the nature of conflict, but that (2) discourse ethics cannot, contrary to what Jürgen (...) Habermas claims, embrace the notion of impartiality connected to agent-neutrality. The article argues that pluralism reflects conflicts among values not only between but also within people and that discourse ethics can include both these dimensions since it recognizes the constitutive connection between deliberation and (moral) conflict. Thus, unlike impartiality theory, it can elucidate the transformative aspects of pluralism. (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)

Hugh Everett’s “Universal Wave Theory Formulation of Quantum Mechanics”, though endorsed and promoted by his mentor John Wheeler, was dismissed by the mainstream in quantum mechanics. Why was it sidelined by those who endorsed the Copenhagen interpretation and John von Neumann’s approach to the famous measurement problem? Everett’s theory was taken up later by Bryce DeWitt under an interpretation, the many worlds universe theory, that is not actually how Everett interpreted his own formulation. I argue that by looking at (...) science as a social institution according to Ian C. Jarvie’s critique of Karl Popper’s view of science as a “Republic,” we can see how Everett was sidelined: external pressures of the Cold War and McCarthy and internal pressures of Big Science and the “military-industrial complex.”. (shrink)

There are a growing number of general theories of contract law and of other doctrinal areas. These theories are vastly ambitious in their aims. This article explores the nature of these claims, and the motivations for offering such theories, while considering the challenges to success. It is in the nature of theorizing to seek general categories, including doctrinal categories, and to try to discover insights that hold across those categories. However, differences both within a doctrinal area and across legal systems (...) undermine the case for universal and general theories. Also, unjustifiably general theories may distract us from developing properly contextual legal rules, and might even have the unintended effect of legitimating unjust rules. (shrink)

Both syntactic and semantic solutions are given for the entailment problem of duality theory. The test algebra theorem provides both a syntactic solution to the entailment problem in terms of primitive positive formulae and a new derivation of the corresponding result in clone theory, viz. the syntactic description of $\operatorname{Inv(Pol}(R))$ for a given set R of finitary relations on a finite set. The semantic solution to the entailment problem follows from the syntactic one, or can be given in the form (...) of an algorithm. It shows, in the special case of a purely relational type, that duality-theoretic entailment is describable in terms of five constructs, namely trivial relations, intersection, repetition removal, product, and retractive projection. All except the last are concrete, in the sense that they are described by a quantifier-free formula. It is proved that if the finite algebra $\underline{M}$ generates a congruence-distributive variety and all subalgebras of $\underline{M}$ are subdirectly irreducible, then concrete constructs suffice to describe entailment. The concept of entailment appropriate to strong dualities is also introduced, and described in terms of coordinate projections, restriction of domains, and composition of partial functions. (shrink)

Preface: What this strange book is about -- Conversation 1: where's the formula? -- Conversation 2: brain and mind -- Conversation 3: logic and intuition -- Conversation 4: how to open the 'third eye' -- Conversation 5: matter and spirit -- Conversation 6: the data -- Conversation 7: synchronicity -- Conversation 8: waves -- Conversation 9: holism -- Conversation 10: the music of the spheres -- Conversation 11: cultural consequences -- Conversation 12: water magic.

This book presents a new approach to semantics based on Kazimierz Ajdukiewicz’s Directival Theory of Meaning, which in effect reduces semantics of the analysed language to the combination of its syntax and pragmatics. The author argues that the DTM was forgotten because for many years philosophers didn’t have conceptual tools to appreciate its innovative nature, and that the theory was far ahead of its time. The book shows how a redesigned and modernised version of the DTM can deliver a (...) new solution to the problem of defining linguistic meaning and that the theory can be understood as a new type of functional role semantics. The defining feature of the DTM is that it presents meaning as a product of constraints on the usage of words. According to the DTM meaning is not use, but the avoidance of misuse. Readers will see how the DTM was shelved for reasons that we don’t find so dramatic anymore, and how it contains enough original ideas and solutions to warrant developing it into a full-blown contemporary account. It is shown how many of the underlying ideas of the theory have been embraced later by philosophers and treated simply as brute facts about natural languages or even as new philosophical discoveries. Philosophers of language and researchers with an interest in how languages and the mind work will find this book a fascinating read. (shrink)

Recent work on formal theories of truth has revived an approach, due originally to Tarski, on which syntax and truth theories are sharply distinguished—‘disentangled’—from mathematical base theories. In this paper, we defend a novel philosophical constraint on disentangled theories. We argue that these theories must be epistemically stable: they must possess an intrinsic motivation justifying no strictly stronger theory. In a disentangled setting, even if the base and the syntax theory are individually stable, they may be jointly unstable. (...) We contend that this flaw afflicts many proposals discussed in the literature; we defend a new, stable disentangled theory, double second-order arithmetic. (shrink)

Recently several philosophers of science have proposed what has come to be known as the semantic account of scientific theories. It is presented as an improvement on the positivist account, which is now called the syntactic account of scientific theories. Bas van Fraassen claims that the syntactic account does not give a satisfactory definition of "empirical adequacy" and "empirical equivalence". He contends that his own semantic account does define these notations acceptably, through the concept of "embeddability", a concept which he (...) claims cannot be defined syntactically. Here, I define a syntactic relation which corresponds to the semantic relation of "embeddability". I suggest that the critical differences between the positivist account and van Fraassen's account have nothing to do with the distinction between semantics and syntax. (shrink)

Chomsky proposes a reformulation of the theory of transformational generative grammar that takes recent developments in the descriptive analysis of particular ...

The maturation of the physical image has made apparent the limits of our scientific understanding of fundamental reality. These limitations serve as motivation for a new form of metaphysical inquiry that restricts itself to broadly scientific methods. Contributing towards this goal we combine the mathematical universe hypothesis as developed by Max Tegmark with the axioms of Stewart Shapiro’s structure theory. The result is a theory we call the Theory of the Structural Multiverse (TSM). The focus is on informal theory development (...) and constraint satisfaction. Some empirical consequences of the theory are worked out, in particular the feasibility of a predictive observer selection effect. The explanatory, unifying, and generative powers of the theory are found to substantially support the theory. The TSM is demonstrated to be an empirically significant scientific theory that is foundational to and continuous with the rest of the scientific image. (shrink)