Тема 1. Предмет логики. Семиотическое измерение логики.

1. Предмет логики ка кнауки. Его формирование и развитие (кратки сведения из истории логики). Современные дискусии.

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

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

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

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

1) с IV в. до н. э. до XIX в. н. э. В этот период произошло возникновение формальной логики, автором которой традиционно считается Аристотель, и ее медленное совершенствование;

 

2) с конца XIX в. до наших дней произошла научная революция и на смену аристотелевской логике пришла современная.

 

Отдельные логические проблемы возникали перед человечеством уже свыше 2,5 тыс. лет назад в Древней Индии. В индийской логике много внимания уделяется теории умозаключения, которое в ней отождествляется с доказательством.

 

Логика в Древней Индии не рассматривалась как система, а трактовалась в виде кратких афоризмов. При этом логика была полностью зависима от других наук. Логика Древней Индии была практически неизвестна в Западной Европе. Поэтому считается, что логические проблемы получают свое освещение только в Древней Греции и Риме.

 

Основными причинами возникновения логики как науки являются:

 

1) зарождение и развитие наук. Логика и пыталась выявить и объяснить те требования, которымдолжно удовлетворять научное мышление, чтобы его результаты соответствовали действительности;

 

2) развитие ораторского искусства и искусства спора. Основателем логики как науки принято считать Аристотеля. Однако первое систематическое изложение логических проблем было раньше дано другим древнегреческим философом – Демокритом. Среди его многочисленных трудов был и обширный трактат в трех книгах «О логическом, или о канонах» (от греч. canon – «правило, предписание»). В данной работе была раскрыта сущность основных форм познания и критерии

 

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

 

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

 

В Средние века в развитии логики как науки сыграла проблема общих понятий – «универсалий». Суть проблемы заключается в том, что появляется раньше – общие понятия, вытекающие из нашего разума (рационализм), или единичные, фактические предметы (номинализм).

 

 

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

 

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

 

Растущие потребности научно-технического прогресса обусловливают дальнейшее развитие современной логики.

Необходимые потребности научно-технического прогресса ведут к развитию современной логики. Прошедшая революция в логике в конце XIX-начале XX вв. послужила результатом возникновения логической теории, впоследствии получившей название «классическая логика». Ее основателями являются ирландский логик Д. Буль, американский философ и логик Ч. Пирс и немецкий логик Г. Фреге. В своих работах они переносили в логику методы, в своем большинстве принимаемые в математике. Но классическая логика все еще остается центром современной логики, она продолжает традиции аристотелевской логики, используя при этом современный математический путь.

 

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

 

К их числу можно отнести следующие направления:

 

1) многозначная логика. Она начала складываться в 20-х гг. XX в. В классической логике присутствовал один особенный принцип, на основании которого все высказывания либо истинны, либо ложны. Данный принцип назывался принципом двузначности. В противопоставление данному принципу были выведены многозначные системы. В них вместе с истинными и логическими суждениями допускаются и неопределенные суждения. Данный принцип был известен еще Аристотелю, который не считал его лучшим. Данный подход Аристотеля еще в древности вызывал споры. В более позднее время принцип двузначности также оспаривался многими логиками. Но только в современной логике стало возможным использовать сомнения в универсальности принципа двузначности в форме логических систем. Независимо друг от друга первые многозначные логики были построены польским логиком Я. Лукасевичем и американским логиком Э. Постом. Лукасевичем была предложена трехзначная логика, которая основана на предположении, что высказывания бывают истинными, ложными и неопределенными. В отличие от него, Пост формально подходил к многозначной логике;

 

2) интуиционистская логика. В 1908 г. классические законы исключенного третьего, двойного отрицания и косвенного доказательства были подвержены сомнению голландским математиком и логиком Л. Брауэром. В результате чего возникла интуиционистская логика, которая, естественно, не содержала данных законов. Брауэр полагал, что, возникнув в рассуждениях о конечном множестве объектов, закон исключенного третьего впоследствии был распространен на бесконечные множества, в результате чего проверить, обладают ли все предметы определенным свойством или нет, не представляется возможным;

 

