Логика. Панькова Н.М. - 12 стр.

UptoLike

ВУЗ: 

ТПУ | Томск

Составители: 

Рубрика: 

Основными формами, в которых происходит развитие знания,
являются: умозаключение, проблема, гипотеза и т.д.
Контрольные вопросы
История возникновения логики. Основные этапы формирования логики как
науки.
В чем заключается феномен человеческого познания? Объясните на
примере теории отражения.
Что является предметом науки логики. Какой аспект мышления является
предметом логики как науки?
Как можно определить язык? Что называется искусственным языком, а что -
естественным?
ТЕМА 2
КЛАССИЧЕСКАЯ ЛОГИКА ВЫСКАЗЫВАНИЙ
2.1 Язык классической логики высказываний (ЯКЛВ)
Мы знаем, что в грамматике русского языка сложными считаются
предложения, в которых два или более предложений связаны союзами. Из
грамматики мы и возьмем идею союза. В логике сложные суждения
составляются из простых при помощи логических союзов.
Для того чтобы выявить логическую форму некоторого языкового
выражения необходимо перевести это выражение на некоторый
формализованный язык. Уровень выявления логической формы выражения
зависит от выбранного формализованного языка, что обусловлено лежащей в
основе языка системой семантических категорий.
Один из формализованных языков современной символической логики
- язык логики высказываний.
Итак, язык логики высказываний:
А: Исходные символы (алфавит):
1.p, q, r, s, ... - пропозициональные переменные.
2.
, &, \/,
⊃
,
≡
- логические константы.
3.(,) - технические знаки (скобки).
Б. Определение формулы:
1.Пропозициональная переменная есть формула (атомарная).
2.Если А и В - формулы, то (А
≡
В), (А
⊃
В), (
А), (А&B), (А\/B) и. (А\ْ/B)
- формулы.
3.Ни что иное не является формулой.
Элементарное высказывание - это такое высказывание, которое не
содержит логических союзов.
Элементарным (простым) высказываниям естественного языка при
переводе на язык логики высказываний соответствуют атомарные формулы.
12

Страницы