Логикалық жауап бірден-бір жауапты қарапайым жауапқа теңеседі ме?

Мен шегерімнің логикалық жауапын алу үшін пайдаланылатынын білемін. Тарихтық теорияны шегерілетін дәлелдің нәтижесі деп қарастырыңыз. Қарапайым түсініктеме алу үшін қарапайым жауап алуға болады ма? Өйткені, бұл жайдың дұрыс немесе жоқ екенін білу қиын.

Сондай-ақ, егер деструктивтік негіздеме тарихта пайдаланылмаса, біреу пайдаланып отырғанын айтып беріңіз бе? егер ол мүлде қолданылған болса? Менің ойымша, бұл - дәлелдемелер туралы қорытындыға қалай қол жеткізгеніміз емес пе?

Мағынасы бар деп үміттенемін ...

2
Phil.SE-ге қош келдіңіз! «Тарих» деген сөзбен зерттеліп, тарихшылардың пікірінше, тарихты ойлайсыз ба?
қосылды автор Shane Arney, көзі
Бұл мәселе бойынша көп нәрсе немесе көп сұрақтар бар. Біріншіден, сіз «қарапайым жауаптар» туралы сұрақ қоя аласыз, ол белгілі бір санат емес. Екіншіден, сіз «дедуктивті негіздеме» (бұл әдіс) қандай да бір түрде «қарапайым жауаптарға» алып келеді ма? Үшіншіден, сіз оны тарихқа қосасыз. Төртіншіден, сіз себептерді сұрайсыз. Егер бұл сіз оқып жатқан нәрсеге негізделсе, ол бұл ерекшеліктердің нышаны не екенін білуімізге көмектеседі.
қосылды автор virmaior, көзі
Иә, бұл дегеніміз
қосылды автор Sagi Maymon, көзі

1 жауаптар

Менің ойымша, сіз шынымен аздап шатастырдыңыз. Үздіксіз ақыл-парасат Табиғи шегерумен балама болып табылады, онда аксиомадан немесе теоремадан бастап, басқа теоремалар арқылы шығаруға болады. Енді, бұл таза синтаксистік деңгейде, яғни, біз теоремалар шындыққа алаңдамаймыз. Үй-жай дұрыс болған кезде дәлел «дыбыс» деп аталады. Назар аударыңыз, біз мұнда семантикалық жағдайлар туралы бірдеңе талап етеміз.

Енді, менің ойымша, тарих ешқандай шүбәсіз ой-пікірлермен байланысты емес, бірақ ол, әрине, өз бетімен зерттеледі деп ойлаймын. Іс жүзінде ресми логиканы зерттеудің өзегі жатыр.

Келесі дәлелді қарастырайық:

I)

Барлық адам өлім, Мен адаммын.

Сондықтан мен адаммын.

және,

II)

Барлық адам ұшуға болады, Сен адамсың.

Сондықтан ұшуға болады.

Енді бұл Модус Поненстің ережесі болып табылады:

B білдіреді A Сондықтан Б

Аргумент I) дыбыс, II) дұрыс емес. Бірақ қорытындылар логикалық тұрғыдан екеуіндегі үй-жайдан, яғни барлық үй-жайлар шын болған кезде, қорытынды жасалуы керек. Бұл Логикалық салдардың семантикалық анықтамасы, семантикалық және «келесіден» шыққан синтаксистік ұғым тек логикадағы толық, яғни барлық және тек теоремалар шындық болып табылатындарға тең. Арифметика аяқталмаған, оны Годель анықтады, демек, ол дәлелденгеннен гөрі шындыққа ие.

Бұл көмектесті деп үміттенемін!

1
қосылды