3) релевантная логика.

 

Классическая логика была подвержена критике еще и за то, что не дает никакого описания логического следования. Логическое следование – это отношение, которое существует между утверждением и выводимыми из него заключениями. Выводимое следствие должно быть связано с тем, из чего оно выводится. Наиболее полное развитие данное положение получило в релевантной логике.

1. Уточнение базових понятий:
• Логос

ЛОГОС (греч. logos) - философский термин, фиксирующий единство понятия, слова и смысла, причем слово понимается в данном случае не столько в фонетическом, сколько в семантическом плане, а понятие - как выраженное вер-бально.

 

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

 

Однакоданном процессе может быть выделено два этапа: собственно философский и философско-религиозный.

 

Однако в философский оборот понятие Л. было введено Гераклитом.

 

Однако его натурфилософскому учению, единство феноменологически разнородного космоса обеспечивается тем, что за видимой пестротой явлений стоит эмпирически не фиксируемая универсальная закономерность разворачивания форм бытия. Последовательность, ритм, внутренний смысл их возникновений и смены, направление и цель общего космического движения определяются именно Л. Космические катаклизмы (а гераклитовский космос динамичен и даже катастрофичен) есть лишь необходимые звенья общей гармонии: Л. всегда остается равным самому себе. Для античной натурфилософии характерна космологическая модель, в рамках которой последовательно сменяют друг друга два процесса: оформления и деструкции. Космос возникает из хаоса, чтобы, прожив свой век (понимаемый древнегреческими мыслителями как единство времени и судьбы), вновь подвергнуться дезорганизации и возврату в хаос: апейронизация у Анаксимандра, утрата предела у пифагорейцев и т.п. Доминирование этой модели порождает в древнегреческой натурфилософии принцип исономии ("не более так, чем иначе"): миры меняют друг друга, и наличный мир - лишь один из возможных. Плюралистический идеал вариабельности мироустройства, тем не менее, не приходит в противоречие с идеей единства: таковое обеспечивается Л. как универсальной закономерностью космических пульсаций. Однопорядковость понятий "космос", "мир", "судьба", "век" в античной натурфилософии (наличный мир как ставший космос - свершившийся век, одна из судеб мироздания) позволяет всем им противопоставить понятие Л. в различных его аспектах, что выявляет и актуализирует многие пласты его содержания. Разнообразие последних обнаруживается в работах античных толкователей Гераклита (от Климента Александрийского до Марка Аврелия): Л. как вечность, охватывающая сменяющие друг друга века; как рок, определяющий судьбы миров; необходимость, скрывающаяся за случайными событиями; общее, объединяющее многообразие, и - наконец - закон, сквозящий сквозь кажущуюся произвольность, некий "смысл" космического процесса, который как бы "отдает себе отчет" в том, что в нем происходит.

 

Однако нащупанная Гераклитом универсальная космическая закономерность впоследствии по-разному именовалась в натурфилософских учениях - в зависимости от того, на каких аспектах этой закономерности фокусировалось внимание тех или иных мыслителей: Филия/Нейкос (Любовь/ Раздор) у Эмпедокла, Нус (разум) у Анаксагора и т.п. Эволюция понятия "Л." в постсократической философии может быть прослежена по двум векторам. С одной стороны, с завершением натурфилософского этапа развития античной философии - соответственно - утрачивается онтологическое содержание термина "Л.", - акценты смещаются в логико-гносеологическую сферу. Платон трактует Л. как "понятие", "суждение", "обоснование", "теорию" и "критерий". Аристотель добавляет такие значения, как "слово", "определение", "доказательство" и "силлогизм". Отголоски прежней онтоло-гичности можно усмотреть лишь в единичных использованиях Платоном этого термина в значении "первичная причина" и "закон движения звезд".

 

