Всего найдено: 10
  • § 25. Выведение силлогистических положений
    Мы можем вывести все положения аристотелевской логики из аксиом 1—4 посредством наших правил вывода и с помощью теории дедукции. Я надеюсь, что последующие доказательства будут вполне поняты после разъяснений, данных в предыдущих параграфах. Во всех силлогистических модусах больший термин обозначается через с, средний — через Ъ и меньший — через а. Большая посылка ставится первой, так что легко сравнить формулы с традиционными названиями модусов .А. Законы обращенияp/Abc, q/Iba, r/IacX
  • Теория индукции
    . Следовательно, сущность индукции, наведения, по Бэкону, состоит в непрерывном и постепенном обобщении — от частных фактов к положениям более общим, прежде всего к так называемым средним аксиомам, ибо «вся польза и практическая действенность заключается в средних аксиомах» [111, т. 2, с. 32]. Только от них можно переходить к наиболее обобщенным положе-ниям («генеральным аксиомам»). Такое индуктивное обобщение, противопоставленное дедуктивно-силлогистическому рассуждению, призвано исправить
  • § 28. Число неразрешимых выражений
    В качестве исходного основания моего настоящего исследования я беру следующие основные элементы силлогистики: Четыре принятые аксиомы 1—4. Правило (а) подстановки и правило (Ь) отде-ления для принимаемых выражений. Две аксиомы отбрасывания *59 и *59а. Правило (с) отделения и правило (d)подстановки для отбрасываемых выражений.К этой системе аксиом и правил в качестве вспомогательной теории должна быть добавлена теория дедукции. Из аксиом и правил принятия могут быть выведены все известные
  • II. К критике аристотелевской логики
    В построении своей логики и Аристотель не мог не быть связанным состоянием современной ему науки и задачами, которые она себе ставила. В силлогистической логике не без основания усмотрели параллель метафизике субстанциальных форм, понятий, объявленных сущностями и причинами. Однако эта связь обнаруживается у Аристотеля впервые при применении логических форм к проблемам теории познания. Принципу умозаключения, который Первая Аналитика положила в основу теории силлогизма, только Вторая Аналитика
  • § 71. Разделение труда. Работа математиков и работа философов
    Таковы, следовательно, проблемы, которые мы причисляем к области чистой или формальной логики в выше определенном смысле, причем мы придаем ее области наибольший объем, какой вообще совместим с очерченной идеей науки о теории. Значительная часть принадлежащих к ней теорий уже давно конституировалась в виде {«чистого анализа» или, лучше сказать, формальной математики}[238] и разрабатывается математиками наряду с другими, уже более не «чистыми » {, то есть формальными}, в {полном}2 смысле
  • Литература
    Аткинсон А.Б. Политэкономия: вчера и сегодня // Политическая наука. Новые явления. М., 1999.Беккер Г. Экономический анализ и человеческое поведение // Thesis.1993.Бьюкенен Дж. Конституция экономической политики. Расчет согласия. Границы свободы. М., 1997.Вайзе П. Homo economicus и homo logicus: монстры социальных наук // Thesis. 1993. № 3.Дюркгейм Э. О разделении общественного труда. М., 1996. Ерзнкян Б.А. Человек институциональный или эволюция концепции homo economicus // Вестник университета.
  • Предварительные итоги
    Главная цель семантической классификации конструк­ций — разграничить конструкции с соединением и конст­рукции без соединения. Конструкции без соединения отве­чают за ту часть общего смысла предложения, которая не может быть сведена к неупорядоченному набору призна­ков с помощью какого-либо набора правил (допустим, проек­ционных правил КФ); конструкции с соединением отвеча­ют за те части смысла предложения, описание которых мо­жет быть сведено к неупорядоченному набору признаков б7. Конструкций
  • Введение
    Название «Логика» было дано группе близких по содержанию сочинений Аристотеля впервые школой его, от нее же исходит и имя «Органон» для полного собрания сочинений учителя, названного так по общей цели, которую им приписывала школа. Из двух частей, на которые распадается «Органон», более ранние — «Топика» и «Аналитики»; только эти последние соответствуют дисциплине, которая поныне известна под именем логики, а именно: Первая Аналитика соответствует нашей формальной логике, или учению об
  • Развитие психологического анализа: от 3. Фрейда до Э. Берна
    Рассматривая проблемы формирования психологического анализа, мы исходим из представлений об анализе как способе познания. Психологический анализ есть специфический метод рационального познания, основанный на изучении продуктов психической деятельности. При изучении психологического анализа как метода познания необходима опора на логико-философские знания, на принципы материалистической логики, такие как принцип объективности, единства теории, эксперимента и практики, принцип системности и
  • 8.2.2 Дедуктивные умозаключения
    При традиционном, ориентированном на формализацию подходе к мышлению основной сферой приложения усилий исследователей должно было бы стать изучение процессов решения задач на относительно простые логические умозаключения силлогистического типа. Всякое логическое исчисление включает (помимо синтаксических правил, необходимых для проверки правильности построения формул) набор аксиом и правила вывода, которые определяют возможные дедукции из аксиом или производных от них утверждений. Поскольку в
- Абстракция и идеализация - Аксиоматизация - Алгебра логики - Алгебраические, теоретико-множественные семантики - Аналогия - Аппарат логики - Вероятностная логика - Индуктивная логика - Интуиционизм и консерватизм - История логики - Категорная семантика - Классификация - Классическая логика - Логика высказываний - Логика кванторов - Логика первого и высших порядков - Логика решений - Логицизм - Логическая семантика - Логические и семантические парадоксы - Логические проблемы аргументации - Логические формы и приемы познания - Метатеоретические проблемы логики - Недедуктивные логические теории - Неклассические логики - Непротиворечивость, полнота, разрешимость формализованных теорий - Определение - Определимость, сравнительный анализ логических теорий - Прикладные проблемы логики и логической семантики - Проблема содержательности семантик логических систем - Проблемы аксиоматизации теории множеств - Реляционные семантики возможных миров - Силлогистические теории - Теории логического вывода - Теория доказательств - Теория моделей - Теория семантических категорий - Типы исчислений - Формализация - Формализм - формы мышления -