1.Логика как наука о схемах рассуждений

Логика (от греч. logos – слово, понятие, рассуждение, разум) как наука существует около двух с половиной тысяч лет – ее основателем считается великий древнегреческий мыслитель Аристотель (384-322 до н.э.), - в настоящее время нет общепринятого определения этой научной дисциплины. Иногда под логикой понимают науку, которая исследует структуры мышления и раскрывает лежащие в его основе закономерности движения к истине. Мы же термин «логика» будем употреблять в более узком значении и рассматривать логику как науку о схемах (логических формах) правильного рассуждения. При этом под рассуждением будем понимать переход от одних мыслей к другим относительно одного и того же предмета. Логическая константа – это выражение, сохраняющее свое значение в любом рассуждении. В качестве логических констант в русском языке выступают слова «все», «некоторые», «суть», «и», «или», «либо, либо», «если, то», «тогда и только тогда, когда», «необходимо», «возможно» и др.

2.Понятие логической формы

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

Логические формы делятся на логические переменные и логические постоянные. Значение логических переменных постоянно меняется, но по форме они остаются неизменными. Таковы: понятие (обозначается заглавной буквой латинского алфавита A,B,C,D…), суждение (обозначается строчной буквой латинского алфавита a,b,c,d…) и умозаключение (обозначается последовательным соединением суждений столбиком, где под чертой находится суждение, представляющее собой вывод).

К логическим постоянным относятся, в первую очередь, логические союзы: «Ù» - конъюнкция (союз «и»), «Ú» - дизъюнкция (союз «или»), «®» - импликация (знак следования, причинной зависимости - если…то…), а также общие слова – кванторы. Они указывают на количество суждения и бывают либо кванторами общности «"», означающими, что речь идет обо всех элементах какого-либо класса (все, каждый, ни один), либо кванторами существования «$», указывающими, что мы говорим лишь о части элементов данного класса (в языке выражается с помощью понятий некоторые, часть, иногда и т.д.). Значение логических постоянных остается неизменным вне зависимости от того, что мыслится и высказывается.

 

3.Виды логических схем и виды рассуждений

Схема (логическая форма) рассуждения – это та его сторона, которая не зависит от конкретного содержания, но служит для связи и упорядочения его элементов.

Есть три разновидности схем рассуждений. Прежде всего, существуют схемы, которым присуще такое свойство: каким бы содержанием мы их ни наполняли, в результате получим верное, правильное рассуждение.

Схемы, обладающие только что отмеченным свойством, называются логическими законами. И если рассуждение является правильным, то его схема построения – логический закон. Верно и обратное: если схема рассуждения – логический закон, то такое рассуждение является правильным.

Схемы, которые при одних подстановках преобразуются в истинные, а при других в ложные предложения, обычно называют выполнимыми. Но их можно квалифицировать также в качестве ненадежных.