Логика Комбинаторная

- раздел современной (математичес­кой, символической) логики, включающий классическую логику высказываний и классическую логику предикатов. Л.к. Опирается на двузначности принцип, в соответствии с которым всякое высказы­вание является или истинным, или ложным. У истоков Л. К. Стоят, наряду со многими другими исследователями, Д. Буль (1815-1864), А. Де Морган (1806-1871), Ч. Пирс (1839-1914). В их работах была постепенно реализована идея перенесения в ло­гику тех методов, которые обычно применяют..

- раздел математической логики, соответ­ствующий узкому исчислению одноместных предикатов, которые заменяются объемами, классами. Л. К. Соответствует и силлогистике Аристотеля. Иногда Л. К. Рассматривается как формализованная теория множеств, в других случаях - как расширение логики выс­казываний. Если в логике высказываний отвлекаются от связей меж­ду субъектом и предикатом высказывания, то в Л. К. Эти связи учи­тываются. В число классов в Л. К. Включается и пустой класс (0), содержащий нулевое..

См. Многозначная логика.. ..

Или. Логика науки, -применение идей, методов и аппарата логики в анализе научно­го познания. Развитие логики всегда было тесно связано с прак­тикой теоретического мышления и прежде всего с развитием на­уки. Конкретные рассуждения дают логике материал, из которого она извлекает то, что именуется логической формой, законом и т. Д. Теории логической правильности оказываются в конечном счете очищением, систематизацией и обобщением практики мыш­ления. Современная логика с особой наглядностью подтверж..