What Is the Sense in Logic and Philosophy of Language

Authors

  • Urszula Wybraniec-Skardowska Cardinal Stefan Wyszyński University in Warsaw, Department of Philosophy

DOI:

https://doi.org/10.18778/0138-0680.2020.11

Keywords:

logic and philosophy of language, categorial language, syntactic and semantic senses, intensional semantics, meaning, extensional semantics, denotation, categorisation, syntactic and semantic compatibility, algebraic models, truth, structural compatibility, compositionality, language communication

Abstract

In the paper, various notions of the logical semiotic sense of linguistic expressions – namely, syntactic and semantic, intensional and extensional – are considered and formalised on the basis of a formal-logical conception of any language L characterised categorially in the spirit of certain Husserl's ideas of pure grammar, Leśniewski-Ajdukiewicz's theory of syntactic/semantic categories and, in accordance with Frege's ontological canons, Bocheński's and some of Suszko's ideas of language adequacy of expressions of L. The adequacy ensures their unambiguous syntactic and semantic senses and mutual, syntactic and semantic correspondence guaranteed by the acceptance of a postulate of categorial compatibility of syntactic and semantic (extensional and intensional) categories of expressions of L. This postulate defines the unification of these three logical senses. There are three principles of compositionality which follow from this postulate: one syntactic and two semantic ones already known to Frege. They are treated as conditions of homomorphism of partial algebra of L into algebraic models of L: syntactic, intensional and extensional. In the paper, they are applied to some expressions with quantifiers. Language adequacy connected with the logical senses described in the logical conception of language L is, obviously, an idealisation. The syntactic and semantic unambiguity of its expressions is not, of course, a feature of natural languages, but every syntactically and semantically ambiguous expression of such languages may be treated as a schema representing all of its interpretations that are unambiguous expressions.

References

[1] K. Ajdukiewicz, O znaczeniu wyrażeń (On the meaning of expressions), [in:] The Commemorative Book of Polish Philosophical Society in Lvov (1931), pp. 31–77.
Google Scholar

[2] Ajdukiewicz, Sprache und Sinn, Erkenntnis, vol. IV (1934), pp. 100–138.
Google Scholar

[3] K. Ajdukiewicz, Die syntaktische Konnexität, Studia Philosophica 1, Leopoli, vol. 1, (1935), pp. 1–27. (English translation: Syntactic Connection, [in:] S. McCall (ed.), Polish Logic 1920–1939, Clarendon Press, Oxford (1967), pp. 202–231).
Google Scholar

[4] K. Ajdukiewicz, Związki składniowe między członami zdań oznajmujących (Syntactical Relations Between Constituents of Declarative Sentences), Studia Filozoficzne, vol. 6(21) (1960), pp. 73–86. (First presented in English at the International Linguistic Symposium in Erfurt, September 27–October 2, 1958).
Google Scholar

[5] K. Ajdukiewicz, Język i poznanie (Language and Cognition), vol. 1, PWN, Warsaw (1960).
Google Scholar

[6] K. Ajdukiewicz, Pragmatic Logic, Synthese Library, vol. 62, Reidel, Dordrecht-Boston, and PWN, Warsaw (1975).
Google Scholar

[7] Y. Bar-Hillel, On Syntactical Categories, Journal of Symbolic Logic, vol. 15 (1950), pp. 19–37.
Google Scholar

[8] Y. Bar-Hillel, A Quasi-arithmetical Notation for Syntactic Description, Language, vol. 29 (1953), pp. 47–58.
Google Scholar

[9] Y. Bar-Hillel, Language and Information. Selected Essays on Their Theory and Applications, Addison-Wesley, Reading, Mass. (1950).
Google Scholar

[10] J. van Benthem, Universal Algebra and Model Theory. Two Excursions on the Border, Report ZW-7908, Department of Mathematics of Groningen University, Groningen (1980).
Google Scholar

[11] J. van Benthem, Why Is Semantics What?, [in:] J. Groenendijk, T. Janssen and M. Stokhof (eds.), Formal Methods in the Study of Language, Mathematical Centre Tract Amsterdam, vol. 135 (1981), pp. 29–49.
Google Scholar

[12] J. van Benthem, The Logic of Semantics, [in:] F. Landman and F. Veltman (eds.), Varieties of Formal Semantics, GRASS series, vol. 3, Foris, Dordrecht (1984), pp. 55–80.
Google Scholar

[13] J. van Benthem, Essays in Logical Semantics, Reidel, Dordrecht (1986).
Google Scholar DOI: https://doi.org/10.1007/978-94-009-4540-1

[14] J. M. Bocheński, On the Syntactical Categories, New Scholasticism, vol. 23 (1949), pp. 257–280.
Google Scholar

