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