„Győzedelmes argumentum” változatai közötti eltérés

[nem ellenőrzött változat][nem ellenőrzött változat]
Tartalom törölve Tartalom hozzáadva
→‎Forrás: Hopp-hopp, mik vannak az interneten...
→‎Rekonstrukció időbeli következtetéssel: leesett, mi volt az a megmagyarázatlan kis aindex a péknél
87. sor:
=== Rekonstrukció időbeli következtetéssel ===
Eduard Zeller német filozófus 1882-es értelmezése a második premisszát nem logikai, hanem időbeli következés értelemben használta, vagyis a levezetésben az '''(A)<sub>k</sub>''', '''(B)<sub>t</sub>'' 'és '''(C)<sub>k</sub>''' premisszákat használjuk, és '''(C)<sub>k</sub>'''-ból indulunk ki. Legyen <math>\scriptstyle{p}</math> az a kifejezés, melyre '''(C)<sub>k</sub>''' kikötései állnak.
Az időbeli következtetéssel történő levezetés folytán majd az 5. lépés nem lesz szigorúan logikai – el kell telnie valamennyi időnek ahhoz, hogy az érv sikeres legyen. Ehhez bevezetünk egy <math>\scriptstyle{t}</math> időváltozót: a <math>\scriptstyle{pp_t}</math> kijelentés mindig a világ <math>\scriptstyle{t}</math>-beli állapotáról állít valamit, azonban mi ezt a <math>\scriptstyle{pp_t}</math> kijelentést ''más és más'' időpontban állíthatjuk''. Az érv első fele <math>\scriptstyle{t}</math>, a második fele viszont egy <math>\scriptstyle{t}</math>-nél későbbi <math>\scriptstyle{t'}</math> időpontban hangzik el. A levezetés:
{| align="center" cellspacing=5<!--{{széptáblázat}} -->
|align=right| <math>\scriptstyle{t}</math> időpontban:
! (1)
| <math>\scriptstyle{pp_t}</math> lehetséges
| ('''(C)<sub>k</sub>''' miatt)
|-
|align=right| <math>\scriptstyle{t}</math> időpontban:
! (2)
| <math>\scriptstyle{pp_t}</math> most nem igaz, és nem is lesz igaz
| ('''(C)<sub>k</sub>''' miatt)
|-
|align=right| <math>\scriptstyle{t}</math> időpontban:
! (3)
| <math>\scriptstyle{pp_t}</math> most nem igaz
| ('''(2)'''-ből)
|-
|align=right| <math>\scriptstyle{t}</math> időpontban:
! (4)
| nem <math>\scriptstyle{pp_t}</math> most igaz
| ('''(3)'''-ból)
|-
|align=right| <math>\scriptstyle{t<t'}</math> időpontban:
! (5)
| nem <math>\scriptstyle{pp_t}</math> igaz volt
| ('''(4)'''-ből)
|-
|align=right| <math>\scriptstyle{t'}</math> időpontban:
! (6)
| nem <math>\scriptstyle{pp_t}</math> szükségszerű
| ('''(5)'''-ből '''(A)<sub>k</sub>'''-val)
|-
|align=right| <math>\scriptstyle{t'}</math> időpontban:
! (7)
| <math>\scriptstyle{pp_t}</math> lehetetlen
| ('''(6)'''-ból)
|-
|align=right| <math>\scriptstyle{t'}</math> időpontban:
! (8)
| ellentmondás az, hogy <math>\scriptstyle{pp_t}</math> lehetséges és <math>\scriptstyle{pp_t}</math> lehetetlen
| ('''(B)<sub>t</sub>''' miatt)
|}
 
 
=== Rekonstrukció logikai következtetéssel ===