Понятие как форма мышления. Логические союзы и таблицы истинности

Логические союзы и таблицы истинности

Язык логики высказываний

Пропозициональная переменная есть формула;

если А – формула, то А тоже формула;

если А – формула и В – формула, то

(А  В), (А  В), (А В), (А  В), (А  В) – тоже формулы;

любая последовательность знаков из алфавита языка логики высказываний есть формула только в силу пунктов 1, 2, 3 данного определения.

Основными логическими союзами являются:

Конъюнкция – логические союзы «и», «а», «но», «как», «так и», «так же» имеют чисто соединительное значение, Символически такие суждения обозначаются так: pÙq, где p,q – простые суждения, входящие в состав сложного.

Пример: Родители дают обещание своему ребенку «в воскресенье мы пойдем в кино, а вечером папа купит тебе мороженное»; или другой пример «он сдал все экзамены, но еще не защитил диплом»;

Неисключающая (слабая) дизъюнкция (обозначается формулой pÚq) – логический союз «или» имеет соединительно-разделительное значение, союз «или» имеет соединительно-разделительное значение, не придает исключающего смысла входящим в сложное суждение составляющим.

Пример: «Я подарю ей цветы или конфеты»; «Он будет цитировать Толстого или Чехова»

Исключающая (сильная) дизъюнкция – логический союз «либо..., либо...» имеет чисто разделительное значение

Пример: «Я полечу на Юг на самолете или поеду на поезде»; «Я куплю новую квартиру или перееду жить к своей сестре».

Импликация или условное суждение – логический союз «если..., то...» каким-то образом соединяет два суждения, связанные между собой. В таких суждениях выражаются причинные, временные, функциональные, пространственные, зависимости, разрешения, предписания, запреты и т.д. Символически такие суждения изображаются так: p®q.

Пример: «Если будет хорошая погода, мы пойдем в лес»;

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

Вид сложного суждения определяется по главному логическому союзу: если главным логическим союзом в данном суждении является конъюнкция, то это конъюнктивное суждение, дизъюнкция – дизъюнктивным и т. д.

Необходимо различать грамматическое и логическое значение перечисленных выше союзов. Логическое значение этих союзов задается с помощью таблицы истинности.

Первое простое суждение	Второе простое суждение	Конъюнкция	Слабая дизъюнкция	Сильная дизъюнкция	Импликация	Эквивалентность
истинное	истинное	истинное	истинное	ложное	истинное	истинное
истинное	ложное	ложное	истинное	истинное	ложное	ложное
ложное	истинное	ложное	истинное	истинное	истинное	ложное
ложное	ложное	ложное	ложное	ложное	истинное	истинное

9. Понятие как форма мышления. Содержание и объём понятия

Понятие - это форма мышления, отражающая предмет в их существенных признаках.

Признаком предмета называются то, в чём предметы сходны друг с другом или в чём они друг от друга отличаются.

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

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

Основными логическими приемами формирования понятий являются анализ, синтез, сравнение, абстрагирование, обобщение.

Понятие формируется на основе обобщения существенных признаков (т. е. свойств и отношений), присущих ряду однородных предметов.

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

Анализ - мысленное расчленение предметов на их составные части, мысленное выделение в них признаков.

Синтез - мысленное соединение в единое целое частей предмета или его признаков, полученных в процессе анализа.

Сравнение - мысленное установление сходства или различия предметов по существенным или несущественным признакам.

Абстрагирование - мысленное выделение одних признаков предмета и отвлечение от других. Часто задача состоит в выделении существенных признаков и в отвлечении от несущественных, второстепенных.

Обобщение - мысленное объединение однородных предметов в некоторый класс.

Перечисленные выше логические приемы используются при формировании понятий как в научной деятельности, так и при овладении знаниями в процессе обучения (в школе, вузе и других учебных заведениях).

Содержание и объем понятия

Всякое понятие имеет содержание и объем. Содержанием понятия называется совокупность существенных признаков одноэлементного класса или класса однородных предметов, отраженных в этом понятии. Содержанием понятия “квадрат” является совокупность двух сщественных признаков: “быть прямоугольником” и “иметь равные стороны”.

Объемом понятия называют совокупность (класс) предметов, которая мыслится в понятии. Объективно, т. е. вне сознания человека, существуют различные предметы, например, школьники. Под объемом понятия “школьник” подразумевается множество всех школьников, которые существуют сейчас, существовали ранее и будут существовать в будущем. Класс (или множество) состоит из отдельных объектов, которые называются его элементами. В зависимости от их числа множества делятся на конечные и бесконечные. Например, множество столиц государств конечно, а множество натуральных чисел бесконечно. Множество (класс) А называется подмножеством (под­классом) множества (класса) В, если каждый элемент А является элементом В. Такое отношение между подмножеством А и множеством В называется отношением включения класса А в класс В и записывается так: А c. В. Читается: класс А входит в класс В. Это отношение вида и рода (например, класс “стол” входит в класс “мебель”).

Отношение принадлежности элемента а классу А записывается так: а є А. Читается: элемент а принадлежит классу А. Например, а - “Нева” и А - “река”.

Классы А и В являются тождественными (совпадающими), если А c В и В c А, что записывается как А=В.

Дата добавления: 2015-05-08