Логика ой жүгүртүүнү жана тыянак чыгарууну изилдөөчү илим
жүктеу/скачать 159,91 Kb.
|
- Бұл бет үшін навигация:
- 2. Формалдуу эмес логика
1. Формалдуу логикаСалттуу логика же философиялык логика деп да аталат, бул таза формалдуу жана ачык мазмундагы тыянактарды изилдөө. Кеп формалдуу билдирүүлөрдү (логикалык же математикалык) талдоо жөнүндө, анын мааниси ички эмес, бирок белгилери аларга берилген пайдалуу колдонуунун аркасында мааниге ээ. Акыркысы келип чыккан философиялык традиция так "формализм" деп аталат. Өз кезегинде, расмий система - бул бир же бир нече жайдан жыйынтык чыгаруу үчүн колдонулган система. Экинчиси аксиомалар (өзүнөн-өзү көрүнүп турган сунуштар) же теоремалар (тыянактардын жана аксиомалардын белгиленген эрежелеринин жыйынтыгы) болушу мүмкүн. Расмий логика аркылуу чыгарган тыянактарыбыз, эгер алар жарактуу жайларга негизделсе жана логикалык операцияларда эч кандай мүчүлүштүктөр жок болсо, анда алар өзүлөрүндө чын. Чындыгында, бул формалдуу логика илим дүйнөсүнө таандыкпы же башка билим чөйрөсүнө жатабы деген ачык талкууга алып келет, анткени ал чындыкты сүрөттөбөйт, тескерисинче өзүнүн иштөө эрежелерин сүрөттөйт. 2. Формалдуу эмес логикаӨз кезегинде, расмий эмес логика - бул акыркы дисциплина, ал табигый же күнүмдүк тилде келтирилген аргументтерди изилдейт, баалайт жана талдайт. Демек, ал "расмий эмес" категориясын алат. Бул оозеки жана жазуу тили, же кандайдыр бир нерсени билдирүү үчүн колдонулган ар кандай механизм жана өз ара аракеттенүү болушу мүмкүн. Мисалы, компьютердик тилдерди үйрөнүүгө жана өнүктүрүүгө колдонула турган расмий логикадан айырмаланып; расмий тил тилдерди жана тилдерди билдирет. Ошентип, расмий эмес логика жеке ой жүгүртүүдөн жана аргументтерден баштап саясий дебаттарга чейин, укуктук жүйөлөрдү же гезит, телекөрсөтүү, интернет ж.б. сыяктуу ММКлар тараткан жайларды талдай алат. 3. Символикалык логика Аты айтып тургандай, символикалык логика символдордун ортосундагы мамилелерди талдайт. Кээде ал татаал математикалык тилди колдонот, анткени ал салттуу формалдуу логика татаал же аны чечүү кыйын деп эсептелген маселелерди изилдөөгө жооп берет. Ал, адатта, эки чакан түргө бөлүнөт: жүктеу/скачать 159,91 Kb. Достарыңызбен бөлісу:
|