Логика Высказываний

раздел математической логики (См. Логика), посвященный изучению логических форм сложных высказываний, образованных из элементарных высказываний с помощью связок, аналогичных союзам «и», «или», «если..., то...», отрицания («не») и др.. ..

ЛОГЕЙОН - в древнегреческом театре эпохи эллинизма и Римской империи продолговатая площадка перед сценой, где играли актеры,тогда как хор по-прежнему оставался на орхестре.. ..

ЛОГИКА (греч. Logike) - наука о способах доказательств и опровержений. Совокупность научных теорий, в каждой из которых рассматриваются определенные способы доказательств и опровержений. Основателем логики считается Аристотель. Различают индуктивную и дедуктивную логику, а в последней - классическую, интуиционистскую, конструктивную, модальную и др. Все эти теории объединяет стремление к каталогизации таких способов рассуждений, которые от истинных суждений-посылок приводят к истинным суждениям-..

ЛОГИКА КЛАССОВ - логика объемов понятий, раздел логических теорий, в котором изучаются операции над классами (множествами) и свойства этих операций (законы логики классов).. ..

ЛОГИКА НАУКИ - наука, применяющая понятия и технический аппарат современной логики к анализу систем научного знания. Сформировалась в 1-й четв. 20 в. Разрабатывалась представителями неопозитивизма. В 60-х гг. Получила творческое развитие в рамках современной философии. Термин "логика науки" употребляется также для обозначения законов развития науки (логика научного развития), правил и процедур научного исследования (логика исследования), учения о психологических и методологических предпосылках н..

Раздел логики, в котором вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения высказываний из т. Н. Элементарных (далее не разлагаемых и не анализируемых) высказываний с помощью логических операций конъюнкции ("и"), дизъюнкции ("или"), отрицания ("не"), импликации ("если..., то...") и др. Логику высказываний, задаваемую системой постулатов (аксиом и правил вывода), называют исчислением высказываний.. ..

Раздел логики, в к-ром вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения высказываний из т.н. Элементарных (далее не разлагаемых и не анализируемых) высказываний с помощью логич. Операций конъюнкции ("и"), дизъюнкции ("или"), отрицания ("не"), импликации ("если..., то...") и др. Л. В., задаваемую системой постулатов (аксиом и правил вывода), паз. Исчислением высказываний. ..

..

ЛОГИКА ВЫСКАЗЫВАНИЙ, пропозициональная логика. ..

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