Учебная работа № 341201. Тема: Логика
[Тип работы: Контрольная работа, реферат (теория)
Предмет: Логика
Страниц: 15
Год написания: 2015
1. Основные логические законы 3
1.1. Закон тождества 4
1.2. Закон непротиворечия 4
1.3.Закон исключенного третьего 6
1.4. Закон достаточного основания 7
2. Пример суждения, соответствующего закону достаточного основания 9
3. Логическое понятие 10
4. Дать полную характеристику понятию 13
5. Пример равнозначных понятий 14
СПИСОК ИСПОЛЬЗОВАННОЙ ЛИТЕРАТУРЫ 15
Учебная работа № 341201. Тема: Логика
Выдержка из похожей работы
Логика как наука. История развития логики
…….
Умение рассуждать,
логически мыслить, давать ответы на
поставленные вопросы играет очень
важную роль в жизни человека. Выделение
логических задач носит до некоторой
степени условный характер. Трудно
определить, какую задачу следует назвать
логической. Кажется, любая задача
является таковой, так как для её решения
требуются определенные логические
рассуждения. И это верно, но все же по
традиции для тренировки именно логического
мышления человеком придумано множество
задач, в которых речь идет об объектах,
вообще говоря, произвольной природы.
Именно такими задачами и правилами их
решения мы и займемся.
Но какое отношение логика
имеет к вычислительной технике и
программированию? Оказывается, самое
непосредственное. Именно логика является
теоретической основой современных ЭВМ
и сложных управляющих систем. Она
приобретает важное прикладное значение
– особенно в области разработки
специальных языков для баз данных и
представления знаний. Используя методы
и средства логической науки, ученые
разрабатывают эффективные языки
программирования.
Например, основой так
называемого доказательного программирования
является формальная логика. Общая идея
здесь, как говорится, лежит на поверхности:
если можно конструктивно, используя
интуицию, доказать, что существуют
объекты, удовлетворяющие некоторому
данному условию, то, построив доказательство,
можно построить по нему и программу
вычисления соответствующего условия
(функции).
Опять же, в основе так
называемого логического программирования
лежат структуры логических доказательств.
Но особое значение
логическая наука стала приобретать в
вопросах, касающихся проблемы
искусственного интеллекта. Именно
здесь разработчикам пришлось создать
новую область логических исследований
– логический анализ.
Аристотель (384 – 322 гг.
до н.э.) по праву считается основоположником
логики. Он подверг анализу человеческое
мышление и его формы: понятие,
суждение, умозаключение. В своих
определениях Аристотель представляет
логику как науку о выводе одних
умозаключений из других сообразно их
логической форме, поэтому логику
Аристотеля называют формальной. (
Он рассмотрел мышление со стороны
строения, структуры, то есть с формальной
стороны). (Формальная логика – наука
о законах и формах мышления).
В течение многих веков
логика помогала математике стать
строгой, последовательной наукой
…