Как бы хотелось назвать данную тему наилучшим и подходящим образом ,сперва озаглавил как " общая логика ",но показалось слишком поверхностным представлением .Она могла бы охарактеризована более возвышенно ,пример, синтетическая логика ,или даже универсальная логика .Тогда звучит уже чересчур,потому что подобной логики пока не существует ,но имеются кое-какие соображения на этот счет ,но пока она еще в проекте ,то только и подходит как " обобщенная логика ",которая здесь получается итогом совмещения различных направлений современной логики .Это касается математической логики плюс далее также знания нашего языка .То есть эта логика касается в первую очередь нашего языка .Потому что современные нации перестали понимать друг друга скорее всего из-за того ,что различная у них логика,что и отражается в структуре их языка.И конечно ,полагаю также, что свой язык мы знаем несомненно гораздо более ,чем какой-либо иной ,если ,конечно ,таковые только имеются в распоряжении .
К настоящему времени наука логика представляет чрезвычайно развитой дисциплиной и имеет множество разделов и подразделений .Но вот общей для них всех логики пока не существует и даже не предполагается ее возможная сущность .Некоторые разделы включают прочие разделы как часть ,а некоторые существуют самостоятельно и независмо ,и ни к чему не сводимы ,просто оснываваются на исходных положениях ,недоказуемые и принятые за первоначальные .В общем все эти логики различаются разнообразием и своеобразием ,и даже самобытностью .Но исторически появились вначале два направления ,логика высказываний и логика силлогизмов ,которые впоследствии оформились математически в двузначную или бинарную логику ,ставшей разновидностью булевой алгебры и логику предикатов , использовавшая кванторы .Полагаю для начала достаточно этих двух направлений для их совмещения ,или так сказать синтеза ,чтобы как бы выявить их первоначальную совместную основу .Возможно ли такое .Но что такое логика вообще по сути, и что значит логически мыслить .Тут далеко заходить не нужно ,когда мы думаем ,или вернее логически рассуждаем ,то всегда сопоставляем одни объекты мышления называемые субъектами суждения с прочими объектами,представляющие из себя предикаты или то ,о чем сказывается об исходном субъекте ,и также как они соотносятся в отношении друг к другу ,реальны нереальны ,имеются в наличии или отсутствуют ,принадлежит ли одно прочему или нет ,и так далее .В логике высказываний субъектами представляют полностью предложения или сами высказывания,предикатами здесь будут их истинностные значения ,ложь или истина которые можно принимать за самостоятельные объекты .То есть здесь можно выявить два класса объетов ,представленных как класс высказываний и класс истинностных значений .И как выделенные объекты они могут быть обозначены буквами ,высказывания обычно обозначают A, B, C ... , истинностные значения как И и Л , то есть истина и ложь . В результате объекту из класса высказываний ставится какое-нибудь соответствие или сопоставляется определенный объект из класса истинностных значений .В классе истинностных значений может быть даже более двух объектов ,в трехзначной логике добавляется третий объект обозначенный Н и означающий неопределенность в отношении истинностного значения высказывания ,то есть неопределенно означает ,либо высказывание истинно,либо ложно ,но точно неизвестно ,что конечно необходимо будет выявлять впоследствии .В классе истинностных значений может также быть еще более объектов ,имещие уже вероятностный характер и составляющий предмет модальной логики .Так что в итоге наука логика представляет из себя все то же сопоставление разнообразных объектов,принадлежащим к различным классам .
Теперь уже выяснилась некоторая определенная связь двузначной классической логики с логикой предикатов,или также более явно,логики высказываний с логикой силлогизмов .То есть классическая бинарная логика представляет по существу ту же самую логику предикатов,но как бы в некотором урезанном виде,то есть как не