Формальная логика появилась в: Тест по логике, 25 вопросов с ответами

Содержание

Тест по логике, 25 вопросов с ответами

14.05.2016 administrator

?Логика — это…
!наука об умозаключениях и доказательствах
!наука о правилах мышления
!наука о формах и законах правильного познания
*наука о формах и законах правильного мышления
?Формальная логика появилась…
*в античности
!в Средние века
!в Новое время
!в эпоху Возрождения
?Традиционная логика является…
*аристотелевской
!математической
!символической
!современной
?Создателем логики считается древнегреческий философ…
!Аркесилай
!Пифагор
*Аристотель
!Анаксимен
!Антисфен
!Анаксагор
!Аристипп
?С точки зрения формальной логики высказывание «Все Снегурочки — это геометрические фигуры»…
!представляет собой абсурд
*построено по форме Все А есть В
!лишено всякого смысла
!является фантастическим

!выражает пример классической нелепости
?Математическая или символическая логика появилась…
!в XVII в
!в Средние века
*в XIX в
!тогда же, когда и традиционная логика
!в середине XX в
!в начале нашей эры
?Интуитивная логика — это…
!теоретические знания, оставшиеся у человека после изучения курса логики в школе или вузе
!полное искажение теоретической логики
*стихийно сформированное в процессе жизненного опыта знание форм и принципов правильного мышления
!ничто из перечисленного
!совершенное незнание законов правильного мышления, приводящее любое рассуждение к многочисленным ошибкам и ложным выводам
?Древнегреческие философы, которые изобретали разнообразные приемы нарушения логических законов с целью доказать все, что угодно, — это…
!киники
!стоики
!пифагорейцы
*софисты
!милетцы
!эпикурейцы
?Понятие — это…
!некий предмет
!истинный тезис
!слово или словосочетание
*форма мышления

?Любое понятие имеет…
*объем
!фигуру
!размер
!величину
?Любое понятие выражается в форме…
!простого предложения
*слова или словосочетания
!связного текста
!сложного предложения
?Содержание понятия — это…
!совокупность всех объектов, которые оно охватывает
!слово или словосочетание, в котором оно выражается
!объект, который оно обозначает
!то суждение, в котором оно может употребляться
*наиболее важные признаки того объекта, который оно выражает
?Объем понятия — это совокупность…
*объектов, охватываемых этим понятием
!всех рассуждений, в которых оно употребляется
!всех значений, которые могут в него вкладываться
!наиболее важных признаков того объекта, который оно обозначает
!всех слов или словосочетаний, которые могут его выражать
!всех людей, которым известно это понятие
?«Солнце» — это понятие…
*единичное
!нулевое
!физическое
!общее
!астрономическое
?«Глупость» — это понятие…
*абстрактное
!отвлеченное
!конкретное
!отрицательное
!психологическое
?«Неряха» — это понятие…
!нейтральное
!пустое
*положительное
!собирательное
!отрицательное
?Понятию «Созвездие Ориона» соответствует логическая характеристика…
*ни одна из перечисленных
!единичное, несобирательное, конкретное, положительное
!общее, собирательное, конкретное, положительное
!единичное, собирательное, абстрактное, положительное
!единичное, собирательное, конкретное, отрицательное
!нулевое, собирательное, абстрактное, положительное
?Логической характеристике «общее, собирательное, конкретное, положительное» соответствует понятие…
!музыкальный коллектив
!семья
*все перечисленные
!набор цветных карандашей
!ни одно из перечисленных
!10 класс «А»
!букет роз
!сборная России
?Понятие «умный человек» является…

!не имеющим ни объема, ни содержания
*неясным по содержанию и нерезким по объему
!ясным по содержанию и нерезким по объему
!неясным по содержанию и резким по объему
!ясным по содержанию и резким по объему
?Понятие, большее по объему называется…
!видовым
!нулевым
*родовым
!общим
!широким
?Понятия «звезда» и «созвездие» находятся в отношениях…
!деления
!подчинения
!исключения
!пересечения
*соподчинения
!определения
?Отношения между понятиями изображаются…
!круговыми схемами Бойлера
*круговыми схемами Эйлера
!круговыми схемами Аристотеля
!круговыми схемами Пейджера
?Отношения между понятиями «точка», «прямая», «плоскость», «пространство» изображаются следующей схемой: <a name=»i03560″></a><img class=»иллюстрация» src=».

