Категорические высказывания - Категорическое высказывание как вид простого высказывания
При рассмотрении способов образования сложных высказываний из простых внутреннее строение простых высказываний во внимание не принималось. Они брались как неразложимые атомы, обладающие только одним свойством: быть истинными или ложными.
Простые высказывания не случайно иногда именуются атомарными. Из них, как из элементарных кирпичиков, с помощью логических связок "и", "или" и т. п. строятся разнообразные сложные ("молекулярные") высказывания. Теперь следует остановиться па вопросе о внутреннем строении, или внутренней структуре, самих простых высказываний: из каких конкретных частей они слагаются и как эти части связаны между собой. Сразу же нужно подчеркнуть, что простые высказывания могут разлагаться на составные части по-разному. Результат разложения зависит от цели, ради которой оно осуществляется, т. е. от той теории логического вывода (логического следования), в рамках которой анализируются такие высказывания. Далее будет рассматриваться лишь одна разновидность простых высказываний - категорические высказывания, по традиции называемые также категорическими суждениями. Особый интерес к категорическим высказываниям объясняется прежде всего тем, что с исследования их логических связей началось развитие логики как науки. Кроме того, высказывания этого типа широко используются в наших рассуждениях.
Категорическое высказывание - это высказывание, в котором утверждается или отрицается наличие какого-то признака у всех или некоторых предметов рассматриваемого класса.
Например, в высказывании "Все динозавры вымерли" всем динозаврам (или, что то же самое, каждому из динозавров) приписывается признак "быть вымершими". В высказывании "Некоторые динозавры летали" способность летать приписывается некоторым динозаврам. В высказывании "Все кометы не астероиды" отрицается наличие признака "быть астероидом" у каждой из комет. В высказывании "Некоторые животные не являются травоядными" отрицается травоядность некоторых животных. Если отвлечься от количественной характеристики, содержащейся в категорическом высказывании и выражающейся словами "все" и "некоторые", то получится два варианта таких высказываний: утвердительный и отрицательный. Их структура:
Категорический высказывание суждение логический
"S есть Р" и "S не есть Р",
Где буква S представляет имя того предмета, о котором идет речь в высказывании, а буква Р - имя признака, присущего или не присущего этому предмету.
Предмет, о котором говорится в категорическом высказывании, называется субъектом, а его признак - предикатом. Субъект и предикат именуются терминами категорического высказывания и соединяются между собой связками "есть" или "не есть" ("является" или "не является" и т. п.). Например, в высказывании "Солнце есть звезда" терминами являются имена "Солнце" и "звезда" (первый из них - субъект высказывания, второй - его предикат), а слово "есть" - связка. Простые высказывания типа "S есть (не есть) Р" называются атрибутивными: в них осуществляется атрибуция (приписывание) какого-то свойства предмету. Атрибутивными высказываниям противостоят высказывания об отношениях, в которых устанавливаются отношения между двумя или большим числом предметов: "Три меньше пяти", "Киев больше Одессы", "Весна лучше осени", "Париж находится между Москвой и Нью-Йорком" и т. п. Высказывания об отношениях играют существенную роль в науке, особенно в математике. Они не сводятся к категорическим высказываниям, поскольку отношения между несколькими предметами (такие, как "равно", "любит", "теплее", "находится между" и т. д.) не сводятся к свойствам отдельных предметов.
В категорическом высказывании не просто устанавливается связь предмета и признака, но и дается определенная количественная характеристика субъекта высказывания. В высказываниях типа "Все S есть (не есть) Р" слово "все" означает "каждый из предметов соответствующего класса" II высказываниях типа "Некоторые S есть (не есть) Р" слово "некоторые" употребляется в не исключающем смысле и означает "некоторые, а может быть все". В исключающем смысле слово "некоторые" означает "только некоторые", или "некоторые, но не все". Различие между двумя смыслами этого слова можно продемонстрировать на примере высказывания "Некоторые звезды есть звезды" В не исключающем смысле оно означает "Некоторые, а возможно и все звезды есть звезды" и является, очевидно, истинным. В исключающем же смысле данное высказывание означает "Лишь некоторые звезды являются звездами" и является явно ложным.
В категорических высказываниях утверждается или отрицается принадлежность каких-то признаков рассматриваемым предметам и указывается, идет ли речь обо всех этих предметах или же о некоторых из них. Возможны, таким образом, четыре вида категорических высказываний:
Все S есть Р - общеутвердительное высказывание,
Некоторые S есть Р - частноутвердительное высказывание.
Все S не есть Р - общеотрицательное высказывание.
Некоторые S не есть Р - частноотрицательное высказывание.
Категорические высказывания можно рассматривать, как результаты подстановки каких-то имел в следующие выражения с "пробелами" (многоточиями): "Все... есть.,.", "Некоторые... есть..,", "Все... не есть..." и "Некоторые... не есть...". Каждое из этих выражений является логической постоянной (логической операцией), позволяющей и t двух имен получить высказывание. Например, подставляя вместо многоточий имена "летающие" и "птицы", получаем, соответственно, следующие высказывания: "Все летающие есть птицы". "Некоторые летающие есть птицы", "Все летающие не есть птицы" и "Некоторые летающие не есть птицы". Первое п третье высказывания являются ложными, а второе и четвертое - истинными.
Аристотель истолковывал рассматриваемые четыре выражения именно как логические постоянные, не имеющие самостоятельного содержания и позволяющие из двух обладающих содержанием имен получать содержательные, являющиеся истинными или ложными высказывания. В традиционной логике предполагалось также, что имена, подставляемые вместо многоточий (или переменных, если они используются вместо многоточий), не должны быть единичными или пустыми. Иначе говоря, высказывания типа "Платон - человек", "Все золотые горы - это горы" не относятся к категорическим в традиционном смысле, поскольку "Платон" - единичное имя, а "золотые горы" - пустое имя.
Обозначим оборот "Все... есть..." буквой а, оборот "Некоторые... есть..." буквой i (первые гласные буквы латинского слова attinno - утверждаю), оборот "Всс... не есть..." буквой е и оборот "Некоторые ". не есть..." буквой о (гласные буквы латинского слова nego - отрицаю).
SaP - "Все S есть Р" - "Все жидкости упруги",
SiP - "Некоторые S есть Р" - "Некоторые животные говорят",
SeP - "Все S не есть Р" - "Все дельфины не есть рыбы",
SoP - "Некоторые S пе есть Р" - "Некоторые металлы не есть жидкости".
Отношения между терминами в четырех видах категорических высказываний представляются с помощью кругов Эйлера.
Похожие статьи
-
Логический квадрат - Категорическое высказывание как вид простого высказывания
Некоторые отношения между четырьмя видами категорических высказываний графически представляются так называемым логическим квадратом. Противоречашие...
-
Простой категорический силлогизм и его структура - Простой категорический силлогизм
Слово "силлогизм" произошло от греческого syllogysmos, что означает "вывод". Очевидно, что силлогизм - это выведение следствия, заключения из...
-
Информация о тождестве или различии терминов категорического высказывания (суждения) - субъекта и предиката - выражается в понятии их распределенности....
-
Простой категорический силлогизм - Основы логики
Простой категорический силлогизм - дедуктивное умозаключение, в котором из двух суждений, имеющих субъектно-предикатную форму, следует новое суждение...
-
Виды суждений, Простые суждения - Суждение как форма мышления
Все суждения разделяются на две большие группы: простые и сложные. Простые суждения Простым называется суждение, выражающее связь двух понятий Попов Ю....
-
Для того чтобы при наличии истинных посылок заключение следовало из посылок с необходимостью, требуется соблюдение правил построения простого...
-
Аксиома силлогизма - Простой категорический силлогизм
Умозаключение в форме силлогизма, хотя бы в сокращенной его форме, является для нас привычной, естественной формой мышления. Эта естественность...
-
Специальные правила фигур - Простой категорический силлогизм
Каждая фигура имеет свои особые правила, которые выводятся из общих. Правила 1-й фигуры: 1. Большая посылка -- общее суждение. 2. Меньшая посылка --...
-
Правила посылок - Простой категорический силлогизм
1-е правило: хотя бы одна из посылок должна быть утвердительным суждением. Из двух отрицательных посылок заключение с необходимостью не следует....
-
Анализ основных ошибок, возникающих в логических высказываниях
Логическая ошибка, или алогизм, -- это ход мысли, нарушающий какие-то законы или правила логики. Если ошибка допущена неумышленно, ее называют...
-
Русские высказывания о доме, Английские высказывания о доме - Философия имени
Традиция хвалить свое жилище в крови у всех народов мира. Эта идея реализуется в народном творчестве. Пословицы о доме занимают важное место в...
-
"Конституция разума", которую написал Кант, оказалась не слишком эффективной. Она предложила лишь один, универсальный рецепт решения научных споров -...
-
ИЗВЕСТНЫЕ ВЫСКАЗЫВАНИЯ СОКРАТА - Сократ как представитель античной философии
- Я знаю, что я ничего не знаю. - Если хочешь совершать добрые поступки, ты должен знать, что такое добро вообще. - Лучше работать без определенной цели,...
-
Лозунг "Назад, к предметам!" - Западная философия XX века
Итак, наука, чтобы оставаться наукой, должна пользоваться только "очищенными" понятиями о предметах. Понятие о предмете в настоящей науке должно пройти...
-
Суждение. Определение суждений - Основные формы мышления и мыслительные операции
Суждение представляет собой форму мысли, устанавливающую логическую связь между двумя и более понятиями. Между понятиями устанавливаются отношения...
-
Вопросам этики Кант посвятил философскую работу "Критика практического разума". По его мнению, в идеях чистый разум говорит свое последнее слово, а далее...
-
Суждение, как форма мышления - Суждение как форма мышления
Суждение - это форма мышления, в которой что-либо утверждается или отрицается о существовании объектов и связях между ними и их признаками Кобзарь И....
-
Объяснение как познавательно-аналитическая процедура приобрело ведущее значение в научном познании Нового времени. Объяснение связано с реальностью....
-
Логические операции с понятиями - Понятие
Содержание и объем понятия нередко скрыты за его словесной оболочкой. Поэтому в практике мышления нередко необходимо раскрывать как содержание, так и...
-
Здесь сохранены исходные принципы логического позитивизма, но при этом дополняют их требованием объяснения и уточнения употребляемых слов....
-
РАЦИОНАЛЬНОЕ ПОЗНАНИЕ - Теория познания
Чувство познание сенсуализм рационализм скептицизм агностицизм Рациональное познание, основанное на абстрактном мышлении, позволяет человеку выйти за...
-
Эссе "Когда человек говорит "я знаю", что он имеет в виду? Что есть знание?" - Гносеология
Нет необходимости доказывать, что познание окружающего мира играет важнейшую роль в жизни каждого отдельного человека и человечества в целом. Однако в...
-
Единое и Множественное - Бог и Мир - Философия Джованни Пико делла Мирандолы
Идеи Единого и Множественного формируют те два полюса, вокруг которых вращается все философское и религиозное мышление. Метафизика и богословие стараются...
-
Философия религии - Актуальные вопросы философии
Философия религии стоит в ряду главных философских дисциплин, являя собой особый тип философствования. Ее следует понимать, прежде всего, как ту "часть"...
-
Философия как наука о бытии: диалектика бытия и сущих в концепции Аристотеля
ФИЛОСОФИЯ КАК НАУКА О БЫТИИ: ДИАЛЕКТИКА БЫТИЯ И СУЩИХ В КОНЦЕПЦИИ АРИСТОТЕЛЯ Согласно Аристотелю, каждая дисциплина, включая и философию, должна иметь...
-
Основной вопрос философии - Проблемы, идеи и концепции философии
Философия в буквальном переводе с греческого означает "любовь к мудрости" ("филиа" -- любовь, "софиа" -- мудрость). Это слово ввел в употребление...
-
Идейные истоки платоновского идеализма - Философия Платона, ее объективный идеалистический характер
Одной из основных мыслей Платона является известное утверждение о том, что видимое не есть реальное: если мы что-то видим, это вовсе не значит, что оно...
-
О чем говорят парадоксы - Логические парадоксы
Парадокс лжец логика аргумент Рассмотренные парадоксы - это только часть из всех обнаруженных к настоящему времени. Вполне вероятно, что в будущем будут...
-
Экзистенциализм возводит свои истоки к Кьеркегору, Шеллингу и Ницше. А также, через Хайдеггера и Сартра, генетически восходит к феноменологии Гуссерля...
-
Понятие сознания - Диалектика сознательного и бессознательного
Сознание человека возникло и развивалось в общественный период его существования, и история становления сознания не выходит, вероятно, за рамки тех...
-
Что такое экзистенциализм - Философская антропология и философия экзистенциализма
Экзистенциализм - это гуманизм Атеистический экзистенциализм более последователен. Он учит, что если даже бога нет, то есть, по крайней мере, одно бытие,...
-
Логические приемы образования понятий - Признаки понятия
Для образования понятия необходимо выделить существенные признаки предмета, применив с этой целью ряд логических приемов: сравнение, анализ, синтез,...
-
"Метафизические размышления о первой философии" Р. Декарта
"Метафизические размышления о первой философии" Р. Декарта Декарт, выводя свою теорию, от "Метафизики" Аристотеля, ясно осознавал противоположность...
-
Заключение - Структура эмпирического знания
На современном уровне теория познания являет собой результат обощения всей истории развития познания мира. Она исследует природу человеческого познания,...
-
Логический и исторический метод построения теории - Философия и методология науки
Восхождение от абстрактного к конкретному как метод теоретического освоения предмета содержит историческое в качестве подчиненного, но существенного...
-
Акцент познания на единичное, индивидуальное, уникальное на основе общего, закономерного. Это и есть то, что Вебер называл культурно-значимой...
-
Экзистенциализм о проблемах бытия. - Экзистенциализм о проблемах бытия
Начнем с рассмотрения вопроса: что такое экзистенциализм? Экзистенциализм - (от позднелат. exsistentia - существование), или философия существования, -...
-
Имеет ли жизнь вообще смысл - Понимание смысла жизни в русской философии
В данной работе философ задается рядом важнейших для человека вопросов. "Имеет ли жизнь вообще смысл, и если да - то какой именно? В чем смысл жизни? Или...
-
Истинная жизнь в понимании С. Л. Франка - Понимание смысла жизни в русской философии
Несмотря на то, что в первой части книги "Смысл жизни" Франк занимает позицию, очень близкую к той, которая объединяла всех известных русских философов...
-
Задачи и упражнения - Логика спора
1. Установите характер отношений между понятиями: молодой-немолодой, жадный-щедрый, стул-стол, дерево-ветка, ученый-интересный человек, Ленин-Ульянов....
Категорические высказывания - Категорическое высказывание как вид простого высказывания