общая импликация
Смотреть что такое "общая импликация" в других словарях:
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
История логики — изучает развитие науки о формах и законах правильного мышления (логика). Появление логики в качестве разработанного анализа принципов умозаключений имеет отношение исключительно к трём локальным цивилизациям, а именно: Китай, Индия и Древняя… … Википедия
КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… … История Философии: Энциклопедия
ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… … Философская энциклопедия
ГЕМПЕЛЬ — (Hempel) Карл Густав (1905 1997) немецкий логик и философ науки, представитель неопозитивизма. Член Общества эмпирической философии (Берлин), участник Венского кружка. В 1934 эмигрировал в Бельгию, позднее в США (1937). Основные труды: ‘Мотивы и… … История Философии: Энциклопедия
ВЕРОЯТНОСТНАЯ ЛОГИКА — логическая система, в которой высказываниям соответствует непрерывная шкала значений истинности от 0 до 1, причем нуль приписывается высказыванию о невозможном событии, а 1 практически достоверному. В.л. формально можно рассматривать как… … Философская энциклопедия
ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия
ПАРАДОКС — (греч. paradoxos неожиданный, странный) в широком смысле: утверждение, резко расходящееся с общепринятым, устоявшимся мнением, отрицание того, что представляется «безусловно правильным»; в более узком смысле два противоположных утверждения, для… … Философская энциклопедия
Математическая логика — (теоретическая логика, символическая логика) раздел математики, изучающий доказательства и вопросы оснований математики. «Предмет современной математической логики разнообразен.»[1] Согласно определению П. С. Порецкого, «математическая… … Википедия
СТОИЦИЗМ — СТОИЦИЗМ учение одной из наиболее влиятельных философских школ Античности, основанной ок. 300 до н. э. Зеноном изКития; название «Стоя» происходит от названия «Расписного Портика» (Στοὰ Ποικίλη) в Афинах, где преподавал Зенон.… … Античная философия
ГЕМПЕЛЬ Карл Густав (1905-1997) — немецкий логик и философ науки, представитель неопозитивизма. Член Общества эмпирической философии (Берлин), участник Венского кружка. В 1934 эмигрировал в Бельгию, позднее в США (1937). Основные труды: Мотивы и охватывающие законы в историческом … История Философии: Энциклопедия
