Results for 'Classical categorial grammar, laguages generated by gategorial grammar, syntax, axiomatic deductive theory'

974 found
Order:
  1.  38
    On the formalization of classical categorial grammar.Urszula Wybraniec-Skardowska - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 89:269.
    This article summarizes the main ideas for formalizing categorial languages genrated by classical categorial grammar originated by K. Ajdukiewicz [1935,1960].This formalization is presented in detail in the author's monographs in Polish "Teorie Języków Syntaktycznie Kategorialnych" ("Theories of Syntactically Categorical Languages"), PWN, Warszawa-Wrocław 1985 and in English "Theory of Language Syntax, Categorial Approach", Kluwer Academic Publishers, Boston-London-Dordrecht 1991.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  2. On Language Adequacy.Urszula Wybraniec-Skardowska - 2015 - Studies in Logic, Grammar and Rhetoric 40 (1):257-292.
    The paper concentrates on the problem of adequate reflection of fragments of reality via expressions of language and inter-subjective knowledge about these fragments, called here, in brief, language adequacy. This problem is formulated in several aspects, the most being: the compatibility of language syntax with its bi-level semantics: intensional and extensional. In this paper, various aspects of language adequacy find their logical explication on the ground of the formal-logical theory T of any categorial language L generated by (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  3.  31
    Strong generative capacity of classical categorial grammars.Wojciech Buszkowski - 1986 - Bulletin of the Section of Logic 15 (2):60-63.
    Classical categorial grammars are the grammars introduced by Ajdukiewicz [1] and formalized by Bar-Hillel [2], Bar-Hillel et al. [3]. In [3] there is proved the weak equivalence of CCG’s and context-free grammars [6]. In this note we characterize the strong generative capacity of finite and rigid CCG’s, i.e. their capacity of structure generation. These results are more completely discussed in [4], [5].
    Direct download  
     
    Export citation  
     
    Bookmark  
  4. On the axiomatic systems of syntactically-categorial languages.Urszula Wybraniec-Skardowska - 1984 - Bulletin of the Section of Logic 13 (4):241-249.
    The paper contains an overview of the most important results presented in the monograph of the author "Teorie Językow Syntaktycznie-Kategorialnych" ("Theories of Syntactically-Categorial Languages" (in Polish), PWN, Warszawa-Wrocław 1985. In the monograph four axiomatic systems of syntactically-categorial languages are presented. The first two refer to languages of expression-tokens. The others also takes into consideration languages of expression-types. Generally, syntactically-categorial languages are languages built in accordance with principles of the theory of syntactic categories introduced by S. (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  32
    Foundations for the formalization of metamathematics and axiomatizations of consequence theories.Urszula Wybraniec-Skardowska - 2004 - Annals of Pure and Applied Logic 127 (1-3):243-266.
    This paper deals with Tarski's first axiomatic presentations of the syntax of deductive system. Andrzej Grzegorczyk's significant results which laid the foundations for the formalization of metalogic, are touched upon briefly. The results relate to Tarski's theory of concatenation, also called the theory of strings, and to Tarski's ideas on the formalization of metamathematics. There is a short mention of author's research in the field. The main part of the paper surveys research on the theory (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  6. Logic-Language-Ontology.Urszula B. Wybraniec-Skardowska - 2022 - Cham, Switzerland: Springer Nature, Birkhäuser, Studies in Universal Logic series.
    The book is a collection of papers and aims to unify the questions of syntax and semantics of language, which are included in logic, philosophy and ontology of language. The leading motif of the presented selection of works is the differentiation between linguistic tokens (material, concrete objects) and linguistic types (ideal, abstract objects) following two philosophical trends: nominalism (concretism) and Platonizing version of realism. The opening article under the title “The Dual Ontological Nature of Language Signs and the Problem of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7. Separating syntax and combinatorics in categorial grammar.Reinhard Muskens - 2007 - Research on Language and Computation 5 (3):267-285.
    The ‘syntax’ and ‘combinatorics’ of my title are what Curry (1961) referred to as phenogrammatics and tectogrammatics respectively. Tectogrammatics is concerned with the abstract combinatorial structure of the grammar and directly informs semantics, while phenogrammatics deals with concrete operations on syntactic data structures such as trees or strings. In a series of previous papers (Muskens, 2001a; Muskens, 2001b; Muskens, 2003) I have argued for an architecture of the grammar in which finite sequences of lambda terms are the basic data structures, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  8. Group Theory and Computational Linguistics.Dymetman Marc - 1998 - Journal of Logic, Language and Information 7 (4):461-497.
    There is currently much interest in bringing together the tradition of categorial grammar, and especially the Lambek calculus, with the recent paradigm of linear logic to which it has strong ties. One active research area is designing non-commutative versions of linear logic (Abrusci, 1995; Retoré, 1993) which can be sensitive to word order while retaining the hypothetical reasoning capabilities of standard (commutative) linear logic (Dalrymple et al., 1995). Some connections between the Lambek calculus and computations in groups have long (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  9.  72
    Second-order abstract categorial grammars as hyperedge replacement grammars.Makoto Kanazawa - 2010 - Journal of Logic, Language and Information 19 (2):137-161.
    Second-order abstract categorial grammars (de Groote in Association for computational linguistics, 39th annual meeting and 10th conference of the European chapter, proceedings of the conference, pp. 148–155, 2001) and hyperedge replacement grammars (Bauderon and Courcelle in Math Syst Theory 20:83–127, 1987; Habel and Kreowski in STACS 87: 4th Annual symposium on theoretical aspects of computer science. Lecture notes in computer science, vol 247, Springer, Berlin, pp 207–219, 1987) are two natural ways of generalizing “context-free” grammar formalisms for string (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10. Two deductions: (1) from the totality to quantum information conservation; (2) from the latter to dark matter and dark energy.Vasil Penchev - 2020 - Information Theory and Research eJournal (Elsevier: SSRN) 1 (28):1-47.
    The paper discusses the origin of dark matter and dark energy from the concepts of time and the totality in the final analysis. Though both seem to be rather philosophical, nonetheless they are postulated axiomatically and interpreted physically, and the corresponding philosophical transcendentalism serves heuristically. The exposition of the article means to outline the “forest for the trees”, however, in an absolutely rigorous mathematical way, which to be explicated in detail in a future paper. The “two deductions” are two successive (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  35
    Non‐associative Lambek Categorial Grammar in Polynomial Time.Erik Aarts & Kees Trautwein - 1995 - Mathematical Logic Quarterly 41 (4):476-484.
    We present a new axiomatization of the non-associative Lambek calculus. We prove that it takes polynomial time to reduce any non-associative Lambek categorial grammar to an equivalent context-free grammar. Since it is possible to recognize a sentence generated by a context-free grammar in polynomial time, this proves that a sentence generated by any non-associative Lambek categorial grammar can be recognized in polynomial time.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  12.  93
    Gaifman's theorem on categorial grammars revisited.Wojciech Buszkowski - 1988 - Studia Logica 47 (1):23 - 33.
    The equivalence of (classical) categorial grammars and context-free grammars, proved by Gaifman [4], is a very basic result of the theory of formal grammars (an essentially equivalent result is known as the Greibach normal form theorem [1], [14]). We analyse the contents of Gaifman's theorem within the framework of structure and type transformations. We give a new proof of this theorem which relies on the algebra of phrase structures and exhibit a possibility to justify the key construction (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  54
    Theory of Language Syntax: Categorial Approach.Urszula Wybraniec-Skardowska - 1991 - Dordrecht/Boston/London: Kluwer Academic Publishers.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  14.  60
    On Commutative and Nonassociative Syntactic Calculi and Categorial Grammars.Maciej Kandulski - 1995 - Mathematical Logic Quarterly 41 (2):217-235.
    Two axiomatizations of the nonassociative and commutative Lambek syntactic calculus are given and their equivalence is proved. The first axiomatization employs Permutation as the only structural rule, the second one, with no Permutation rule, employs only unidirectional types. It is also shown that in the case of the Ajdukiewicz calculus an analogous equivalence is valid only in the case of a restricted set of formulas. Unidirectional axiomatizations are employed in order to establish the generative power of categorial grammars based (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  88
    Discontinous Constituents in Generalized Categorial Grammar.Emmon W. Bach - unknown
    [1]. Recently renewed interest in non transformational approaches to syntax [2] suggests that it might be well to take another look at categorial grammars, since they seem to have been neglected largely because they had been shown to be equivalent to context free phrase structure grammars in weak generative capacity and it was believed that such grammars were incapable of describing natural languages in a natural way. It is my purpose here to sketch a theory of grammar which (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  16.  18
    Proof theory: sequent calculi and related formalisms.Katalin Bimbó - 2015 - Boca Raton: CRC Press, Taylor & Francis Group.
    Sequent calculi constitute an interesting and important category of proof systems. They are much less known than axiomatic systems or natural deduction systems are, and they are much less known than they should be. Sequent calculi were designed as a theoretical framework for investigations of logical consequence, and they live up to the expectations completely as an abundant source of meta-logical results. The goal of this book is to provide a fairly comprehensive view of sequent calculi -- including a (...)
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  17.  34
    Deductive, Probabilistic, and Inductive Dependence: An Axiomatic Study in Probability Semantics.Georg Dorn - 1997 - Verlag Peter Lang.
    This work is in two parts. The main aim of part 1 is a systematic examination of deductive, probabilistic, inductive and purely inductive dependence relations within the framework of Kolmogorov probability semantics. The main aim of part 2 is a systematic comparison of (in all) 20 different relations of probabilistic (in)dependence within the framework of Popper probability semantics (for Kolmogorov probability semantics does not allow such a comparison). Added to this comparison is an examination of (in all) 15 purely (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  18. Boole's criteria for validity and invalidity.John Corcoran & Susan Wood - 1980 - Notre Dame Journal of Formal Logic 21 (4):609-638.
    It is one thing for a given proposition to follow or to not follow from a given set of propositions and it is quite another thing for it to be shown either that the given proposition follows or that it does not follow.* Using a formal deduction to show that a conclusion follows and using a countermodel to show that a conclusion does not follow are both traditional practices recognized by Aristotle and used down through the history of logic. These (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  19.  69
    Axiomatizing Category Theory in Free Logic.Christoph Benzmüller & Dana Scott - manuscript
    Starting from a generalization of the standard axioms for a monoid we present a stepwise development of various, mutually equivalent foundational axiom systems for category theory. Our axiom sets have been formalized in the Isabelle/HOL interactive proof assistant, and this formalization utilizes a semantically correct embedding of free logic in classical higher-order logic. The modeling and formal analysis of our axiom sets has been significantly supported by series of experiments with automated reasoning tools integrated with Isabelle/HOL. We also (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  20. Partial proof trees as building blocks for a categorial grammar.Aravind K. Joshi & Seth Kulick - 1997 - Linguistics and Philosophy 20 (6):637-667.
    We describe a categorial system (PPTS) based on partial proof trees(PPTs) as the building blocks of the system. The PPTs are obtained byunfolding the arguments of the type that would be associated with a lexicalitem in a simple categorial grammar. The PPTs are the basic types in thesystem and a derivation proceeds by combining PPTs together. We describe theconstruction of the finite set of basic PPTs and the operations forcombining them. PPTS can be viewed as a categorial (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  21.  72
    The transcendental deduction of Integrated Information Theory: connecting the axioms, postulates, and identity through categories.Robert Chis-Ciure - 2022 - Synthese 200 (3):1-27.
    This paper deals with a foundational aspect of Integrated Information Theory of consciousness: the nature of the relation between the axioms of phenomenology and the postulates of cause-effect power. There has been a lack of clarity in the literature regarding this crucial issue, for which IIT has received much criticism of its axiomatic method and basic tenets. The present contribution elucidates the problem by means of a categorial analysis of the theory’s foundations. Its main results are (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  22.  61
    Sense Generation: A “Quasi‐Classical” Approach to Concepts and Concept Combination.Bradley Franks - 1995 - Cognitive Science 19 (4):441-505.
    This article presents a detailed formal approach to concepts and concept combination. Sense generation is a competence‐level theory that attempts to respect constraints from the various cognitive sciences, and postulates “quasi‐classical” conceptual structures where attributes receive only one value (but are defeasible and so do not represent necessary and sufficient conditions on category membership) and where classification is binary (but explicitly context‐sensitive). It is also argued that any general theory of concepts must account for “privative” combinations (e.g., (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  23.  31
    Repetition in Latin Poetry: Figures of Allusion (review).Michael C. J. Putnam - 1998 - American Journal of Philology 119 (2):295-300.
    In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Repetition in Latin Poetry: Figures of AllusionMichael C. J. PutnamJeffrey Wills. Repetition in Latin Poetry: Figures of Allusion. Oxford: Clarendon Press, 1996. xvi 1 506 pp. Cloth, $90.Wills offers the first fully systematic codification of repetition in Latin poetry. The introduction deals with the various means, such as morphological or lexical markings, word order, position and the like, that can help the reader distinguish allusion in an act (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  24. An Extension of Classical Transformational Grammar.Emmon Bach - unknown
    0. Introductory remarks. I assume that every serious theory of language must give some explicit account of the relationship between expressions in the language described and expressions in some interpreted language which spells out the semantics of the language.1 Let's call this relationship the translation relation. Theories differ as to how this relation is specified. In the Aspects theory of syntax, taken together with a Katz-Postal view of "semantic rules", it was assumed that the relation was defined on (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  25.  15
    Language in Action: Categories, Lambdas and Dynamic Logic.Johan van Benthem - 1995 - MIT Press.
    Language in Action demonstrates the viability of mathematical research into the foundations of categorial grammar, a topic at the border between logic and linguistics. Since its initial publication it has become the classic work in the foundations of categorial grammar. A new introduction to this paperback edition updates the open research problems and records relevant results through pointers to the literature. Van Benthem presents the categorial processing of syntax and semantics as a central component in a more (...)
    Direct download  
     
    Export citation  
     
    Bookmark   36 citations  
  26.  56
    Grammar induction by unification of type-logical lexicons.Sean A. Fulop - 2010 - Journal of Logic, Language and Information 19 (3):353-381.
    A method is described for inducing a type-logical grammar from a sample of bare sentence trees which are annotated by lambda terms, called term-labelled trees . Any type logic from a permitted class of multimodal logics may be specified for use with the procedure, which induces the lexicon of the grammar including the grammatical categories. A first stage of semantic bootstrapping is performed, which induces a general form lexicon from the sample of term-labelled trees using Fulop’s (J Log Lang Inf (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27.  9
    On Families of Languages Generated by Categorial Grammar.Wojciech Buszkowski - 1998 - Poznan Studies in the Philosophy of the Sciences and the Humanities 62:39-48.
  28.  26
    Thucydides 1.22.1: Content and Form in the Speeches.Thomas F. Garrity - 1998 - American Journal of Philology 119 (3):361-384.
    In lieu of an abstract, here is a brief excerpt of the content:Thucydides 1.22.1: Content and Form in the SpeechesThomas F. GarrityThe interpretive problem posed by the speeches of Thucydides is one of the oldest chestnuts in classical scholarship. It has long been debated whether the historian claimed and/or attempted to present verbatim accounts of the arguments put forward by the speakers on each occasion as best he could, or whether he felt free to modify or to invent particular (...)
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  29.  13
    (1 other version)Phrase Structure Languages Generated by Categorial Grammars With Product.Maciej Kandulski - 1988 - Mathematical Logic Quarterly 34 (4):373-383.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  48
    Speculative Grammars of the Middle Ages. [REVIEW]L. D. - 1972 - Review of Metaphysics 26 (2):352-354.
    Bursill-Hall, writing as a linguist, has produced a book of interest and use to all students of philosophy who are intrigued either by medieval or by modern theories of language, or by both. Bursill-Hall’s book is the first full-length presentation of this material in English. After a brief, not to say, desultory, survey of the history of linguistic theory from the Greeks until the appearance of the so-called Modistae, the author discusses the descriptive technique and the terminology of the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  31. Theories, Theorizers and the World: A Category-Theoretic Approach.Vadim Batitsky - 1996 - Dissertation, University of Pennsylvania
    In today's philosophy of science, scientific theories are construed as abstract mathematical objects: formal axiomatic systems or classes of set-theoretic models. By focusing exclusively on the logico-mathematical structure of theories, however, this approach ignores their essentially cognitive nature: that theories are conceptualizations of the world produced by some cognitive agents. As a result, traditional philosophical analyses of scientific theories are incapable of coherently accounting for the relevant relations between highly abstract and idealized models in science and concrete empirical phenomena (...)
     
    Export citation  
     
    Bookmark  
  32. On the theory of labels-tokens.Urszula Wybraniec-Skardowska - 1981 - Bulletin of the Section of Logic 10 (1):30-33.
    This note is based on a lecture delivered at the Conference on the Scien- tic Research of the Mathematical Center of Opole, Turawa, May 10-11th, 1980. A somewhat extended version will be published in the Proceedings of the Conference. At the same time it is an abstract of a part of a planned larger paper, which will involve the theory of label-tokens. The theory is included into the author's monograph in Polish "Teorie Językow Syntaktycznie Kategorialnych", PWN, Warszawa-Wrocław 1985 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  33. (1 other version)Categories of First-Order Quantifiers.Urszula Wybraniec-Skardowska - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), The Lvov-Warsaw School. Past and Present. Cham, Switzerland: Springer- Birkhauser,. pp. 575-597.
    One well known problem regarding quantifiers, in particular the 1storder quantifiers, is connected with their syntactic categories and denotations. The unsatisfactory efforts to establish the syntactic and ontological categories of quantifiers in formalized first-order languages can be solved by means of the so called principle of categorial compatibility formulated by Roman Suszko, referring to some innovative ideas of Gottlob Frege and visible in syntactic and semantic compatibility of language expressions. In the paper the principle is introduced for categorial (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  34.  20
    A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions.Juan Manuel Cornejo & Hanamantagouda P. Sankappanavar - 2022 - Bulletin of the Section of Logic 51 (4):555-645.
    The variety DHMSH\mathbb{DHMSH} of dually hemimorphic semi-Heyting algebras was introduced in 2011 by the second author as an expansion of semi-Heyting algebras by a dual hemimorphism. In this paper, we focus on the variety DHMSH\mathbb{DHMSH} from a logical point of view. The paper presents an extensive investigation of the logic corresponding to the variety of dually hemimorphic semi-Heyting algebras and of its axiomatic extensions, along with an equally extensive universal algebraic study of their corresponding algebraic semantics. Firstly, we present (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  35.  20
    The Logical Approach to Syntax: Foundations, Specifications, and Implementations of Theories of Government and Binding.Edward P. Stabler & Maurice V. Wilkes - 1992 - MIT Press.
    By formalizing recent syntactic theories for natural languages Stabler shows how their complexity can be handled without guesswork or oversimplification. By formalizing recent syntactic theories for natural languages in the tradition of Chomsky's Barriers, Stabler shows how their complexity can be handled without guesswork or oversimplification. He introduces logical representations of these theories together with special deductive techniques for exploring their consequences that will provide linguists with a valuable tool for deriving and testing theoretical predictions and for experimenting with (...)
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  36. The meaning of category theory for 21st century philosophy.Alberto Peruzzi - 2006 - Axiomathes 16 (4):424-459.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  37.  32
    On Universal Grammar and its Formalization.Urszula Wybraniec-Skardowska & Andrzej K. Rogalski - 1998 - The Paideia Archive: Twentieth World Congress of Philosophy 8:153-172.
    This paper sketches or signals some ideas, results, and proposals connected with the theoretical issues related to the categorial approach to language which originated from the first author and which form the basis for further research by the second author. The main aims are the following: 1) to bring into common use some Polish ideas concerned with classical categorial grammar; 2) to take into consideration a universal and simultaneously formal-logical perspective; 3) to consider Peirce's well-known differentiation of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38. Logic of paradoxes in classical set theories.Boris Čulina - 2013 - Synthese 190 (3):525-547.
    According to Cantor (Mathematische Annalen 21:545–586, 1883 ; Cantor’s letter to Dedekind, 1899 ) a set is any multitude which can be thought of as one (“jedes Viele, welches sich als Eines denken läßt”) without contradiction—a consistent multitude. Other multitudes are inconsistent or paradoxical. Set theoretical paradoxes have common root—lack of understanding why some multitudes are not sets. Why some multitudes of objects of thought cannot themselves be objects of thought? Moreover, it is a logical truth that such multitudes do (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  39.  24
    Artificial Grammar Learning Capabilities in an Abstract Visual Task Match Requirements for Linguistic Syntax.Gesche Westphal-Fitch, Beatrice Giustolisi, Carlo Cecchetto, Jordan S. Martin & W. Tecumseh Fitch - 2018 - Frontiers in Psychology 9:387357.
    Whether pattern-parsing mechanisms are specific to language or apply across multiple cognitive domains remains unresolved. Formal language theory provides a mathematical framework for classifying pattern-generating rule sets (or “grammars”) according to complexity. This framework applies to patterns at any level of complexity, stretching from simple sequences, to highly complex tree-like or net-like structures, to any Turing-computable set of strings. Here, we explored human pattern-processing capabilities in the visual domain by generating abstract visual sequences made up of abstract tiles differing (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  40. On Universal Roots in Logic.Andrzej K. Rogalski & Urszula Wybraniec-Skardowska - 1998 - Dialogue and Universalism 8 (11):143-154.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41.  33
    Type-theoretical Grammar.Aarne Ranta - 1994 - Oxford, England: Oxford University Press on Demand.
    It is the aim of INDICES to document recent explorations in the various fields of philosophical logic and formal linguistics and their applications in other disciplines. The main emphasis of this series is on self-contained monographs covering particular areas of recent research and surveys of methods, problems, and results in all fields of inquiry where recourse to logical analysis and logical methods has been fruitful. INDICES will contain monographs dealing with the central areas of philosophical logic (extensional and intensional systems, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   69 citations  
  42. The syntax/semantics interface in Categorial Grammar.Pauline Jacobson - 1996 - In Shalom Lappin (ed.), The handbook of contemporary semantic theory. Cambridge, Mass., USA: Blackwell Reference. pp. 89--116.
     
    Export citation  
     
    Bookmark   4 citations  
  43.  12
    The View from Declarative Syntax 1.Peter Sells - 2021 - In Nicholas Allott, Terje Lohndal & Georges Rey (eds.), A Companion to Chomsky. Wiley. pp. 243–266.
    This chapter focuses on the frameworks of Head‐Driven Phrase Structure Grammar (HPSG) as it developed from Generalized Phrase Structure Grammar (GPSG), and Lexical‐Functional Grammar (LFG). Declarative frameworks are not generative, as they do not ‘generate’ anything in the sense of the preceding paragraph. Pullum refers to that kind of approach as Generative‐Enumerative Syntax and differentiates it from Model‐Theoretic Syntax: GPSG, HPSG, and LFG essentially fall in the latter category. It describes some key aspects of declarative frameworks, and the motivation for (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  45
    Against ellipsis: arguments for the direct licensing of ‘noncanonical’ coordinations.Yusuke Kubota & Robert Levine - 2015 - Linguistics and Philosophy 38 (6):521-576.
    Categorial grammar is well-known for its elegant analysis of coordination enabled by the flexible notion of constituency it entertains. However, to date, no systematic study exists that examines whether this analysis has any obvious empirical advantage over alternative analyses of nonconstituent coordination available in phrase structure-based theories of syntax. This paper attempts precisely such a comparison. We compare the direct constituent coordination analysis of non-canonical coordinations in categorial grammar with an ellipsis-based analysis of the same phenomena in the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  45.  34
    Generative Grammar: A Meaning First Approach.Uli Sauerland & Artemis Alexiadou - 2020 - Frontiers in Psychology 11.
    The theory of language must predict the possible thought—signal (or meaning—sound or sign) pairings of a language. We argue for a Meaning First architecture of language where a thought structure is generated first. The thought structure is then realized using language to communicate the thought, to memorize it, or perhaps with another purpose. Our view contrasts with the T-model architecture of mainstream generative grammar, according to which distinct phrase-structural representations—Phonetic Form (PF) for articulation, Logical Form (LF) for interpretation—are (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  30
    Learning categorial grammar by unification with negative constraints.Jacek Marciniec - 1994 - Journal of Applied Non-Classical Logics 4 (2):181-200.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  47.  62
    Peirce's Law of Triviality: The Implementation of the Trivium of Logic, Rhetoric and Grammar. Basic Categories for Linguistics and Literature Studies from a Universal Semiotic Theory.Fee-Alexandra Haase - 2010 - Lodz Papers in Pragmatics 6 (1):29-48.
    Peirce's Law of Triviality: The Implementation of the Trivium of Logic, Rhetoric and Grammar. Basic Categories for Linguistics and Literature Studies from a Universal Semiotic Theory This article focuses on the aspects that refer to linguistics in the works of Charles S. Peirce. His pragmatic philosophy implemented many other sciences and among them is the traditional trivium of logic, grammar, and rhetoric, which Peirce divided into different kinds of logic, grammar, and rhetoric. While the impact of the work of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  17
    Linguistic norm in post-non-classical studies and the runaway world theory.E. A. Kartushina - 2018 - Liberal Arts in Russia 7 (1):11.
    The article devoted to the study of elaborate correlation between language and ideology, language and culture. The author dwells on the shift in the key concept of social and humanitarian studies from a classical standard and language description to the flexibility in the language use and functioning. It is necessary to point out though that despite some similarities in correlation between language and culture on the one side and language and ideology on the other side, there are some differences (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  14
    Time category in Anton Chekhov’s deep poetics.Olga Shalygina - 2020 - Studies in East European Thought 72 (3-4):253-267.
    The paper suggests that the birth of an artwork as an open dynamic system can be described through the axiomatics of the theory of metabolic time. Alexander Levich’s theory of metabolic time and Nikolai Kozyrev’s theory of generated time flows, describing universal laws of the birth of the new, allow for the rethinking of the main categories of literature and aesthetics. The paper takes the rhythmic fractal as a natural referential unit of time in literature, as (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50. Classical logic without bivalence.Tor Sandqvist - 2009 - Analysis 69 (2):211-218.
    Semantic justifications of the classical rules of logical inference typically make use of a notion of bivalent truth, understood as a property guaranteed to attach to a sentence or its negation regardless of the prospects for speakers to determine it as so doing. For want of a convincing alternative account of classical logic, some philosophers suspicious of such recognition-transcending bivalence have seen no choice but to declare classical deduction unwarranted and settle for a weaker system; intuitionistic logic (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   22 citations  
1 — 50 / 974