The University of Chicago Press, 1948. — viii, 210 pages. The main purpose of this book is the development of a new method for the semantical analysis of meaning, that is, a new method for analyzing and describing the meanings of linguistic expressions. This method, called the method of extension and intension, is developed by modifying and extending certain customary concepts,...
Second Edition Revised and Expanded. — Center for the Study of Language and Information, 1988. — 135 pages. — (Lecture Notes). — ISBN: 093707330X, 0937073296.
Intensional logic is the technical study of such intensional phenomena in human reasoning as modality, knowledge, or flow of time. These all require a richer semantic picture than standard truth values in one static...
КомКнига, 2007. — 290 с.
В настоящей книге систематически рассмотрены и исследованы логики модальностей знания и мнения. Автор оригинальным образом решает проблему «логического всеведения», используя семантику частичных возможных миров. Формулируются соответствующие системы, исследуются их метатеоретические особенности (корректность, полнота и т.д.), устанавливается связь с...
М.: ИФ РАН, 2001. — 176 с. В книге исследуются модальные идеи и теории выдающегося логика XX века Я.Лукасевича. В первых двух главах анализируются две построенные им модальные логики (трехзначная и четырехзначная). В третьей главе предпринимается попытка развить и формализовать его интуитивные представления о детерминизме, истине и причинности. Книга, являющаяся первым в...
М.: Изд-во иностранной литературы, 1959. — 384 с. Труд Р.Карнапа "Значение и необходимость" - является заключительным томом eгo исследований по семантике, который имеет самостоятельное значение. Он подводит некоторые итоги эволюции взглядов одного из лидеров логического позитивизма на философию и логическую семантику. Карнап, обосновывая здесь свои теоретико познавательные позиции...
М.: Прогресс, 1981. — 424 с. — (Общественные науки за рубежом. Философия и социология). Крипке С.А., Хинтикка Я., Прайор А.Н., Леммон Е., Томасон С.К., Габбай Д.М., Сегерберг К., Файн К., Монтегю Р., Скотт Д., Белнап Н.Д., Роутлей Р., Мейер Р. Семантическое рассмотрение модальной логики. Виды модальности. Модальность и квантификация. Временн'ая логика и непрерывность времени....
Таллинн : Академия наук Эстонии, [Институт кибернетики], Отделение информатики и технических наук, 1989. — 55 с. Описываются свободные от сечения секвенциальные системы для наиболее употребительных модальных исчислений. Доказывается их дедуктивная эквивалентность соответствующим системам гильбертовского типа. Теорема об устранимости сечения доказывается для каждой из...
М.: Наука. 1974. — 520 с. — (Математическая логика и основания математики). Одна из лучших монографий по модальной логике. Книга содержит наиболее полное на сегодняшний день, прекрасно построенное и согласованное изложение материала по неклассическим логикам. Модальные логики становятся все более востребованными специалистами по ИИ, занимающимися проблематикой обработки...
Комментарии