Однако с тем, позднее исходная натурфилософская трактовка Л. вновь входит в фокус внимания и получает дальнейшее развитие.

 

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

 

Однакорамках неоплатонизма происходит окончательная денатурализация семантики Л. Впитав в себя аристотелевские идеи о перводвигателе мироздания, неоплатонизм вырабатывает концепцию об эма-нациях от всесовершенного "верховного светоча" к низшим и менее совершенным ступеням универсума.

 

Однакоэтом контексте оформляется понимание Л. как умопостигаемоего содержания эманации, пронизывающего собой и регулирующего все мироздание. Чувственный мир есть воплощение эмани-рующего Л. ("творческого принципа"): внутренний Л. превращается в "произнесенный". Креационная семантика Л., предложенная стоиками, наполняется в неоплатонизме новым смыслом: творческий потенциал переадресуется слову.

 

Однако поздние концепции античной философии подготовили благоприятную культурную почву для оформления христианского догмата о воплощении Бога-слова. Творение мира есть воплощение слова Божьего: "И сказал Бог: да будет свет. И стал свет. [...] И назвал Бог свет днем, а тьму ночью. [...] И сказал Бог: да будет твердь посреди воды... [И стало так.] [...] И назвал Бог твердь небом..." Быт 1, 1-7. Соответственно, пришествие и земная жизнь Христа интерпретируются как воплощение ("вочеловечивание") Божественного откровения ("слова жизни").

• Форма мысли (структура мысли)

Различают три основные формы мышления: понятие, суждение и умозаключение.

Понятие. Понятие — это форма мышления, в которой отражаются общие и притом существенные свойства предметов явлений.

Каждый предмет, каждое явление имеют много различных свойств, признаков. Эти свойства, признаки можно разделить на две категории — существенные и несущественные. Например, каждый отдельный треугольник имеет три угла, определенные размеры — длину сторон и площадь, определенную величину углов, форму. Но только первый признак делает фигуру треугольником, позволяет отличить ее от других фигур: прямоугольника, круга, трапеции. Остальные признаки отличают один треугольник от другого; при изменении их треугольник не перестанет быть треугольником. Равно и каждое отдельное дерево обладает и такими признаками, которые позволяют отличить его от кустарника, травы (т. е. существенными признаками), например наличием ствола, и такими, которые отличают одно дерево от другого, например возраст, количество ветвей, сохранность коры, наличие дупла и т. д.

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

Понятие существует в виде значения слова, обозначается словом. Каждое слово обобщает (кроме, разумеется, слов обозначающих имена собственные). В понятиях наши знания о предметах и явлениях действительности кристаллизуются в обобщенном и отвлеченном виде. В этом отношении понятие существенно отличается от восприятия и представления памяти: восприятие и представление конкретны, образны, наглядны; понятие обладает обобщенным, абстрактным, не наглядным характером.

Представление — это образ конкретного предмета. Понятие — это отвлеченная мысль о классе предметов.

Восприятие и представление всегда есть отражение конкретного, единичного. Никто из нас никогда не видел и не может видеть книги вообще, дерева вообще, собаки вообще, даже человека вообще, так как нельзя представить себе предмета, абсолютно лишенного каких-либо индивидуальных признаков. А мыслить об этом можно.

Понятие — более развитая и всесторонняя форма познания, оно значительно шире и полнее отражает действительность, чем представление. Яркую иллюстрацию этого положения дает В. И. Ленин, когда говорит, что нельзя наглядно представить себе движения со скоростью 300 тысяч километров в секунду (скорость света), а мыслить такое движение можно.

В процессе общественно-исторического развития познания расширяется, углубляется и изменяется содержание понятия. Так, понятие «атом» раньше имело одно содержание, с развитием науки и техники содержание этого понятия изменилось, расширилось, углубилось.

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

