Ж 79 Жоль, Константин Константинович. Вступ до сучасної логіки [] : навч. посіб. / К. К. Жоль. - К. : Вища шк., 1992. - 128 с. - Реком. покажч.: с.127-128. - ISBN 5-11-003825-2 : 10 р.
Рубрики: Логіка фывфывфыв: прийнятя рішень -- принимаемые решения -- технічні системи -- технические системи -- металогіка -- металогика -- аксіоматика -- аксиоматика -- логічні дослідження Д. Гільберта -- логические исследования Д. Гильберта -- логіка висловлень -- логика высказываний -- логіка предикатів -- логика предикатив -- логічні ідеї -- логические идеи -- системи -- системи -- конструктивістська логіка -- конструкторская логика -- модальна логіка -- модальная логика -- логічна семантика -- логическая семантика -- кібернетика -- кибернетика Аннотация: У посібнику викладено основні поняття і методи сучасної логіки , пояснюється звязок логіки з гуманітарними, природничими і технічними науками, розкривається значення логіки для програмного забезпечення сучасних компютерів. Держатели документа: ЖОУНБ ім. О. Ольжича Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1) |
И 97 Ішмуратов, Анатолій Теміргалійович. Вступ до філософської логіки [] : підручник для студ. та асп. гуманіт. спец. вищ. навч. закл. / А. Т. Ішмуратов ; Міжнар. фонд "Відродження". - К. : Абрис, 1997. - 350 с. - (Програма "Трансформація Гуманітарної Освіти в Україні"). - Бібліогр.: с.333-344. - ISBN 966-531006-2 : 1.50 грн
Рубрики: Філософська логіка--Навчальні видання для вищої школи фывфывфыв: класична логіка -- класическая логика -- логічні схеми -- логические схеми -- логічна семантика -- логическая семантика -- логіка висловлювань -- логика висказываний -- логічні сполучники -- логические соединения -- логіка висловлювань -- логика высказываний -- інтерпретація -- интерпритация -- логічний закон -- логический закон -- логіка предикатів -- логика предикатов -- квантори -- кванторы -- логіка класів -- логика класов -- логіка відношень -- логика отношений -- девіантні логіки -- девиантные логики -- логіка Лукасевича -- логика Лукасевича -- логіка Бочвара -- логика Бочвара -- логіка Белнапа -- логика Белнапа -- модальна логіка -- модальная логика -- філософська оцінка -- философская оценка -- часова логіка -- часовая логика -- деонтична логіка -- деонтическая логика -- логіка санкцій Андерсона -- логика санкций Андерсона -- епістемічна логіка -- епистемическая логика -- праксеологіка -- праксеологика -- логіка діяльності -- логика деятельности -- міркування -- соображения -- діяльність -- деятельность -- логіка дії -- логика действия -- людські взаємодії -- человеческие взаимодействия -- практичні міркування -- практические мышления -- дедукція -- дедукция -- аналіз -- анализ -- силогістика Лукасевича -- силогистика Лукасевича -- пресупозиція -- пресупозиция -- часова тризначна логика -- временная трехзначная логика -- логіка Бочвара -- логика Бочвара -- теорія ігор -- теория игор -- аналіз дискурсу -- анализ дискурсу Аннотация: У підручнику докладно розглянуто такі напрями, як часова логіка , деонтична логіка, епістемічна логіка, логіка норм та оцінок, логіка дій, логіка взаємодій, логіка запитань та відповідей, логіка прийняття рішень, а також актуальні підходи, безпосерерньо повязані з логіко- філософським аналізом гуманітарного знання. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Міжнародний фонд "Відродження" Экземпляры всего: 3 ЧЗ (2), ФОНД (1) Свободны: ЧЗ (2), ФОНД (1) |
С 50 Смирнова, Елена Дмитриевна. Основы логической семантики [] : учеб. пособие для студ. филос. ф-тов вузов / Е. Д. Смирнова. - М. : Высшая школа, 1990. - 144 с. - Лит.: с. 140-142. - ISBN 5-06-001495-9 : 0.35 р.
Рубрики: Логіка--Навчальні видання для вищої школи фывфывфыв: знакові системи -- знаковые системы -- штучні і при родні мови -- искусственные и естественные языки -- логічна семантика -- логичная семантика -- формальна арифметика -- формальная арифметика -- формалізація логіки предикатів -- формализация логики предикатов -- елементи теорії моделей -- элементы теории моделей -- семантика можливих світів -- семантика возможных миров -- модальність в логіці -- модальность в логике -- проблеми змісту і значення -- проблемы содержания и значения -- аналіз інтексіональних контекстів -- анализ интексиональных контестов Аннотация: Дан анализ семантических антиномий и методов их устранения. Единым методом доказаны теоремы об ограниченностях формализмов, сжато изложены результаты теории моделей. Специальные разделы посвящены семантике возможных миров и анализу интенсивных контекстов. Держатели документа: ЖОУНБ ім. О. Ольжича Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1) |
Ф56 Философские основания научной теории [] / Акад. наук СССР, Ин-т истории, филологии и философии ; отв. ред.: В. В. Целищев, В. Н. Карпович. - Новосибирск : Наука, Сиб. отд-ние, 1985. - 288 с. - 1.90 р.
Рубрики: Філософія науки--Наукові видання фывфывфыв: научная теория -- наукова теорія -- логическая семантика -- логічна семантика -- наукова мова -- научный язык -- теория смысла -- теорія сенсу -- теория истины -- теорія істини -- научные метафоры -- наукові метафори -- эмпиризм -- емпіризм -- знание -- знання Аннотация: Сборник посвящен анализу философско-логических и методологических проблем обоснования теоретического знания. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Целищев, В. В. \ред.\; Карпович, В. Н. \ред.\; Академия наук СССР; Институт истории, филологии и философии Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1) |