Философия.
Процесс познания человеком бытия очень сложен. Когда, человек после первородного греха под воздействием любви осознал, что ему нужно каким-то образом познавать мир зародилась философия. В основе философии лежит идеология.
Идеология (научное) – Единственно правильный способ организации жизни существ в окружающей среде.
Когда человек под воздействием любви осознал, что нужно как-то жить в окружающей его среде, он начал придумывать идеологии. В начале каждый человек придумывал свою личную идеологию. Затем, в процессе общения она менялась и выяснялось, что группа людей способна носить одну и туже идеологию. В последствии оказывалось, что идеология может быть у семьи, рода, а с появлением государства появились идеологические государства.
Год от года человек разумом родил бесконечное количество идеологий. Почти у каждого человека оказывалось своё видение жизни, и каждое уникальное мнение и есть идеология. Чтобы как-то систематизировать полученные человеком идеологии, знания зародилась наука.
Наука – Знание об окружающем мире.
Первой появившейся на Земле наукой стала философия.
Философия – Наука, изучающая все созданные человеком ложные и истинную идеологии с целью отличить Истину от лжи и доказать миру её аксиомичность.
Таким образом, в начале начал человек создавал различные идеологии на основе полученных из окружающей среды знаний и чтобы систематизировать их, отличить истинные знания от ложных придумал философию. В последствии, из философии выделились все остальные науки: теология, физика, биология, медицина, психология и т.д. Наука становится наукой тогда, когда накапливает по своему предмету такое количество знаний, которое позволяет ей дальше развиваться независимо от своего предшественника.
В начале философия занимается систематизацией созданных человеком идеологий, затем отделяет истинную идеологию от ложной и проводит их анализ.
Для систематизации идеологий философия разделяется на разделы. Каждый раздел философии это определённая созданная человеком идеология.
Разделы философии – Созданные человеком на протяжении своего существования идеологии и методы познания этих идеологий
Может существовать бесконечное множество разделов философии. Каждый день человек создаёт всё новые и новые идеологии, которые открывают новые разделы философии. Процесс создания этих идеологий закончится только с наступлением Царства Божьего во Вселенной. В настоящий момент продолжается бесконечное развитие человечества, общество на пути к построению Божьего Царства, поэтому идёт процесс бесконечного развития не только Истины, но и лжи. В результате ежедневно создаются новые идеологии, количество которых равно бесконечности.
Для их систематизации философия создаёт новые разделы. Этот процесс будет продолжаться до тех пор, пока во Вселенной не будет построено Царство Бога. Развитие сознание человека бесконечный процесс, потому что бесконечен Бог, за которым идёт человек.
Для того чтобы познать все созданные человеком идеологии, т.е. раскрыть сущность всех разделов философии, эта наука использует методы. Всего есть три философских метода:
Диалектика – Метод философии в основе, которого лежит идея, что вся Вселенная живёт по трём законам: закон перехода количественных изменений в качественные; закон взаимного проникновения противоположностей; закон отрицания отрицания
Иррационализм – Метод философии, согласно которому основой познания и действия людей является чувства
Рационали́зм – Метод философии, согласно которому основой познания и действия разумных существ является разум. Является разделом философии и самостоятельной идеологией
Иных методов не предусмотрено. Рационализм является единственно верным методом познания идеологий. Диалектика коварный метод. В некоторых случаях использование её законов рационально, в некоторых иррационально, поэтому при попытке объяснить те или иные явления с позиции диалектики нужно сначала посмотреть на то, что ты делаешь с позиции разума. Если объяснение рационально, это правильно, если нет, значит нет. Рационализм является верным методом познания всегда, диалектика может быть правильным, а может и нет, иррационализм не является правильным никогда.
Существует бесконечное множество идеологий, каждая из которых является независимым разделом философии как науки. Примерная классификация разделов и методов:
- Разделы философии.
ИдеологииАвторитаризм
Анархизм
Антидетерминизм
Антинародное право
Антинацизм
Антинационализм
Антифашизм
Антихристианство
Вечные ценности
Воинствующий интернационализм
Воспитание
Гендерное равенство
Геноцид
Деградация
Дело
Демократизм
Демократия
Детерменизм
Диктатура
Доисторизм
Дух
Духовные ценности
Евангелие
Естественные права
Желание
Закон Божий
Заложничество
Замаскированный воинствующий интернационализм
Захват территории
Игра
Идеализм
Идеология
Инновационные идеи
Интересы народа/нации
Интернационализм
Искупление
Исполнять желания
Истина
Капитализм
Капиталистические ценности
Классический интернационализм
Коллегиальность
Колониализм
Коммунизм (идеологическое)
Коммунизм (экономическое)
Консерватизм
Конституционная монархия
Конфедерализм
Корпоратизм
Космополитизм
Крамольные идеи
Ксенофобия
Лжеидеология
Лженаука
Либерализм
Либеральные ценности
Ложь
Любовь (научное)
Любовь (общее)
Мазохизм
Материализм
Материалистические ценности
Материальные ценности
Матриархат
Метафизика
Монархия
Народное право
Народность
Насилие
Наука
Научная идеология
Нацизм
Национализм
Национальное право
Неволя
Негативное право
Нейтральность
Ненависть
Неприязнь
Неравенство
Обман
Общенациональное право
Отдых
Открытый воинствующий интернационализм
Парламентская республика
Патриархат
Платоническая любовь
Платоническая ненависть
Плотская любовь
Плотская ненависть
Позитивное право
Политика
Политическая идеология
Политический социализм
Политическая форма
Полуинтернационализм
Полунационализм
Полуцезаризм
Порядок
Правда
Право
Правовое неравенство
Правовое равенство
Православие
Православное народничество
Прагматичный интернационализм
Прагматичный национализм
Православный рационализм
Президентская республика
Принцип Белого синдикализма
Принцип – «Дать всем максимально возможное количество любви»
Принцип дуализма
Приятельство
Противоречивость
Рабовладение
Работа
Равенство
Радикализм
Развитие
Развращение
Рационализм
Рационалистический детерминизм
Религиозный детерминизм
Религия
Республика
Русизм
Самовоспитание
Самодержавие
Свобода
Святой Дух
Сепаратизм
Сознание
Социал-дарвинизм
Социализм
Социальное иждивенчество
Социальные ценности
Социальный заказ
Суть человека
Теархия
Теоизм
Теократия
Теоцентризм
Тирания
Тоталитаризм
Традиционные ценности
Труд
Увлечение
Удержательный национализм
Ужас
Умеренный интернационализм
Умеренный национализм
Унитаризм
Фалангизм
Фашизм
Федерализм
Физика
Франкизм
Хаотичная идеология
Христианские идеи
Христианские ценности
Христианство
Цезаризм
Центризм
Частно-монополистический капитализм
Чёрный синдикализм
Шовинизм
Эгоизм
Эгоцентризм
Эгоцентризм полный
Эгоцентризм частичный
Эклектика
Эклектичные идеи
Экономика
Экономический социализм
Эмптизм
Методы познания идеологий
Рационализм
ЛогикаСиллогизм
Логика высказываний
Логика первого порядка
Иррационализм
ДиалектикаФормула тезис-антитезис-синтез
Методы познания идеологий делятся на формы методов. Одной из форм рационалистического метода является логика. С её помощью человек познаёт жизнь.
Логика – Форма рационалистического метода философии, подразумевающая всесторонний анализ идеологических концепций, придуманных людьми.
Логика это и есть то, благодаря чему мы познаём мир. Она позволяет систематизировать нашу идеологию и понять суть иных концепций.
Логика разделяется на формы логики.
Одна из них силлогизм:
Силлогизм – Форма логики, представляющая собой рассуждение мысли, состоящее из трёх простых атрибутивных высказываний: двух посылок и одного заключения: 1) Саша –разумное существо, 2) Люди – разумные существа, 3) Саша – человек
Она начинает проявляться ещё у маленьких детей. Например, родитель говорит ребёнку два утверждения:
- Саша –разумное существо, 2) Люди – разумные существа.
Ребёнок делает вывод: 3) Саша – человек.
Так и работает логика. Но она же может и подводить.
- Земля движется вокруг Солнца, 2) Земля – планета. 3) Все планеты движутся вокруг Солнца.
Но это не так! Вокруг Солнца движутся только 9 планет, а не все, в том числе Земля. Так, силлогизм обманывает человека. Поэтому для того чтобы не ошибаться в понимании мира логика стала искать другие формы познания.
Логика высказываний – Форма логики, представляющая из себя логическое словесное предложение, которое является либо истинным, либо ложным.
Логические высказывание бывают элементарными и составными.
Элементарные логические высказывания – Высказывания не содержащие логических связок
Составные логические высказывания - Высказывания,образующиеся в результате соединения нескольких элементарных высказываний с помощью логических связок
Логическая связка — Любая логическая операция над высказыванием
Логическая операция - Действия, вследствие которых порождаются новые понятия, возможно с использованием уже существующих
Логические операции подразделяются на виды:
Вид логической операции – Операция, которую разум проводит над высказыванием. Виды:
Отрицание логического высказывания — Вид логической операции, представляющий собой логическое высказывание, принимающее значение «истинно», если исходное высказывание ложно, и наоборот (образуется при использовании слова «не»).
Конъюнкция двух логических высказываний — Вид логической операции, представляющий собой логическое высказывание, истинное только тогда, когда они одновременно истинны (образуется при использовании слова «и»)
Дизъюнкция двух логических высказываний — Вид логической операции, представляющий собой логическое высказывание, истинное только тогда, когда хотя бы одно из них истинно (образуется при использовании слова «или»)
Импликация двух логических высказываний - Вид логической операции, представляющий собой логическое высказывание A и B, которое ложное только тогда, когда B ложно, а A истинно (образуется при использовании слова «если … то»)
Равносильность (эквивалентность) двух логических высказываний — Вид логической операции, представляющий собой логическое высказывание, которое истинное только тогда, когда оба составляющих логических высказывания, одновременно истинны или ложны (образуется при использовании слова «образуется при использовании слова «тогда... и только тогда, когда…»)
Кванторное логическое высказывание с квантором всеобщности ( ) — Вид логической операции, представляющий собой логическое высказывание, которое истинное только тогда, когда для каждого объекта x из заданной совокупности высказывание A(x) истинно, (образуется при использовании слов: «для всех…», «для каждого…» или «каждый…», «любой…», «для любого…»)
Кванторное логическое высказывание с квантором существования ( ) — Вид логической операции, представляющий собой логическое высказывание, которое истинно только тогда, когда в заданной совокупности существует объект x, такой, что высказывание A(x) истинно (образуется при использовании слов: «существует» или «для некоторого»)
Логика высказываний более объективная наука, чем силлогистика. Но и она не всегда правильно раскрывает суть причинно-следственных связей и явлений, поэтому логический метод познания бытия на ней не заканчивается
Логика первого порядка – Форма логики, представляющая собой, формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций и предикатов. Расширяет логику высказываний
Функция - математическое понятие, отражающее связь между элементами множеств. Можно сказать, что функция — это «закон», по которому каждому элементу одного множества (называемого областью определения) ставится в соответствие некоторый элемент другого множества (называемого областью значений)
Формальное исчисление – Исчисление, в котором роль переменных играют неизвестные числа, между которыми существует жёсткая связь, основанная на применении определённых аксиом и правил, позволяющих вывести одно действие из другого
Аксиоматическое исчисление – Исчисление, в котором роль переменных играют известные числа, между которыми существует жёсткая связь, основанная на применении определённых аксиом и правил, позволяющих вывести одно действие из другого
Область определения – Множество, на котором задаётся функция. Область определения отвечает за условие на основании, которого выводится конечный результат
Область значений – Множество значений, которые принимает функция в результате ее применения. Область значений зависит от области определения и являет собой конечный результат
Предикат – Это, то, что утверждается о высказывании. Любое высказывание может иметь только два предиката правда и обман
Язык логики первого порядка строится на основе сигнатуры, состоящей из множества функциональных символов и множества предикатных символов . С каждым функциональным и предикатным символом связана арность, то есть число возможных аргументов. Допускаются как функциональные, так и предикатные символы арности 0. Первые иногда выделяют в отдельное множество постоянных
Сигнатура – Набор множеств
Арность – Значение функции
Логика первого порядка строится на основе пропозициональных связок
Пропозициональная связка – Логическая операция в функции. В качестве основных, обычно называют конъюнкцию ( или &), дизъюнкцию ( ), импликацию ( ), отрицание ( )
Перечисленные символы вместе с символами из и образуют Алфавит логики первого порядка. Более сложные конструкции определяются индуктивно
Алфавит логики первого порядка – Пропозициональные связки, функции и предикаты, из которых состоит любое логическое высказывание
Индукция – Метод при помощи, которого доказывается правдивость того или иного высказывания. Он заключается в том, что в след за доказательством первого, немедленно доказывается второе, затем третье и т.д.
Более сложные конструкции логических высказываний:
Терм - Символьное выражение: t(X1, X2, … , Xn), где t — имя терма, называемая функтор, или «функциональная буква», а X1, X2, … , Xn — термы, структурированные или простейшие. Символ переменной имеет вид , где — функциональный символ арности , а — термы. Здесь f – функция, t – функтор, а 1,......n – терм.
В логике первого порядка терм определяется следующим образом:
- всякая индивидная константа есть терм;
- всякая свободная переменная есть терм;
- если — і-местная функциональная константа и , , …, — термы, то также есть терм;
- термами являются только те выражения, которые получены согласно пп. 1—3
Терм это любое известное число, любая переменная и любая функция включающая в себя известные числа и переменные.
Функтор – присвоенное имя терма
Терм состоит из буквы, которую называют функтор и собственно терма, которым может быть любое число, переменная или функция или только из терма. Если терм число то он одновременно и функтор, и терм, если переменная то он состоит из буквы и терма, а если функция то, только из терма.
Атом (логическое) - Символьное выражение, которое имеет вид , где — предикат, а — термы. P – это предикат, а терма бесконечное множество значений предиката. - переменный терм, а - функциональный.
Формула (логическое) — Символьное выражение, которое является, либо атомом, либо одной из следующих конструкций: , где — формулы, а — переменная.
Переменная называется связанной в формуле , если имеет вид либо , или же представима в одной из форм , причем уже связанна в , и . Если не связанна в , ее называют свободной в . Формулу без свободных переменных называют замкнутой формулой, или предложением. Теорией первого порядка называют любое множество предложений
Теория первого порядка – Бесконечное множество логических высказываний, сведённых в определённые формулы, которые являются правилами, по которым работает логика разумного существа
Замкнутая формула – Формула, где все переменные и числа имеют строго определённое значение
Замкнутое предложение – Предложение, где все переменные и слова имеют строго определённое значение
Открытое предложение - Предложение, где хотя бы одна из переменных может менять своё значение
Открытая формула – Формула, где хотя бы одна из переменных может менять своё значение
Связанная переменная х в формуле F – Логический случай, имеющий место быть в формуле , , или , где х = , и . Такой парадокс и есть связанная переменная х. Иными словами, связанная переменная х в формуле, тогда, когда она является замкнутой
Свободная переменная x в формуле F – Логический случай, подразумевающий наличие в функции переменной, которая встречается в её теле, но которая не является параметром этой функции, и\или место, где эта переменная была определена, находится где-то за пределами функции. Иными словами, это функция, которая не имеет строго определённого значения. Иными словами, связанная переменная х в формуле, тогда, когда она является свободной
Формула (математическое) - Комбинации знаков, имеющих самостоятельный смысл и представляющей собой символическую запись высказывания, которое выражает логическое суждение
Алфавит логики первого порядка состоит из формул, которые и отвечают за формирование логики. Логика первого порядка состоит из следующих формул:
;
;
;
;
;
;
;
;
;
;
.
,
где — формула, полученная в результате подстановки терма вместо каждой свободной переменной , встречающейся в формуле .
В логике есть два правила вывода:
- Modus ponens:
Правило вывода модус поненс, обычно называемое правилом отделения или гипотетическим силлогизмом, позволяет от утверждения условного высказывания и утверждения его основания перейти к утверждению следствия . Например, металлы — проводники тока (если вещество металл, то оно проводник), цинк — металл, значит цинк проводит ток. Обратное утверждение не всегда верно: никель и морская вода проводят ток, но никель — металл, а морская вода не металл. Итого, если из A следует B, и B - истинно, то A истинно или ложно
- Правило обобщения (англ.):
Интерпретация формул логики первого порядка задается на модели первого порядка, которая определяется следующими данными
- Несущее множество ,
- Семантическая функция , отображающаякаждый -арный функциональный символ из в -арную функцию ,
каждый -арный предикатный символ из в -арное отношение .
Обычно принято, отождествлять несущее множество и саму модель, подразумевая неявно семантическую функцию, если это не ведет к неоднозначности.
Предположим — функция, отображающая каждую переменную в некоторый элемент из , которую мы будем называть подстановкой. Интерпретация терма на относительно подстановки задается индуктивно
- , если — переменная,
В таком же духе определяется отношение истинности формул на относительно
- , тогда и только тогда, когда ,
- , тогда и только тогда, когда — ложно,
- , тогда и только тогда, когда и истинны,'
- , тогда и только тогда, когда или истинно,
- , тогда и только тогда, когда влечет ,
- , тогда и только тогда, когда для некоторой подстановки , которая отличается от только на переменной ,
- , тогда и только тогда, когда для всех подстановок , которые отличается от только на переменной .
Формула , истинна на , что обозначается как , если , для всех подстановок . Формула называется общезначимой, что обозначается как , если для всех моделей . Формула называется выполнимой , если хотя бы для одной .
Логика первого порядка обладает рядом полезных свойств, которые делают ее очень привлекательной в качестве основного инструмента формализации математики. Главными из них являются полнота (это означает, что для любой формулы выводима либо она сама, либо ее отрицание) и непротиворечивость (ни одна формула не может быть выведена одновременно со своим отрицанием). При этом если непротиворечивость более или менее очевидна, то полнота — нетривиальный результат, полученный Гёделем в 1930 году (теорема Гёделя о полноте). По сути теорема Гёделя устанавливает фундаментальную эквивалентность понятий доказуемости и общезначимости.
Логика первого порядка обладает свойством компактности: если некоторое множество формул не выполнимо, то невыполнимо также некоторое его конечное подмножество.
Логика первого порядка это наука при помощи, которой можно рационально объяснить абсолютно всё, но и она, иногда делает ошибки, поэтому появилась логика второго порядка.
Написано Павловым Александром: 12 Сентября 2013 г.
Выложено на сайт: 5 Июля 2014 г.