Примерами утвердительного суждения могут быть такие суждения, как «Ученик знает урок» или «Психика есть функция мозга». К отрицательным суждениям относятся такие суждения, в которых отмечается отсутствие у предмета тех или иных признаков. Например: «Это слово не глагол» или «Эта река несудоходна».

Суждения бывают общими, частными и единичными. В общих суждениях утверждается или отрицается что-то относительно всех предметов и явлений, объединяемых понятием, например: «Все металлы проводят электричество». В частном суждении речь идет только - о части предметов и явлений, объединяемых понятием, например: «Некоторые школьники умеют играть в шахматы». Единичное суждение — это суждение, в котором р®чь идет о каком-то индивидуальном понятии, например: «Москва — столица СССР», «Пушкин — великий русский поэт».

Суждение раскрывает содержание понятий. Следовательно, чтобы высказать то или иное суждение, человек должен знать содержание понятий, входящих в состав суждения. Если человек высказывает суждение, что «психика есть функция мозга», он должен иметь соответствующие понятия о психике и о мозге. Знать 'какой-нибудь предмет или явление — значит уметь высказать о нем правильное и содержательное суждение, т. е. уметь судить о нем. Истинность суждений проверяется общественной практикой человека.

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

Человек пользуется в основном двумя видами умозаключений — индуктивными и дедуктивными.

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

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

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

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

Решение мыслительных задач. Мышление человека, и в част ности школьника, наиболее ярко проявляется при решении задач.

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

Учителю надо иметь в виду, что ученик порой не осознает проблемы, вопроса даже тогда, когда соответствующую задачу ставит перед ним учитель. Известны случаи, когда ученик с недоумением рассказывал: «Учитель нарисовал на доске два одинаковых треугольника и весь урок доказывал, что они равны. Не понимаю зачем». Вопрос, проблема должны быть четко осознаны, иначе ученику не над чем будет думать.

Решение мыслительной задачи начинается с тщательного анализа данных, уяснения того, что дано, чем располагает человек. Эти данные сопоставляют друг с Другом и с вопросом, соотносят с прежними знаниями и опытом человека. Человек пытается привлечь принципы, успешно примененные ранее при решении задачи, сходной с новой. На этой основе возникает гипотеза (предположение), намечается способ действия; путь решения. Практическая проверка гипотезы, проверка пути решения может показать ошибочность намеченных действий. Тогда ищут новую гипотезу, другой способ действия, причем здесь важно тщательно уяснить причины предшествующей неудачи, сделать из нее соответствующие выводы.

Важное значение При поисках пути решения имеет переосмысливание (переформулирование) исходных данных задачи, попытки наглядно представить себе ситуацию задачи, опереться на наглядные образы. Последнее очень важно не только для младших. школьников, у которых мышление вообще нуждается в опоре на наглядные представления, но и для школьников-подростков. Попробуйте дать ученику IV—V классов задачу: «Поезд проходит мимо телеграфного столба за 15 с, а мост длиной 540 м за 45 с. Какова длина поезда и скорость его?» Ученики не решат этой задачи, если не представят себе ситуацию наглядно. Поезд проходит мимо телеграфного столба за 15 с — это значит, что за 15 с он проходит расстояние, равное своей длине. За 45 с поезд проходит мост. Начинает он проходить его, когда паровоз вступает на мост, а кончает тогда, когда с моста сходит последний вагон, т. е. за 45 с поезд проходит 540 м плюс расстояние, равное своей длине, или 540 м за 30 с. Дальнейшее решение просто (длина поезда 270 м, скорость 64,8 км/ч).

Решение задачи завершается проверкой, сопоставлением полученного результата с исходными данными.

Все указанные моменты можно легко проследить на решении любой практической задачи (например, определить, почему не горит настольная лампа), любой учебной задачи например, решить сложную математическую задачу).

• Правильность и истинность мысли. Сущность метода формализации как основного метода логики.

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

Истинность – это свойство мышления, производное от истины.

