Логика

СЛОВАРЬ

Логика – наука о законах и формах правильного мышления. Выясним, что понимается под логической формой и логическим законом.

Закон есть необходимое , существенное, устойчивое, повторяющееся отношение между явлениями.

Закон логики – это законы правильного мышления, а не законы самих вещей и явлений мира.

Гипотеза- это научно обоснованное предположение о причинах или закономерных связях, каких- либо явлений или событий природы, общества и мышления

Общая гипотеза – это научно обоснованное предположение о причинах, законах и закономерностях природных и общественных явлений, а также закономерностях психической деятельности человека.

Частная гипотеза- это научно обоснованное предположение о причинах, происхождении и о закономерностях части объектов, выделенных из класса рассматриваемых объектов природы, общественной жизни или психической деятельности человека.

Единичная гипотеза- это научно обоснованное предположение о причинах, происхождении и закономерностях единичных фактов, конкретных событий или явлений.

Суждение – форма мышления, в котором что-либо утверждается и отрицается о предметах, их признаках и отношениях («наступила весна», и «прилетели грачи»).

Умозаключение – форма мышления, посредством которой из одного или нескольких истинных суждений, называемых посылками, мы по определенным правилам вывода получаем заключение.

Мышление – высшее проявление сознания. Сознание и абстр. мышление носит активный характер: познав объективные закономерности, человек, человек использует их в своих интересах.

Закон тождества .Всякая мысль в процессе рассуждения должна оставаться тождественной самой себе.

Закон непротиворечия (ЗН) формулируется так: «2 противоположных суждения не могут быть истинными одновременно»

Конъюнкция соответствует союзу «и». обозначается а в или а , или а в (например, «закончились лекции (а), и студенты пошли домой (в)»).

Дизъюнкция соответствует союзу «или». Обозначается: а в (нестрогая дизъюнкция), а в (строгая дизъюнкция); отличие их в том, что при строгой дизъюнкции сложное суждение истинно только в том случае, когда истинно одно из составляющих суждений, но не оба, а при нестрогой дизъюнкции истинными могут быть одновременно оба суждения. «Он шахматист или футболист» обозначаются как а в . «Сейчас Петров находится дома или в институте» обозначается как а в .

Импликация соответствует союзу «если… то», обозначается: а- вили а в.

Квантор общности соответствует словам « все» (всякий». «каждый», «ни один»), обозначается: .пример, «все красные мухоморы ядовитые»

Квантор существования соответствует словам «некоторые», « существует»:

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

Признаки –это то, в чем предметы сходны друг с другом или отличны друг от друга.

Признаки бывают существенные и несущественные.

Анализ – мысленное расчленение предметов на их составные части, мысленное выделение в них признаков.

Объемом понятия называют класс обобщаемых в нем предметов.

Под объемом понятия «животное» подразумевается множество всех животных которые существуют сейчас, существовали ранее и будут существовать в будущем . Класс, или множество, состоит из отдельных объектов, которые называются его элементами.

Деление – это логическое действие, посредством которого объем делимого понятия (множество) распределяется на ряд подмножеств с помощью избранного основания деления.

Классификация – это распределение предметов по группам (классам), где каждый класс имеет свое постоянное, определенное место.

Вспомогательная классификация – это распределение предметов по группам на основании их несущественных признаков.

сравнение – логический прием, с помощью которого устанавливается сходство и различие предмета.

анализ – это расположение (разбор) целого на составные части с целью познания.

синтез- соединение частей в единое целое и выявление их функций, ролей в составе

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

Знак –это материальный предмет (явления, события) выступающий в качестве представителя некоторого другого предмета, свойства или отношения и используемый для приобретения, хранения переработки и передачи сообщений (информаций, знаний).

Имя- это слово или словосочетание, обозначающее какой –либо определенный предмет. Предмет здесь понимается в весьма широком смысле: это вещи, свойства, отношения, процессы, явления и т.п.

Смысл имени – это способ, каким имя обозначает предмет, т.е. информация о предмете, которая содержится в имени.

Понятие- одна из форм абстрактного мышления.

Признаки бывают существенные и несущественные.