[15] W. Buszkowski, Three Theories of Categorial Grammar, [in:] W. Buszkowski, W. Marciszewski and J. van Benthem (eds.), Categorial Grammar, John Benjamins Publishing Company, Amsterdam–Philadelphia (1988), pp. 57–84.
Google Scholar

[16] W. Buszkowski, Logiczne podstawy gramatyk kategorialnych Ajdukiewicza Lambeka (Logical Foundations of Ajdukiewicz's–Lambek's Categorial Grammars), Logika i jej zastosowania (Logic and Its Applications), PWN, Warsaw (1989).
Google Scholar

[17] W. Buszkowski, O klasycznej gramatyce kategorialnej (On classical categorial grammar), [in:] J. Pelc (ed.), Znaczenie i prawda (Meaning and Truth), Rozprawy Semiotyczne, PWN, Warsaw (1994), pp. 203–220.
Google Scholar

[18] W. Buszkowski, Type Logics in Grammar, [in:] V. F. Hendrics, J. Malinowski (eds.), Trends in Logic: 50 Years of Studia Logica, Kluwer Academic Publishers, Dordrecht (2003), pp. 321–366.
Google Scholar

[19] W. Buszkowski, W. Marciszewski and J. van Benthem (eds.), Categorial Grammar, John Benjamins Publishing Company, Amsterdam–Philadelphia (1988).
Google Scholar DOI: https://doi.org/10.1075/llsee.25

[20] M. J. Cresswell, Logics and Languages, Methuen and Co., London (1973).
Google Scholar

[21] M. J. Cresswell, Categorial Languages, Studia Logica, vol. 36 (1977), pp. 257–269.
Google Scholar

[22] R. Carnap, Meaning and Necessity, University of Chicago Press, Chicago (1947).
Google Scholar

[23] G. Frege, Begriffsschrift, eine der arithmetischen nachbildete Formelsprache des reinen Denkens, Halle (1879).
Google Scholar

[24] G. Frege, Über Sinn und Bedeutung, Zeitschrift für Philosophie und pilosophishe Kritik, vol. 100 (1892), pp. 25–50. (English translation [in:] H. Feigel and W. Sellars (eds.) Readings in Philosophical Analysis, Appleton-Century-Crofts, New York (1947) and also [in:] B. Beaney (ed.) The Frege Reader, Blackwell, Oxford (1997), pp. 151–171.)
Google Scholar

[25] G. Frege, Begriffsschrift und andere Ausätze (I. Angelelli, ed.), Wissenschaftliche Buchgesellschaft/G. Olms, Darmstadt-Hildesheim (1964).
Google Scholar

[26] L. T. F. Gamut, J. van Benthem, J. Groenendijk, D. de Jongh, M. Stokhoft and H. Vercuyl, Logic, Language and Meaning, vol. I: Introduction to Logic, vol. II: Intensional Logic and Logical Grammar, The University of Chicago Press, Chicago–London (1991).
Google Scholar

[27] W. Hodges, Compositional Semantics for Language of Imperfect Information, Logic Journal of the IGPL, vol. 5(4) (1996), pp. 539–563.
Google Scholar

[28] W. Hodges, Compositionality Is Not the Problem, Logic and Logical Philosophy, vol. 6 (1998), pp. 7–33.
Google Scholar

[29] W. Hodges, Formal Features of Compositionality, Journal of Logic, Language and Information, vol. 10 (2001), pp. 7–28.
Google Scholar

[30] E. Husserl, Logische Untersuchungen, vol. I, Halle (1900), vol. II, Halle (1901).
Google Scholar

[31] T. M. V. Janssen, Compositionality, [in:] J. van Benthem and A. ter Muelen (eds.), Handbook of Logic and Language, Elsevier Science, Amsterdam–Lausanne–New York (1996), pp. 417–473.
Google Scholar

[32] T. M. V. Janssen, Frege, Contextuality and Compositionality, Journal of Logic, Language and Information, vol. 10 (2001), pp. 115–136.
Google Scholar

[33] M. Kracht, Interpreted Languages and Compositionality, Springer, Dordrecht–Heildeberg–London–New York (2001).
Google Scholar

[34] J. Lambek, The Mathematics of Sentence Structure, American Mathematical Monthly, vol. 65 (1958), pp. 154–170.
Google Scholar

[35] J. Lambek, On the Calculus of Syntactic Types, [in:] R. Jakobson (ed.) Structure of Language and its Mathematical Aspects. Proceedings of Symposia in Applied Mathematics, vol. 12, AMS, Providence, Rhode Island (1961), pp. 166–178.
Google Scholar

[36] S. Leśniewski, Grundzüge eines neuen Systems der Grundlagen der Mathematik, Fundamenta Mathematicae, vol. 14 (1929), pp. 1–81.
Google Scholar