./../files/Ris_TK-1_1.gif» border=»0″>
!3)
!1)
*4)
!5)
!2)
?Данной схеме <a name=»i03575″></a><img class=»иллюстрация» src=»../../files/Ris_TK-1_2.gif» border=»0″> соответствует следующая группа понятий:
!известный футболист; известный хоккеист; молодой человек; старый человек
*известный футболист; футболист; негр; китаец
!известный спортсмен; человек; известный человек; спортсмен
!футболист; баскетболист; спортсмен; человек
?Данной схеме <a name=»i03588″></a><img class=»иллюстрация» src=»../../files/Ris_TK-1_3.gif» border=»0″> не соответствует следующая группа понятий:
*растение; дерево; сосна
!рыба; хищник; акула
!млекопитающее; хищник; тигр
!русский писатель;знаменитый человек; Лев Толстой

Учебные тесты с ответами

Файл: логика тест 2.

docx Файл: логика тест 2.docx — Страница №1

Вопрос	Ответ	Верно
1.1. Логика – это:	наука о формах и законах правильного мышления	да
1.10. Укажите вид модальности высказывания «Запрещено переходить перекресток на красный сигнал светофора»:	деонтическая модальность	да
1.12. Формальная логика появилась:	в Античности	да
1. 13. Формальная логика является:	аристотелевской	да
1.14. Интуитивная логика – это:	стихийно сформированное в процессе жизненного опыта знание форм и принципов правильного мышления	да
1.16. Создателем логики считается древнегреческий философ:	Аристотель	да
1.17. Математическая или символическая логика появилась:	в XIX в.	да
1.19. Английский ученый конца XVI — начала XVII века, разработавший в произведении «Новый Органон» основы индуктивной логики:	Ф. Бэкон	да
1.2. С точки зрения формальной логики высказывание: «Все Снегурочки – это геометрические фигуры»:	построено по форме: «Все A есть B»	да
1.20. Английский ученый XIX века, развивший теорию научной индукции:	Д.С. Милль	да
1.3. Понятие – это	форма мышления	да
1.4. Истинность в логике означает:	соответствие мысли объекту	да
1. 6. Символическая логика является разделом:	математики	да
1.7.Что означает слово «logos»?	закон, мысль, слово, смысл.	да
1.8. Модальная логика относится к:	неклассической логике	да

Формальная логика | Определение, примеры, символы и факты

Альфред Норт Уайтхед

Смотреть все СМИ

Ключевые люди:: Станислав Лесневский Джордж Буль Джон Венн Август Де Морган Джузеппе Пеано

Похожие темы:: теория множеств исчисление предикатов модальная логика исчисление высказываний аксиоматический метод

См. весь связанный контент →

формальная логика , абстрактное изучение предложений, утверждений или утвердительно используемых предложений и дедуктивных аргументов. Дисциплина абстрагирует от содержания этих элементов структуры или логические формы, которые они воплощают. Логик обычно использует символическую нотацию для ясного и недвусмысленного выражения таких структур и для облегчения применения манипуляций и проверок достоверности. Хотя в последующем обсуждении свободно используются технические обозначения современной символической логики, ее символы вводятся постепенно и с сопутствующими пояснениями, чтобы серьезный и внимательный читатель мог следить за развитием идей.

Формальная логика является априорным, а не эмпирическим исследованием. В этом отношении она контрастирует с естественными науками и со всеми другими дисциплинами, данные которых зависят от наблюдения. Его ближайшая аналогия — чистая математика; действительно, многие логики и чистые математики считали бы свои соответствующие предметы неразличимыми или просто двумя этапами одной и той же единой дисциплины. Поэтому формальную логику не следует смешивать с эмпирическим изучением процессов рассуждения, которое принадлежит психологии. Его также следует отличать от искусства правильного рассуждения, которое представляет собой практический навык применения логических принципов к конкретным случаям; и, что еще более резко, его следует отличать от искусства убеждения, в котором неверные доводы иногда оказываются более действенными, чем веские.

(Читайте статью Стивена Пинкера о рациональности в «Британнике»). Дедуктивный аргумент можно грубо охарактеризовать как аргумент, в котором утверждается, что какое-то суждение (заключение) следует со строгой необходимостью из какого-то другого предложения или предложений (посылок), т. е. что было бы непоследовательно или внутренне противоречиво утверждать предпосылки, но отрицают заключение.

