Логика как наука о мышлении, ее предмет и задачи

    МЕТАЯЗЫК. Язык, выступающий средством построения или изучения другого языка, называется метаязыком, а изучаемый язык - языком-объектом. Метаязык при этом должен обладать более богатыми по сравнению с языком-объектом выразительными возможностями.

    Метаязык  имеет следующие свойства:

    - с помощью его языковых средств можно выразить все, что выразимо средствами объектного языка;

    - с его помощью можно обозначить  все знаки, выражения и т.  п. объектного языка, для всех  них имеются имена; 

    - на метаязыке можно говорить  о свойствах выражения объектного  языка и отношениях между ними;

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

    Метаязык, на котором задаются единицы концептуальной системы (т. е. упорядоченной совокупности всех концептов, отражающих знание и опыт человека) и описываются соответствия для естественноязыковых выражений, определяется термином ментальный язык. Одной из первых попыток создать ментальный язык был логико-философский метаязык Лейбница. В настоящее время ментальный язык в качестве метаязыка лингвистического описания особенно активно разрабатывается австралийской исследовательницей Анной Вежбицкой.

    ЯЗЫК  ЛОГИКИ ПРЕДИКАТОВ. Искусственные языки различной степени строгости широко используются в современной науке и технике: химии, математике, теоретической физике и т. д. Искусственный формализованный язык используется и логической наукой для теоретического анализа мыслительных структур.  

    Материал  из Википедии —  свободной энциклопедии

    Искусственные языки — специальные языки, которые, в отличие от естественных, сконструированы целенаправленно. Таких языков существует уже более тысячи, и постоянно создаются всё новые и новые.

    Различают:

• Языки программирования и компьютерные языки — языки для автоматической обработки информации с помощью ЭВМ.
• Информационные языки — языки, используемые в различных системах обработки информации.
• Формализованные языки науки — языки, предназначенные для символической записи фактов и теорий математики, логики, химии и других наук.
• Языки несуществующих народов, созданные в беллетристических или развлекательных целях. Наиболее известны: эльфийский язык, придуманный Дж. Толкином, и клингонский язык из фантастического сериала «Star Trek» (смотрите Вымышленные языки)
• Международные вспомогательные языки — языки, создаваемые из элементов естественных языков и предлагаемые в качестве вспомогательного средства межнационального общения.

    Идея  создания международного языка зародилась в XVII—XVIII веках в результате постепенного уменьшения международной роли латыни. Первоначально это были преимущественно проекты рационального языка, освобожденного от логических непоследовательностей живых языков и основанного на логической классификации понятий. Позднее появляются проекты по образцу и материалам живых языков. Первым таким проектом был волапюк, созданный в 1880 немецким языковедом И. Шлейером. Наиболее известным искусственным языком стал эсперанто — единственный искусственный язык, получивший широкое распространение и объединивший вокруг себя активных сторонников международного языка. Из искусственных языков наиболее известны: эсперанто, интерлингва, волапюк, идо, эсперантидо, эдо, новиаль, окциденталь, котава, логлан, ложбан, универсалглот, неутраль, ро, романицо, сольресоль, адьюванто, pasilingua, космос, langua catolica, латино-сине-флексионе, бейсик инглиш, интерглоса, глоса, романид, уропи, унитарио, ОМО, эльюнди, романова, богомол, ченгли, севориан, токипона, словио, brithenig, венедык.

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

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

    По  своей структуре проекты искусственного языка могут быть разделены на следующие группы:

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

    апостериорные языки — языки, построенные преимущественно  на основе интернациональной лексики (интерлингва, окциденталь и др.).

    смешанные языки — частично на основе слов, заимствованных из различных языков, частично на основе искусственно придуманных слов (эсперанто, идо, волапюк, севориан, романицо); 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

    История логики и формализация мышления.

Язык  исчисления предикатов. 