[37] S. Leśniewski, Über die Grundlagen der Ontologie, Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, Classe II, vol. 23 (1930), pp. 111–132. Reprinted [in:] J. Jadacki (ed.) Stanisław Leśniewski. Pisma zebrane, Gesmmelete Schriften, Tom 2 (Band 2), Towarzystwo Naukowe Warszawskie (Société des Sciences et des Lettres de Varsovie), Semper, Warszawa (2015), pp. 724–766.
Google Scholar

[38] W. Marciszewski, A Chronicle of Categorial Grammar, [in:] W. Buszkowski, W. Marciszewski and J. van Benthem (eds.), Categorial Grammar, John Benjamins Publishing Company, Amsterdam–Philadelphia (1988), pp. 7–22.
Google Scholar

[39] R. Montague, Universal Grammar, Theoria, vol. 36 (1970), pp. 373–398.
Google Scholar

[40] R. Montague, Formal Philosophy: Selected Papers of Richard Montague (ed. and introd. R.H. Thomason), Yale University Press, New Haven, Conn. (1974).
Google Scholar

[41] J. Pelc, A Functional Approach to the Logical Semiotics of Natural Language, [in:] J. Pelc (ed. and introd.), Semiotics in Poland 1894–1969, Synthese Library, Studies in Epistemology, Logic and Methodology of Science, vol. 119, PWN/Reidel, Dortrecht–Boston (1979), pp. 342–375.
Google Scholar

[42] B. H. Partee, Compositionality, [in:] F. Landman and F. Veltman (eds.), Varieties of formal semantics. Proceedings of the fourth Amsterdam Colloqium, Foris, Dordrecht (1984), pp. 281–311.
Google Scholar

[43] F. J. Pelletier, Did Frege believe Frege's Principle, Journal of Logic, Language and Information, vol. 10 (2001), pp. 87–114.
Google Scholar

[44] W. V. Quine, Logic as a Source of Syntactical Insight, Journal of Symbolic Logic, vol. 31(3) (1966), pp. 496–497.
Google Scholar

[45] P. Simons, Combinators and Categorial Grammar, Notre Dame Journal of Formal Logic, vol. 30(2), (1988), pp. 241–261.
Google Scholar

[46] P. Simons, Languages with Variable-binding Operators: Categorial Syntax and Combinatorial Semantics, [in:] J. Jadacki, J. Paśniczek (eds.), The Lvov-Warsaw School – the new generation (Poznań Studies in the Philosophy of Sciences and Humanities, vol. 89), Rodopi, Amsterdam–New York (2006), pp. 239–268.
Google Scholar

[47] B. Stanosz and A. Nowaczyk, Logiczne Podstawy Języka (Logical Foundations of Language), Ossolineum, Wrocław–Warsaw (1976).
Google Scholar

[48] R. Suszko, Syntactic Structure and Semantical Reference, Part I, Studia Logica, vol. 8 (1958), pp. 213–144.
Google Scholar

[49] R. Suszko, Syntactic Structure and Semantical Reference, Part II, Studia Logica, vol. 9 (1960), pp. 63–93.
Google Scholar

[50] R. Suszko, O kategoriach syntaktycznych i denotacjach wyrażeń w językach sformalizowanych (On syntactic categories and denotations of expressions in formalized languages), [in:] Rozprawy Logiczne (Logical dissertations in honour of Kazimierz Ajdukiewicz), PWN, Warsaw (1964), pp. 193–204.
Google Scholar

[51] R. Suszko, Ontology in the Tractatus of L. Wittgenstein, Notre Dame Journal of Formal Logic, vol. 9 (1968), pp. 7–33.
Google Scholar

[52] M. Tałasiewicz, Philosophy of Syntax: Foundational Topics, Springer, Dordrecht (2010).
Google Scholar

[53] M. Tałasiewicz, The Sense of a Predicate, [in:] P. Stalmaszczyk (ed.) Philosophy of Logic of Predication, Peter Lang (2017), pp. 231–277.
Google Scholar

[54] L. Wittgenstein, Philosophical Investigations, Blackwell, Oxford (1953).
Google Scholar

[55] U. Wybraniec-Skardowska, Teoria języków syntaktycznie kategorialnych (The Theory of Syntactically Categorial Languages), PWN, Wrocław–Warszawa (1985).
Google Scholar

[56] U. Wybraniec-Skardowska, Theory of Language Syntax. Categorial Approach, Kluwer Academic Publishers, Nijhoff International Philosophy Series. Dordrecht–Boston–London (1991), DOI: https://doi.org/10.1007/978-0-585-26680-0.
Google Scholar DOI: https://doi.org/10.1007/978-0-585-26680-0

