Abstract
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 different philosophical orientations, respectively. It also introduces certain formal-logical foundations of language semantics, discusses and develops the problem of the syntactic and semantic categorial agreement, i.e. the agreement of the syntactic category of each language expression with the ontological category assigned to the reference of this expression. The author, in particular, gives a solution to this problem for quantifiers.
This is a preview of subscription content, access via your institution.
REFERENCES
Ajdukiewicz, K.: 1935, 'Die syntaktische Konnexität', Studia Philosophica 1, 1–27, English translation: Syntactic Connection, in S. McCall (ed.), Polish Logic 1920–1939, Oxford 1967: 207–231.
Ajdukiewicz, K.: 1960, 'Zwiazki składniowe miedzy członami zdań oznajmujacych', ('syntactic Relation Between Elements of Declarative Sentences'), Studia Filozoficzne 6(21), 73–86.
Bar-Hillel, Y.: 1950, 'On Syntactical Categories', Journal of Symbolic Logic 15, 1–16; reprinted in (1964), pp. 19–37.
Bar-Hillel, Y.: 1953, 'A Quasi-arithmetical Notation for Syntactic Description', Language 29, 47–58; reprinted in (1964), pp. 61–74.
Bar-Hillel, Y.: 1964, Language and Information: Selected Essays on their Theory and Application, Adison-Wesley Publishing Co., Reading, Mass.
Bar-Hillel, Y., Gaifman, C., and Shamir, E.: 1960, 'On Categorial and Phrase Structure Grammar', Bulletin of Research Council of Israel 9F, 1–16; reprinted in (1964).
Benthem van, J.: 1984, 'The Logic of Semantics', in F. Landman and F. Veltman (eds.), Varieties of Formal Semantics, Foris, Dordrecht, pp. 55–80.
Benthem van, J.: 1988, 'New Trends in Categorial Grammar', in W. Buszkowski, W. Marciszewski, and J. van Benthem (eds.), pp. 37–55.
Benthem van, J. and Meulen ter A. (eds.): 1997, Handbook of Logic and Language, Elselvier, Amsterdam.
Bocheński, J. M.: 1947, 'On the Syntactical Categories', New Schoolmen 23, 257–280.
Borkowski, L.: 1958, 'On Proper Quantifiers', Studia Logica 8, 65–130.
Bryll, G. and Miklos, S.: 1977, 'Teoria konkretnych i abstrakcyjnych słów', ('A Theory of Concrete and Abstract Words'), Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Matematyka 20, 63–76.
Buszkowski, W., Marciszewski, W., and Benthem van, J. (eds.): 1988, Categorial Grammar, John Benjamins Publishing Company, Amsterdam/Philadelphia.
Buszkowski, W.: 1989, Logiczne podstawy gramatyk kategorialnych Ajdukiewicza-Lambeka (Logical Foundations of Ajdukiewicz's-Lambek's Categorial Grammars), Logika i jej zastosowania. PWN, Warszawa.
Buszkowski, W.: 1994, 'O klasycznej gramatyce kategorialnej', '(On Classical Categorial Grammar'), text prepared in 1987, in J. Pelc (ed.), Znaczenie i prawda. Rozprawy Semiotyczne, Warszawa 1994, pp. 203–219.
Buszkowski, W.: 1997, 'Mathematical Linguistics and Proof Theory', in van J. Bethem and ter A. Meulen (eds.), pp. 683–736.
Carnap, R.: 1934, Logische Syntax der Sprache, Springer, Wien.
Carnap, R.: 1942, Introduction to Semantics, Harvard University Press, Cambridge.
Chomsky, N.: 1957, Syntactic Structures, Mouton, The Hague.
Cresswell, M. J.: 1973, Logics and Languages, Methuen, London.
Cresswell, M. J.: 1977, 'Categorial Languages', in S. J. Surma (ed.), On Leśniewski Systems, Studia Logica 36(4), 257–269; reprinted in W. Buszkowski, W. Marciszewski and van J. Benthem (eds.), 1988, pp. 113–126.
Curry, H. B.: 1961, 'Some Logical Aspects of Grammatical Structure', in R. Jakobson (ed.), Structure of Language and its Mathematical Aspects, Proceedings of Symposia in Applied Mathematics, vol. 12, AMS, Providence, Rhode Island.
Curry, H. B.: 1963, Foundation of Mathematical Logic, McGraw-Hill, New York.
Frege, G.: 1879, 'Begriffsschrit, eine der arithmetischen nachbildete Formelsprache des reinen Denkens', Halle; reprinted in: Angelelli I. (ed.), Begriffsschrit und andere Aufsätze, Wissenschaftliche Buchgesellschaft/G. Olms, Darmstad/Hildesheim.
Frege, G.: 1884, Die Grundlagen der Arithmetik, Wrocław (see also Frege, 1879).
Frege, G.: 1892, 'Über Sinn und Bedeutung', Zeitschrift für Philosphie und philosophische Kritic, pp. 20–50.
Geach, P. T.: 1971, 'A Program for Syntax', Synthese 22, 3–17; reprinted in W. Buszkowski, W. Marciszewski and van J. Benthem (eds.), 1988, pp. 127–151.
Hiż, H.: 1960, 'The Intuition of Grammatical Categories', Methodos 12(48), 311–319.
Hiż, H.: 1967, 'Grammar Logicism', The Monist 51, 110–127, reprinted in W. Buszkowski, W. Marciszewski and van J. Benthem (eds.), (1988), pp. 265–282.
Hiż, H.: 1968, 'Computable and Uncomputable Elements in Syntax', in B. Van Rootselaar, J. F. Staal (eds.), Logic, Methodology and Philosophy of Sciences, vol. 3, North-Holland Publishing, Amsterdam.
Husserl, E.: 1900–1901, Logische Untersuchungen, vol. 1, Hale 1900, vol. 2, Hale 1901.
Grzegorczyk, A.: 1997, Logic — A Human Affair, Wydawnictwo Naukowe Scholar, Warszawa.
Krynicki, M. and Mostowski, M.: 1995, Quantifiers, vol. 1, Kluwer Academic Publishers, Dordrecht.
Kubiński, T.: 1960, 'On Extension of the Theory of Syntactic Categories', Acta Universitatis Wratislviensis 12, 19–36.
Lambek, J.: 1958, 'The Mathematics of Sentence Structure', American Mathematical Monthly 65, 154–170.
Lambek, J.: 1961, 'On the Calculus of Syntactic Types', in R. Jakobson (ed.), Structure of Language and Its Mathematical Aspects, AMS, Providence, pp. 166–178.
Lambek, J.: 1988, 'Categorial and Categorical Grammar', in R. T. Oehrle, E. Bach, and D. Wheeler (eds.), Categorial Grammars and Natural Language Structures, Dordrecht.
Leśniewski, S.: 1929, 'Grunzüge eines neun System der Grundlage der Mathematik', Fundamenta Mathematicae 14, 1–81.
Leśniewski, S.: 1930, 'Über die Grundlagen der Ontology', Comptes rendus des séances de la Société des Sciences et des Lettres de Varsovie 23, Warszawa, pp. 111–32.
Lewis, D. K.: 1972, 'General Semantics', in D. Davidson and G. H. Harman (eds.), Semantics for Natural Language, Reidel, Dordrecht, pp. 169–281.
Łukasiewicz, J.: 1929, Elementy logiki matematycznej, Wydawnictwa Koła Matematyczno-Fizycznego Słuchaczów Uniwersytetu Warszawskiego, Opracował M. Presburger, Warszawa; English translation: Elements of Mathematical Logic, Warszawa/Oxford 1963.
Marciszewski, W.: 1977, 'Opis syntaktyczny mowy zależnej na gruncie gramatyki kategorialnej', ('syntactic Description of Indirect Speech in Terms of Categorial Grammar'), Studia Semiotyczne 7, 206–226.
Marciszewski, W.: 1988, 'How Freely Can Categories Be Assigned To Natural Language Expressions?', in W. Buszkowski, W. Marciszewski and van J. Benthem (eds.), 1988, pp. 197–220.
Pierce, Ch. S.: 1931–1935, in C. Hartshorne and P. Weiss (eds.), Collected Papers of Chandlers Pierce, Vols. 1–5, Harvard University Press, Cambridge.
Stanosz, B., Nowaczyk, A.: 1976, Logiczne podstawy języka (Logical Foundations of Language), Polskie Towarzystwo Semiotyczne, Ossolineum, Wrocław/Warszawa/Kraków/Gdańsk.
Suszko, R.: 1957, Zarys elementarnej składni logicznej, (Outline of Elementary Logical Syntax), Wydawnictwa Uniwersytetu Warszawskiego, Warszawa.
Suszko, R.: 1958, 'Syntactic Structure and Semantical Reference', part I, Studia Logica 8, 213–244.
Suszko, R.: 1960, 'Syntactic Structure and Semantical Reference', part II, Studia Logica 9, 63–93.
Suszko, R.: 1964, 'O kategoriach syntaktycznych i denotacjach wyrażeń w jêzykach sformalizowanych', ('syntactic Categories and Denotation of Expressions in Formalized Languages'), in: Rozprawy Logiczne (Logical Dissertations; to the memory of Kazimierz Ajdukiewicz), Warszawa, pp. 193–204.
Tarski, A.: 1933, 'Pojęcie prawdy w językach nauk dedukcyjnych', Prace Towarzystwa Naukowego Warszawskiego 34, Wydział III Nauk Matematryczno-Fizycznych, English translation in: Logic, Semantics, Metamathematics. Papers from 1923–1938, first edition: Oxford University Press, Oxford 1956; second edition: Hacket Publishing Company, Indianapolis, Indiana 1983 (edited and introduced by John Corcoran).
Vanderveken, D. R.: 1976, 'The Leśniewski-Curry Theory of Syntactical Categories and Categorially Open Functors', Studia Logica 35(2), 191–201.
Wybraniec-Skardowska, U.: 1985, Teoria języków syntaktycznie kategorialnych (The Theory of Syntactically Categorial Languages), PWN, Wrocław/Warszawa.
Wybraniec-Skardowska, U.: 1988, 'Logiczne podstawy ontologii składni jêzyka' (Logical Foundations of Language Syntax Ontology), Studia Filozoficzne, Logika a Filozofia, 2–7(271–272), 264–284.
Wybraniec-Skardowska, U.: 1989, 'On Eliminatibility of Ideal Linguistic Entities', Studia Logica 48(4), 587–615.
Wybraniec-Skardowska, U.: 1991, Theory of Language Syntax. Categorial Approach, Nijhoff International Philosophy Series, Kluwer Academic Publishers, Dordrecht/Boston/London.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Wybraniec-Skardowska, U. Logical and Philosophical Ideas in Certain Formal Approaches to Language. Synthese 116, 231–277 (1998). https://doi.org/10.1023/A:1005098325137
Issue Date:
DOI: https://doi.org/10.1023/A:1005098325137
Keywords
- Ontological Category
- Categorial Grammar
- Philosophical Idea
- Main Functor
- Primitive Notion