Чтобы дедуктивному аргументу удалось установить истинность своего вывода, должны быть выполнены два совершенно различных условия: во-первых, вывод должен действительно следовать из посылок, т. е. дедукция вывода из посылок должна быть логически правильной — и, во-вторых, сами посылки должны быть истинными. Аргумент, отвечающий обоим этим условиям, называется обоснованным. Из этих двух условий логика как такового интересует только первое; второе, определение истинности или ложности посылок, является задачей какой-либо специальной дисциплины или обычного наблюдения, соответствующего предмету рассуждения. Когда вывод аргумента правильно выводится из его посылок, говорят, что вывод от посылок к заключению (дедуктивно) действителен, независимо от того, истинны эти посылки или ложны. Другие способы выражения факта дедуктивной достоверности вывода заключаются в том, чтобы сказать, что истинность посылок дает (или будет давать) абсолютную гарантию истинности вывода или что он будет включать в себя логическую непоследовательность (в отличие от простой фактическая ошибка) предположить, что посылки верны, а заключение ложно.

Дедуктивные выводы, с которыми имеет дело формальная логика, — это, как следует из названия, выводы, достоверность которых зависит не от каких-либо особенностей их предмета, а от их формы или структуры. Таким образом, два вывода (1) Каждая собака является млекопитающим. Некоторые четвероногие — собаки. ∴ Некоторые четвероногие млекопитающие. и (2) Каждый анархист верит в свободную любовь. Некоторые члены правительственной партии являются анархистами. ∴ Некоторые члены правительственной партии верят в свободную любовь. различаются по предмету и, следовательно, требуют разных процедур для проверки истинности или ложности их предпосылок. Но их достоверность обеспечивается тем, что у них есть общего, а именно тем, что аргумент в каждом из них имеет вид (3) Every X это Y . Некоторые Z — это X . ∴ Некоторые Z — это Y .

Оформите подписку Britannica Premium и получите доступ к эксклюзивному контенту.

Подпишитесь сейчас
Строка (3) выше может быть названа формой вывода, а (1) и (2) тогда являются экземплярами этой формы вывода. Буквы — X , Y и Z — в (3) отмечают места, в которые могут быть вставлены выражения определенного типа. Символы, используемые для этой цели, известны как переменные; их использование аналогично использованию x в алгебре, которое обозначает место, в которое можно вставить цифру. Экземпляр формы вывода создается заменой всех переменных в ней соответствующими выражениями (т. е. такими, которые имеют смысл в контексте) и при этом делается единообразно (т. е. заменой одного и того же выражения везде, где повторяется одна и та же переменная). Признак (3), гарантирующий, что каждый его экземпляр будет верным, состоит в его построении таким образом, что любой унифицированный способ замены его переменных, чтобы сделать посылки истинными, автоматически делает вывод также верным, или, другими словами, что ни один его пример не может иметь истинных предпосылок, кроме ложного заключения. В силу этого признака форма (3) называется корректной формой вывода. Напротив, (4) Каждые X это Y . Некоторые Z — это Y . ∴ Некоторые Z — это X . не является действительной формой вывода, поскольку, хотя могут быть получены примеры, в которых все посылки и заключение верны, могут также быть получены примеры, в которых посылки истинны, но заключение ложно, например, (5) Всякий собака это млекопитающее. Некоторые крылатые существа являются млекопитающими. ∴ Некоторые крылатые существа — собаки.
Формальная логика как наука связана с формами вывода, а не с их конкретными случаями. Одна из его задач состоит в том, чтобы различать верные и неверные формы вывода, а также исследовать и систематизировать отношения, которые существуют между верными формами.

С идеей верной формы вывода тесно связана идея верной формы предложения. Форма пропозиции — это выражение, экземпляры которого (полученные, как и прежде, соответствующими и единообразными заменами переменных) являются не выводами из нескольких пропозиций к заключению, а, скорее, пропозициями, взятыми по отдельности, и действительная форма пропозиции — это та, для которой все экземпляры являются истинными предложениями. Простой пример: (6) Ничто одновременно и X , и не-9.0027 х . Формальная логика имеет дело как с формами высказывания, так и с формами вывода. На самом деле изучение форм высказывания можно включить в изучение форм вывода следующим образом: пусть посылки любой данной формы вывода (взятые вместе) обозначаются буквой альфа (α), а ее вывод — буквой бета (β). . Тогда условие, сформулированное выше для правильности формы вывода «α, следовательно, β», сводится к утверждению, что ни один экземпляр формы суждения «α и не-β» не является истинным, т. е. что каждый экземпляр формы суждения (7) Не то и другое: α и не-β истинны, или эта строка (7), полностью изложенная, конечно, является допустимой формой предложения. Однако изучение форм пропозиций не может быть аналогичным образом приспособлено к изучению форм вывода, и поэтому из соображений полноты формальную логику обычно рассматривают как изучение форм пропозиций. Поскольку работа логика с формами высказываний во многом аналогична работе математика с числовыми формулами, системы, которые он строит, часто называют исчислениями.