Истина – содержание мысли, которое соответствует действительности. Если же мысль по своему содержанию не соответствует действительности, то она является ложной. Так, например, высказывание: «Луна – спутник Земли» – истинно, а «Москва – столица Австралии» – ложно. Таким образом, истинность мышления – это его свойство воспроизводить действительность таковой, какой она является, соответствовать ей по своему содержанию. А ложность – это свойство мышления искажать это содержание, извращая его. Следует отметить, что ложность всегда носит субъективно—социальный характер, т. е. исходит только от субъекта, отражает отношения людей, но не связана с объектом познания.

Правильность характеризует мысль с точки зрения внутренней связи между ее элементами.

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

Определенность – воспроизведение в структуре мысли качественной определенности, т. е. реальных признаков и отношений предметов и явлений.

Непротиворечивость – избегание в структуре мыслей противоречий, которых нет в отражаемой действительности.

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

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

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

В науке все большее значение приобретает метод формализации. Трудно представить себе многие отрасли современной науки без символов и формул, которые в своей совокупности образуют ее формальный аппарат. Формализация берет свое начало в логике. Ее основатель Аристотель исходил из того, что разные по своему конкретному содержанию мысли могут быть выражены в одной и той же логической форме. Метод формализации находит свое применение в математике (в буквенной алгебре). Метод формализации помогает совершенствовать научные теории. Формализованная логическая модель переносится на язык машинного программирования. Полученная программа вводится в ЭВМ, которая развивает дальше формальные структуры объективной теории. Это позволяет глубже проникнуть в сложные механизмы научного познания мира.

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

Научные методы и формы вырабатываются в процессе исторического развития, а глубокое усвоение форм и методов познания составляет важный элемент научного знания.

Человек как общественно развивающееся явление наследует культурно-исторический опыт предшествующих поколений, реализует свои способности через творческое осмысление опыта прошлого. В этой деятельности проявляется творческая сила личности. Творчество в познании раскрывается через способность личности подчинять свои интересы до уровня общественно значимого интереса.

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

Проблема взаимоотношений знания и веры имеет давнюю историю. Она активно обсуждалась в средневековой схоластической философии. Так, уже Тертуллиан открыто выступал против разума, провозглашал парадоксальный тезис: «Верую, потому что абсурдно». Августин Блаженный утверждал, что задача богословия – познать в свете разума то, что уже принято верой. Ансельм Кентерберийский заменил изречение Тертуллиана своей компромиссной формулой: «Верю и понимаю». Фома Аквинский говорил о гармонии между верой и знанием при приоритете веры.

Ф. Бэкон, выдвинув лозунг «Знание – сила», указывал, что истину надо искать в данных опыта и наблюдений, а не в потемках схоластики и в цитатах из священных книг. Уже в начале XX в. католическая церковь выдвигала положение о том, что вера не должна быть слепым движением души и что не может быть никакого действительного расхождения веры и знания, разума, так как все знания произошли от бога. Например, папа Пий XII неоднократно выступал с заявлениями о том, что «церковь – друг науки», отмечая, однако, что церкви приходится вмешиваться в науку, чтобы предостеречь ее от ошибок против веры.

1. Мысль и форма ее выражения. Язики логики. Семиотические понятия языка, знака, семиозиса. Синтаксис. Семантика и прагматика как аспекты любого языка.

Мысль - мыслительный акт, часть процесса мышления или же его результат, содержание, продукт мышления; идея.

Мышление - процесс моделирования неслучайных отношений окружающего мира на основе аксиоматических положений.

Мышление - внутреннее, активное стремление овладеть своими собственными представлениями, понятиями, побуждениями чувств и воли, воспоминаниями, ожиданиями и т.д. с той целью, чтобы получить необходимую для овладения ситуацией директиву.

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

Форма мысли в нормальных условиях есть ее языковое выражение. Значит, мышление есть немая, внутренняя речь, язык есть озвученное мышление.

Способ мышления зависит от того, что представляет собой человек как таковой (в широком смысле этого слова) и что определяет его индивидуальность. Мыслит ли данный человек, что и как думает в данный момент тот или иной человек, зависит от его настроения (см. также Законы мышления).

