до индивидуального вмешательства. К примеру, чтобы заняться наукой физикой, логически необходимо принять, в частности, следующее: есть то, что мы называем неживой природой. Она поддается изучению, не будет сопротивляться познавательным усилиям человека и не зависит от них. Она законосообразна. Можно обеспечить специальные условия наблюдения, в которых природа особым образом себя определенно проявит; это будет называться экспериментом. Результаты экспериментов воспроизводимы, подаются фиксации и обобщаемы в виде уравнений [15]. Конкретные, закрепленные в подходящей форме и материале итоги изучения природы не портятся со временем; и т. д. (картина нами не исчерпана). Если таких онтологических убеждений у разумного человека нет, то он не станет физиком. Зато он может выбрать, например, стезю филологии, в которой тоже есть свои онтологические предпосылки: существуют старинные тексты; многие из них имеет смысл и прок изучать и комментировать; в текстах отражены мысли и чувства ушедших в прошлое людей; возможно достичь вполне правильного понимания или хотя улучшить понимание старинного текста, который уже давно сделался малопонятен или вовсе никому не понятен.
Итак, мы сослались на две онтологические картины, физическую и филологическую. Ниже для краткости мы будем иной раз говорить просто «онтология», а не «онтологическая картина», поскольку наш предмет — не чистая философия, и недоразумение невозможно.
У любого человека, начиная с наивнейшего обывателя, непременно есть своя доморощенная онтология. Пусть о ней он порой не подозревает, она у него всё равно есть, как у каждого человека есть печень и почки, даже если он ничего не знает о физиологии. Как отметил Иммануил Кант, человек — метафизик по своей природе. Но в надстройке над простым обывательским взглядом и пониманием мира, в некоторых профессиональных сферах, далеко не во всех, имеются профессиональные онтологические картины. Отрицательный пример: профессия торговца устроена столь несложно, что не нуждается в особой онтологии. Учет таких фактов, что вещи производятся или добываются одними людьми, а надобятся нередко другим людям, и тогда могут стать товарами; что перемещение товаров в пространстве-времени и обеспечение передачи вещей из одних рук в другие, именуемое торговой сделкой, приносит прибыль, уже входит в картину мира, присущую обычному здравому смыслу. Отчасти положительный пример: есть основания полагать, что более сложные сферы деятельности — врача или военного — значительно богаче и нуждаются, по меньшей мере, в компонентах онтологической картины, отсутствующих у обывателя.
Наконец, профессия или отношение к миру, которые удерживаются инженером, еще богаче и требуют полноценной метапрофессиональной онтологии. Мы говорим «метапрофессиональной», а не просто профессиональной, поскольку быть по профессии инженером-как-таковым невозможно: сие превыше сил человеческих. Можно лишь быть конкретным инженером — мостостроителем, авиаконструктором, конструктором микросхем и т. д. Но при всем многообразии объектов, с которыми имеют дело разные инженеры, они оперируют ими, будучи в одной онтологии.
Различают частные (личные), коммуникативные и предельные онтологии. К коммуникативным онтологиям относятся конвенционально признанные тем или иным сообществом картины мироустройства. Предельных онтологий на сегодняшний день известно три: Онтология Бога, Онтология Природы, Онтология Мышления.
Термин «Онтология» был предложен Р. Гоклениусом в 1613 году в его «Философском словаре» («Lexicon philosophicum, quo tanquam clave philisophiae fores aperiunter. Fransofurti»), и чуть позже И. Клаубергом в 1656 году в работе «Metaphysika de ente, quae rectus Ontosophia», предложившем его (в варианте «онтософия») в качестве эквивалента понятию «метафизика». В практическом употреблении термин был закреплён Х. Вольфом, явно разделившим семантику терминов «онтология» и «метафизика».Обычно под онтологией подразумевается эксплицитная, то есть явная, спецификация концептуализации, где в качестве концептуализации выступает описание множества объектов и связей между ними. Формально онтология состоит из понятий терминов, организованных в таксономию, их описаний и правил вывода.Основной вопрос онтологии: что существует?Основные понятия онтологии: бытие, структура, свойства, формы бытия (материальное, идеальное, экзистенциальное), пространство, время, движение.Онтология, таким образом, представляет собой попытку наиболее общего описания универсума существующего, который не ограничивался бы данными отдельных наук и, возможно, не сводился бы к ним.Иное понимание онтологии даёт американский философ Уиллард Куайн: в его терминах онтология — это содержание некоторой теории, то есть объекты, которые постулируются данной теорией в качестве существующих.Основным предметом онтологии является бытие, которое определяется как полнота и единство всех видов реальности: объективной, физической, субъективной, социальной и виртуальной.Реальность традиционно ассоциируется с материей и подразделяется на косную, живую и социальную материю.Современная философия рассматривает бытие как единую систему, все части которой взаимосвязаны и представляют собой некую целостность, единство. Вместе с тем мир разделен, дискретен и имеет четкую структуру. В основе структуры мира 3 слоя реальности: бытие природы, бытие социальное, бытие идеальное.Логика является основой Мышления 1. Через математическую логику она «втянута» в Мышление 2, через нить связывания она включена в Мышление 3. В сущности, от времен Аристотеля и до наших дней логика — единственный вполне надежный интеллектуальный инструмент, созданный Человечеством: «Отбросьте все невозможное, тогда оставшееся, каким бы невероятным оно не казалось, будет истиной».
Если миф придает чему-либо смысл, то логика этому «чему-либо» придает форму.
Логика определяется как наука о формах и законах правильного мышления. Поскольку мышление оформляется в языке в виде рассуждения, частными случаями которого являются доказательство и опровержение, логика иногда определяется как наука о способах рассуждения или наука о способах доказательств и опровержений.Логика как наука изучает способы достижения истинны в процессе познания опосредованным путём, не из чувственного опыта, а из знаний, полученных ранее, поэтому её также можно определить как науку о способах получения выводного знанияОсновная цель (функция) логики всегда оставалась неизменной: исследование того, как из одних утверждений можно выводить другие.Предполагается, что вывод зависит только от способа связи входящих в него утверждений и их строения (от структуры, т. е. формы, синтаксиса), а не от их конкретного содержания (семантики).Неформальная логика— исследование аргументации в естественном языке. Одной из главных задач её является исследование логических ошибок. Джонсон и Блэр (1987) определяют неформальную логику как «ответвление логики, задачей которой является разработка неформальных стандартов, критериев и процедур для анализа, интерпретации, оценки, критики и построение аргументации в повседневном дискурсе».
Символическая логика изучает символические абстракции, которые фиксируют формальную структуру логического вывода.
Диалектическая логика— наука о мышлении, которая даёт знание о способе рассуждения, расширяющем возможности формально-логического вывода. Здесь понятие логики употребляется как в собственном логическом, так и в метафорическом смысле. Диалектическое рассуждение учитывает законы формальной логики. Вместе с тем, осуществляет анализ динамики перехода понятий в свою противоположность, допускает, что противоположности совпадают, ориентируется на законы диалектики.
Трёхзначная логика была исторически первой многозначной логикой, и является простейшим расширением двузначной логики. Перечень истинностных значений трёхзначной логики помимо «истинно» и «ложно» включает также третье значение, которое как правило трактуется как «неопределено», «неизвестно» или «ошибочно».
Конечнозначные логики (другое название — ‘k’— значные) являются обобщением двузначной логики в том, что функция в ней может принимать не два значения (0 и 1), а значения от 0 до k−1. Существенным отличием ‘k’-значной логики от двузначной является тот факт, что на данный момент не существует полного описания замкнутых классов при k>2.
Бесконечнозначную логику можно ввести следующим образом:
истинностное значение находится в отрезке действительных чисел от 0 до 1;
отрицание определяется как: ¬A = 1−A;
конъюнкция определяется как: A∧B = min(A, B);
дизъюнкция определяется как: A∨B = max(A, B).
Нечёткая логика и теория нечётких множеств — раздел математики, являющийся обобщением классической логики и теории множеств. Понятие нечеткой логики было впервые введено профессором Лютфи Заде в 1965 году. В его статье понятие множества было расширено допущением, что функция принадлежности элемента к множеству может принимать любые значения в интервале [0..1], а не только 0 или 1. Такие множества были названы нечёткими. Также автором были предложены различные логические операции над нечёткими множествами и предложено понятие лингвистической переменной, в качестве значений которой выступают нечёткие множества.
Квантовая логика— раздел логики, необходимый для рассуждения о предложениях, которые учитывают принципы квантовой теории. Эта область исследований была основана в 1936 году работой Гарита Бирхофа и Джона фон Неймана, которые пытались примирить очевидную несогласованность классической логики с фактами по поводу измерения дополнительных переменных в квантовой механике, как например координата и импульс. Квантовая логика может быть сформулирована как измененная версия логики высказываний. Она имеет несколько свойств, которые отличают её от классической логики. В частности, отсутствие дистрибутивности.