Логика Дедуктивная

Или. Временная логика, — раздел современной модальной логики, изучающий логические связи вре­менных утверждений, т. Е. Утверждений, в которых временной па­раметр включается в логическую форму. Л. В. Начала складываться в 50-е годы XX в. Прежде всего благодаря работам англ. Логика А. Н. Прайора, хотя первые попытки учесть роль временного фак­тора в логическом выводе относятся еще к античности (Аристо­тель, Диодор Кронос). Задачей Л.в. Является построение искусственных (формализо­ванных) языков, с..

Или. Пропозициональная логика, — раздел логики, формализующий употребление логичес­ких связок «и», «или», «не», «если, то» и т. П., служащих для образова­ния сложных высказываний из простых. Высказывание называется простым, если оно не включает в себя другие высказывания, в противном случае оно называется с л о ж н ы м. В Л. В. Простые выс­казывания рассматриваются в отвлечении от их внутренней (субъектно-предикатной) структуры. Та или иная истинностная оценка высказывания именуется его истиннос..

- раздел современной логики, занима­ющийся исследованием логических связей высказываний об из­менении и становлении материальных или идеальных объектов. Л.и. Относится к логике неклассической. Ее задача — построение искусственных (формализованных) языков, способных сделать бо­лее ясными и точными рассуждения об изменении объекта — пе­реходе его от одного состояния к другому, о становлении объекта, его формировании. В Л. И. Ничего не говорится о конкретных харак­теристиках изменения и становления..

- логическая теория, цель которой — описание логических связей высказываний об объектах, исследуемых квантовой механикой. Переворот, произведенный в физическом мышлении квантовой механикой, был настолько ра­дикальным, что возникла идея особой «логики микромира», от­личной от обычной «логики макромира». В середине 30-х годов была построена первая Л. К. М., положившая начало еще одному направлению логики неклассической. Позднее немецкий философ и логик Г. Рейхенбах (1891-1953) предложил трехзначну..