Инженерная онтология. Инженерия как странствие

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

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

Реальность традиционно ассоциируется с материей и подразделяется на косную, живую и социальную материю.

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

Логика

Логика является основой Мышления 1. Через математическую логику она «втянута» в Мышление 2, через нить связывания она включена в Мышление 3. В сущности, от времен Аристотеля и до наших дней логика — единственный вполне надежный интеллектуальный инструмент, созданный Человечеством: «Отбросьте все невозможное, тогда оставшееся, каким бы невероятным оно не казалось, будет истиной».

Если миф придает чему-либо смысл, то логика этому «чему-либо» придает форму.

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

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

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

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