"Санкт-Петербургский
институт внешнеэкономических связей, экономики и права"
Контрольная работа
по предмету "Логика"
Исполнитель:
Костенко Юрий
Специальность:
Юриспруденция
2010
Представьте с помощью
кругов Эйлера отношения между объемами понятий в следующих группах:
а) Самолет, воздушный
шар, летательный аппарат, "Боинг-747"
эйлер
высказывание понятие предикат
б) Юрист, адвокат,
прокурор, мужчина.
2) Выполните не менее чем
на три шага операции обобщения и ограничения над следующими понятиями: а)
юридический документ; б) справочник
А) Ограничение: юридический
документ – нормативный документ – Федеральный закон
Обобщение: юридический
документ – документ – носитель информации
Б) Ограничение: Справочник
– бытовой справочник - телефонный справочник
Обобщение: Справочник –
научная информация - информация
3) Установите, являются
ли представленные ниже высказывания, правильно выполненными определениями, либо
делениями, если нет – укажите ошибку (т.е. укажите, какое правило выполнения
этих операций нарушено):
а) По типу темперамента
люди делятся на холериков, сангвиников и флегматиков. – Это неполное деление,
выполнено неправильно, не хватает 4-го типа темперамента: "меланхолики"
б) Логика – это наука о мышлении.- Это определение. Выполнено неправильно – "широкое
определение", правильно будет: Логика – это наука о правильном мышлении.
в) Преступления бывают гражданские, воинские и тяжкие. Это неправильное
деление: Деление должно проводиться по одному основанию (признаку). В данном случае мы видим 2 признака.
г) Квадратом называют
прямоугольный ромб - определение. Выполнено правильно.
4) Выполните операции
обращения, превращения и противопоставления предикату над каждым из следующих
высказываний:
а) Каждому довелось
видеть свинью.
-Каждой свинье довелось
увидеть человека.
Каждому недовелось не
увидеть свинью.
Каждой свинье недовелось
не увидеть человека
б) Часть шпионов не носит
носовые платки.
Носовые платки не носят
некоторые шпионы. (с ограничением)
Часть шпионов носит не
носовые платки.
Не носовые платки часть
шпионов носит.
г) Все англичане любят
пудинг.
Пудинг любят все
англичане.
Все англичане не любят не
пудинг.
Не пудинг не любят все
англичане.
5) Для приведенных ниже
умозаключений определите их тип, правильность, фигуру. Если умозаключение
неправильное, укажите ошибку.
а) Все американцы –
любители жевательной резинки Все европейцы – не американцы Следовательно,
некоторые европейцы не являются любителями жевательной резинки. Неправильное,
тип - дедуктивные
M P
S M
б) Ни одна обезьяна не
солдат Все обезьяны любят бананы Следовательно, некоторые любители бананов не
солдаты. M P
M S
в) Если ваша девушка не
отражается в зеркале, значит она вампир. Ваша девушка отражается в зеркале Следовательно,
она не вампир.
Правильное, тип - умозаключения
по аналогии
M P
M S
Список литературы
1. Иванов Е.А. Логика. М., 1996.
2. Кириллов В.И., Старченко А.А. Логика. М., 1995.
Другие работы по теме:
Модальности
Модальности (от лат. modus - вид, способ) - тип отношения высказывания к реальности. Наиболее известные нам модальности - это наклонения: изъявительное - оно описывает реальность ("Я иду"), повелительное - оно ведет диалог с реальностью ("Иди").
Философия языка
Диалектика. В неопозитивистских концепциях центральное место занимает, следовательно, философия языка. Почему? И еще одна проблема: ведь язык - сложное и многомерное
Логика
Предмет логики, ее значение и виды. Особенности определения истинности сложного суждения по таблице истинности. Построение фигуры категорического силлогизма на основании посылки: "Все люди – смертны". Путь формирования логической культуры мышления.
Философия языка
Диалектика. В неопозитивистских концепциях центральное место занимает, следовательно, философия языка. Почему? И еще одна проблема: ведь язык - сложное и многомерное
Математическая логика
Ее еще называют символической логикой. Математическая логика - это та же самая Аристотелева силлогистическая логика, но только громоздкие словесные выводы заменены в ней математической символикой.
Многозначные логики
Обычная Аристотелева логика называется двузначной, потому что ее высказывания, имеют два значения, то есть они могут быть либо истинными, либо ложными. Однако мы знаем, что в реальности далеко не всегда можно определить точно истинность или ложность.
Умозаключение
Умозаключение - форма мышления, посредством которого из одного или нескольких суждений выводится новое суждение. Виды умозаключений. Логика суждений (высказываний). "Аксиомы" логики суждений. Правила вывода логики суждений. "Условный силлогизм".
Содержательное и формальное в теории познания
Современный историк и философ науки Томас Кун подметил очень интересную и важную особенность истории науки: он изобразил ее как постоянную смену двух, качественно различных периодов.
Гиляров-Платонов Никита Петрович
Гиляров-Платонов Никита Петрович- философ, публицист. Профессор Московской Духовной Академии. Пытался проанализировать диалектику Гегеля с позиций формальной логики. Близок славянофилам.
Грот Николай Яковлевич
Попытка свести логические законы к психологическим явлениям (ассоциациям) была сделана Н.Я.Гротом в его "Реформе логики" и отчасти И.Ягодинским в его книге "Генетический метод в логике".
Эпистемическая логика
В качестве эффективного инструмента реконструкции и анализа теоретико-познавательных контекстов и проблем обычно используется особый вид интенсиональной логики – эпистемическая логика.
Экскурсионное дело - теория и основы
Экскурсионное дело теория и основы Слово «теория» в переводе с греческого языка означает наблюдение, рассмотрение, исследование. Этот термин имеет несколько значений:
Контрольные вопросы по логике
Что изучает логика. Что мы называем истиной и ложью. Когда возникла логика как наука. Зачем нужно изучать логику. Определение понятия. Какие функции выполняют понятия.
Контрольные вопросы по логике
Принципы моделирования. Теоретико-множественные средства моделирования. Средства моделирования логики высказываний. Средства моделирования логики предикатов. Логика научного познания. Доказательство и дедуктивный вывод. Виды индукции. Аналогия.
Буль Boole Джордж
Буль (Boole) Джордж (2 ноября 1815, Линкольн, Великобритания - 8 декабря 1864, Баллинтемпль, Ирландия), английский математик и логик, один из основоположников математической логики. Разработал алгебру логики (булеву алгебру) ("Исследование законов мышления", 1854), основу функционирования цифровых компьютеров.
Алгебра логики
Алгебра логики. Возникновение логики. Булевы функции. Преобразование выражений, состоящих из булевых функций. Нахождение исходного выражения по его значениям. Применение в вычислительной технике и информатике.
Предмет логики. Основные логические формы
Логика происходит от греч. logos, что одновременно означает речь, слово, высказывание, понятие. Основатель логики Аристотель чаще всего употреблял термин "логос" в смысле "определения" или "разумности вообще".
Возникновение и развитие символической логики
Возникновение и развитие символической логики связано с работами Г.Фреге (1848–1925) и Ч.С.Пирса (1839–1914). После того, как Фреге в 1879 и Пирс в 1885 ввели в язык алгебры логики предикаты, предметные переменные и кванторы, возникла реальная возможность построения системы логики в виде логического исчисления, что и было сделано Фреге, который по праву считается основателем символической логики в ее современном понимании.
Логика как самостоятельная наука
Введение Еще в древности люди знали, что достоверность выводных знаний зависит не только от истинности исходных посылок, но и от способа их соединения. Для того, чтобы убеждать, надо не только хорошо говорить, но и владеть различными приемами построения умозаключений и доказательств.
Понятие и типы логических законов
Министерство образования и науки Российской Федерации КАЗАНСКИЙ ФЕДЕРАЛЬНЫЙ (ПРИВОЛЖСКИЙ) УНИВЕРСИТЕТ ФИЛОСОФСКИЙ ФАКУЛЬТЕТ КАФЕДРА СОЦИАЛЬНОЙ ФИЛОСОФИИ И КУЛЬТУРОЛОГИИ
Цифровые интегральные микросхемы
Сущность и назначение цифровых интегральных микросхем, описание их статических и динамических параметров. Основы алгебры логики. Изучение элементов транзисторной логики с эмитерными связями. Принципы сочетания диодного элемента с транзисторным инвертором.
Тривиум
Введение 1 Состав 1.1 Грамматика 1.2 Риторика 1.3 Логика Список литературы Введение Тривиум, или тривий (лат. trivium — перекрёсток трёх дорог) — первая ступень средневекового образования, основа дальнейшего обучения. Предшествовала квадривиуму и состояла из трёх (отсюда название) дисциплин — грамматики, диалектики (логики) и риторики.
Баумейстер, Фридрих Христиан
Фридрих Христиан Баумейстер (нем. Friedrich Christian Baumeister; 17 июля 1708, Кёрнер, Тюрингия — 8 октября 1785, Гёрлиц) — немецкий философ школы Лейбница и Х. Вольфа, автор ряда учебников логики, метафизики и натуральной философии на латинском языке.
Плокке, Готфрид
Готфрид Плокке (нем. Gottfried Ploucquet; 25 августа 1716, Штутгарт — 13 сентября 1790, Тюбинген) — немецкий философ и логик, один из наиболее известных преподавателей логики и метафизики XVIII века, профессор (с 1750 года).
Магистрали MULTIBUS I/II
Одним из наиболее важных элементов вычислительной системы является структура системной магистрали, осуществляющей сопря- жение всех аппаратных средств. Системная магистраль обеспечи-
Юзеф Мария Бохеньский
Бохеньский был известным логиком и исследователем истории логики. Одним из первых продолжил программу историко-логических исследований, начатую Я. Лукасевичем в Польше.
Гаврилов Михаил Александрович
Гаврилов Михаил Александрович (1903-79), российский ученый, стоявший у истоков информатики в нашей стране, в частности технической кибернетики, теории автоматов и теории ЭВМ, член-корреспондент АН СССР (1964)
Стибиц (Stibitz) Джордж
Стибиц (Stibitz) Джордж, американский математик, создатель одного из первых электромеханических вычислительных устройств - двоичного сумматора.
Карл Поппер
Поппер (Popper) Карл Раймунд (р. 28.7.1902, Вена), австро-английский философ-неопозитивист, логик и социолог.
Буль (Boole), Джордж
Его работы «Трактат о дифференциальных уравнениях» (1859г.) и «Трактат о вычислении предельных разностей» (1860г.) оказали колоссальное влияние на развитие математики. В них нашли свое отражение наиболее важные открытия Буля.