Switch to: Citations

References in:

Categories of First -Order Quantifiers

Lvov-Warsaw School. Past and Present (2018)

Add references

You must login to add references.
  1. Über Sinn Und Bedeutung.G. Frege - 1892 - Philosophical Review 1:574.
    Download  
     
    Export citation  
     
    Bookmark   152 citations  
  • 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 the so-called classical (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • 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 on two (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Universal Grammar.Richard Montague - 1970 - Theoria 36 (3):373--398.
    Download  
     
    Export citation  
     
    Bookmark   183 citations  
  • Combinators and Categorial Grammar.Peter Simons - 1989 - Notre Dame Journal of Formal Logic 30 (2):241-261.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Categorial Languages and Variable-Binding Operators.Adam Nowaczyk - 1978 - Studia Logica 37 (1):27 - 39.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Die Grundlagen der Arithmetik. Eine logisch mathematische Untersuchung über den Begriff der Zahl.Gottlob Frege - 1996 - Wittgenstein-Studien 3 (2):993-999.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   88 citations  
  • On a Generalization of Quantifiers.Andrzej Mostowski - 1957 - Fundamenta Mathematicae 44 (2):12--36.
    Download  
     
    Export citation  
     
    Bookmark   123 citations  
  • Logical and Philosophical Ideas in Certain Formal Approaches to Language.Urszula Wybraniec-Skardowska - 1998 - Synthese 116 (2):231-277.
    This paper reminds, puts in order, sketches and also initiates some researches from the field of logic and philosophy of language. It lays emphasis on the logical-linguistic and ontological developmental lines originated with Polish researchers. The author discusses two opposite orientations of the former line in the process of formalization of language, called here nominalistic and Platonistic. The paper mentions the author's result (1989; 1991) concerning theoretical equivalence of two axiomatic approaches to language syntax which take into consideration these two (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • The Semantic Conception of Truth and the Foundations of Semantics.Alfred Tarski - 1944 - Journal of Symbolic Logic 9 (3):68-68.
    Download  
     
    Export citation  
     
    Bookmark   110 citations  
  • Begriffschrift, eine der Arithmetischen nachgebildete Formelsprache des reinen Denkens.Gottlob Frege - 1879 - Revue Philosophique de la France Et de l'Etranger 8:108-109.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   156 citations  
  • Über Die Grundlagen der Ontologie.Stanisław Le'sniewski - 1930 - Sprawozdania Z Posiedze'n Towarzystwa Naukowego Warszawskiego, Wydział Nauk Matematyczno-Fizycznych 23:111-132.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   11 citations  
  • Essays in Logical Semantics.J. F. A. K. van Benthem - 1986
    Download  
     
    Export citation  
     
    Bookmark   46 citations  
  • Combinatory Logic.Haskell B. Curry - 1958 - Amsterdam: North-Holland Pub. Co..
    CHAPTER Addenda to Pure Combinatory Logic This chapter will treat various additions to, and modifications of, the subject matter of Chapters-7. ...
    Download  
     
    Export citation  
     
    Bookmark   55 citations  
  • First order predicate logic with generalized quantifiers.Per Lindström - 1966 - Theoria 32 (3):186--195.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   121 citations  
  • Ontology in the Tractatus of L. Wittgenstein.Roman Suszko - 1968 - Notre Dame Journal of Formal Logic 9 (1):7-33.
    Download  
     
    Export citation  
     
    Bookmark   32 citations