Предмет и основные понятия логики icon

Предмет и основные понятия логики



Смотрите также:
Лекция по теме: «Предмет логики и её значение»...
Лекция №1 Тема: “...
Предмет и основные понятия философии техники...
Тема: Логика. Основные понятия логики...
Урок геометрии в 7 классе. Учитель Скнарина Г. Н...
Тема  основы логики (первый этап отношений логики и языка) (6 часов)...
Реферат По компьютерным информационным технологиям Тема: «Предмет и основные понятия кит»...
Алгебра логики. Основные понятия. Область применения алгебры- логики. Логические функции...
Учебный курс введени е 3 Глава I...
1. Предмет и метод макроэкономики. Основные макроэкономические понятия...
Программа по дисциплине «прикладные протоколы интернет и www» по направлениям: «Математика...
Программа по дисциплине «прикладные протоколы интернет и www» по направлениям: «Математика...



скачать
Предмет и основные понятия логики.

Логика (от греч. logos) - слово, наука. Аристотель (384 - 322 до н.э.) «Органон» - «орудие». Каноничность текста.

Логика - это нормативная наука о формах и приемах интеллектуально-познавательной деятельности, осуществляемой с помощью языка.

Познавательная деятельность: эмпирическая (чувственная) и рациональная.

Отличия рационального познания:

  1. Обобщенность.

  2. Абстрактность.

  3. Активный характер.

  4. Целенаправленный характер.

  5. Вербальность.

Язык - это знаковая система, предназначенная для передачи, обработки, хранения, фиксации информации

Языки: естественные (для общения) и искусственные (для решения определенных задач).

Знак - это материальный объект, который для некоторого интерпретатора выступает в качестве представителя какого-либо другого объекта.

Знак



Объект Интерпретатор

Виды знаков:

  1. Знаки-образы (сами похожи на замещаемый предмет).

  2. Знаки-индексы (указывают на представляемый объект).

  3. Знаки-символы (не похожи на представляемый предмет, замещают последний только в силу договоренности).

Характеристики:

  1. Значение знака (экстенсионал) - и есть предмет, представителем которого выступает данный знак.

  2. Смысл знака (интенсионал) - та информация о представляемом предмете, которую несет знак или которая связывается с ним в процессе речевого общения.

Знаки в зависимости от смысла:

  1. Описательные (сами несут информацию о предмете).

  2. Неописательные (информация, связываемая в процессе речевого общения).

Знаки с точки зрения значения:

  1. Пустые (знаки, которые на заданной предметной области не представляют ни один объект).

  2. Непустые (знаки, которые на заданной предметной области представляют хотя бы один объект).

Чарльз Сандерс Пирс (1839 - 1914)

Семиотика - наука о знаках-символах:

  1. Синтактика (отношения между самими знаками).

  2. Семантика (отношения между знаками и объектами).

  3. Прагматика (отношения между знаками и их интерпретаторами).

Основные формы, в которых фиксируются основные знания о мире в результате интеллектуально-познавательной деятельности:

  1. Понятие - это мысль, которая посредством указания на некоторый признак выделяет из предметной области и обобщает в класс все предметы, обладающие этим признаком.

  2. Суждение - это мысль, содержащая утверждение о наличии в действительности некоторого положения дел.

  3. Теория - это система связанных между собой понятий и суждений, относящихся к некоторой предметной области.

Приемы интеллектуально-познавательной деятельности:

  1. Рассуждение - процедура обоснования некоторого высказывания путем пошагового его выведения.

  2. Умозаключение (простейший вид рассуждения) - это непосредственный переход от одного или нескольких высказываний (A1, A2,…) к высказыванию В.

^ Классическая логика высказываний (КЛВ).

Высказывание - это повествовательное предложение, о котором однозначным образом можно утверждать, что оно истинное либо ложное.

КЛВ - это логическая теория, содержащая один тип нелогических символов (пропозициональные переменные) и один тип логических символов (пропозициональные связки). Пропозициональные переменные (p, q, r, s, p1, p2,…) заменяют целые простые высказывания естественного языка.

Пропозициональные связки:

  1. Отрицание:  (~, ) - «не», «неверно, что», «неправда, что».

 А - изменяет значение высказывания на противоположное.

  1. Конъюнкция: & (., *) - «и», «а», «но», «да» в соединительном смысле.

А&B - действие проходит одновременно.

  1. Дизъюнкция: V (+) - «или» в разделительном смысле.

AVB - имеет место по крайней мере одно из двух событий в высказывании.

  1. Строгая дизъюнкция: V - «или…, или», «либо…, либо».

AVB - имеет место только одно из двух событий в высказывании.

  1. Импликация:  () - «если…, то», «когда…, тогда» и др.

АВ - невозможна такая ситуация, когда первое событие имеет место, а второе - нет.

  1. Эквивалент: ≡ (↔) - «если и только если» (е.т.е.), «тогда и только тогда» (т.т.т.).

АВ - невозможна такая ситуация, когда имеет место только одно из двух событий.

Язык КЛВ.

I. Алфавит.

  1. p, q, r, s, p1, p2,… - пропозициональные переменные.

  2. , &, V, V, , ≡- пропозициональные связки.

  3. (,) - технические символы.

II. Определенные формулы.

  1. Всякая пропозициональная переменная является формулой.

  2. Если А - формула, то  А - формула.

  3. Если А и В - формулы, то (A&B), (AVB), (AVB), (AB), (A≡B) - формулы.

  4. Ничто иное не является формулой.

Если треугольник - прямоугольный (p), то он не является равносторонним ( s).

p s



A

B

A&B

AVB

AVB

AB

A≡B

1

1

1

1

0

1

1

1

0

0

1

1

0

0

0

1

0

1

1

1

0

0

0

0

0

0

1

1

2n - число различных переменных, вошедших в формулу.

  1. Формула является тождественно ложной, е.т.е. в каждой строке результирующего столбца она принимает значение ложной.

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

  3. Формула является тождественно истинной (общезначимой), е.т.е. в каждой строке результирующего столбца она принимает значение истинной.

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




Скачать 51,43 Kb.
оставить комментарий
Дата27.08.2012
Размер51,43 Kb.
ТипДокументы, Образовательные материалы
Добавить документ в свой блог или на сайт

Ваша оценка этого документа будет первой.
Ваша оценка:
Разместите кнопку на своём сайте или блоге:
rudocs.exdat.com

Загрузка...
База данных защищена авторским правом ©exdat 2000-2017
При копировании материала укажите ссылку
обратиться к администрации
Анализ
Справочники
Сценарии
Рефераты
Курсовые работы
Авторефераты
Программы
Методички
Документы
Понятия

опубликовать
Документы

наверх