Язык логики - раздел Механика, Логика как наука о мышлении
Наше Мышление Не Сущ-Т Без Языка => Понятия Не Сущ-Т Без С...
Наше мышление не сущ-т без языка => понятия не сущ-т без слова. Сужд-я не сущ-т без предлож-я. Умозакл-я нельзя построить без сужд-й.
Поскольку логика изучает формы мышления, а мышление неразрывно связано с языком, постольку логика является также наукой о языке.
Язык - это любая знаковая информационная система (система слов или знаков), выполняющая функцию формирования, хранения и передачи информации в процессе познания действительности и общения между людьми.
По происхождению языки бывают естественные и искусственные. Естественные языки - исторически сложившиеся в обществе звуковые и графические знаковые системы. Естественные языки возникают стихийно в процессе совместной деятельности и общения людей и народов. К естественным относятся языки разных народов, язык жестов и т. п.
Искусственные языки - вспомогательные знаковые системы, создаваемые группами людей специально - для более точной передачи специфической информации. К искусственным языкам относятся нотные знаки, знаки кодовых систем, шифры, азбука Морзе, «блатной язык», которым пользуются преступники, и т. п.
Существуют также смешанные языки, базой в которых выступает естественный (национальный) язык, дополняемый символикой и условными обозначениями, относящимися к конкретной предметной области. К этой группе языков относится язык формальной логики.
В качестве символов выступают определенные знаки. Знак- любой чувственно воспринимаемый предмет, который заменяет, представляет другой предмет, используемый в процессе познания или общения в качестве представителя какого-либо объекта. Наиболее типичны три вида знаков: (1) знаки-индексы; (2) знаки-образы; (3) знаки-символы.
Знаки-индексы связаны с представляемыми ими объектами как следствия с причинами (симптомы, признаки, показания приборов и т. п.). Так, дым - знак, говорящий о наличии огня; повышенная температура человека - о заболевании; изменение высоты ртутного столба - об изменении атмосферного давления и т. д.
Знаками-образами являются те знаки, которые сами по себе несут информацию о представляемых ими объектах (чертежи, карты, картины, фотографии), поскольку находятся с обозначаемыми объектами в отношении подобия.
Знаки-символы не имеют сходства с обозначаемыми предметами (эмблемы, гербы, знамена, художественные и графические символы, знаки-сигналы или знаки шифров).
Одним из видов знаков являются имена. Имя - это слово или словосочетание, обозначающее какой-либо предмет. Поскольку имя является знаком, оно имеет значение и смысл. Значение имени - это предмет, обозначаемый этим именем. Смысл имени - это понятие о предмете. Взаимосвязь между именем, предметным значением и смыслом наглядно может быть выражена с помощью треугольника[3], по углам которого находятся: имя, понятие, предмет.
Это означает, что имя, понятие и предмет не совпадают, но тесно взаимосвязаны: имя обозначает предмет и выражает понятие о предмете.
Взаимосвязь мышления и языка (понятия и слова) не означает их тождества. Одно и то же понятие может выражаться разными словами. Например, словами из разных естественных языков или словами-синонимами в одном языке. Синонимы - слова, различные по звучанию, но тождественные или близкие по смыслу: «труд» и «работа»; «договор» и «контракт».
С другой стороны, в любом языке есть омонимы - слова, одинаковые по форме, звучанию, но разные по смыслу, по понятию (например, «ключ», «коса», «бор», «мир»).
Иногда слова утрачивают свои первоначальные значения и выражают новые понятия (например, слово «чернила» первоначально обозначало «то, что чернит», а сегодня «то, что пишет», и мы можем говорить о красных чернилах).
Многозначность слов часто приводит к смешению понятий, а следовательно, к ошибкам в рассуждениях. Поэтому необходимо точно знать, какое понятие выражает то или иное слово, и употреблять это слово в строго определенном значении.
В научном познании необходимо использовать однозначные слова и сочетания. Такие слова называются терминами. Термин - слово или словосочетание, обозначающее строго определенное понятие и характеризующееся однозначностью (по крайней мере в пределах данной науки или группы наук).
По составу различают имена простые («государство») и сложные, состоящие из нескольких слов («спутник Земли», «Российское государство»).
Имена могут обозначать и несуществующие в объективной реальности предметы. Например, «кентавр», «русалка», «самая удаленная точка Вселенной» и т. п. Эти имена являются мнимыми, или пустыми.
Формальная логика использует знаки-символы. В данном языке нет омонимов и неясных выражений. Это позволяет строго фиксировать ход рассуждений и точно решать вопрос об их правильности или неправильности.
В логике различают языки логики высказываний и логики предикатов. Язык логики высказываний используется для описания структуры высказываний, рассуждений, предложений. Под высказываниями понимаются простые или сложные абстрактные символические выражения, обозначающие суждения. Простые высказывания, объединенные в сложные с помощью связок «и», «или», «если.., то» и др., называют пропозициональными высказываниями, а логику, с помощью которой описываются такие высказывания, иногда называют пропозициональной логикой, или пропозициональным исчислением. Логика высказываний может быть классической (двузначной) или многозначной.
Язык логики предикатов используется для описания внутренней структуры высказываний. Алфавит языка логики предикатов состоит из следующих символов:
а) а, Ь, с... - постоянные предметные термины;
б) x,y,z...- переменные предметные термины;
в) Р, Q, R ... - предикатные термины (имена свойств);
г) p, q, r ... - пропозициональные термины (имена высказываний);
д) кванторы: - все, - некоторые;
е) , , ,- логические союзы, которые соответственно читаются: «и», «или», «если…,то...», «если, и только если, то...» и называются знаком отрицания, конъюнкции, дизъюнкции, импликации и эквивалентности;
ж) технические знаки: , - запятая; () - скобки.
С помощью приведенного алфавита строится формализованная логическая система, называемая исчислением предикатов. Выражения языка логики предикатов называются формулами. Формулы могут быть правильно построенные и неправильно построенные.
Существует особая наука о знаках - семиотика. В этой науке выделяют три раздела - синтаксис, семантику и прагматику, что связано с наличием трех аспектов языка.
Синтаксисом называется раздел семиотики, в котором исследуются отношения между самими знаками (правила построения и преобразования выражений языка и т. д.). В процессе этого исследования отвлекаются от смыслов и значений знаков.
Семантикой называется раздел семиотики, в котором прежде всего исследуются отношения знаков к представляемым ими объектам, а также смыслы знаков, поскольку они являются одним из средств установления связи знаков и их значений.
Прагматика изучает отношение человека к знакам, а также отношения между людьми в процессе знакового общения.
Язык формальной логики позволяет избегать неясности и двусмысленности естественного языка и сводить процесс проверки правильности рассуждений к «вычислению».
Формы рационального познания Логика как наука Основные понятия и проблемы Логика как наука о... Логика и язык Логическая форма Логические законы и... Классическая логика высказываний Язык и табличное построение Понятие закона логики...
Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ:
Язык логики
Что будем делать с полученным материалом:
Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:
Логика как наука о мышлении
Что же изучает логика как наука и почему она называется формальной?
Слово «логика» происходит от греческого logos, что означает «мысль», «слово», «разум», «закономерность». В соврем
Логическая форма и законы мышления
Мы уже говорили, что основные формы абстрактного мышления - это понятие, суждение, умозаключение. Каждая из этих форм имеет свою специфическую внутреннюю структуру и подчиняется определенным
Сложные суждения и условия их истинности
Сложные суждения - такие, которые состоят из простых суждений, связанных между собой логическими союзами (связками): «не», «и», «или», «если.., то», «если, и только если.., то».
Язык и табличное построение КЛВ.
Логика высказываний (пропозициональная логика) – это теория,
изучающая логическую структуру сложных высказываний, отношения
между ними и выводы, построенные с
Основные принципы формальной логики. Понятие законов логики
Логика высказываний - это логика повествовательных предложений, т. е. прежде всего суждений, позволяющая с помощью искусственного языка выразить их логическую структуру.
Логика в
Отношения между сложными суждениями
Сопоставление сложных суждений позволяет разделить их на группу независимых и группу зависимых суждений.
К независимым относятся суждения, которые не имеют общих составляющих; для них хара
Отношение несовместимости.
Несовместимыми являются суждения, которые одновременно не могут быть истинными. Из двух видов несовместимости одна - противоположность, другая - противоречие.
Противоположность - отношение
Логическая форма. Отношение логического следования
В этом параграфе будет сформулирован критерий правильности умозаключений. Приступая к рассмотрению данной проблемы, необходимо иметь в виду следующее: вопрос о том, является ли некоторое умозаключе
Понятие о логике высказываний
Современная символическая логика для анализа дедуктивных рассуждений стро ит особые логические системы; одна из них называется логикой высказыванийили
Состав и виды простых атрибутивных высказываний
Силлогистика является исторически первой дедуктивной теорией, ее отец – Аристотель. Благодаря своей простоте и естественности она выступала образцом и основой логической науки на протяжении двух ты
Простые суждения
Несравнимыми среди простых являются суждения, имеющие различные субъекты или предикаты.
Сравнимыми являются суждения с одинаковыми субъектами и предикатами и различающиеся св
Отношения между атрибутивными высказываниями
В КЛВ любые два простых высказывания автоматически считаются независимыми,
что не всегда отражает их действительное отношение друг к другу. Силлогистика в этом
смысле является бол
Язык и семантика силлогистики.
Язык силлогистики предназначен для того, чтобы выражать состав, структуру и вид атрибутивных высказываний. Его алфавит включает в себя:
1) Переме
А) Умозаключения по логическому квадрату.
Используя отношения, зафиксированные в логическом квадрате, можно осущест-
влять ослабление и отрицание атрибутивных высказываний.
Ослабление представляет соб
В) Обращение атрибутивных высказываний.
Обращение (конверсия) – это непосредственное умозаключение, в котором субъект
заключения совпадает с предикатом посылки, а предикат заключения – с субъектом по-
Правила фигур
1 фигура:(1) Большая посылка должна быть общей.
(2) Меньшая посылка должна быть утвердительной.
2 фигура:(1) Большая посылка должна быть общей.
Общие правила силлогизма
1) Средний термин должен быть распределен по крайней мере в одной из посылок.
2) Если термин распределен в заключении, он должен быть распределен и в посылке.
3) По крайней мере о
Понятие энтимемы, восстановления силлогизма - основные этапы
В процессе рассуждения мы не всегда употребляем силлогизмы в полном, развёрнутом виде. Иногда формулируются только большая посылка и заключение силлогизма, а меньшая посылка лишь подразумевается. В
Энтимемы и полисиллогизмы
Энтимемой (от лат. «энтиме» – «в уме») называется сокращенный силлогизм, в ко-
тором пропущена одна из посылок или заключение.
В практике аргументации энтимем
Общая характеристика понятий
Одной из форм интеллектуальной познавательной деятельности является понятие. Мышление, рассуждение всегда осуществляется в языке, но все-таки мыслим мы не
языковыми выражениями (терминами)
Тами объема понятия αА(α).
Рассмотрим, например, термин «куб». У него может быть два значения – геомет-
рическое и арифметическое. Чтобы избежать неясности, сформулируем понятие о кубе:
«прави
Обобщение и ограничение понятий
Помимо булевых операций, к понятиям часто применяются такие операции, как
обобщение и ограничение. Они основаны на отношении типа «родвид».
Из двух непустых понятий
А⊆ В≡ А(α)⊃ В(α).
Сравним, например, два понятия:
1) «студент, сдавший все экзамены» и
2)
Виды понятий.
Понятия принято делить на следующие виды:
1) единичные и общие, 2) собирательные и несобирательные, 3) конкретные и абстрактные, 4) положительные и отрицательные
А) Виды понятий по объему.
При выделении видов понятий нужно учитывать различные их особенности. Наи-
более важными основаниями для деления понятий являются: (1) тип их объема, (2) тип
элементов, входящих в
В) Виды понятий по типу элементов объема.
По типу элементов объема понятия делятся на:
а) конкретные и абстрактные
Конкретным считается понятие, элементами объема которого являются объек
С) Виды понятий по содержанию.
По типу признаков понятия подразделяют на:
а) положительные и отрицательные
Положительным считается понятие, в котором предметы обобщаются на ос
Отношения между понятиями по объему.
Отношения между объемами понятий удобно проиллюстрировать при помощи графических схем, в которых множества представляются в виде кругов, и предполагается, что в данных кругах заключены все элементы
Обобщение и ограничение понятий
Помимо булевых операций, к понятиям часто применяются такие операции, как
обобщение и ограничение. Они основаны на отношении типа «родвид».
Из двух непустых понятий
А⊆ В≡ А(α)⊃ В(α).
Сравним, например, два понятия:
1) «студент, сдавший все экзамены» и
2)
Определение и приемы, сходные с ним
Как уже говорилось в предыдущей теме, повседневная разговорная практика часто
пренебрегает требованием точности, однозначности. Это может привести к взаимному
недопониманию и даже
А есть то, что удовлетворяет пунктам] В1, В2, …, Вn.
Собственно определение здесь сводится к пунктам В1, В2, …, Вn,а предшествующая
фраза в квадратных скобках чаще всего подразумевается неявно. В зависимости от того,
К(А)≡ df В.
Читается: «термин А,по определению, употребляется в контексте К,если и только
если В». Определяемая и определяющая части здесь представля
Реальные и номинальные определения
Помимо того, что все определения подразделяются на явные и неявные, контек-
стуальные и неконтекстуальные, их можно делить также на реальные и номинальные.
При этом
Правила определения
Чтобы определения были логически корректными, к ним предъявляют некоторые
принципиальные требования. Некоторые из этих требований носят всеобщий характер, а
некоторые имеют силу л
Вопрос-Понятие,основные виды аргументации.doc
Аргументация. Цель познания в науке и практике — достижение достоверного, объективно истинного знания для активного воздействия на окружающий мир. Установление
Структура и субъекты аргументации
Обязательными участниками, или субъектами, аргументативного процесса являются: пропонент, оппонент и аудитория.
1. Пропонентом
Структура аргументации
Аргументация включает три взаимосвязанных элемента: тезис, аргументы, демонстрацию.
1. Тезис — это выдвинутое пропонентом суждение, к
Способы аргументации: обоснование и критика
Цель аргументации при обсуждении спорных вопросов — формирование рационально обоснованных убеждений. Такие убеждения наряду с позитивными включают и негативные аспекты. П
Обоснование тезиса
По способу аргументации различают два вида обоснования выдвинутого положения: прямое и косвенное.
1. Прямым называют обоснование тезиса без обращения к конку
Правила и ошибки в аргументации
Под логической ошибкой обычно имеют в виду непреднамеренное нарушение правил логики в процессе рассуждения по причине логической небрежности либо неосведомленности.
Подмена тезиса.
Общее название ошибки по отношению к тезису — подмена тезиса, которая бывает полной или частичной.
(1) Полная подмена тезиса проявляется в том, что, выдвинув определенное пол
Правила и ошибки по отношению к аргументам.
правила-
ошибки
1. аргументы должны быть истинными
2. аргументы должны быть суждениями, истинность которых установлена независимо от т
Правила и ошибки по отношению к демонстрации
Правила
Ошибки
1. Любое доказательство или опровержение должно строиться по правилам соответствующего вида умозаключений
1.1. Наруше
Правила и ошибки по отношению к форме аргументации и критики
Сформулируем одно общее правило по отношению к форме: отношение между аргументами и тезисом должно быть по меньшей мере отношением подтверждения.
При нарушении этого правила возникает ошиб
Виды аргументов
В качестве аргументов могут выступать различные по своему содержанию суждения:
- Теоретические или эмпирические обобщения;
- Утверждения о фактах;
- Аксиомы;
- О
Аргументация может быть как прямой, так и косвенной.
Вместе с тем, существуют определенные логические особенности при ведении любого вида аргументации. Построение и виды используемой аргументации находятся в зависимости от имеющихся целей аргументати
Поля аргументации ?????
Поле аргументации (ПА) — это занимаемая каждым субъектом индивидуальная или коллективная позиция, включающая множество относящихся к аргументативному процессу компонентов: суждений,
Согласование аргументов
Обосновывающие тезис и антитезис аргументы, как и противоречащие им суждения — контраргументы, подлежат обязательному согласованию всеми участниками обсуждения. При этом все участники должны принят
Согласование фундаментальных позиций
Общность исходных философских, идеологических или религиозно-культурных позиций участников дискуссий заметно упрощает и тем самым облегчает обсуждение научных и практических проблем. Участники обыч
Хотите получать на электронную почту самые свежие новости?
Подпишитесь на Нашу рассылку
Наша политика приватности обеспечивает 100% безопасность и анонимность Ваших E-Mail
- все, 
- некоторые;
, 
, 
,
- логические союзы, которые соответственно читаются: «и», «или», «если…,то...», «если, и только если, то...» и называются знаком отрицания, конъюнкции, дизъюнкции, импликации и эквивалентности;
Новости и инфо для студентов