Вопросы для подготовки к зачету

1. Понятие о логической форме мысли и логическом законе. Предмет логики.

Логика (logos - греч.) - мысль, слово, разум. Предмет изучения логики - мысль и мышление. Объективная логика - закономерности в изменении и развитии вещей и явлений объективного мира. Субъективная логика – особые закономерности в связях и развитии мыслей. Логическая форма - это строение конкретной мысли, способ связи ее составных частей. Л.ф. мысли можно выразить при помощи символов. S - субъект (понятие о предмете суждения), P - предикат (понятие о признаке предмета). Все S суть P - все караси – рыбы. Логический закон – связь между мыслями по формам, при которых истинность одних из этих мыслей обуславливает истинность других.

2. Основные этапы развития логики. Значение логики для журналистов.

Отдельные фрагменты лог. Науки начинает разрабатываться с 6 в. До н.э. в древней Греции и Индии. Первоначально лог. Разрабатывалась в связи с запросами развития ораторского искусства как часть риторики. Дискуссии были постоянным явлением. При определении победителя дискуссии мнение присутствующих разделялись. Это выдвинуло на повестку дня задачу разработать правило лог. Другим стимулом развития лог. Были запросы математики. Аристотель впервые самостоятельно систематизировал лог. Формы и правила мышления. Лог., основанная на учении А., существовала до начала 20в. Она носила название традиционной формальной лог. В нач. 20в. В лог. Произошла своеобразная научная революция, связанная с широким применением методов так называемой символической, и математической, лог. Именно использование методов символ. Лог. Отличает лог. Современную от традиционной. 3. Язык как знаковая система

В лог. Исследуется отдельные аспекты естественных языков, а также создаются искусственные языки- спец. Языки лог. Одним из таких языков является язык логики предикатов. При лог. Анализе язык рассматривается как знак. Система. Знак- это материальный объект, используемый в процессе познания или общения в качестве представителя какого либо объекта. Три типа знаков: знаки-индексы, знаки-образы, знаки-символы. Знаки-индексы связаны с представляемыми ими объектами как следствия с причинами. Знаки-образы несут информацию о представляемых ими объектах, поскольку они находятся в отношении подобия с ними. Знаки-символы не связаны причинно и не сходны с представляемыми ими объектами. Лог. Исследует знаки последнего типа. 4. Учение логики об именах.

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

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

Суждение – это мысль, в к-ой утверждается наличие или отсутствие свойств у предметов, отношение между предметами, связей между ситуациями. В языке с., как правило, выражается повествовательным предложением и может оцениваться в качестве истинного или лож. Простым называется с., в к-ом нельзя выделить правильную часть. Атрибутивными называются с., в к-ых выражается принадлежность предметам нек. св-в или отсутствие у предметов каких-либо св-в. («Аргентина-республика»). В каждом ат. с. есть субъект (лог. подлежащее), предикат (лог. сказуемое) и связка (связка иногда лишь подразумевается), а в нек. имеются еще так наз. кванторные (количественные) слова («нек.», «все», «ни один» и др.). Субъект и предикат наз. терминами с. Субъект часто обозначается лат. буквой S, а предикат – P. Атр. с. делится на виды «по качеству» и «по количеству». По качеству: утвердит. и отриц. По количеству: единич., общ. и частные. В частн. с. выражается частичное включение или невключение класса предметов в класс предметов («Нек. философы являются ораторами»). В частн. с. слово «нек.» употр. В смысле «по крайней мере один, а может быть и все». С., в к-ых говорится о том, что определенный отношения имеют место между элементами пар, троек и т.д. предметов, наз. суждениями об отношениях («Москва больше Рязани»). С. об отношениях делятся по качеству: утверд. и отриц. В утверд. с. об отнош. говорится о том, что предметы находятся в опред. отношении. В отриц. говорится о том, что предметы не находятся в опред. отношении. С. об отнош. делятся на виды и по кол-ву. Так, с. о двухместных отнош. делятся по кол-ву на: единично-единичные, обще-общие, частно-частные, единично-общие, единично-частные, обще-единичные, частно-единичные, обще-частные, частно-общие. 7. Сложные суждения.

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

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

А	В	(А^В)
И	И	И
И	Л	Л
Л	И	Л
Л	Л	Л

Разделительные с. – с, в к-ых утверждается наличие одной из двух ситуаций. если утвержд. наличие по крайней мере одной из двух ситуаций, с. наз. (нестрого) разделит., или дизъюнктивным. Чаще всего утвержд. первого типа осуществляется посредством предложений с союзом «или», а второго – с союзом «или.., или…» («либо…, либо..»), но может выражаться и посредством предложений с союзом «или». Союз «или», посредством к-ого выражается утвержд. первого типа, обозначается символом V («или»), наз. знаком нестрогой дизъюнкции, а союз «или.., или…» посредством к-ого выраж. утвержд. второго типа, - символом v («или.., или…»), наз. знаком строго дизъюнкции.

А	В	(АvВ)
И	И	и
И	Л	И
Л	И	И
л	л	Л

нестрогая д.

А	В	(АvВ
И	И	Л
И	Л	И
Л	И	И
Л	Л	Л

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

А	В	А—>В
И	И	И
И	Л	Л
Л	И	И
Л	Л	Л

С. эквивалентности – с., в к-ом утвержд. одновременное наличие или одновременное отсутсвие двух ситуаций. С. экв. выражаются как правило посредством предложений с союзом «если и только если….то…» («тогда и только тогда…, когда…»). В этих с. также как и в условных можно выделить основание и следствие. Союз «если и только если….то…», употр. в описанном смысле, обознач. символом <—>. Союз «если и только если….то…» употр. еще в одном смысле. В этом случае он обознач. символом = наз. знаком материальной эквивалентности.

А	В	А= В
И	И	И
И	Л	Л
Л	И	Л
Л	л	И

С. с внешним отрицанием – с., в к-ом утвержд. отсутствие нек. ситуации. Оно чаще всего выраж. предложением, начинающимся словосоч. «неверно, что…», обознач. ¬ наз. знаком отрицания.

А	¬ А
И	л
л	И