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