Українська Банерна Мережа
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


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



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


Скачати одним файлом. Книга: ЛОГІКА ДЛЯ ЮРИСТІВ: ЛЕКЦІЇ. / Правничий коледж ЛНУ ім. І.Франка


5. Мова логіки висловлювань.

Мова логіки висловлювань — це штучна мова, призначена для аналізу логічної структури складних висловлювань.

Вона характеризується алфавітом (списком знакових засобів) і визначенням формули.

АЛФАВІТ або знаки змінних логіки висловлювань:

Р, q, r, s,...

Ці знаки служать для позначення простих висловлювань природної мови. У зв'язку з цим їх ще називають пропозиційними змінними.

Знаки логічних сполучників:

~ — знак заперечення (читається: «не», «невірно, що...»);

/\ — знак кон'юнкції (читається: «...і...»);

\/ — знак диз'юнкції (читається: «...або...»);

  — знак імплікації (читається: «якщо..., тоді...»);

 — знак еквіваленції (читається: «...тоді і тільки тоді, коли...»).

Ці знаки служать для позначення граматичних сполучників природної мови і деяких знаків пунктуації.

Технічні знаки:

( — ліва дужка;

) — права дужка,

, — кома.

 

З'ясуємо тепер, який вираз можна вважати формулою логіки висловлювань.

1.  Будь-яка пропозиційна змінна є формулою.

2.  Якщо А — формула, тоді (~ А) також формула.

3.  Якщо А, В — формули, тоді (А /\ В), (А \/ В), (А В), (А В) — також є формулами.

Використовуючи знакові засоби мови логіки висловлювань та визначення формули, можна формалізувати будь-яке дескриптивне висловлювання природної мови, тобто замінити його формулою, яка в явному вигляді виражатиме його логічну форму.

Для цього необхідно зробити такі кроки:

1)  виділити усі прості висловлювання, які входять до складного висловлювання, та позначити їх пропозиційними змінними;

2)  визначити логічні сполучники, які зв'язують прості висловлювання, та позначити їх відповідними знаками;

3)  записати формулу.

Розглянемо висловлювання: „При здійсненні судочинства судді незалежні і підкоряються тільки законові”.

1.  Це складне висловлювання, яке складається з двох простих:

♦ «При здійсненні судочинства судді незалежні»;

♦ «При здійсненні судочинства судді підкоряються тільки законові».

Позначимо їх відповідно пропозиційними змінними: р, q.

2.  До складу висловлювання, що досліджується, входить один граматичний сполучник «і». Йому відповідає логічний сполучник «кон'юнкція».

3.  Запишемо формулу наведеного висловлювання: р /\ q.

Розглянемо висловлювання «Якщо будь-який злочин карається, а крадіжка чужого майна злочинна, тоді вона також карається»

1.  Це складне висловлювання, яке складається з трьох простих:

♦ «Будь-який злочин карається»;

♦ «Крадіжка чужого майна карається»;

♦ «Крадіжка чужого майна злочинна».

Позначимо їх відповідно пропозиційними змінними: р, q, s.

2.  До складу висловлювання, що досліджується, входять два граматичних сполучники «якщо, то», «а». їм відповідають логічні сполучники: «імплікація» і «кон'юнкція».

3.  Запишемо формулу наведеного висловлювання: (р /\ q) — s.

Книга: ЛОГІКА ДЛЯ ЮРИСТІВ: ЛЕКЦІЇ. / Правничий коледж ЛНУ ім. І.Франка

ЗМІСТ

1. ЛОГІКА ДЛЯ ЮРИСТІВ: ЛЕКЦІЇ. / Правничий коледж ЛНУ ім. І.Франка
2. 2. Логіка як наука: її предмет, метод, а також практичне значення її знань.
3. 3. Історичні етапи розвитку логічного знання: логіка Давньої Індії, логіка Давньої Греції
4. 4. Особливості  загальної або традиційної (арістотелівської) логіки.
5. 5. Особливості символічної або математичної логіки.
6. 6. Теоретична і практична логіка.
7. Тема 2: МИСЛЕННЯ І МОВА 1. Мислення (міркування): визначення і особливості.
8. 2. Діяльність і мислення
9. 3. Структура мислення
10. 4. Правильні та неправильні міркування. Поняття про логічну помилку
11. 5. Логічна форма міркування
12. 6. Види і типи мислення.
13. 7. Особливості мислення юриста
14. 8. Значення логіки для юристів
15. Тема 3: Семіотика як наука про знаки. Мова як знакова система. 1. Семіотика як наука про знаки
16. 2. Поняття про знак. Види позамовних знаків
17. 3. Мова як знакова система. Мовні знаки.
18. 4. Структура знакового процесу. Структура значення знака. Типові логічні помилки
19. 5. Виміри і рівні знакового процесу
20. 6. Мова права
21. Розділ III. МЕТОДОЛОГІЧНА ФУНКЦІЯ ФОРМАЛЬНОЇ ЛОГІКИ 1. Метод і методологія.
22. 2. Логічні методи дослідження (пізнання)
23. 3. Метод формалізації
24. ОСНОВНІ ФОРМИ І ЗАКОНИ АБСТРАКТНО-ЛОГІЧНОГО МИСЛЕННЯ 1. Загальна характеристика поняття як форми мислення. Структура поняття
25. 2. Види понять. Логічна характеристика понять
26. 3. Типи відношень між поняттями
27. 4. Операції з поняттями 4.1. Обмеження й узагальнення понять
28. 4.2. Операція поділу понять
29. 4.3. Додавання, множення і віднімання понять (точніше — їх обсягів)
30. 4.4 Операція визначення поняття
31. ОСНОВНІ ФОРМИ І ЗАКОНИ АБСТРАКТНО-ЛОГІЧНОГО МИСЛЕННЯ II. Висловлювання. 1. Загальна характеристика висловлювання
32. 2. Істинність і хибність висловлювання.
33. 3. Прості висловлювання, їх структура і види
34. 4. Відношення між простими висловлюваннями.
35. 5. Мова логіки висловлювань.
36. 6. Складні висловлювання. Логічні сполучники і їхнє табличне визначення
37. 7. Висловлювання про відношення (реляційні висловлювання)
38. 8. Логічний аналіз запитань і відповідей Визначення запитання. Структура запитання
39. Розділ 6. Дедуктивні міркування § 1. Поняття про дедуктивне міркування. Види дедуктивних міркувань
40. § 2. Прямі дедуктивні міркування Суто умовні міркування.
41. § 3. Непрямі дедуктивні міркування
42. Розділ 7. Недедуктивні (правдоподібні) міркування § 1. Загальна характеристика правдоподібних міркувань. Види правдоподібних міркувань
43. § 2. Індуктивні міркування Поняття про індуктивне міркування
44. § 3. Міркування за аналогією
45. Розділ 8. Основи теорії аргументації 1. Поняття про аргументацію. Структура аргументації
46. § 2. Аргументація і суперечка
47. § 3. Види аргументації Доказова і недоказова аргументація
48. § 4. Поняття про критику. Спростування як окремий випадок критики
49. § 5. Види критики
50. § 6. Правила, помилки, хитрощі в аргументації/критиці

На попередню


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



Додати в закладки 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