История логики и формализация мышления.

    Историю логики можно разделить на два  основных этапа: первый продолжался  более двух тысяч лет, в течение которых логика развивалась очень медленно; второй начался во второй половине XIX в., когда в логике произошла научная революция, в корне изменившая ее лицо. Это было обусловлено прежде всего проникновением в нее математических методов. На смену аристотелевской, или традиционной, логике пришла современная логика, называемая также математической, или символической. Эта новая логика не является, конечно, логическим исследованием исключительно математических доказательств. Она представляет собой современную теорию правильного рассуждения, «логику по предмету и ма тематику по методу», как охарактеризовал ее известный русский логик П.С.Порецкий.

    Сфера конкретных интересов логики существенно  менялась на протяжении ее истории, но основная цель всегда оставалась неизменной: исследование того, как из одних утверждений можно выводить другие. При этом предполагается, что вывод зависит только от способа связи входящих в него утверждений и их строения, а не от их конкретного содержания. Изучая, «что из чего следует», логика выявляет наиболее общие или, как говорят, формальные условия правильного мышления.

    Прежде  чем приступить к изучению истории  логики, следует ответить на вопрос: вправе ли мы вообще говорить об историческом развитии логики? Согласно Канту, за две тысячи лет со времен Аристотеля логика не сделала «и одного шага вперед. В начале XX в. русский ученый Е. А. Бобров' проводит мысль, что к тому времени была создана лишь единственная заслуживающая внимания система логики — логика Аристотеля, которая уже устарела, но замены которой нет, что в будущем предстоит создать новую логику.

    Подобные  взгляды высказывали и другие ученые, но их несостоятельность видна из следующего высказывания Ф1. Энгельса: «Теоретическое мышление каждой эпохи, а значит и нашей эпохи, это — исторический продукт, принимающий в различные времена очень различные формы и вместе с тем очень различное содержание. Следовательно, наука о мышлении, как и всякая другая наука, есть историческая наука, наука об историческом развитии человеческого мышления... Теория законов мышления отнюдь не есть какая-то раз навсегда установленная «вечная истина», как это связывает со словом «логика» филистерская мысль. Сама формальная логика остается, начиная с Аристо теля и до наших дней, ареной ожесточенных споров»

    Познание  есть поступательный исторический процесс развития от незнания к знанию. В связи с общим ходом развития научного знания изменяется и наука логика.

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

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

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

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

    Первоначально логика зарождается в недрах единой всеобъемлющей нерасчлененной науки — философии — и носит в основном онтологический характер, т. е. относится непосредственно к порядку вещей, а не к порядку идей. Так, закон тождества у Парменида характеризуется как закон самого бытия, в связи с чем отрицается возможность мышления об изменении вещей. Формула закона достаточного основания у Демокрита говорит о том, что ничто в мире не происходит беспричинно и без основания. Борьба метафизики Парменида с, диалектикой Гераклита протекала в плане онтологической интерпретации логических закономерностей. Логические теории Платона также носят онтологический характер хотя бы потому только, что объективный идеализм признает подлинной действительностью само мышление, превращенное в абсолют.

    В отличие от объективного идеализма  агностицизм Канта и родственные  ему субъективно-идеалистические направления, отрицая онтологическое истолкование логики, предлагают строить так называемую логику явлений, например, «трансцендентальную логику» (И. Кант), «теоретико-познавательную логику» (В. Шуппе), «логику чистого познания» (Г. Коген) и т. п. Признавая закономерные связи и отношения между предметами, но считая их вносимыми рассудком в мир опыта априорными субъективными моментами, кантианское направление философской мысли пыталось создать своеобразную теоретико-познавательную логику, предмет которой был бы отличным от предмета формальной логики.

    Трансцендентальная  логика Канта ставит своей целью  доказать невозможность познания вещей в себе и возможность познания лишь явлений. Наряду с трансцендентальной логикой и независимо от нее Кант разрабатывает общую формальную логику с иным предметом исследования. Формальная логика, по Канту, должна изучать формы мышления и его законы в отрыве от содержания и от их познавательной ценности.

    Логика  как наука о мышлении первоначально  возникает в связи с развитием практики ораторского искусства, как часть теории риторики. Такой характер носят начатки логики в Древней Индии, Древнем Китае, Древней Греции и Риме, а также в России. Основоположник науки логики Аристотель в своем первом сочинении по логике «Топика», как показывает само название, рассматривает проблемы логики в связи с теорией риторики. В Древнем Риме логика тоже была неразрывно связана с риторикой. В России первая оригинальная система логики, принадлежащая М. В. Ломоносову, изложена в его руководстве по теории красноречия. Таким образом, вначале логика выступает как одно из средств воздействия на умы людей, убеждения их в целесообразности того или иного поведения. В искусстве красноречия логический момент выступает еще как подчиненный, поскольку логические приемы служат не столько цели достижения истины, сколько цели убеждения аудитории.

    От  такого упрощенного понимания предмета логики постепенно совершается переход к новому пониманию. В связи с развитием философии и науки и выявлением различных точек зрения на изучаемые вопросы, с появлением различных философских и научных школ и направлений логика начинает выступать как важный элемент в философских и научных дискуссиях. Представление о логике как науке о мышлении, ведущем к познанию истины, формируется в борьбе с софистикой, с беспринципностью и со словесной эквилибристикой. Так, в борьбе с софистикой родились логика Демокрита и логика Аристотеля, в которых правильно ставится вопрос о предмете логики как учении о мышлении, ведущем к познанию истины. Здесь логика выступает одним из средств развития науки и философии, обоснованности их положений и опровержения ложных и ошибочных теорий. Но такое понимание предмета логики в дальнейшем приводит к ошибочному взгляду на логику как на единственного верховного судью в вопросах научной истины. Этот взгляд особенно рельефно выражен в арабоязычной логике, где названия сочинений по логике часто начинались со слов «Весы разума», что намекало на назначение логики оценивать состоятельность и обоснованность выдвигаемых в науке положений с точки зрения «света разума». Согласно этой концепции, все научные положения должны поступать на суд логики, которая производит решающую проверку их истинности. Здесь формальнологическая строгость возводилась в высший критерий истины, здесь еще не видели и не понимали значения практики как основного критерия истины.