Сравнение – мысленное установление сходства или различия предметов по существенным или несущественным признакам.

Абстрагирование – мысленное выделение одних признаков предмета и отвлечение от других. Часто задача состоит в выделении существенных признаков предметов и в отвлечении от несущественных , второстепенных.

Обобщение – мысленное объединение отдельных предметов в некотором понятии.

Объемом понятия называют класс обобщаемых в нем предметов.

Конкретными называются понятия, в которых отражены отдельные предметы или классы предметов. К их числу относятся понятия: «дом», «свидетель» и др.

Абстрактными называются те понятия, в которых мыслится не целый предмет, а какой-либо из признаков предмета. Взятый отдельно от самого предмета (несправедливость, доброта, свобода). Абстрактные понятия кроме отдельных свойств предмета отражают и отношения между предметами (неравенство, подобие, сходство и др.)

Относительные – такие понятия, в которых мыслятся предметы, существование одного из которых предполагает существование другого (дети- родители, ученик- учитель, начальник- подчиненный).

Безотносительные- такие понятия, в которых мыслятся предметы, существующие самостоятельно, вне зависимости от другого предмета (дом, человек, деревня).

Положительные понятия характеризуют в предмете наличие того или иного качества или отношения. Например, грамотный человек, алчность, отстающий ученик, красивый поступок.

Если частица 2не2 или 2без» (бес) слилась со словом и слово без них не употребляется (ненастье), то такие понятия так же называются положительными, т.к. не выполняют функцию отрицания.

Отрицательными называются те понятия, которые означают, что указанное качество отсутствует в предметах. Например, неграмотный человек, некрасивый поступок, бескорыстная помощь.

Собирательными называются понятия, в которых группа однородных предметов мыслится как единое целое. Например, полк, стадо, стая, созвездие.

Содержание несобирательного понятия можно отнести к каждому предмету данного класса, мыслимого в понятии (ручка, река, река).

Деление – это логическое действие, посредством которого объем делимого понятия (множество) распределяется на ряд подмножеств с помощью избранного основания деления.

Делимое понятие – это родовое, а его члены деления – это виды данного рода, соподчиненные между собой, т.е. не пересекающиеся по своему объему.

Классификация – это распределение предметов по группам (классам), где каждый класс имеет свое постоянное, определенное место.

Естественная классификация – это распределение предметов по группам на основании их существенных признаков.

Вспомогательная классификация – это распределение предметов по группам на основании их несущественных признаков. Вспомогательная классификация не дает возможности судить о свойствах предметов.

Соподчинение (координация) – это отношение между объемами 2- х или нескольких понятий, исключающих друг – друга, но принадлежащих некоторому, более общему родовому понятию.

Операции с классами это такие логические действия, которые приводят нас к образованию нового класса.

Определение (или дефиниция) понятия есть логическая операция, которая раскрывает содержание понятия либо устанавливает значение термина.

Суждение – форма мышления, в которой что-либо утверждается или отрицается о существовании предметов . связях между предметами и его свойствами или об отношениях между предметами. утверждается или отрицается наличие у предмета какого-либо признака

Модальными простыми суждениями называют простые суждения, выражающие связь между субъектом и предикатом с помощью модальных понятий.

Модальными сложными суждениями называют сложные суждения, выражающие связь между составляющими их простыми суждениями с помощью модальных понятий.

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

Дедуктивное умозаключение (ДУ)-такое, в котором заключение необходимо следует из посылок, выражающих знания большей степени общности, и которое само является знанием меньшей степени общности.

Превращение – вид непосредственного умозаключения, при котором изменяется качество посылки без изменения ее количества. По качеству связки категорические суждения делятся на утвердительные и отрицательные.

Софистами, называют людей, которые пытаются выдать ложь за истину путем различных ухищрений.

Парадокс –это рассуждение, доказывающее как истинность, так и ложность некоторого суждения, иными словами, доказывающее как это суждение, так и его отрицание. Парадоксы были известны еще в древности. Примерами парадоксов является: «куча», «лысый», 2каталог всех нормальных каталогов», «мэр города», «генерал», «брадобрей».

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

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

