Логіка предикатів

Форми та обсяг логіки ґрунтуються на припущеннях про те, як мова й міркування пов’язані з досвідом. У цьому томі аналіз значення та істини забезпечує основу для вивчення сучасної пропозиційної та предикатної логіки. Розділи про пропозиційну логіку, розбір пропозицій, значення, істинність і посилання дають основу для критеріїв, які можна використовувати для оцінки формалізації звичайних мовних аргументів. Понад 120 оброблених прикладів формалізації пропозицій і аргументів ілюструють масштаби та обмеження сучасної логіки, проаналізовані в розділах про тотожність, квантори, описові імена, функції та логіку другого порядку. У розділі про логіку другого порядку показано, як різні концепції предикатів і пропозицій не ведуть до спільної основи для кількісного визначення предикатів, як це відбувається для квантифікації речей. Відрізняючись ясністю викладу та доповнений багатьма вправами, цей том підходить для філософів, лінгвістів, математиків і інформатиків, які хочуть краще зрозуміти інструменти, які вони використовують для формалізації міркувань.

• Автор: Л. Епштейн Річард
• Видавець: Advanced Reasoning Forum
• Рік випуску: 2012
• Обкладинка: тверда обкладинка
• Кількість сторінок: 430
• Розміри: 49,5 x 17,7 x 3,3 см
• Ілюстрації: чорно-білі ілюстрації
• Мова: англійська
• ISBN: 9780983452188