Часто мышление начинается с ситуации, а поэтому сначала это ситуативное мышление.

Если мышление направлено на реальные предметы, то оно называется конкретным, если мышление направлено на идеальные предметы или на представляемое, то речь идет об абстрактном мышлении.

Оба способа мышления переходят один в другой.

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

 

Язык – это знаковая информационная система, выполняющая функцию формирования, хранения и передачи информации в процессе познания действительности и общения между людьми. Комплексное изучение языка осуществляется общей теорией знаковых систем – семиотикой. Эта наука рассматривает язык в трех его аспектах: синтаксическом, семантическом и прагматическом, каждый из которых подвергается детальному анализу.

 

Синтаксис изучает структуру языка: способы образования, преобразования и связи элементов языке.

 

Семантика занимается проблемой интерпретации, т. е. анализа отношений между знаком и обозначаемыми объектами.

 

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

 

Все языки делятся на естественные, искусственные и частично искусственные, или смешанные.

 

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

 

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

 

 

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

 

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

 

1) описание – сообщение о реальном положении вещей;

 

2) норма – попытка заставить сделать что—либо;

 

3) экспрессив – выражение разнообразных чувств;

 

4) декларация – изменение словом социальной действительности;

 

5) обещание – принятие обязательства что—либо сделать;

 

6) оценка – выражение позитивного, негативного или нейтрального отношения к чему—либо.

1. Способы употребления знака, языка, семиозиса. Их учет в коммуникации; их значение для взаимопонимания людей.

Логика использует в своих построениях два типа искусственных языков: язык логики высказываний и язык логики предикатов.

 

Язык логики высказываний используется для рассмотрения суждений без учета их внутренней структуры. Язык логики высказываний использует содержательные символы. Содержательные символы – это выражения языка, имеющие содержание даже в том случае, если они взяты сами по себе. Одним из самых используемых символов языка логики высказываний является имя.

 

Второй тип языка – язык логики предикатов используется для описания процесса рассуждения, основываясь на его внутренней структуре. Для этого язык логики предикатов использует логические символы. Логические символы – это выражения языка, не имеющие самостоятельного содержания, но в сочетании с одним или несколькими содержательными символами образующие сложные выражения с самостоятельным содержанием. Язык логики предикатов имеет свой специфический алфавит, главными элементами которого выступают обозначения пяти логических связок.

 

1. Конъюнкция – это логическая операция, образующая сложное высказывание из двух высказываний, объединенных с помощью логического союза «и». В алфавите языка логики предикатов знак конъюнкции обозначается, как «л».

 

2. Дизъюнкция – это логическая операция образующая сложное высказывание из объединения двух высказываний с помощью логического союза «или». В алфавите языка логики предикатов знак дизъюнкции обозначается, как «V». В классической логике различают два типа дизъюнкции: строгую и нестрогую.

 

Строгая дизъюнкция образует сложное высказывание истинное только в том случае, когда, истинным является лишь один из его членов.

 

Нестрогая дизъюнкция образует сложное высказывание, которое истинно тогда, когда истинно хотя бы одно из входящих в него суждений, а ложно, когда ложны все входящие в него высказывания.

 

3. Импликация – логическая операция, образующая сложное высказывание из двух высказываний, посредством логической связки, соответствующей союзу «если …. то …». Импликация обозначается символом «– >».

 

4. Эквиваленция – это логическая операция сходная с импликацией. Часто эквиваленцию называют строгой импликацией. Эквиваленция объединяет суждения в сложные с помощью логического союза «если и только если., то.». В языке логики предикатов имеет следующий вид: «=».

 

5. Отрицание – логическая операция, с помощью которой из одного высказывания порождается новое высказывание, которое будет называться отрицанием исходного. В языке логики предикатов отрицанию соответствует символ «]». Соответствует союз «неверно, что …».