- Tytuł:
- The Phenomenology of Second-Level Inference: Perfumes in The Deductive Garden
- Autorzy:
- Makinson, David
- Powiązania:
- https://bibliotekanauki.pl/articles/1023263.pdf
- Data publikacji:
- 2020-12-30
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
second-level inference
suppositions
indirect inference
goal simplification
goal preservation
wlog
premise preservation - Opis:
- 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', in mathematical practice rather than on the space of all formal possibilities, deployment in proof-theory, or conventions for display in systems of natural deduction.
- Źródło:
-
Bulletin of the Section of Logic; 2020, 49, 4; 327-342
0138-0680
2449-836X - Pojawia się w:
- Bulletin of the Section of Logic
- Dostawca treści:
- Biblioteka Nauki
Artykuł