Тезис- это суждение, истинность которого надо доказать.

Аргументы это те истинные суждения, которыми пользуются при доказательстве тезиса.

Формат доказательства - называется способ логической связи между тезисами и аргументами.

Опровержение- логическая операция, направленная на разрушение доказательства путем установления ложности или необоснованности ранее выдвинутого теория.

Аналогия – умозаключение о принадлежности предмету определенного признака на основе сходства в существенных признаках с другим предметом. В форме такого умозаключения осуществляется приписывание предмету свойства или перенос отношений.

Индукцией называется умозаключение от знания меньшей степени общности к новому знанию большей степени общности (т.е. от отдельных частных случаев мы переходим к общему суждению).

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

Неполная индукция применяется тогда, когда мы не можем наблюдать все случаи изучаемого явления, а заключения делаем для всех.

Категорический силлогизм- это вид дедуктивного умозаключения, в котором из 2-х истинных категорических суждений, связанных средним термином при соблюдении правил необходимо следует заключение.

Софизм - преднамеренная ошибка, совершаемая с целью запугать противника и выдать ложное суждение за истинное.

Аналогия – умозаключение о принадлежности предмету определенного признака на основе сходства в существенных признаках с другим предметом. В форме такого умозаключения осуществляется приписывание предмету свойства или перенос отношений.

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

Определенность означает что в процессе всякого рассуждения д.б. четко обозначен предмет мысли.

Непротиворечивость означает , что в процессе рассуждения о предмете взятой в одно и то же время, и в одном и том же отношении, нельзя и утверждать, и отрицать, что либо одновременно, т.е. нельзя противоречить самому себе.

Строгость и последовательность означает, что рассуждать мы должны в строго определенном порядке выстраивая логическую цепочку т.о. чтобы каждое последующее суждение вытекало из предыдущего являлось его продолжением;

А так же мы должны последовательно придерживаться одной и той же точки зрения о предмете на протяжении всего данного рассуждения.

Доказательность означает, что все наши мысли д.б. истинными и четко обоснованными.

Знание истины (правды) какой бы она горькой не была, человеку необходимо для того, чтобы принимать верное решение и правильно действовать в различных жизненных ситуациях.

Гипотеза как форма развития знания. Виды гипотез. Способы доказательства гипотез

В науке, следственной практике, обыденном мышлении мы идем от незнания к знанию, от неполного знания к более полному; нам приходится выдвигать и затем обосновывать различные предложения для объяснения явлений и их связи с другими явлениями. Мы выдвигаем гипотезы, которые могут перейти при их подтверждении в научные теории или в отдельные истинные суждения, или наоборот, будут опровергнуты и окажутся ложными суждениями.

          I. Гипотеза- это научно обоснованное предположение о причинах или закономерных связях , каких- либо явлений или событий природы, общества и мышления.

Научно обоснованные предположения (гипотезы) надо отличать от плодов беспочвенной фантазии в науке.

Виды гипотез

В зависимости от степени общности научные гипотезы можно разделить на общие, частные и единичные.

·      Общая гипотеза – это научно обоснованное предположение о причинах, законах и закономерностях природных и общественных явлений, а также закономерностях психической деятельности человека.

Общие гипотезы выдвигаются с целью объяснения всего класса описываемых явлений, выведения закономерного характера их взаимосвязей во всякое время и в любом месте. В случае подтверждения общая гипотеза становится научной теорией.

·          Частная гипотеза- это научно обоснованное предположение о причинах, происхождении и о закономерностях части объектов, выделенных из класса рассматриваемых объектов природы, общественной жизни или психической деятельности человека.

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

 Гипотезы в области вирусологии мы называем частными, а не общими, потому что они выдвигаются для выяснения закономерностей отдельных, только некоторых из организмов – вирусов, а иногда даже не всех вирусов, а их отдельных разновидностей.

·          Единичная гипотеза- это научно обоснованное предположение о причинах, происхождении и закономерностях единичных фактов, конкретных событий или явлений.

Врач строит единичные гипотезы в ходе лечения конкретного больного, подбирая для него индивидуально медикаменты и их дозировку.

