Особенности формальной логики - Контрольная работа

Это - мышление, т.е. способность ориентироваться в окружающем мире, рассуждать, строить объяснения тех или иных явлений, делать предсказания. Наука о мышлении называется логика. Слово "логика" в повседневной речи часто означает для нас взаимосвязанность, последовательность. Мысль может быть простой или сложной, состоящей из нескольких простых. Такие мысли в логике называются понятиями.Суждение есть такая форма мысли, в которой что-либо утверждается или отрицается о существовании предметов и явлений, о связях между предметами и их свойствами или об отношениях между предметами. В этом заключается величайшая ценность суждений для познания: именно в суждении выражается та истина, которую мы ищем, на которую опираемся в своей деятельности и в своих рассуждениях. Вопросительные предложения не выражают суждений, ибо не содержат в себе ни утверждения, ни отрицания, характерных для суждений. Правда, вопрос опирается на суждение или, как говорят, неявно содержит в себе суждение. Если предложение имеет такие составляющие его элементы как подлежащее, сказуемое, дополнение, обстоятельства места, времени, причины и пр., то в суждении выделяются несколько иные составляющие: предмет мысли (логическое подлежащее), признак предмета мысли (логическое сказуемое), связка между ними (логическая связь) и количественный показатель предмета мысли (квантор).Сложным называют суждение, содержащее логические связки и состоящее из нескольких простых суждений. Здесь ощущается гораздо большая связь мысли с языком, поэтому в дальнейшем вместо слова «суждение», обозначающего чистую мысль, часто будет использоваться слово «высказывание», обозначающее мысль в ее языковом выражении. Отрицание обычно обозначается знаком «-», стоящим перед буквой, представляющей некоторое суждение: «-а» читается «Неверно, что а». Когда отрицание стоит внутри простого суждения перед связкой «есть», то в этом случае мы имеем дело с простым отрицательным суждением, например: «Земля не шар». Если же отрицание внешним образом присоединяется к суждению, например: «Неверно, что Земля - шар», то такое отрицание рассматривается как логическая связка, преобразующая простое суждение в сложное. суждение логический истинностьВыше рассматривались суждения, которые просто констатировали, что между субъектом и предикатом некоторого суждения или между двумя суждениями имеется какая-то связь, никак не оценивая этой связи. Такие суждения называются ассерторическими. Наряду с ними в наш язык входят суждения, так или иначе оценивающие характер утверждаемой связи. Слова, стоящие перед суждением и оценивающие характер выражаемой им связи называются модальными словами или модальными операторами. Большой интерес современной логики вызывают контрфактические высказывания - условные высказывания, выраженные в сослагательном наклонении.Предметом изучения логики являются формы мысли, которыми пользуются люди в своей интеллектуальной и практической деятельности. Мысленным содержанием предложений является суждение - форма мысли, представляющая собой логическую связь двух и более понятий, могущая быть истинной или ложной. Между понятиями устанавливаются отношения тождества, подчинения, частичного совпадения, которые выразимы утвердительной логической связкой "есть"; отношения же противоречия, противоположности и соподчинения выразимы логической связкой "не есть". Чтобы понять особенности и законы этой структуры, необходимо исследовать и понятие как составную часть этой структуры, а потом и всю эту новую форму мысли уже как единство двух входящих в нее понятий.

СОДЕРЖАНИЕ

ВВЕДЕНИЕ

1. ПОНЯТИЕ, ПРИЗНАКИ И ХАРАКТЕРИСТИКА СУЖДЕНИЯ

2. СЛОЖНЫЕ СУЖДЕНИЯ

3. ДРУГИЕ ВИДЫ СУЖДЕНИЙ

ЗАКЛЮЧЕНИЕ

СПИСОК ИСПОЛЬЗОВАННОЙ ЛИТЕРАТУРЫ

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

Структура языка в своих общих чертах воспроизводит структуру мысли. Мысленным содержанием предложений является суждение - форма мысли, представляющая собой логическую связь двух и более понятий, могущая быть истинной или ложной. Между понятиями устанавливаются отношения тождества, подчинения, частичного совпадения, которые выразимы утвердительной логической связкой "есть"; отношения же противоречия, противоположности и соподчинения выразимы логической связкой "не есть". Эти отношения, корректно выраженные в соответствующей языковой форме, в грамматических предложениях, и будут выражать суждения разного вида.

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

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

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

1. Никифоров А. Л. Логика / А.Л. Никифоров. - Москва.: Издательство «ВЕСЬ МИР». 2012 - 47 с. ISBN: 5-7777-0144-2.

2. Григорьев Б. В. Классическая логика: Учебное пособие / Б.В. Григорьев. - Москва.: ВЛАДОС, 2013 - 192 с. ISBN 5-6910-0002-0.

3. Гетманова А. Д. Логика / А.Д. Гетманова. - Москва.: КНОРУС. 2012 - 416 с. ISBN 5-6910-0002-0.

4. Демидов И.В. Логика: учебник / И. В. Демидов. - 8-е изд. - Москва.: Издательство «Дашков и К». 2013 - 347 с. ISBN 5-8001-0002-0.

5. Дмитревская И.В. Логика / И.В. Дмитревская. - Москва.: Флинта, 2013 - 384 с. ISBN 5-2301-0002-6.

6. Михайлов К.А. Логика. Практикум: учебное пособие для бакалавров / К. А. Михайлов. - Москва.: Юрайт, 2012 - 509 с. ISBN: 2-7234-0122-7.

7. Абачиев С.К. Формальная логика с элементами теории познания: учебник для вузов / С. К. Абачиев. - Ростов-на-Дону: Феникс, 2012 - 635 с. ISBN: 2-1004-7122-0.

Размещено на .ru