Українська Банерна Мережа
UkrKniga.org.ua
Нації, де переважають “нейтральні”... неминуче засуджені на смерть і рабство. / В’ячеслав Липинський

Додати в закладки



Додати в закладки zakladki.ukr.net Додати в закладки links.i.ua Додати в закладки kopay.com.ua Додати в закладки uca.kiev.ua Написати нотатку в vkontakte.ru Додати в закладки twitter.com Додати в закладки facebook.com Додати в закладки myspace.com Додати в закладки google.com Додати в закладки myweb2.search.yahoo.com Додати в закладки myjeeves.ask.com Додати в закладки del.icio.us Додати в закладки technorati.com Додати в закладки stumbleupon.com Додати в закладки slashdot.org Додати в закладки digg.com
Додати в закладки bobrdobr.ru Додати в закладки moemesto.ru Додати в закладки memori.ru Додати в закладки linkstore.ru Додати в закладки news2.ru Додати в закладки rumarkz.ru Додати в закладки smi2.ru Додати в закладки zakladki.yandex.ru Додати в закладки ruspace.ru Додати в закладки mister-wong.ru Додати в закладки toodoo.ru Додати в закладки 100zakladok.ru Додати в закладки myscoop.ru Додати в закладки newsland.ru Додати в закладки vaau.ru Додати в закладки moikrug.ru
Додати в інші сервіси закладок   RSS - Стрічка новин сайту.
Переклад Натисни для перекладу. Сlick to translate.Translate


Вхід в УЧАН
Анонімний форум з обміну зображеннями і жартами.



Додати книгу на сайт:
Завантажити книгу


Скачати одним файлом. Книга: Вступ до сучасної логіки / Жоль


§ 17. Значення виразу «бути поняттям»

Сучасні логіки вважають, що традиційне^ трактування «поняття» надто обтяжене позалогічними ха-; рактеристиками. Тому терміни «екстенсіонал» та «інтенсіонал» вживаються ними, з одного боку, для того, щоб надати мові логіки міцнішого зв'язку з теоретико-мно-жинними уявленнями, а з другого — щоб вирізняти об'єкти даної множини, вказуючи на їхні властивості, ті, що «маються на увазі» пропозиційною функцією форми F(x).

Зазначимо, що Фреге у своєму трактуванні «поняття» пропонує базуватися на логічному аналізі значно більших за слово одиниць. Суть нового підходу полягає в ототожнюванні «поняття» і «пропозиція» («висловлення»). У XX ст. «висловлення» як предмет логічного вивчення стало вважатися основним елементом мови теоретичної науки.

Головне завдання, що стояло перед Фреге, полягало у вивченні таких висловлень, які мають місце під час математичного обґрунтування. За допомогою цього дослідження німецький учений сподівався пояснити, яким чином значення кожного висловлення вказаного типу визначається його внутрішньою структурою. Це завдання стосується сфери логіки предикатів.

Фреге підкреслював: щоб зрозуміти значення наукового висловлення, слід знати умови, за яких дане висловлення є істинним або ложним.

Розв'язуючи поставлене завдання, вчений спирався на поняття «умови істинності», «функція», «аргумент» і дійшов ідеї пропозиційної функції. Згадаємо, що пропозиційна функція може стати висловленням за умови (умови істинності), якщо аргумент (змінна) набуває значення «істина» чи «ложність».

Отже, для Фреге «бути поняттям» означає «бути певною пропозицією» (висловленням, що має значення «істина» чи «ложність»). Структуру цієї пропозиції можна уявити як пропозиційну функцію.

Коло замкнулося: почавши з пропозиційної функції, повертаємося знову до неї і виявляємо при цьому, що такі поняття, як «пропозиційна функція», «предикат», «інтен-сіональний об'єкт», «пропозиція», «висловлення» і «поняття», є різними проявами однієї й тієї самої логічної «сутності». На додаток до цього було зафіксовано, що у випадку логіки предикатів пропозиційна функція (предикат) стає висловленням (поняттям) за допомогою кванторів. Це і є відповіддю на запитання про зв'язок пропозиційної Функції з кванторами, зокрема з квантором існування.

Оскільки під численням предикатів у сучасній логіці розуміють числення пропозиційних функцій, точніше було б говорити про логіку пропозиційних функцій, а не про логіку предикатів. Але традиція є традиція, яку порушувати не слід.

Звернемося до зв'язку предикатів із змінними. Логіки стверджують, що предикат з однією змінною виражає властивість предмета. Наприклад: «х є грек», «х є просте число» тощо. Але предикат може виражати не тільки властивості, а й відношення. Такі предикати є пропозиційними функціями кількох змінних.

Розглянемо речення «Паніковський любить смажених гусей». Це речення, що аналізується засобами логіки предикатів, можна розглядати як вираження значення однієї з трьох пропозиційних функцій, а саме: «х любить смажених гусей», «Паніковський любить у», «х любить у». Тут граматичним присудком є вираз «любить смажених гусей». З позицій логіки присудком є вираз «х любить смажених гусей». Вирази «Паніковський любить у» і «х любить у» не є граматичними присудками. Те, що не влаштовує філологів, цілком влаштовує логіків.

