The Phenomenology of Second-Level Inference: Perfumes in The Deductive Garden
We comment on certain features that second-level inference rules commonly used in mathematical proof sometimes have, sometimes lack: suppositions, indirectness, goal-simplification, goal-preservation and premise-preservation. The emphasis is on the roles of these features, which we call 'perfumes',...
I tiakina i:
| Kaituhi matua: | |
|---|---|
| Hōputu: | Artigo |
| Reo: | Inglês |
| I whakaputaina: |
Lodz University Press
2020-12-01
|
| Rangatū: | Bulletin of the Section of Logic |
| Ngā marau: | |
| Urunga tuihono: | https://czasopisma.uni.lodz.pl/bulletin/article/view/8550 |
| Ngā Tūtohu: |
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!
|