UkrReferat.com
найбільша колекція україномовних рефератів

Всього в базі: 75843
останнє поновлення: 2016-12-04
за 7 днів додано 15

Реферати на українській
Реферати на російській
Українські підручники

$ Робота на замовлення
Реклама на сайті
Зворотній зв'язок

 

ПОШУК:   

реферати, курсові, дипломні:

Українські рефератиРусские рефератыКниги
НазваПредмет, структура та завдання формальної логіки (реферат)
АвторPetya
РозділЛогіка, формальна логіка, юридична логіка
ФорматWord Doc
Тип документуРеферат
Продивилось10661
Скачало1269
Опис
ЗАКАЧКА
Замовити оригінальну роботу

дковане

фізіології вищої нервової діяльності.

 

2. Фундаментальним поняттям формальної логіки є логічна форма мислення.

Її можна визначити як форму взаємозв’язку частин мислимого змісту.

Певний спосіб зв’язку може бути одним і тим самим для необмеженої

кількості тверджень, кожне з яких відрізняється своїм конкретним

змістом:

 

1) Земля є планета.

 

2) Сполучник є частина мови.

 

3) Сковорода є великий філософ і т.ін.

 

Загальна структура у наведених думках складається з:

 

а) частини, що відповідає предмету твердження (S);

 

б) частини, що відповідає тому, що говориться про даний предмет (Р), і

зв’язки «є».

 

S у логіці називається суб’єктом, а Р — предикатом. S і Р — змінні

знаки, знак «є» — постійний знак. Зазначені вище різнорідні думки

(речення) можуть бути записані логічними символами таким чином: S (є) Р.

 

У логіці у вигляді постійних знаків використовуються також слова

природної мови: «всі» та «деякі».

 

1. Всі S (є) Р; 2. Деякі S (є) Р.

 

Підставивши у формулу 1 замість S і Р слова або словосполучення, ми

одержимо твердження про те, що один клас предметів цілком міститься в

іншому певному класі предметів, що загальні ознаки предметів другого

класу притаманні кожному з предметів першого класу. Підстановка певних

слів і словосполучень у формулу 2 завжди буде приводом до тверджень,

загальний зміст яких полягає у тому, що тільки деяка частина одного

класу предметів міститься в іншому класі предметів, що загальні ознаки

предметів, які становлять другий клас, притаманні лише частині предметів

першого класу.

 

Речення простої логічної форми або структури можуть вступати між собою у

логічний зв’язок, утворюючи речення більш складної логічної форми або

структури, загальної для багатьох подібних тверджень (думок) різного

конкретного змісту. Зокрема, речення, наведені нами у вигляді прикладів,

можуть стати елементами більш складних логічних структур. які в логіці

називаються умовиводом і мають багато видів та різновидів.

 

Розглянемо приклад умовиводу, що виводиться з простих взаємозв’язаних

суджень:

 

Всі люди є смертні.

 

Кай є людина.

 

Кай є смертний.

 

У загальному вигляді цю структуру можна записати формулою:

 

Всі М є Р.

 

Всі S є М.

 

Отже, всі S є Р,

 

Є

 

¬

 

ф

 

¦

 

Ё

 

ф

 

існує в третьому твердженні після слова «є». S — елемент думки, що

існує в цьому самому твердженні перед словом «є».

 

Водночас кожен з елементів думки, який позначається символами S і Р,

міститься в одному з двох перших тверджень.

 

У реальному процесі мислення його логічні форми не існують окремо від

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

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

конкретного змісту думок. Таким самим чином діють у геометрії і

граматиці.

 

З поняттям логічної форми тісно пов’язане поняття формально-логічного

закону.

 

Довільний формально-логічний закон є не що інше, як відношення між

логічними формами думки. Подібно до таких, що виражаються в законах

довільної іншої науки, відношення між логічними структурами думки

характеризуються фактором необхідності. Це означає, що формально-логічні

-----> Page:

[0] 1 [2] [3]

ЗАМОВИТИ ОРИГІНАЛЬНУ РОБОТУ