Логіки вважають предикатами (логічними присудками) усяку пропозиційну функцію з будь-яким числом незалежних змінних. Тому їх цікавить лише питання стосовно кількості об'єктів, між якими встановлюються відношення. У зв'язку з цим розрізняють двомісні, тримісні й т. д. відношення. У загальному випадку говорять про я-місні відношення. Предикати-властивості вважають окремим випадком предикатів-відношень, тобто предикат-власти-вість — це одномісний предикат.

Отже, за числом місць предикати поділяють на одномісні й многомісні. Предикатні змінні звичайно позначають великими латинськими літерами (А, В, С, ...), а інди-відні змінні — малими (а, Ь, с, ...).

Нехай А — множина членів сім'ї. Виразимо родинні стосунки предикатами в такій формі: «х — батько у», «у — син х». Тоді предикат-відношення R (х, у) означатиме: «х' — батько у>, «у — син х». Функція R (х, у) після підставляння замість х і у імен певних людей набуває значення «істина» або «лож» залежно від того, чи є вказані люди родичами.

Книга: Вступ до сучасної логіки / Жоль

ЗМІСТ

1. Вступ до сучасної логіки / Жоль
2. ГЛАВА 1. ЛОГІКА І ПРИЙНЯТТЯ РІШЕННЯ § 1. Технічні системи та їхня роль у підвищенні ефективності рішень, що приймаються
3. § 2. Алгебра контактних схем
4. § 3. Теорія множин
5. ГЛАВА 2. ВІД ЛОГІКИ ДО МЕТАЛОГІКИ § 4. Аксіоматика в логіці й математиці
6. § 5. Проблеми теорії множин
7. § 6. Логічні дослідження Д. Гільберта
8. § 7. Поглиблене розуміння аксіоматичного методу
9. ГЛАВА 3. ЛОГІКА ВИСЛОВЛЕНЬ, АБО ПРОПОЗИЦІЙНА ЛОГІКА § 8. Формалізовані мови науки й формальна логіка.
10. § 9. Змінні й постійні в мові науки
11. § 10. Закони логіки, таблиці істинності та логічні сполучники
12. § 11. Трактування релейно-контактних схем у термінах логіки висловлень
13. § 12. Індуктивні й дедуктивні умовиводи
14. ГЛАВА 4. ЛОГІКА ПРЕДИКАТІВ, АБО ПРОПОЗИЦІЙНИХ ФУНКЦІЙ § 13. Відмітні риси логіки предикатів
15. § 14. Дескрипція
16. § 15. Суть проблеми існування в логіці
17. § 16. Квантор існування
18. § 17. Значення виразу «бути поняттям»
19. § 18. Квантори й змінні: істотні уточнення
20. ГЛАВА 5. НОВІ ЛОГІЧНІ ІДЕЇ І СИСТЕМИ § 20. Розвиток ідей математичного конструктивізму
21. § 21. Конструктивна логіка
22. § 22. Ця дивна нечітка логіка
23. § 23. Проблеми модальної логіки
24. § 24. З історії терміна «семантика»
25. § 25. Логічна семантика: проблеми й поняття
26. ГЛАВА 6. ЛОГІКА І КІБЕРНЕТИКА § 26. Кібернетика, логіка й теорія кінцевих автоматів
27. § 27. «Машина Тьюрінга». Вплив математичної теорії зв'язку на логіко-семантичні дослідження
28. § 28. «Штучний інтелект» з погляду логіків

На попередню


Додати в закладки



Додати в закладки zakladki.ukr.net Додати в закладки links.i.ua Додати в закладки kopay.com.ua Додати в закладки uca.kiev.ua Написати нотатку в vkontakte.ru Додати в закладки twitter.com Додати в закладки facebook.com Додати в закладки myspace.com Додати в закладки google.com Додати в закладки myweb2.search.yahoo.com Додати в закладки myjeeves.ask.com Додати в закладки del.icio.us Додати в закладки technorati.com Додати в закладки stumbleupon.com Додати в закладки slashdot.org Додати в закладки digg.com
Додати в закладки bobrdobr.ru Додати в закладки moemesto.ru Додати в закладки memori.ru Додати в закладки linkstore.ru Додати в закладки news2.ru Додати в закладки rumarkz.ru Додати в закладки smi2.ru Додати в закладки zakladki.yandex.ru Додати в закладки ruspace.ru Додати в закладки mister-wong.ru Додати в закладки toodoo.ru Додати в закладки 100zakladok.ru Додати в закладки myscoop.ru Додати в закладки newsland.ru Додати в закладки vaau.ru Додати в закладки moikrug.ru
Додати в інші сервіси закладок   RSS - Стрічка новин сайту.
Переклад Натисни для перекладу. Сlick to translate.Translate