Add to ORKGThis book presents a comprehensive investigation into the relationship between argumentation theory and the philosophy of mathematical practice. It offers large array of examples ranging from the history of mathematics to formal proof verification
To adequately model mathematical arguments the analyst must be able to represent the mathematical ob...
To adequately model mathematical arguments the analyst must be able to represent the mathematical ob...
peer reviewedIn recent years, philosophical work directly concerned with the practice of mathematics...
Abstract. Some authors have begun to appeal directly to studies of argumentation in their analyses o...
Most philosophers still tend to believe that mathematics is basically about producing formal proofs....
Our goal in this paper is to identify the different argumentative activities associated with the not...
Abstract. In this paper, I assume, perhaps controversially, that translation into a language of form...
In argumentation studies, almost all theoretical proposals are applied, in general, to the analysis ...
International audienceThis chapter arose out of discussions of the working group on argumentation, l...
The traditional view of evidence in mathematics is that evidence is just proof and proof is just der...
This paper explores applications of concepts from argumentation theory to mathematical proofs. Note ...
Abstract. Except in very poor mathematical contexts, mathematical arguments do not stand in isolatio...
Contemporary philosophy of mathematics offers us an embarrassment of riches. Among the major areas o...
We argue that there are mutually beneficial connections to be made between ideas in argumentation th...
To adequately model mathematical arguments the analyst must be able to represent the mathematical ob...
To adequately model mathematical arguments the analyst must be able to represent the mathematical ob...
peer reviewedIn recent years, philosophical work directly concerned with the practice of mathematics...
Abstract. Some authors have begun to appeal directly to studies of argumentation in their analyses o...
Most philosophers still tend to believe that mathematics is basically about producing formal proofs....
Our goal in this paper is to identify the different argumentative activities associated with the not...
Abstract. In this paper, I assume, perhaps controversially, that translation into a language of form...
In argumentation studies, almost all theoretical proposals are applied, in general, to the analysis ...
International audienceThis chapter arose out of discussions of the working group on argumentation, l...
The traditional view of evidence in mathematics is that evidence is just proof and proof is just der...
This paper explores applications of concepts from argumentation theory to mathematical proofs. Note ...
Abstract. Except in very poor mathematical contexts, mathematical arguments do not stand in isolatio...
Contemporary philosophy of mathematics offers us an embarrassment of riches. Among the major areas o...
We argue that there are mutually beneficial connections to be made between ideas in argumentation th...
To adequately model mathematical arguments the analyst must be able to represent the mathematical ob...
To adequately model mathematical arguments the analyst must be able to represent the mathematical ob...
peer reviewedIn recent years, philosophical work directly concerned with the practice of mathematics...