Інформатика і логіка, логіка в інформатиці

Форми людського мислення

Отже, предметом дослідження науки логіки є людське мислення. Мислення завжди здійснюється в якихось формах. У логіці виділяють наступні форми мислення:


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

Істотними називаються такі ознаки, кожен з яких, взятий окремо, необхідний, а всі разом достатні, щоб з їх: допомогою відрізнити (виділити) даний предмет (явище) від усіх інших і зробити узагальнення, об'єднавши однорідні предмети в безліч.

Наприклад, ознаками поняття апельсин є: круглий, помаранчевий, пружний, солодкий, ароматний. Чи можна за цими ознаками відрізнити апельсин від неапельсіна? За ним легко відрізнити апельсин від яблука, але не можна відрізнити апельсин від мандарина: великий мандарин можна сплутати з маленьким апельсином. Тому для точної ідентифікації апельсина необхідно ввести додаткові ознаки.

Наприклад, обсяг поняття річка - це безліч, що складається з річок, що носять імена Об, Іртиш, Єнісей, Волга і ін. Обсяг поняття учень включає в себе всіх людей, які коли-небудь вчилися (зокрема, "чого-небудь і як- небудь "), вчаться зараз або будуть вчитися коли-небудь.


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

Мовним виразом суджень є оповідної пропозицію. Судження бувають простими і складними.

Наприклад, Настала весна зростання судження, а Настала весна, і прилетіли грак і помилкове, що складається з двох простих.

Наприклад, для кого-то істинним є, що свободу, безпеку і комфорт дають глибокі знання, а для кого-то вободи, безпеку і комфорт дають великі гроші.

Логічна форма міркування то його будова, спосіб зв'язку його складових частин.

Форма судження, на відміну від його змісту, об'єктивна, т. Е. Не залежить від тих чи інших поглядів тієї чи іншої людини.


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

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

Всі люди смертні. Сократ еловек. Сократ смертний.

Зауважимо, що посилками умовиводи за правилами логіки можуть бути тільки істинні судження. Будь-яке умовивід, так само як і судження, має свою форму. Ця форма може бути логічно правильної або логічно неправильною. Так, в прикладі з Сократом форма умовиводу логічно вірна: Всі S є Р. Деякі А є S. Деякі А є Р.

Чи правильно міркує чоловік, коли він говорить:

Якщо щось є метал, то воно проводить електричний струм, Алюміній проводить струм.
Якщо S є Р1, то S є Р2.
А є Р2.
Алюміній - метал.
А є Р1.

З істинних посилок вийшло справжнє висновок. Можна припустити, що, розмірковуючи по даній формі, ми отримаємо з істинних посилок справжнє висновок у всіх випадках. Перевіримо це:

Якщо щось є метал, то воно проводить електричний струм, Вода проводить струм.
Якщо S є Р1, то 5 є Р2.
А є Р2.
Вода - метал.
А є P1

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

Розглянемо, наприклад, наступну фразу:

Якщо у людини підвищена температура, то він хворий; ця людина хвора; отже, у нього повинна бути підвищена температура.
Це приклад міркування, побудованого за тією ж невірною схемою (формі):
Якщо є перше, тобто друга; другого є; отже, є перше.

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

Приклади понять:
1) апельсин,
2) трапеція,
3) белнзін,
4) річка Ніл,
5) ураганний вітер;
6) студент медичного інституту.


Приклади суджень:
1) Цей апельсин смачний.
2) Якщо пройшов дощ, то на вулиці весна.
3) На Місяці живуть лунатики, а на Марсі арсіане.


Приклади умовиводів:
1) Усі люди смертні. Сократ еловек
Сократ смертний.
2) Людей багато.
Сократ еловек.
Сократ багато.
3) Чотирикутник (S1), у якого протилежні сторони паралельні (Р), є паралелограм (S2). Квадрат (S3) - це чотирикутник (S1), у якого протилежні сторони паралельні (Р).