[57] U. Wybraniec-Skardowska, Logical and Philosophical Ideas in Certain Approaches to Language, Synthese, vol. 116(2) (1998), pp. 231–277.
Google Scholar

[58] U. Wybraniec-Skardowska, On Denotations of Quantifiers, [in:] M. Omyła (ed.), Logical Ideas of Roman Suszko, Faculty of Philosophy and Sociology of Warsaw University, Warsaw (2001), pp. 89–119.
Google Scholar

[59] U. Wybraniec-Skardowska, Three Principles of Compositionality, Bulletin of Symbolic Logic, vol. 7(1) (2001), pp. 157–158.
Google Scholar

[60] U. Wybraniec-Skardowska, O pojęciach sensu z perspektywy logiki (On the Notions of Sense from the Perspective of Logic), [in:] K. Trzęsicki (ed.) Ratione et Studio, Publishing House of Białystok University, Białystok (2005), pp. 155–190.
Google Scholar

[61] U. Wybraniec-Skardowska, On the Formalization of Classical Categorial Grammar, [in:] J. Jadacki and J. Paśniczek (eds.) The Lvov-Warsaw School – the new generation (Poznań Studies in the Philosophy of Sciences and Humanities, vol. 89), Rodopi, Amsterdam–New York (2006), pp. 269–288.
Google Scholar

[62] U. Wybraniec-Skardowska, Meaning and Interpretation, Studia Logica, vol. 85(1) (2007), pp. 105–132 (Part I), DOI: https://doi.org/10.1007/s11225-007-9026-0; vol. 85(2) (2007), pp. 263–276 (Part II), DOI: https://doi.org/10.1007/s11225-007-9031-3.
Google Scholar

[63] U. Wybraniec-Skardowska, On Metaknowledge and Truth, [in:] D. Makinson, J. Malinowski and H. Wansing (eds.), Trends in Logic: Towards Mathematical Philosophy, Springer, Berlin-Heidelberg (2009), pp. 319–343, DOI: https://doi.org/10.1007%2F978-1-4020-9084-4 16
Google Scholar

[64] U. Wybraniec-Skardowska, Three Principles of Compositionality, [in:] U. Żegleń (ed.), Cognitive Science and Media in Education. From Formal and Cognitive Aspects of Language to Knowledge, no. 1, Publishing House Adam Marszałek, Toruń (2010), pp. 28–65.
Google Scholar

[65] U. Wybraniec-Skardowska, On Language Adequacy, Studies in Logic, Grammar and Rhetoric, vol. 40(53) (2015), pp. 257–292.
Google Scholar

[66] U. Wybraniec-Skardowska, Logic and Sense, Philosophy Study, vol. 6(9) (2016), pp. 554–568, DOI: https://doi.org/10.17265/2159-5313/2016.09.007.
Google Scholar DOI: https://doi.org/10.17265/2159-5313/2016.09.007

[67] U. Wybraniec-Skardowska, Categories of First Order Quantifiers, The Bulletin of Symbolic Logic, vol. 22(3) (2016), pp. 427–428, DOI: https://doi.org/10.1017/bsl.2016.22
Google Scholar DOI: https://doi.org/10.1017/bsl.2016.22

[68] U. Wybraniec-Skardowska, Categories of First Order Quantifiers, [in:] A. Garido, U. Wybraniec-Skardowska (eds.) The Lvov-Warsaw School. Past and Present, Springer-Birkhäuser, Cham, Switzerland (20168), pp. 763–777, DOI: https://doi.org/10.1007/978-3-319-65430-0 54
Google Scholar DOI: https://doi.org/10.1007/978-3-319-65430-0

[69] U. Wybraniec-Skardowska, Logic and Ontology of Language, [in:] B. Skowron (ed.), Contemporary Polish Ontology, De Gruyter Mouton, Berlin (2019), pp. 109–132.
Google Scholar

[70] E. N. Zalta, Abstract Objects: An Introduction to Axiomatic Metaphysics, Reidel, Dordrecht (1983).
Google Scholar

[71] E. N. Zalta, Intensional Logic and the Metaphysics of Intentionality, MIT Press, Cambridge, MA (1988).
Google Scholar

[72] E. N. Zalta, Typed Object Theory, [in:] Book of Abstracts of the Context, Cognition and Communication Conference, June 2018, University of Warsaw, Warsaw (2018), p. 189.
Google Scholar

Downloads

Published

2020-06-30

How to Cite

Wybraniec-Skardowska, U. (2020). What Is the Sense in Logic and Philosophy of Language. Bulletin of the Section of Logic, 49(2), 185–211. https://doi.org/10.18778/0138-0680.2020.11

Issue

Section

Research Article