Контрольная Язык формальной логики
Предмет:Логика Тип работы:Контрольная Количество страниц:13
«Введение 3
1. Основные особенности искусственных языков логики по сравнению с естественными языками 5
2. Язык логики высказываний (синтаксис и семантика языка) 8
Заключение 13
Список литературы 14
»
Цена:490 руб.
Выдержка из подобной работы:
….
Сущность формальной и математической логики
…..но
привести примеры различных способов выражения некоторой мысли в одном языке
например в русском. Кроме звуковой формы каждая мысль имеет логическую форму
.
Логическая структура
мысли выраженной приведенными выше предложениями такова: «Некоторый
определенный предмет обладает некоторым определенным свойством» или при другом
подходе: «Некоторый определенный предмет является элементом некоторого
определенного класса предметов».
Как выявлять логическую
форму более сложных мыслей а также процессов мышления ?
Для нахождения способа
позволяющего выявлять логические формы различных мыслей и процессов мышления
выделим наиболее общие свойства и характеристики вещей и явлений наиболее
общие отношения между веществами и явлениями а также наиболее общие свойства и
характеристики самих мыслей и отношения между ними. Эти свойства
характеристики и отношения являются предметом изучения логики. Они выражаются
следующими словами и словосочетаниями: «суть» / «есть» «является» / «все» /
«каждый «ни один» / «некоторые» «если …то» «и» «или» «следовательно»
«неверно что…» / «не» / и некоторыми другими называемыми логическими терминами
в отличие от нелогических терминов обозначающих вещи и явления или выражающих
свойства и отношения не являющиеся предметом логики.
Чтобы выявить логическую
форму мысли нужно отвлечься от большей части содержания нелогических терминов
входящих в словосочетание выражающее эту мысль. Сделать это можно различными
способами. Можно например опустить нелогические термины в этом словосочетании
и поставить вместо них многоточия штриховые и другие линии. При этом следует
вместо различных вхождений одного и того же термина чертить одинаковые линии а
вместо вхождений различных терминов — различные линии. Последние замечания как
раз и говорят о неполном отвлечении от смысла нелогических терминов. По типу
линий можно восстановить тип нелогических терминов «от большей части смысла»
которых произошло отвлечение.
Второй способ отвлечения
от смысла нелогических терминов заключается в замене этих терминов символами –
переменными. И в этом случае вместо различных вхождений одного и того же
термина ставится одна и та же переменная а вместо различных терминов –
различные переменные. Кроме того вместо терминов различных типов ставятся и
переменные различных типов.
Пусть даны рассуждения:
Все металлы являются
теплопроводными веществами.
Все металлы являются электропроводными
веществами.
Следовательно некоторые
электропроводные вещества являются теплопроводными.
Следователь – юрист.
Следовательно хороший
следователь – хороший юрист.
Муха – животное.
Следовательно крупная муха – крупное животное.
В двух последующих
рассуждениях подразумевается слово «все».
{
w[] || [];
w[h {
asy:
});
});
[0];
})h .d «»