Results for 'Mathematical linguistics'

1000+ found
Order:
  1. Mathematical Linguistics and Proof Theory.Wojciech Buszkowski - 1997 - In Benthem & Meulen (eds.), Handbook of Logic and Language. MIT Press. pp. 683--736.
     
    Export citation  
     
    My bibliography   12 citations  
  2.  5
    Introduction to Mathematical Linguistics.Robert Wall - 1974 - Journal of Symbolic Logic 39 (3):615-616.
    Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  3.  1
    Wall Robert. Introduction to Mathematical Linguistics. Prentice-Hall, Inc., Englewood Cliffs, N.J., 1972, Xiv + 337 Pp. [REVIEW]Joseph S. Ullian - 1974 - Journal of Symbolic Logic 39 (3):615-616.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4.  2
    Review: Robert Wall, Introduction to Mathematical Linguistics[REVIEW]Joseph S. Ullian - 1974 - Journal of Symbolic Logic 39 (3):615-616.
  5.  3
    Mathematical Methods in Linguistics.Barbara H. Partee, Alice ter Meulen & Robert E. Wall - 1992 - Journal of Symbolic Logic 57 (1):271-272.
  6.  3
    Saussurian Linguistics Revisited: Can It Inform Our Interpretation of Mathematical Activity?O. Mcnamara - 1995 - Science and Education 4 (3):253-266.
  7.  2
    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]Lawrence S. Moss - 1992 - Journal of Symbolic Logic 57 (1):271-272.
  8. Review: Barbara H. Partee, Alice ter Meulen, Robert E. Wall, Mathematical Methods in Linguistics[REVIEW]Lawrence S. Moss - 1992 - Journal of Symbolic Logic 57 (1):271-272.
  9. Foundations of the Formal Sciences II. Applications of Mathematical Logic in Philosophy and Linguistics.Benedikt Löwe, Wolfgang Malzkorn & Thoralf Räsch - 2003 - Kluwer Academic Publishers.
     
    Export citation  
     
    My bibliography  
  10. 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]John G. Kemeny - 1954 - Journal of Symbolic Logic 19 (2):134.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  11. Foundations of The Formal Sciences II. Applications of Mathematical Logic in Philosophy and Linguistics [Trends in Logic].B. Löwe, W. Malzkorn & T. Räsch (eds.) - 2003 - Kluwer Academic Publishers.
    Translate
     
     
    Export citation  
     
    My bibliography  
  12. New Perspectives in Logic and Formal Linguistics Proceedings of the Vth Roma Workshop.V. M. Abrusci & C. Casadio - 2002
  13.  8
    The Elements of Mathematical Semantics.M. V. Aldridge - 1992 - 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
    Mathematical Fuzzy Logic – What It Can Learn From Mostowski and Rasiowa.Petr Hájek - 2006 - 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
    Curves in Gödel-Space: Towards a Structuralist Ontology of Mathematical Signs.Martin Pleitz - 2010 - 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
    Euphony and Logos: Essays in Honour of Maria Steffen-Batóg and Tadeusz Batóg.Roman Murawski & Jerzy Pogonowski (eds.) - 1997 - 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
    Dov M. Gabbay, Sergei S. Goncharov and Michael Zakharyaschev (Eds.), Mathematical Problems From Applied Logic I.Anders Søgaard - 2007 - Studia Logica 87 (2-3):363-367.
  18.  28
    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]Elliott Mendelson - 2005 - Studia Logica 79 (3):409-410.
  19.  10
    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]Jan Woleński - 2005 - Studia Logica 81 (1):145-150.
  20.  19
    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]Ewa Palka - 2005 - Studia Logica 81 (2):283-292.
  21. Discourse Grammars and the Structure of Mathematical Reasoning II: The Nature of a Correct Theory of Proof and Its Value.John Corcoran - 1971 - 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. The Vastness of Natural Languages.D. Terence Langendoen & Paul M. Postal - 1986 - Linguistics and Philosophy 9 (2):225-243.
     
    Export citation  
     
    My bibliography   9 citations  
  23.  23
    Mathematical Logic.Ian Chiswell - 2007 - 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.  95
    On the Metaphysics of Linguistics.Wolfram Hinzen & Juan Uriagereka - 2006 - 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
    A Concise Introduction to Mathematical Logic.Wolfgang Rautenberg - 2006 - 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
    Residuation, Structural Rules and Context Freeness.Gerhard Jäger - 2004 - 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.  25
    Logical Form.Gilbert Harman - 1972 - 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. Language in Action Categories, Lambdas and Dynamic Logic.J. F. A. K. van Benthem - 1995
     
    Export citation  
     
    My bibliography   3 citations  
  29. Toward a Computational Theory of Pragmatics Discourse, Presupposition, and Implicature.Takao Gunji - 1982 - Indiana University Linguistics Club.
  30. Faces of Science.V. V. Nalimov & Robert Garland Colodny - 1981 - Isi Press, C1981.
    No categories
     
    Export citation  
     
    My bibliography   1 citation  
  31.  24
    Mathematical Methods in Philosophy Editors' Introduction.Aldo Antonelli, Alasdair Urquhart & Richard Zach - 2008 - 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. The Grammar of Adverbials a Study in the Semantics and Syntax of Adverbial Constructions.Renate Bartsch - 1976
  33.  8
    Provability, Complexity, Grammars.Lev Dmitrievich Beklemishev - 1999 - 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. Automation in Language Translation and Theorem Proving.P. Braffort & F. van Scheepen (eds.) - 1968 - Brussels, Commission of the European Communities, Directorate-General for Dissemination of Information.
     
    Export citation  
     
    My bibliography  
  35. 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]Veronica Dahl & Patrick Saint-Dizier - 1985
     
    Export citation  
     
    My bibliography  
  36.  6
    Contributions to Functional Syntax, Semantics, and Language Comprehension.Petr Sgall (ed.) - 1984 - 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. Algebras, Diagrams, and Decisions in Language, Logic, and Computation.Kees Vermeulen & Ann Copestake - 2001
     
    Export citation  
     
    My bibliography  
  38.  17
    Algebraic Aspects of Cut Elimination.Francesco Belardinelli, Peter Jipsen & Hiroakira Ono - 2004 - 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   13 citations  
  39.  48
    Taking Degrees of Truth Seriously.Josep Maria Font - 2009 - 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   3 citations  
  40.  90
    Propositions, Sets, and Worlds.Dale Jacquette - 2006 - 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  
  41.  63
    Undecidability Without Arithmetization.Andrzej Grzegorczyk - 2005 - 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   2 citations  
  42.  71
    Neologicist Nominalism.Rafal Urbaniak - 2010 - 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  
  43.  68
    No Reservations Required? Defending Anti-Nominalism.Alan Baker - 2010 - 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.  31
    Statistics of Intuitionistic Versus Classical Logics.Zofia Kostrzycka & Marek Zaionc - 2004 - 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  
  45.  31
    Confronting Ideals of Proof with the Ways of Proving of the Research Mathematician.Norma B. Goethe & Michèle Friend - 2010 - 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   1 citation  
  46.  47
    A Formalist Philosophy of Mathematics Part I: Arithmetic.Michael Gabbay - 2010 - 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.  11
    The Foundations of Linguistics : Mathematics, Models, and Structures.Ryan Mark Nefdt - unknown
    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  
  48.  28
    Voting by Eliminating Quantifiers.Dov M. Gabbay & Andrzej Szałas - 2009 - 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
    Inferential Intensionality.Grzegorz Malinowski - 2004 - Studia Logica 76 (1):3 - 16.
    The paper is a study of properties of quasi-consequence operation which is a key notion of the so-called inferential approach in the theory of sentential calculi established in [5]. The principal motivation behind the quasi-consequence, q-consequence for short, stems from the mathematical practice which treats some auxiliary assumptions as mere hypotheses rather than axioms and their further occurrence in place of conclusions may be justified or not. The main semantic feature of the q-consequence reflecting the idea is that its (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  50.  53
    Normal Natural Deduction Proofs (in Classical Logic).Wilfried Sieg & John Byrnes - 1998 - Studia Logica 60 (1):67-106.
    Natural deduction (for short: nd-) calculi have not been used systematically as a basis for automated theorem proving in classical logic. To remove objective obstacles to their use we describe (1) a method that allows to give semantic proofs of normal form theorems for nd-calculi and (2) a framework that allows to search directly for normal nd-proofs. Thus, one can try to answer the question: How do we bridge the gap between claims and assumptions in heuristically motivated ways? This informal (...)
    Direct download (12 more)  
     
    Export citation  
     
    My bibliography   2 citations  
1 — 50 / 1000