ИНТУИЦИОНИСТА ЛОГИКА е
Интуиционистична логика — ИНТУИЦИОНИСТИЧНАТА ЛОГИКА първоначално се появява като логика на интуиционистичната математика, но след това нейният обхват се разшири неимоверно. Неофициално И.л. започва да разработва L. Brouwer през 1907 г.; първото тълкуване, независимо от ... ... Енциклопедия на епистемологията и философията на науката
ИНТУИЦИОНИСТИЧНА ЛОГИКА - логика, която отговаря на интуиционистките изисквания за математически разсъждения ... Голям енциклопедичен речник
Интуиционистична логика — Интуиционизмът е система от философски и математически идеи и методи, свързани с разбирането на математиката като набор от „интуитивно убедителни“ умствени конструкции. От гледна точка на интуитивизма, основният критерий за истинността на една математическа ... ... Wikipedia
интуиционистка логика — логика, която удовлетворява интуиционистките изисквания за математически разсъждения. * * * ИНТУИЦИОНИСТИЧНА ЛОГИКА ИНТУИЦИОНИСТИЧНА ЛОГИКА, логика, която отговаря на интуиционистките изисквания за математически разсъждения ... Енциклопедичен речник
Интуиционистката логика е форма на логика на предикатите (вижте Логика на предикатите), отразяваща възгледа на интуиционизма за природата на логическите закони, които от негова гледна точка се считат за приемливи, когато се прилагат към доказателства за съждения от тези части на дедуктивните науки (особено ... Велика съветска енциклопедия
Интуиционистичната логика е един от най-важните клонове на некласическата логика, чиято философска предпоставка е програмата на интуиционизма. Подчертавайки математическата интуиция, интуиционистите не придадоха голямо значение на систематизирането на логическите правила. ... ... Речник на логическите термини
ИНТУИЦИОНИСТИЧНА ЛОГИКА — набор от методи, приемливи от гледна точка на интуиционизмадоказателство за твърдения. В по-тесен смисъл под I. l. се отнася до интуиционистичното смятане на предикатите, формулирано от А. Рейтинг (A. Heyting) през 1930 г. Това смятане ... ... Математическа енциклопедия
ЛОГИКАТА В БЪЛГАРИЯ е еволюцията на съвременната (математическа) логика в България. Con. 19 век и рано 20-ти век бележат излизането на логиката от рамките на силогистиката и появата на новаторски логики, като P.S. Порецки, М.В. Карински, Л.В. Рутковски, С.И. Поварнин и др. Казански ... ... Философска енциклопедия
ЛОГИКА — (от гръцки. logos дума, понятие, разсъждение, ум), или формална логика, наука за законите и операциите на правилното мислене. Според основния принцип на Л., правилността на разсъждението (заключението) се определя само от неговата логическа форма или ... ... Философска енциклопедия
СИМВОЛНА ЛОГИКА — СИМВОЛНА ЛОГИКА математическа логика. теоретичната логика е клон на логиката, в който логическите заключения се изследват с помощта на логическо смятане, базирано на строг символичен език. Терминът "символна логика" очевидно е бил ... Енциклопедия по философия