9 книг
-
Исследования аналитического наследия Львовско - Варшавской философской школы. Выпуск 1
ISBN: 5-98846-022-4 Год издания: 2006 Издательство: Мiръ Язык: Русский Книга представляет собой первый выпуск серии, посвященной исследованию аналитического наследия Львовско-Варшавской философской школы. Рассматриваются основные аспекты развития рационального опыта школы, и исследуется специфика методологических
-
Фрэнк Пламптон Рамсей. Философские работы Фрэнк Пламптон Рамсей
ISBN: 978-5-88373-081-7 Год издания: 2011 Издательство: Канон+РООИ "Реабилитация" Язык: Русский В сборнике представлены работы выдающегося английского философа, математика и экономиста Ф.П.Рамсея, оказавшие значительное влияние на формирование современной аналитической философии.
-
Онтология для Абеляра и Елоизы Е. Г. Драгалина-Черная
ISBN: 978-5-7598-0957-9 Год издания: 2012 Издательство: ГУ ВШЭ Язык: Русский РазвернутьМонография посвящена онтологии стандартной и девиантной квантификации. В работе сопоставляются эвристические возможности и онтологические обязательства двух парадигм интерпретации кванторов: как второпорядковых предикатов и как функций выбора от их истоков (Г.Фреге и Ч.С.Пирс) до современного состояния (абстрактные логики и IF-логика). Новизна исследования связана с философской оценкой технических результатов последних лет о выразительных и дедуктивных возможностях логик с нестандартной квантификацией. Монография включает апробацию разработанных методов в логическом анализе языка, а также в логико-онтологической экспликации классических…
-
Вовеки неразрешимое. Путь к Геделю через занимательные загадки Раймонд Смаллиан
ISBN: 978-5-88373-081-7 Год издания: 2013 Издательство: Канон+РООИ "Реабилитация" Язык: Русский Эта книга представляет собой введение в теоремы Геделя посредством логических занимательных проблем с применением математической логики. Аргументация Гегеля перенесена из формальной области математических систем в область идей, более доступных обычному читателю. Основной упор сделан на системы вер и их соотношения с математикой. Это приводит к семантике возможных миров. Которая играет существенную роль в компьютерных исследованиях и искусственном интеллекте. -
Система логики силлогистической и индуктивной Дж. Ст. Милль
ISBN: 978-5-9710-0181-2 Год издания: 2011 Издательство: Ленанд Язык: Русский РазвернутьКнига выдающегося английского мыслителя Джона Стюарта Милля является одним из известнейших классических произведений философии. В этой работе, впервые вышедшей в свет в середине XIX века, рассматриваются проблемы, решение которых актуально и в наше время. Таковыми являются логико-семиотический анализ естественных языков, развитие индуктивных рассуждений, применение логики для аргументированного решения задач гуманитарных и социальных наук. Эти три проблемы связаны непосредственно как с представлением знаний, так и с когнитивными исследованиями познавательных возможностей человека и его современных партнеров - компьютерных систем. Читателя…
-
Логико-философские и психологические исследования Казимир Твардовский
ISBN: 5-86004-082-2 Год издания: 1997 Издательство: Росспэн Язык: Русский В книге публикуются избранные работы известного польского философа, логика, методолога науки, основателя знаменитой Львовско-Варшавской школы, оказавшей огромное влияние на развитие научной философии в XX столетии. Для читателей, интересующихся философией, логикой, методологией науки, семиотикой, психологией.
-
Логико-эпистемологические исследования Яакко Хинтикка
Год издания: 1980 Издательство: Прогресс Язык: Русский В сборник финского логика и философа Яакко Хинтикки вошли логико - эпистемологические работы: логика и философия, дистрибутивные нормальные формы и их эпистемологические приложения, теоретико-игровая семантика, концептуальные проблемы в истории эпистемологии. Перевод с английского В. Н. Брюшинкина и Э. Л. Наппельбаума.
-
О Гёделе. Статьи Каарло Яакко Юхани Хинтикка
ISBN: 978-5-88373-420-4 Год издания: 2014 Издательство: Канон+РООИ "Реабилитация" Язык: Русский РазвернутьМонография Я.Хинтикки О ГЁДЕЛЕ представляет собой экспозицию основных результатов, достигнутых К.Гёделем в исследованиях по основаниям математики. В частности, рассматриваются знаменитые теоремы о неполноте и доказательство независимости континуум гипотезы. При интерпретации этих результатов широко привлекаются взгляды Гёделя на философию математики, близкие платонизму, и анализируется его своеобразный подход к синтаксическим и семантическим аспектам формальных систем. При рассмотрении отдельных концепций Гёделя привлекается аппарат, разработанных Я.Хинтиккой дружественно-независимых логик. В сборник также включены некоторые работы…
-
У интуиции есть своя логика. Гёдель. Теоремы о неполноте
Год издания: 2015 Издательство: Де Агостини Язык: Русский РазвернутьКурт Гёдель изменил понимание математики. Две теоремы о неполноте, сформулированные им в 1931 году, с помощью формальной логики выявили хрупкость фундамента великого здания математики, которое усердно строили со времен Евклида. Научное сообщество было признать, что справедливость той или иной гипотезы может лежать за гранью любой рациональной попытки доказать ее, и интуицию нельзя исключить из царства математики. Гёдель, получивший образование в благополучной Вене межвоенного периода, быстро заинтересовался эпистемологией и теорией доказательств. Так же как и его друг Альберт Эйнштейн, он оспаривал догмы современной науки, и точно так же в…