Большая часть работы логика протекает на более абстрактном уровне, чем тот, о котором говорилось выше. Даже такая формула, как (3) выше, хотя и не относящаяся к какому-либо конкретному предмету, содержит такие выражения, как «каждый» и «есть», которые считаются имеющими определенное значение, а переменные предназначены для обозначения мест. для выражений одного конкретного вида (грубо говоря, нарицательных существительных или имен классов). Однако возможно — и для некоторых целей это необходимо — изучать формулы, не придавая им даже этой степени осмысленности. В самом деле, построение системы логики включает в себя два различных процесса: один состоит в создании символического аппарата — набора символов, правил их объединения в формулы и правил манипулирования этими формулами; второй состоит в придании этим символам и формулам определенных значений. Если выполняется только первое, система называется неинтерпретируемой или чисто формальной; если последнее также выполняется, говорят, что система интерпретируется. Это различие важно, потому что логические системы обладают определенными свойствами совершенно независимо от каких-либо интерпретаций, которые им могут быть даны. В качестве примера можно взять аксиоматическую систему логики, т. е. такую систему, в которой за исходные положения берутся некоторые недоказанные формулы, называемые аксиомами, и на их основании доказываются дальнейшие формулы (теоремы). Как будет позже ( см. ниже Аксиоматизация ПК), вопрос о том, является ли последовательность формул в аксиоматической системе доказательством или нет, зависит исключительно от того, какие формулы принимаются за аксиомы и от того, каковы правила вывода теорем из аксиом, а вовсе не о том, что означают теоремы или аксиомы. Более того, данная неинтерпретируемая система вообще может быть одинаково хорошо интерпретирована множеством различных способов; следовательно, при изучении неинтерпретируемой системы изучают структуру, общую для множества интерпретируемых систем. Обычно логик, конструирующий чисто формальную систему, имеет в виду конкретную интерпретацию, и его мотивом для ее построения является вера в то, что, когда ей будет дана эта интерпретация, формулы системы смогут выражать истинные принципы в некоторой области. мысли; но, среди прочего, по указанным выше причинам, он обычно позаботится о том, чтобы описать формулы и установить правила системы без ссылки на интерпретацию и указать как отдельный вопрос интерпретацию, которую он имеет в виду.

Многие идеи, используемые при изложении формальной логики, в том числе упомянутые выше, поднимают проблемы, принадлежащие скорее философии, чем самой логике. Примеры: Каков правильный анализ понятия истины? Что такое предложение и как оно связано с предложением, которым оно выражено? Существуют ли какие-то виды здравого рассуждения, которые не являются ни дедуктивными, ни индуктивными? К счастью, можно научиться заниматься формальной логикой, не имея удовлетворительных ответов на такие вопросы, точно так же, как можно заниматься математикой, не отвечая на вопросы, относящиеся к философии математики, например: числа являются реальными объектами или мысленными построениями?

Журнал формальной логики Нотр-Дам

Просматривать
- Титулы
- Издатели
- Предметы
Ресурсы
- Подписка и доступ
- Библиотечные ресурсы
- Инструменты издателя
- Ресурсы для исследователей
О
- О проекте Евклид
- Консультативный совет
- Новости и события
- Способы поддержки проекта Евклид
- Политики
- Издательские услуги

Расширенный поиск

Самые читаемые статьи

Теория конечных множеств

Лоуренс Кирби. (2009)

Элементарные предложения и независимость

Джон Л. Белл и др. (1996)

Количественная оценка, области дискурса и существование.

Томас Г. Недзински. (1979)

Определение числа Фреге.

Стивен Вагнер. (1983)

О формализации теоретико-модельных доказательств теорем Гёделя

Макото Кикути и др.