В ходе доказательства общей, частной или единичной гипотезы людей строят рабочие гипотезы , т.е.предположения, выдвигаемые чаще всего в начале исследования явления и не ставящие еще задачу выяснения его причин или закономерностей. Рабочая гипотеза позволяет исследователю построить определенную систему результатов наблюдения и дать согласующееся с ними предварительное описание изучаемого явления. Работа академика И.П.Павлова ярко характеризует способы и цели построения рабочей гипотезы.

В судебном расследовании выдвигаемые гипотезы называются версиями. Версии бывают общие, объясняющие все преступление в целом; частные, объясняющие некоторые обстоятельства или моменты преступления; и единичные , объясняющие отдельные, индивидуальные факты: кто исполнитель, кто организатор преступления, если было несколько участников и т.д.

Способы подтверждения гипотез

1.         Самым действенным способом подтверждения гипотезы является обнаружение предполагаемого объекта, явления, или свойства, которое является причиной рассматриваемого явления.

2.         Основной способ подтверждения гипотез- выведение следствий и их верификация.

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

Указанные 2 способа являются прямыми способами превращение гипотезы в достоверное знание.

3.         Косвенный способ превращения гипотезы в достоверное знание состоит в опровержении всех ложных гипотез, после его заключения об истинности одного оставшегося предположения. Для этого применяется разделительно – категорическое умозаключение.

Итак, гипотеза является формой развития и естественных, и общественных наук.

Дедуктивные умозаключения. Непрямые (косвенные) выводы. Их виды

К ним относятся:

·          Рассуждения по правилу введения импликации;

·          Сведение к абсурду;

·          Рассуждение «от противного» (противоречащего)

1.Рассуждения по правилу введения импликации. Правило вывода сформулировано так:

Данное правило читается так: «Если из посылок гамма (г) и посылки а выводится заключение в, то из а следует в». Это правило вывода имеет и другое название: «теорема о дедукции». Здесь «г» может быть и пустым множеством посылок. Пример рассуждения студента. Пусть «Г» содержит следующие посылки:

·      Я сдал экзамен на отлично

·      Я сдал экзамен по педагогике на отлично

·      Я сдал экзамен по математике на отлично

Заключение в означает: «я получу повышенную стипендию». То, что записано над чертой, будет содержательно прочитано так: «если я сдал экзамены по педагогике, математике, логике на «отлично» и успешно выполнил всю порученную мне общественную работу, то из этого следует последует заключение: « я получу повышенную стипендию». То, что записано под чертой, можно прочитать так: «я сдал экзамены по педагогике, логике и математике на «отлично»:- заключение: «если я успешно выполню всю порученную мне общественную работу, то я получу повышенную стипендию».

Похожие работы

Логика предикатов

Скачать

33981

2

0

типов формул, однако, проблема разрешимости решается. Мы рассмотрим наиболее важный тип формул, для которых решение проблемы разрешимости может быть осуществлено, это формулы логики предикатов, зависящие от одного переменного. Основные понятия Пусть M - некоторое множество предметов и a, b, c, d - какие-то определённые предметы из этого множества. Тогда высказывания об этих предметах мы ...

Формальная логика и мышление, вывод и рассуждение

Скачать

60999

0

1

... ; поэтому естественно, что она не может решить поставленных вопросов, так как они относятся к содержанию. Но это был только один из вариантов ответа. Другой шел по совсем иной линии: формальная логика занимается не рассуждениями, а выводом; поэтому вполне естественно, что она не может указать этих различий и ошибок у Галилея, так как тут мы имеем дело не с выводом, а с рассуждениями. Понятия ...

Предмет и значение логики

Скачать

32696

1

0

... науки, уяснения ее методологической роли для практической деятельности специалиста любого профиля, понимания специфики формально-логического подхода в познании объективной действительности. Определение предмета и значения логики имеет большое практическое значение, поскольку означает освоение прикладного характера логики, ее нормативных требований и превращение их в норму собственной мыслительной ...

Основы формальной логики (учебно-методическое пособие для студентов вечернего и заочного отделения)

Скачать

58066

5

3

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