Search results for 'Mathematical linguistics' (try it on Scholar)

1000+ found
Order:
  1. Benedikt Löwe, Wolfgang Malzkorn & Thoralf Räsch (2003). Foundations of the Formal Sciences Ii Applications of Mathematical Logic in Philosophy and Linguistics : Papers of a Conference Held in Bonn, November 10-13, 2000. [REVIEW]
     
    Export citation  
     
    My bibliography   1 citation  
  2. Wojciech Buszkowski (1997). Mathematical Linguistics and Proof Theory. In Benthem & Meulen (eds.), Handbook of Logic and Language. MIT Press. pp. 683--736.
     
    Export citation  
     
    My bibliography   12 citations  
  3.  3
    Robert Wall (1974). Introduction to Mathematical Linguistics. Journal of Symbolic Logic 39 (3):615-616.
    Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  4.  1
    Joseph S. Ullian (1974). Wall Robert. Introduction to Mathematical Linguistics. Prentice-Hall, Inc., Englewood Cliffs, N.J., 1972, Xiv + 337 Pp. [REVIEW] Journal of Symbolic Logic 39 (3):615-616.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5.  2
    Joseph S. Ullian (1974). Review: Robert Wall, Introduction to Mathematical Linguistics. [REVIEW] Journal of Symbolic Logic 39 (3):615-616.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6.  2
    Barbara H. Partee, Alice ter Meulen & Robert E. Wall (1992). Mathematical Methods in Linguistics. Journal of Symbolic Logic 57 (1):271-272.
    Direct download  
     
    Export citation  
     
    My bibliography   56 citations  
  7.  3
    O. Mcnamara (1995). Saussurian Linguistics Revisited: Can It Inform Our Interpretation of Mathematical Activity? Science and Education 4 (3):253-266.
    Direct download  
     
    Export citation  
     
    My bibliography  
  8.  2
    Lawrence S. Moss (1992). Partee Barbara H., ter Meulen Alice, and Wall Robert E.. Mathematical Methods in Linguistics. Studies in Linguistics and Philosophy, Vol. 30. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1990, Xx+ 663 Pp. [REVIEW] Journal of Symbolic Logic 57 (1):271-272.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  9. Lawrence S. Moss (1992). Review: Barbara H. Partee, Alice ter Meulen, Robert E. Wall, Mathematical Methods in Linguistics. [REVIEW] Journal of Symbolic Logic 57 (1):271-272.
     
    Export citation  
     
    My bibliography  
  10. Benedikt Löwe, Wolfgang Malzkorn & Thoralf Räsch (2003). Foundations of the Formal Sciences II. Applications of Mathematical Logic in Philosophy and Linguistics. Kluwer Academic Publishers.
     
    Export citation  
     
    My bibliography  
  11. John G. Kemeny (1954). Quine Willard Van Orman. On What There Is. Front a Logical Point of View, by Quine Willard Van Orman, Harvard University Press, Cambridge, Mass., 1953, Pp. 1–19.Quine Willard Van Orman. Two Dogmas of Empiricism. Front a Logical Point of View, by Quine Willard Van Orman, Harvard University Press, Cambridge, Mass., 1953, Pp. 20–46.Quine Willard Van Orman. The Problem of Meaning in Linguistics. Front a Logical Point of View, by Quine Willard Van Orman, Harvard University Press, Cambridge, Mass., 1953, Pp. 47–64.Quine Willard Van Orman. Identity, Ostension, and Hypostasis. Front a Logical Point of View, by Quine Willard Van Orman, Harvard University Press, Cambridge, Mass., 1953, Pp. 65–79. , Pp. 621–633.)Quine Willard Van Orman. New Foundations for Mathematical Logic. Front a Logical Point of View, by Quine Willard Van Orman, Harvard University Press, Cambridge, Mass., 1953, Pp. 80–101. [REVIEW] Journal of Symbolic Logic 19 (2):134.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12. V. M. Abrusci & C. Casadio (2002). New Perspectives in Logic and Formal Linguistics Proceedings of the Vth Roma Workshop.
     
    Export citation  
     
    My bibliography  
  13.  6
    M. V. Aldridge (1992). The Elements of Mathematical Semantics. Mouton De Gruyter.
    Chapter Some topics in semantics Aims of this study The central preoccupation of this study is semantic. It is intended as a modest contribution to the ...
    Direct download  
     
    Export citation  
     
    My bibliography  
  14.  21
    Petr Hájek (2006). Mathematical Fuzzy Logic – What It Can Learn From Mostowski and Rasiowa. Studia Logica 84 (1):51-62.
    Important works of Mostowski and Rasiowa dealing with many-valued logic are analyzed from the point of view of contemporary mathematical fuzzy logic.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  15.  8
    Martin Pleitz (2010). Curves in Gödel-Space: Towards a Structuralist Ontology of Mathematical Signs. Studia Logica 96 (2):193-218.
    I propose an account of the metaphysics of the expressions of a mathematical language which brings together the structuralist construal of a mathematical object as a place in a structure, the semantic notion of indexicality and Kit Fine's ontological theory of qua objects. By contrasting this indexical qua objects account with several other accounts of the metaphysics of mathematical expressions, I show that it does justice both to the abstractness that mathematical expressions have because they are (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  16.  1
    Roman Murawski & Jerzy Pogonowski (eds.) (1997). Euphony and Logos: Essays in Honour of Maria Steffen-Batóg and Tadeusz Batóg. Rodopi.
    Contents: Preface. SCIENTIFIC WORKS OF MARIA STEFFEN-BATÓG AND TADEUSZ BATÓG. List of Publications of Maria Steffen-Batóg. List of Publications of Tadeusz Batóg. Jerzy POGONOWSKI: On the Scientific Works of Maria Steffen-Batóg. Jerzy POGONOWSKI: On the Scientific Works of Tadeusz Batóg. W??l??odzimierz LAPIS: How Should Sounds Be Phonemicized? Pawe??l?? NOWAKOWSKI: On Applications of Algorithms for Phonetic Transcription in Linguistic Research. Jerzy POGONOWSKI: Tadeusz Batóg's Phonological Systems. MATHEMATICAL LOGIC. Wojciech BUSZKOWSKI: Incomplete Information Systems and Kleene 3-valued Logic. Maciej KANDULSKI: Categorial Grammars (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  17.  9
    Anders Søgaard (2007). Dov M. Gabbay, Sergei S. Goncharov and Michael Zakharyaschev (Eds.), Mathematical Problems From Applied Logic I. Studia Logica 87 (2-3):363-367.
  18.  28
    Elliott Mendelson (2005). Book Review: Igor Lavrov, Larisa Maksimova, Problems in Set Theory, Mathematical Logic and the Theory of Algorithms, Edited by Giovanna Corsi, Kluwer Academic / Plenum Publishers, 2003, Us$141.00, Pp. XII + 282, Isbn 0-306-47712-2, Hardbound. [REVIEW] Studia Logica 79 (3):409-410.
  19.  9
    Jan Woleński (2005). Thomas Foster, Logic, Induction and Sets, (London Mathematical Society Student Texts 56), Cambridge University Press, Cambridge 2003, X + 234 Pp., £50, ISBN 0 521 82621 7 (Hardback), £18.99, 0 521 53361 9 (Paperback). [REVIEW] Studia Logica 81 (1):145-150.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  20.  19
    Ewa Palka (2005). Igor Lavrov and Larisa Maksimova, Problems in Set Theory, Mathematical Logic and the Theory of Algorithms, Edited by Giovanna Corsi, Translated by Valentin Shehtman, Kluwer Academic/Plenum Publishers, New York, 2003, US$141.00, Pp. XI + 282, ISBN 0-306-47712-2, Hardbound. [REVIEW] Studia Logica 81 (2):283-292.
  21.  65
    John Corcoran (1971). Discourse Grammars and the Structure of Mathematical Reasoning II: The Nature of a Correct Theory of Proof and Its Value. Journal of Structural Learning 3 (2):1-16.
    1971. Discourse Grammars and the Structure of Mathematical Reasoning II: The Nature of a Correct Theory of Proof and Its Value, Journal of Structural Learning 3, #2, 1–16. REPRINTED 1976. Structural Learning II Issues and Approaches, ed. J. Scandura, Gordon & Breach Science Publishers, New York, MR56#15263. -/- This is the second of a series of three articles dealing with application of linguistics and logic to the study of mathematical reasoning, especially in the setting of a concern (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  22. D. Terence Langendoen & Paul M. Postal (1986). The Vastness of Natural Languages. Linguistics and Philosophy 9 (2):225-243.
     
    Export citation  
     
    My bibliography   9 citations  
  23.  23
    Ian Chiswell (2007). Mathematical Logic. Oxford University Press.
    Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. At each stage of the text, the reader is given an intuition based on standard mathematical practice, which is subsequently developed with clean formal mathematics. Alongside the practical examples, readers learn what can and can't be calculated; for example the correctness of a (...)
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  24.  93
    Wolfram Hinzen & Juan Uriagereka (2006). On the Metaphysics of Linguistics. Erkenntnis 65 (1):71-96.
    Mind–body dualism has rarely been an issue in the generative study of mind; Chomsky himself has long claimed it to be incoherent and unformulable. We first present and defend this negative argument but then suggest that the generative enterprise may license a rather novel and internalist view of the mind and its place in nature, different from all of, (i) the commonly assumed functionalist metaphysics of generative linguistics, (ii) physicalism, and (iii) Chomsky’s negative stance. Our argument departs from the (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  25.  24
    Wolfgang Rautenberg (2006). A Concise Introduction to Mathematical Logic. Springer.
    Traditional logic as a part of philosophy is one of the oldest scientific disciplines. Mathematical logic, however, is a relatively young discipline and arose from the endeavors of Peano, Frege, Russell and others to create a logistic foundation for mathematics. It steadily developed during the 20th century into a broad discipline with several sub-areas and numerous applications in mathematics, informatics, linguistics and philosophy. While there are already several well-known textbooks on mathematical logic, this book is unique in (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  26.  14
    Gerhard Jäger (2004). Residuation, Structural Rules and Context Freeness. Journal of Logic, Language and Information 13 (1):47-59.
    The article presents proofs of the context freeness of a family of typelogical grammars, namely all grammars that are based on a uni- ormultimodal logic of pure residuation, possibly enriched with thestructural rules of Permutation and Expansion for binary modes.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  27.  18
    Gilbert Harman (1972). Logical Form. Foundations of Language 9 (1):38-65.
    Theories of adverbial modification can be roughly distinguished into two sorts. One kind of theory takes logical form to follow surface grammatical form. Adverbs are treated as unanalyzable logical operators that turn a predicate or sentence into a different predicate or sentence respectively. And new rules of logic are stated for these operators. -/- A different kind of theory does not suppose that logical form must parallel surface grammatical form. It allows that logical form may have more to do with (...)
    Direct download  
     
    Export citation  
     
    My bibliography   16 citations  
  28. J. F. A. K. van Benthem (1995). Language in Action Categories, Lambdas and Dynamic Logic.
     
    Export citation  
     
    My bibliography   3 citations  
  29. Takao Gunji (1982). Toward a Computational Theory of Pragmatics Discourse, Presupposition, and Implicature. Indiana University Linguistics Club.
  30. V. V. Nalimov & Robert Garland Colodny (1981). Faces of Science. Isi Press, C1981.
    No categories
     
    Export citation  
     
    My bibliography   1 citation  
  31.  21
    Aldo Antonelli, Alasdair Urquhart & Richard Zach (2008). Mathematical Methods in Philosophy Editors' Introduction. Review of Symbolic Logic 1 (2):143-145.
    Mathematics and philosophy have historically enjoyed a mutually beneficial and productive relationship, as a brief review of the work of mathematician–philosophers such as Descartes, Leibniz, Bolzano, Dedekind, Frege, Brouwer, Hilbert, Gödel, and Weyl easily confirms. In the last century, it was especially mathematical logic and research in the foundations of mathematics which, to a significant extent, have been driven by philosophical motivations and carried out by technically minded philosophers. Mathematical logic continues to play an important role in contemporary (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  32. Renate Bartsch (1976). The Grammar of Adverbials a Study in the Semantics and Syntax of Adverbial Constructions.
  33.  7
    Lev Dmitrievich Beklemishev (1999). Provability, Complexity, Grammars. American Mathematical Society.
    (2) Vol., Classification of Propositional Provability Logics LD Beklemishev Introduction Overview. The idea of an axiomatic approach to the study of ...
    Direct download  
     
    Export citation  
     
    My bibliography  
  34. P. Braffort & F. van Scheepen (eds.) (1968). Automation in Language Translation and Theorem Proving. Brussels, Commission of the European Communities, Directorate-General for Dissemination of Information.
     
    Export citation  
     
    My bibliography  
  35. Veronica Dahl & Patrick Saint-Dizier (1985). Natural Language Understanding and Logic Programming Proceedings of the First International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-20 September, 1984. [REVIEW]
    No categories
     
    Export citation  
     
    My bibliography  
  36.  6
    Petr Sgall (ed.) (1984). Contributions to Functional Syntax, Semantics, and Language Comprehension. John Benjamins.
    On the Notion "Type of Language" Petr Sgall It is well known that the high frequency of terminological vagueness and confusion has been a serious obstacle ...
    Direct download  
     
    Export citation  
     
    My bibliography  
  37. Kees Vermeulen & Ann Copestake (2001). Algebras, Diagrams, and Decisions in Language, Logic, and Computation.
     
    Export citation  
     
    My bibliography  
  38.  17
    Francesco Belardinelli, Peter Jipsen & Hiroakira Ono (2004). Algebraic Aspects of Cut Elimination. Studia Logica 77 (2):209 - 240.
    We will give here a purely algebraic proof of the cut elimination theorem for various sequent systems. Our basic idea is to introduce mathematical structures, called Gentzen structures, for a given sequent system without cut, and then to show the completeness of the sequent system without cut with respect to the class of algebras for the sequent system with cut, by using the quasi-completion of these Gentzen structures. It is shown that the quasi-completion is a generalization of the MacNeille (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   12 citations  
  39.  88
    Dale Jacquette (2006). Propositions, Sets, and Worlds. Studia Logica 82 (3):337-343.
    If we agree with Michael Jubien that propositions do not exist, while accepting the existence of abstract sets in a realist mathematical ontology, then the combined effect of these ontological commitments has surprising implications for the metaphysics of modal logic, the ontology of logically possible worlds, and the controversy over modal realism versus actualism. Logically possible worlds as maximally consistent proposition sets exist if sets generally exist, but are equivalently expressed as maximally consistent conjunctions of the same propositions in (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  40.  46
    Josep Maria Font (2009). Taking Degrees of Truth Seriously. Studia Logica 91 (3):383-406.
    This is a contribution to the discussion on the role of truth degrees in manyvalued logics from the perspective of abstract algebraic logic. It starts with some thoughts on the so-called Suszko’s Thesis (that every logic is two-valued) and on the conception of semantics that underlies it, which includes the truth-preserving notion of consequence. The alternative usage of truth values in order to define logics that preserve degrees of truth is presented and discussed. Some recent works studying these in the (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  41.  69
    Rafal Urbaniak (2010). Neologicist Nominalism. Studia Logica 96 (2):149-173.
    The goal is to sketch a nominalist approach to mathematics which just like neologicism employs abstraction principles, but unlike neologicism is not committed to the idea that mathematical objects exist and does not insist that abstraction principles establish the reference of abstract terms. It is well-known that neologicism runs into certain philosophical problems and faces the technical difficulty of finding appropriate acceptability criteria for abstraction principles. I will argue that a modal and iterative nominalist approach to abstraction principles circumvents (...)
    Translate
      Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  42.  60
    Andrzej Grzegorczyk (2005). Undecidability Without Arithmetization. Studia Logica 79 (2):163-230.
    In the present paper the well-known Gödels – Churchs argument concerning the undecidability of logic (of the first order functional calculus) is exhibited in a way which seems to be philosophically interestingfi The natural numbers are not used. (Neither Chinese Theorem nor other specifically mathematical tricks are applied.) Only elementary logic and very simple set-theoretical constructions are put into the proof. Instead of the arithmetization I use the theory of concatenation (formalized by Alfred Tarski). This theory proves to be (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  43.  65
    Alan Baker (2010). No Reservations Required? Defending Anti-Nominalism. Studia Logica 96 (2):127-139.
    In a 2005 paper, John Burgess and Gideon Rosen offer a new argument against nominalism in the philosophy of mathematics. The argument proceeds from the thesis that mathematics is part of science, and that core existence theorems in mathematics are both accepted by mathematicians and acceptable by mathematical standards. David Liggins (2007) criticizes the argument on the grounds that no adequate interpretation of “acceptable by mathematical standards” can be given which preserves the soundness of the overall argument. In (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  44.  10
    Ryan Mark Nefdt, The Foundations of Linguistics : Mathematics, Models, and Structures.
    The philosophy of linguistics is a rich philosophical domain which encompasses various disciplines. One of the aims of this thesis is to unite theoretical linguistics, the philosophy of language, the philosophy of science and the ontology of language. Each part of the research presented here targets separate but related goals with the unified aim of bringing greater clarity to the foundations of linguistics from a philosophical perspective. Part I is devoted to the methodology of linguistics in (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  45.  31
    Zofia Kostrzycka & Marek Zaionc (2004). Statistics of Intuitionistic Versus Classical Logics. Studia Logica 76 (3):307 - 328.
    For the given logical calculus we investigate the proportion of the number of true formulas of a certain length n to the number of all formulas of such length. We are especially interested in asymptotic behavior of this fraction when n tends to infinity. If the limit exists it is represented by a real number between 0 and 1 which we may call the density of truth for the investigated logic. In this paper we apply this approach to the intuitionistic (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  46.  44
    Michael Gabbay (2010). A Formalist Philosophy of Mathematics Part I: Arithmetic. Studia Logica 96 (2):219-238.
    In this paper I present a formalist philosophy mathematics and apply it directly to Arithmetic. I propose that formalists concentrate on presenting compositional truth theories for mathematical languages that ultimately depend on formal methods. I argue that this proposal occupies a lush middle ground between traditional formalism, fictionalism, logicism and realism.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  47.  30
    Norma B. Goethe & Michèle Friend (2010). Confronting Ideals of Proof with the Ways of Proving of the Research Mathematician. Studia Logica 96 (2):273-288.
    In this paper, we discuss the prevailing view amongst philosophers and many mathematicians concerning mathematical proof. Following Cellucci, we call the prevailing view the “axiomatic conception” of proof. The conception includes the ideas that: a proof is finite, it proceeds from axioms and it is the final word on the matter of the conclusion. This received view can be traced back to Frege, Hilbert and Gentzen, amongst others, and is prevalent in both mathematical text books and logic text (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  48.  28
    Dov M. Gabbay & Andrzej Szałas (2009). Voting by Eliminating Quantifiers. Studia Logica 92 (3):365-379.
    Mathematical theory of voting and social choice has attracted much attention. In the general setting one can view social choice as a method of aggregating individual, often conflicting preferences and making a choice that is the best compromise. How preferences are expressed and what is the “best compromise” varies and heavily depends on a particular situation. The method we propose in this paper depends on expressing individual preferences of voters and specifying properties of the resulting ranking by means of (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  49.  21
    Wojciech Buszkowski & Ewa Palka (2008). Infinitary Action Logic: Complexity, Models and Grammars. Studia Logica 89 (1):1-18.
    Action logic of Pratt [21] can be presented as Full Lambek Calculus FL [14, 17] enriched with Kleene star *; it is equivalent to the equational theory of residuated Kleene algebras (lattices). Some results on axiom systems, complexity and models of this logic were obtained in [4, 3, 18]. Here we prove a stronger form of *-elimination for the logic of *-continuous action lattices and the –completeness of the equational theories of action lattices of subsets of a finite monoid and (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  50.  20
    Brian Hill (2008). Towards a “Sophisticated” Model of Belief Dynamics. Part I: The General Framework. Studia Logica 89 (1):81-109.
    It is well-known that classical models of belief are not realistic representations of human doxastic capacity; equally, models of actions involving beliefs, such as decisions based on beliefs, or changes of beliefs, suffer from a similar inaccuracies. In this paper, a general framework is presented which permits a more realistic modelling both of instantaneous states of belief, and of the operations involving them. This framework is motivated by some of the inadequacies of existing models, which it overcomes, whilst retaining technical (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 1000