Логика - [9]
Типы имен языка логики предикатов, определяемые спецификой объектов именования и представляющие собой его основные семантические категории, это имена: 1) предметов, 2) признаков и 3) предложений.
Имена предметов обозначают единичные предметы, явления, события или их множества. Объектом исследования в этом случае могут быть как материальные (самолет, молния, сосна), так и идеальные (воля, правоспособность, мечта) предметы.
По составу различают имена простые, которые не включают других имен (государство), и сложные, включающие другие имена (спутник Земли). По денотату имена бывают единичные и общие. Единичное имя обозначает один объект и бывает предоставлено в языке именем собственным (Аристотель) или дается описательно (самая большая река в Европе). Общее имя обозначает множество, состоящее более чем из одного объекта; в языке оно бывает представлено нарицательным именем (закон) либо дается описательно (большой деревянный дом).
Имена признаков — свойств или отношений — называются предикаторами. В предложении они обычно выполняют роль сказуемого (например, «быть синим», «бегать», «дарить», «любить» и т. д.). Число имен предметов, к которым относится предикатор, называется его местностью. Предикаторы, выражающие свойства, присущие отдельным предметам, называются одноместными (например, «небо синее»), Предикаторы, выражающие отношения между двумя и более предметами, называются многоместными. Например, предикатор «любить» относится к двухместным («Мария любит Петра»), а предикатор «дарить» — к трехместным («Отец дарит книгу сыну»).
Предложения — это имена для выражений языка, в которых нечто утверждается или отрицается. По своему логическому значению они выражают истину либо ложь.
Алфавит языка логики предикатов включает следующие виды знаков (символов):
1) а, b, с, ... — символы для единичных (собственных или описательных) имен предметов; их называют предметными постоянными, или константами;
2) х, у, z, ... — символы общих имен предметов, принимающие значения в той или другой области; их называют предметными переменными;
3) Р>1, Q>1, R>1, ... — символы для предикатов, индексы над которыми выражают их местность; их называют предикатными переменными;
4) р, q, r, ... — символы для высказываний, которые называют пропозициональными переменными (от латинского propositio — «высказывание»);
5) ∀, Ǝ — символы для количественной характеристики высказываний; их называют кванторами: ∀ — квантор общности; он символизирует выражения — все, каждый, всякий, всегда и т. п.; Ǝ — квантор существования; он символизирует выражения — некоторый, иногда, бывает, встречается, существует ит.п.;
6) логические связки:
∧— конъюнкция (связка «и»);
∨— дизъюнкция (связка «или»);
→ — импликация (связка «если..., то...»);
≡ — эквиваленция, или двойная импликация (связка «если, и только если..., то...»);
˥ — отрицание («неверно, что...»).
Технические знаки языка: (,) — левая и правая скобки.
Других знаков данный алфавит не включает. Допустимые, т. е. имеющие смысл в языке логики предикатов выражения называются правильно построенными формулами — ППФ. Понятие ППФ вводится следующими определениями:
1. Всякая пропозициональная переменная — р, q, r,... есть ППФ.
2. Всякая предикатная переменная, взятая с последовательностью предметных переменных или констант, число которых соответствует ее местности, является ППФ: А>1(х), А>2(х, у), А>3(х, у, z), А>n(х, у, …, n), где А>1, А>2, А>3, ..., А>n — знаки метаязыка для предикатов.
3. Для всякой формулы с предметными переменными, в которой любая из переменных связывается квантором, выражения ⊃хА (х) и Ǝ хА (х) также будут ППФ.
4. Если А и В — формулы (А и В — знаки метаязыка для выражения схем формул), то выражения:
А ∧В,
А ∨В,
А → В,
А ≡ В,
˥А, ˥В
также являются формулами.
5. Любые иные выражения, помимо предусмотренных в п. 1—4, не являются ППФ данного языка.
Язык логики предикатов может быть использован в дальнейшем изложении для анализа отдельных фрагментов естественного языка.
1. Что такое язык? Приведите определение.
2. Какие языки относятся к естественным и какие к искусственным?
3. Что представляет собой язык логики предикатов? Какие знаки (символы) включает алфавит этого языка?
§ 5. ИСТОРИЯ ЛОГИКИ (КРАТКИЙ ОЧЕРК)
Логика, изучающая познающее мышление и применяемая как средство познания, возникла и развивалась как философская наука. Она сформировалась более двух тысяч лет назад, в IV в. до н. э. Ее основателем является древнегреческий философ Аристотель (384—322 гг. до н. э.). В своих логических трудах, получивших общее название «Органон» (греч. «орудие, инструмент познания»), Аристотель сформулировал основные законы мышления: тождества, противоречия и исключенного третьего, описал важнейшие логические операции, разработал теорию понятия и суждения, обстоятельно исследовал дедуктивное (силлогистическое) умозаключение. Аристотелевское учение о силлогизме составило основу одного из направлений современной математической логики — логики предикатов.
Важным этапом в развитии учения Аристотеля явилась логика античных стоиков (Зенон, Хрисипп и др.), дополнившая аристотелевскую теорию силлогизма описанием сложных умозаключений. Логика стоиков — основа другого направления математической логики: логики высказываний.
В этой книге Шошана Зубофф описывает и объясняет причины возникновения феномена, который она называет «надзорным капитализмом». Ставки как никогда высоки: глобальная архитектура модификации поведения угрожает сделать с человеческой природой в XXI веке то же, что промышленный капитализм сделал с окружающей средой в XX веке. Зубофф показывает последствия распространения надзорного капитализма из Кремниевой долины во все сектора экономики. Необычайное богатство и власть накапливаются на новых «рынках поведенческих фьючерсов», где делаются и продаются предсказания относительно нашего поведения и где производство товаров и услуг подчинено новым «средствам модификации поведения». Угрозу теперь представляет не тоталитарное государство, а повсеместно распространенная цифровая архитектура.
В книге дается обзор концепции французского мыслителя Анри Бергсона (1859–1941), классика западной философии XX века, лауреата Нобелевской премии по литературе (1927). Подробно исследуется эволюция взглядов А. Бергсона – от философской психологии, развитой в ранних работах, до этико-религиозной концепции, изложенной в «Двух источниках морали и религии» (1932); рассматриваются некоторые аспекты рецепции учения Бергсона в России в конце XIX – первые два десятилетия XX в. В книге, содержащей элементы жанра философской биографии, использован новый фактографический материал.
Серия «Фигуры Философии» – это библиотека интеллектуальной литературы, где представлены наиболее значимые мыслители XX–XXI веков, оказавшие колоссальное влияние на различные дискурсы современности. Книги серии – способ освоиться и сориентироваться в актуальном интеллектуальном пространстве. Неподражаемый Славой Жижек устраивает читателю захватывающее путешествие по Событию – одному из центральных концептов современной философии. Эта книга Жижека, как и всегда, полна всевозможных культурных отсылок, в том числе к современному кинематографу, пестрит фирменными анекдотами на грани – или за гранью – приличия, погружена в историко-философский конекст и – при всей легкости изложения – глубока и проницательна.В формате a4.pdf сохранен издательский макет.
Главная тема книги — человек как субъект. Автор раскрывает данный феномен и исследует структуры человеческой субъективности и интерсубъективности. В качестве основы для анализа используется психоаналитическая теория, при этом она помещается в контекст современных дискуссий о соотношении мозга и психической реальности в свете такого междисциплинарного направления, как нейропсихоанализ. От критического разбора нейропсихоанализа автор переходит непосредственно к рассмотрению структур субъективности и вводит ключевое для данной работы понятие объективной субъективности, которая рассматривается наряду с другими элементами структуры человеческой субъективности: объективная объективность, субъективная объективность, субъективная субъективность и т. д.
В книге рассказывается история главного героя, который сталкивается с различными проблемами и препятствиями на протяжении всего своего путешествия. По пути он встречает множество второстепенных персонажей, которые играют важные роли в истории. Благодаря опыту главного героя книга исследует такие темы, как любовь, потеря, надежда и стойкость. По мере того, как главный герой преодолевает свои трудности, он усваивает ценные уроки жизни и растет как личность.
Первая в России книга о патафизике – аномальной научной дисциплине и феномене, находящемся у истоков ключевых явлений искусства и культуры XX века, таких как абсурдизм, дада, футуризм, сюрреализм, ситуационизм и др. Само слово было изобретено школьниками из Ренна и чаще всего ассоциируется с одим из них – поэтом и драматургом Альфредом Жарри (1873–1907). В книге английского писателя, исследователя и композитора рассматриваются основные принципы, символика и предмет патафизики, а также даётся широкий взгляд на развитие патафизических идей в трудах и в жизни А.