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.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
