Логические союзы и таблицы истинности.

Ступени познания

1. Чувственный уровень.

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

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

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

2. Рациональный уровень.

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

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

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

Особенности рац позн.

1. В отличии от чувственного познания ктр является конкретным и

непосредственным рациональное несет обобщенный и опоследовательный хар-р.

2. Рациональное познание или мышление безусловным образом связано с языком.

3. Рациональное познание обладает активным познанием

Приемы и методы познания.

1. Анализ (греч. — разложение) — разделение объекта на составные части с целью их самостоятельного изучения.

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

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

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

5. Обобщение — процесс установления общих свойств и признаков предметов. Тесно связано с абстрагированием. Гносеологической основой обобщения являются категории общего и единичного.

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

7. Индуктивные методы установления причинных связей — индукции каноны (правила индуктивного исследования Бэкона— Милля).

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

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

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

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

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

8. Дедукция (лат. — выведение): а) переход в процессе познания от общего к единичному (частному); выведение единичного из общего; б) процесс логического вывода, т. е. перехода по тем или иным правилам логики от некоторых данных предложений — посылок к их следствиям (заключениям).

9. Аналогия (греч. — соответствие, сходство) — при выводе по аналогии знание, полученное из рассмотрения какого-либо объекта («модели») переносится на другой, менее изученный и менее доступный для исследования объект. Заключения по аналогии являются правдоподобными: например, когда на основе сходства двух объектов по каким-то одним параметрам делается вывод об их сходстве по другим параметрам.

10. Моделирование. Умозаключения по аналогии, понимаемые предельно широко, как перенос информации об одних объектах на другие, составляют гносеологическую основу моделирования — метода исследования объектов на их моделях.

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

12. Вероятностные (статистические) методы — основаны на учете действия множества случайных факторов, которые характеризуются устойчивой частотой. Это и позволяет вскрыть необходимость, которая «пробивается» через совокупное действие множества случайностей. Вероятность — понятие, характеризующее количественную меру (степень) возможности появления некоторого случайного события при определенных условиях, которые могут многократно повторяться. Одна из основных задач теории вероятностей состоит в выяснении закономерностей, возникающих при взаимодействии большого числа случайных факторов.

Понятие и виды языков

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

По своему происхождению языки бывают естественные и искусственные.

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

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

Язык логики высказываний.

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

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

Структура языка.

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

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

III) Функциональные знаки. Алфавит формальной логики

1.Единые имена, логическая константа

2.Общие имена логические переменные

3.Предикторы.

IV) Предложения – высказывания, утверждающие или отрицающие существование предмета их св-в и отношений.

V) Кванторы.

VI) Лог союзы: конъюнкция (соед. «и»); дизъюнкция («или») строгая и слабая; импликация (следование) «если», «то».

VII) Отрицание «не» (инверсия)

Логические союзы и таблицы истинности.

Логика выделяет четыре логических союза: соединительныйсоюз (конъюнкция), в языке выразимый грамматическими союзами и частицами "и", "а", "но", "да" и т.п.; разделительный союз (дизъюнкция) - "или", "либо" и т.п.; условный союз (импликация) - "если.., то" и союз эквивалентности, тождественности (эквиваленция) - "если и только если.., то", "тогда и только тогда, когда".

Таблица истинности — это таблица, описывающая логическую функцию.

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

Таблицы истинности для основных двоичных логических функций.

Конъюнкция

Дизъюнкция

Сложение по модулю 2

Импликация

Эквиваленция

Штрих Шеффера

Стрелка Пирса

Отрицание

Далее ⇒