Facets of intensionality
Abstract
The goal of this paper is to introduce the reader to the distinction between intensional and extensional as a distinction between different approaches to meaning. We will argue that despite the common belief, intensional aspects of mathematical notions can be, and in fact have been successfully described in mathematics. One that is for us particularly interesting is the notion of deduction as depicted in general proof theory. Our considerations result in defending a) the importance of a rule-based semantical approach and b) the position according to which non-reductive and somewhat circular explanations play an essential role in describing intensionality in mathematics.
Keywords:
Proof-theoretic semantics / Proof theory / Intensional logic / Intensional definition / Implicit definitionsSource:
Journal of Philosophy ARHE, 2020, 27, 34, 61-83Publisher:
- Univerzitet u Novom Sadu - Filozofski fakultet - Odsek za filozofiju, Novi Sad
Institution/Community
Filozofija / PhilosophyTY - JOUR AU - Maksimović, Katarina PY - 2020 UR - http://reff.f.bg.ac.rs/handle/123456789/3149 AB - The goal of this paper is to introduce the reader to the distinction between intensional and extensional as a distinction between different approaches to meaning. We will argue that despite the common belief, intensional aspects of mathematical notions can be, and in fact have been successfully described in mathematics. One that is for us particularly interesting is the notion of deduction as depicted in general proof theory. Our considerations result in defending a) the importance of a rule-based semantical approach and b) the position according to which non-reductive and somewhat circular explanations play an essential role in describing intensionality in mathematics. PB - Univerzitet u Novom Sadu - Filozofski fakultet - Odsek za filozofiju, Novi Sad T2 - Journal of Philosophy ARHE T1 - Facets of intensionality EP - 83 IS - 34 SP - 61 VL - 27 DO - 10.19090/arhe.2020.34.61-83 ER -
@article{ author = "Maksimović, Katarina", year = "2020", abstract = "The goal of this paper is to introduce the reader to the distinction between intensional and extensional as a distinction between different approaches to meaning. We will argue that despite the common belief, intensional aspects of mathematical notions can be, and in fact have been successfully described in mathematics. One that is for us particularly interesting is the notion of deduction as depicted in general proof theory. Our considerations result in defending a) the importance of a rule-based semantical approach and b) the position according to which non-reductive and somewhat circular explanations play an essential role in describing intensionality in mathematics.", publisher = "Univerzitet u Novom Sadu - Filozofski fakultet - Odsek za filozofiju, Novi Sad", journal = "Journal of Philosophy ARHE", title = "Facets of intensionality", pages = "83-61", number = "34", volume = "27", doi = "10.19090/arhe.2020.34.61-83" }
Maksimović, K.. (2020). Facets of intensionality. in Journal of Philosophy ARHE Univerzitet u Novom Sadu - Filozofski fakultet - Odsek za filozofiju, Novi Sad., 27(34), 61-83. https://doi.org/10.19090/arhe.2020.34.61-83
Maksimović K. Facets of intensionality. in Journal of Philosophy ARHE. 2020;27(34):61-83. doi:10.19090/arhe.2020.34.61-83 .
Maksimović, Katarina, "Facets of intensionality" in Journal of Philosophy ARHE, 27, no. 34 (2020):61-83, https://doi.org/10.19090/arhe.2020.34.61-83 . .