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