• Новости
  • Темы
    • Экономика
    • Здоровье
    • Авто
    • Наука и техника
    • Недвижимость
    • Туризм
    • Спорт
    • Кино
    • Музыка
    • Стиль
  • Спецпроекты
  • Телевидение
  • Знания
    • Энциклопедия
    • Библия
    • Коран
    • История
    • Книги
    • Наука
    • Детям
    • КМ школа
    • Школьный клуб
    • Рефераты
    • Праздники
    • Гороскопы
    • Рецепты
  • Сервисы
    • Погода
    • Курсы валют
    • ТВ-программа
    • Перевод единиц
    • Таблица Менделеева
    • Разница во времени
Ограничение по возрасту 12
KM.RU
Рефераты
Главная → Рефераты → Философия, социология
  • Новости
  • В России
  • В мире
  • Экономика
  • Наука и техника
  • Недвижимость
  • Авто
  • Туризм
  • Здоровье
  • Спорт
  • Музыка
  • Кино
  • Стиль
  • Телевидение
  • Спецпроекты
  • Книги
  • Telegram-канал

Поиск по рефератам и авторским статьям

Математическая логика

Вадим Руднев

Ее еще называют символической логикой. Математическая логика  - это та же самая Аристотелева силлогистическая логика, но только громоздкие словесные выводы заменены в ней математической символикой. Этим достигается, во-первых, краткость, во-вторых, ясность, в-третьих, точность. Приведем пример. Известный силлогизм. Большая посылка: "Все люди смертны". Малая посылка: "Сократ - человек". И вывод: "Следовательно, Сократ смертен". Мы можем заменить имена "Сократ", "человек" и свойство "быть смертным" буквами, соответственно С, х и у. Слово "все" называется квантором всеобщности - о нем мы скажем ниже. Оно обозначается так называемой гротесковой перевернутой буквой А:

У *

Итак, запишем символически большую посылку: *

У(х)(у), то есть для всех индивидов х соблюдается свойство у - все люди смертны. Теперь запишем символически малую посылку С(х), то есть индивид С обладает свойством х, - Сократ смертен. И вывод: С(у), то есть индивид обладает свойством у. Сократ смертен. Теперь запишем весь силлогизм в виде импликации (логического следования): *

У (х)(у)аС(х)->С(у)

То есть, "если все люди смертны и Сократ человек, то Сократ смертен". Если записывать словами, то надо использовать более 60 символов (букв), а если символически, то нужно всего 12 символов, в 5 раз меньше. Если нужно решать сложную задачу, экономия становится очевидной.

Так или иначе, но только в конце ХIХ в. немецкий логик Готтлоб Фреге сформулировал символическое исчисление, и лишь в начале XХ в. Бертран Рассел и Альфред Уайтхед в трехтомном труде "Principia Mathematica" построили стройную систему математической логики.

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

а - конъюнкция, соединение; читается как союз "и", во многом соответствует ему по смыслу; *

У - дизъюнкция, разделение; читается как союз "или";

-> - импликация, следование; "если... то...";

~ - отрицание; "неверно, что...";

= - эквивалентность; "то же, что и..."

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

1. Закон тождества: р = р; то есть любое высказывание эквивалентно самому себе. Тождество объекта самому себе - вообще исходное начало для любого мышления. Но не во всякой логике это является законом. Например, в контексте алетических модальностей (см. модальности) мы можем сказать: "Возможно, что дождь идет" и "Возможно, что дождь не идет" - и это не будет противоречием. В обычной логике пропозиций предложения "Идет дождь" и "Не идет дождь" будут противоречиями.

2. Закон двойного отрицания: р = ~~р; то есть утверждение эквивалентно его двойному отрицанию. "Дождь идет" = "Наверно, что Дождь не идет".

3. Закон исключенного третьего: *

(р У ~р); то есть либо высказывание истинно, либо оно ложно - третьего не дано (применимость закона исключенного третьего ограничена конечными множества объектов; см. об этом многозначные логики).

4. Закон противоречия: ~(р а ~р); то есть неверно, что высказывание может быть одновременно истинным и ложным.

Следует ввести еще два понятия, одно из которых мы уже ввели в самом начале статьи. До сих пор мы говорили о высказывании как о чем-то нерасчлененном, но у высказывания есть субъект и предикат. Часть М. л., занимающаяся отношениями между субъектом и предикатом высказываний, называется теорией квантификации. Свойство или отношение, которое выражает предикат, может быть присуще всем субъектам данного множества или только некоторым из них. Например, высказывание "Собаки бывают черными" означает, что некоторое количество собак из всего множества собак имеет свойство "быть черным". Символ, на который мы заменим слово "некоторые", называется квантором существования, или экзистенциальным квантором, и обозначается гротесковой обращенной буквой *

Е 3 *

3 (х)(у) - некоторые собаки черные.

Но существуют свойства, характерные для всех собак. Например, у всех собак (разумеется, живых) есть голова. Символ, на который мы поменяем слово "все", это уже известный нам квантор всеобщности, или универсальный квантор: *

У(х)(у) - все собаки по природе обладают головой.

В заключение сформулируем основной закон квантифицированной логики: * У(х)(у) ->3 (х,у)

То есть если данным свойством обладают все объекты, то им обладают и некоторые объекты. Кажущаяся тривиальность законов логики оправдывается дальнейшим ходом мышления. Как писал Людвиг Витгенштейн, "Если вы знаете, что у вас есть руки, дальнейшее гарантируется".

Список литературы

Клини С. Математическая логика. - М., 1974.

Черч А. Введение в математическую логику. - М., 1959.

Для подготовки данной работы были использованы материалы с сайта http://lib.ru/

Дата добавления: 31.03.2006

База рефератов на портале KM.RU существует с 1999 года. Она пополнялась не только готовыми рефератами, докладами, курсовыми, но и авторскими публикациями, чтобы учащиеся могли использовать их и цитировать при самостоятельном написании работ.


Это популяризирует авторские исследования и научные изыскания, что и является целью работы истинного ученого или публициста. Таким образом, наша база - электронная библиотека, созданная в помощь студентам и школьникам.


Уважаемые авторы! Если Вы все же возражаете против размещения Вашей публикации или хотите внести коррективы, напишите нам на почту info@corp.km.ru, мы незамедлительно выполним Вашу просьбу или требование.


официальный сайт © ООО «КМ онлайн», 1999-2025 О проекте ·Все проекты ·Выходные данные ·Контакты ·Реклама
]]>
]]>
Сетевое издание KM.RU. Свидетельство о регистрации Эл № ФС 77 – 41842.
Мнения авторов опубликованных материалов могут не совпадать с позицией редакции.

Мультипортал KM.RU: актуальные новости, авторские материалы, блоги и комментарии, фото- и видеорепортажи, почта, энциклопедии, погода, доллар, евро, рефераты, телепрограмма, развлечения.

Карта сайта


Подписывайтесь на наш Telegram-канал и будьте в курсе последних событий.


Организации, запрещенные на территории Российской Федерации
Telegram Logo

Используя наш cайт, Вы даете согласие на обработку файлов cookie. Если Вы не хотите, чтобы Ваши данные обрабатывались, необходимо установить специальные настройки в браузере или покинуть сайт.