Формальна логіка

[ виправити ] текст може містити помилки, будь ласка перевіряйте перш ніж використовувати.

скачати

Контрольна робота з логіки

Тема: «Формальна логіка»

ПЛАН РОБОТИ

Завдання контрольної роботи - стор 1
ПОНЯТТЯ завдання 1-3 - стор 2
ПРОСТИЙ КАТЕГОРИЧНИЙ СИЛОГІЗМ завдання 4 - стор 5
СУДЖЕННЯ завдання 5-7 - стор 8
ЛОГІЧНИЙ КВАДРАТ завдання 8 - стор 10
СКЛАДНЕ МІРКУВАННЯ завдання 9 - стор 10
ЛІТЕРАТУРА - стор 12

Завдання контрольної роботи

1) Встановіть співвідношення понять: обличчя, симпатичне обличчя, людина.

2) Узагальніть кожне поняття окремо: особистість; воля.

3) Обмежте кожне поняття окремо: психологія; психологія особистості.

4) Встановіть правильність простого категоричного силогізму, визначивши його фігуру і модус, якщо силогізми не правильний, знайдіть його правильну форму:

Інновація є нововведення. Інновація є нововведення. Нововведення є нововведення.

Людський фактор є найважливіший фактор прийняття управлінського рішення. Людський фактор не слід виключати з прийняття управлінського рішення. Не слід виключати з прийняття управлінського рішення його найважливіший фактор.

5) Перетворіть судження за правилами "перетворення": Дім людини - його фортеця (Е. Коук)

6) Перетворіть судження за правилами "звернення": Жодна людина не повинен робити зла.

7) Перетворіть судження за правилами "протиставлення предикату":

Подяка - пам'ять серця.

8) Здійсніть умовивід по логічному квадрату, наступного судження: Розсудливість - найкраща риса хоробрості (У. Шекспір)

9) Поверніть терміни, що входять до складу даного складного судження і напишіть його в символічній формі, використовуючи логічні знаки кон'юнкції, диз'юнкції, імплікації і еквіваленціі:

Характерною особливістю Росії є нерівномірність освоєння її території. Процес організації територіального управління завжди відрізняла неповна залученість і інших природних і територіальних ресурсів до загального ресурсообмен, містить серйозні диспропорції.

Поняття

Поняття. [1]

Поняття - думка, за допомогою якої виражається суб'єкт, предикат і ставлення; думка про предмет, що виділяє в ньому істотні ознаки, за якими предмет можна відрізнити від схожих, але не точно збігаються з ним і явно несхожих предметів.
Суб'єкт (S) - думка, що виділяє предмет судження.
Предикат (Р) - думка, розкриває у судженні частина змісту, що належить предмету.
Ставлення - думка, що розкриває розглянуту в судженні зв'язок, між його суб'єктом і його предикатом.
Ознаки предмета - думка про властивості предмета. Кожен предмет має ряд властивостей, загальних у нього з іншими предметами і ряд властивостей, якими він відрізняється від інших предметів.
Ознака поняття - мислимий ознака, відображення в свідомості ознака предмета.
Істотні ознаки - необхідні і достатні для відмінності даного предмета від інших, з якої-небудь сторони його змісту. Істотні ознаки відрізняють в понятті про предмет, що обов'язково має бути для відповідності поняття предмету. Особливу поняття про предмет - група істотних ознак, яка може бути виділена в думці про предмет. Істотні ознаки вказують на ознаки належать самому предмету, отримати з його власного змісту, вони безвідносно і незалежні.
Зміст поняття - сукупність істотних ознак предмета, мислимих у понятті про нього.
Обсяг поняття - сукупність предметів, мислимих в даному понятті.
Зміст і обсяг повинні бути різні в кожному понятті. З точки зору походження наших понять зміст поняття зазвичай визначається його обсягом. З точки зору застосування сформованого поняття обсяг поняття визначається змістом поняття.

Відносини між поняттями.

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

Порівнянні поняття
Сумісні поняття -
два таких поняття, у змісті яких немає ознак, що виключають можливість повного або часткового збігу обсягів цих понять.
Несумісні поняття -
два таких поняття, у змісті яких є ознаки, що виключають можливість повного або часткового збігу обсягів цих понять.
  • равнозначащіе поняття - у змісті, яких різні ознаки, пов'язані між собою, в силу цих зв'язків обсяги цих понять збігаються, виявляються тотожні;
  • підлеглі поняття - відношення підпорядкування є ставлення приватного поняття, до більш загального поняття, і, назад, ставлення поняття більш загального до поняття більш приватному (прямокутний трикутник - підлегле поняття, а трикутник підкоряє, родове);
  • перехрещуються поняття - у змісті, яких є ознаки різні, але які можуть належати предмету в різних відносинах, і тому може бути частковий збіг обсягів понять.
  • суперечать поняття - одне поняття має у своєму змісті відому групу ознак, а інше - укладає заперечення цих ознак;
  • протилежні поняття - у змісті одного поняття не тільки заперечуються ознаки іншого, але і замінюються несумісними;
  • супідрядні поняття - будучи однаково загальними, вони підпорядковані пологовому поняттю, найближчому до них за ступенем спільності.
Родове поняття - поняття більш широке, ніж видове за обсягом, містить в своєму змісті менше, порівняно з видовим поняттям, кількість ознак.
Приватні ознаки вводяться для відмінності одного виду від іншого.
У поняттях стоять один до одного щодо роду та виду, обсяг і зміст знаходиться між собою в зворотному відношенні: більшому обсягу відповідає менший вміст, і, навпаки, більшого змісту менший обсяг.
Визначення поняття - встановлення його змісту. Обсяг поняття знаходиться в зворотному відношенні до його змістів, зазначеним у визначенні.
Умови правильного поняття.
Відповідність - обсяг визначального поняття в точності дорівнює обсягу поняття можна виявити.
Визначення не повинно містити в собі коло - поняття не має визначатися іншим поняттям, визначеним першим.
Поняття не повинно бути тільки негативним, - вказує які ознаки не належать поняттю і не вказує належать.
Ясність - відсутність двозначності.

Логічні операції. [2]

Узагальнення поняття - логічна операція по виключенню видового ознаки, в результаті якої виходить поняття більш широкого обсягу. Перехід від особливого до чогось загального.
Узагальнення - це перехід від деякого поняття до іншого, більш широкому за обсягом, від підлеглого поняття до підкоряється, за рахунок виключення зі змісту вихідного поняття будь-яких ознак, що складають видову відмінність узагальнених у цьому предметі ознак.
Кожен акт узагальнення повинен бути переходом від виду до деякого найближчого роду.
Узагальнення пов'язано з прийомом абстрагування, відволіканням від якихось особливостей, мислимих в понятті предметів.
Питання про межі узагальнення поняття в системі знання вирішується конкретно для кожної науки чи теорії.
Обмеження поняття - включення в поняття нової ознаки, призводить до звуження обсягу поняття. Це перехід до поняття з меншим обсягом відбувається за рахунок додавання нових ознак до видового відмінності вихідного поняття, являє собою перехід від підкоряється поняття до підлеглого.
Кожен акт обмеження - це перехід від роду до деякого найближчого увазі.
Обмеження поняття є його конкретизація, яка пов'язана з урахуванням особливостей при утворенні більш вузького поняття. Це виділення особливого в межах чогось спільного.
Межами обмеження є одиничні поняття.

Виконання завдання

1) Встановіть співвідношення понять: обличчя, симпатичне обличчя, людина.
Поняття ОСОБА-симпатичне обличчя можна порівняти, сумісні і підпорядковані. Обсяг поняття симпатичне обличчя є частиною обсягу поняття ОСОБА, це родовідових логічне відношення.
Симпатичний-
ве обличчя
особа


Поняття ОСОБА-ЛЮДИНА, якщо поняття ОСОБА розуміти як сукупність органів голови людини, перебувають у відношенні частина-ціле, такі відносини називаються меріологіческімі.
Якщо поняття ОСОБА розглядати, як позначення індивіда (наприклад: «особа без певного місця проживання»), то співвідношення понять ОСОБА-ЛЮДИНА, є сумісною парою рівнозначних понять, а співвідношення понять симпатичне обличчя-ЛЮДИНА, є родовідових, так як поняття симпатичне обличчя, тут, стає характеристикою людини.
2) Узагальніть кожне поняття окремо: особистість; воля.
Особистість - системне соціальне якість, що набувається індивідом у діяльності. (А. В. Петровський) [3]
ОСОБИСТІСТЬ-індивід-ЛЮДИНА-БІОЛОГІЧНИЙ ОБ'ЄКТ
Воля - це свідоме регулювання людиною своегот поведінки та діяльності, виражене в умінні долати внутрішні та зовнішні труднощі при здійсненні цілеспрямованих дій і вчинків. (А. Г. Маклаков) [4]
Варіант А: ВОЛЯ-ІНДИВІДУАЛЬНІ ПСИХІЧНІ ЯКОСТІ-ХАРАКТЕР-ВЛАСТИВОСТІ ОСОБИСТОСТІ
Варіант Б: ВОЛЯ-ПСИХІЧНІ ПРОЦЕСИ-ПСИХІКА (ЛЮДИНИ)
3) Обмежте кожне поняття окремо: психологія; психологія особистості.
ПСИХОЛОГІЯ-ПСИХОЛОГІЯ РОЗВИТКУ-Акмеологія
ПСИХОЛОГІЯ ОСОБИСТОСТІ-ТИПОЛОГІЧНІ ТЕОРІЇ ОСОБИСТОСТІ-ТИПОЛОГІЯ Шелдон

Простий категоричний силогізм [5]

Простий категоричний силогізм - опосередкований дедуктивний умовивід про відношення двох термінів на підставі їх відношення до третього терміну.
ПРИКЛАД:
Всі метали електропровідні. Метал (М)
Срібло - металл.____________
Срібло електропровідні.

Срібло (S) Електропровідність (Р)
Рис. 1.Структура силогізму. (По-Тоноян)
Логічний зміст силогізму - зв'язок двох термінів через третій - відображає суть основної геометричної фігури - трикутника. (См.рис.1.) Дотримуючись цієї геометричної трактуванні, судження можна уявити відрізком прямої, а термін - крапкою. Середній термін М займає центральне місце. У силогізм: він пов'язує, замикає крайні терміни: S і Р. Кожен з термінів простого силогізму може виступати середнім терміном іншого силогізму. Таким чином, судження зв'язуються між собою, утворюючи ланцюги силогізмів - міркування.
Структура силогізму троїчна. Силогізм складається з трьох термінів: середній термін - М, менший термін (суб'єкт висновку) - S, більший термін (предикат висновку) - Р.
Силогізм складається з трьох категоричних суджень, двох посилок і висновку: велика посилка включає в себе більший термін і стоїть на першому місці, менша посилка включає менший термін і не піде за більшою. Висновок записується під рискою.
Чотири фігури простого силогізму
I
II
III
IV
M ---- P

S ---- M
S ---- P
P ---- M
|
S ---- M
S ---- P
M ---- P
|
M ---- S
S ---- P
P ---- M
M ---- S
S ---- P
Модуси - різновиди фігур силогізму. Утворюється шляхом поєднання різних суджень, що входять до посилки і укладання силогізму (ЕА \ Е або IО \ I). Не кожне поєднання істинних посилок утворює правильний модус. Для виведення правильних модусів використовують кругові схеми або застосовують загальні та спеціальні правила силогізму.

Загальні правила силогізму.

  1. Силогізм має тільки три терміни.
  2. Середній термін повинен бути розподілений, принаймні, в одній з посилок.
  3. Термін, не розподілений в посилці, не повинен бути розподілений і в ув'язненні.
  4. З двох негативних посилок висновок не слід.
  5. З двох приватних посилок висновок не слід.
  6. Якщо одна з посилок негативна, в ув'язненні також негативне судження.
  7. Якщо одна з посилок - приватна, висновок - приватне.

Спеціальні правила силогізму.

Для I фігури.
Менша посилка повинна бути ствердною.
Велика посилка повинна бути спільною.
Для II фігури.
Одна з посилок повинна бути негативною.
Велика посилка повинна бути спільною.
Для III фігури.
Менша посилка повинна бути ствердною.
Висновок повинен бути приватним.
Для IVфігури.
Якщо велика посилка в ній - стверджувальне судження, то менша посилка - загальне судження.
Якщо одна посилка - негативна, то велика посилка є спільною судженням.
I
фігура категоричного силогізму
1
модус
AA / A
BARBARA
2
модус
AI / I
DARII
3
модус
EA / E
CELARENT
4
модус
EI / O
FERIO
1a
модус
AA / I
BARBARI
3a
модус
EA / O
CELARONT
MaP
SaM
SaP
MaP
SaM
SaP
MeP
SaM
SeP
MeP
SiM
SoP
MaP
SaM
SiP
MeP
SaM
SoP
II
фігура категоричного силогізму
1
модус
AE / E
CAMESTERS
2
модус
EA / E
CESARE
3
модус
AO / O
BAROCO
4
модус
EI / O
FESTINO
1a
модус
AE / O
CAMESTRO
2a
модус
EA / O
CESARO
PaM
SeM
SeP
PaM
SeM
SeP
PaM
SoM
SoP
PeM
SiM
SoP
PaM
SeM
SoP
PaM
SeM
SeP
III
фігура категоричного силогізму
1
модус
AA / I
DARAPTI
2
модус
AI / I
DATISI
3
модус
IA / I
DISAMIS
4
модус
EA / O
FELAPTON
5
модус
EI / O
FERISON
6
Модус
OA / O
BOCARDO
MaP
MaS
SiP
MaP
MiS
SiP
MiP
MaS
SiP
MeP
MaS
SoP
MeP
MiS
SoP
MoP
MaS
SoP
IV
фігура категоричного силогізму
1
модус
AA / I
BRAMANTIP
2
модус
IA / I
DIMARIS
3
модус
AE / E
CAMENES
4
модус
EA / O
FESAPO
5
модус
EI / O
FRESISON
3a
модус
AE / O
CAMENO
PaM
MaS
SiP
PiM
MaS
SiP
PaM
MeS
SeP
PeM
MaS
SoP
PeM
MiS
SoP
PaM
MeS
SoP

Виконання завдання

4) Встановіть правильність простого категоричного силогізму, визначивши його фігуру і модус, якщо силогізми неправильний, знайдіть його правильну форму:
Інновація є нововведення. Інновація є нововведення. Нововведення є нововведення.
(Нововведення-нововведення-інновація)
Нововведення є нововведення.
Інновація є нововведення.
Інновація є нововведення.
I фігура
M ---- P

S ---- M
S ---- P
1
модус
AA / A
BARBARA
MaP
SaM
SaP
Середній термін (М) - «нововведення» грає роль суб'єкта в більшій посилці і предиката в меншій.
Людський фактор є найважливіший фактор прийняття управлінського рішення. Людський фактор не слід виключати з прийняття управлінського рішення. Не слід виключати з прийняття управлінського рішення його найважливіший фактор.
Людський фактор є найважливіший фактор прийняття управлінського рішення. Людський фактор не слід виключати з прийняття управлінського рішення. Не слід виключати з прийняття управлінського рішення його найважливіший фактор.
III фігура
M ---- P
|
M ---- S
S ---- P
1
модус
AA / I
DARAPTI
MaP
MaS
SiP
Середній термін (М) - «Людський фактор» грає роль суб'єкта в обох посилках. Предикат висновку (Р) - «Найважливіший фактор», суб'єкт висновку (S) - «не слід виключати».

Судження.

Судження - думка, за допомогою якої виділяється предмет, розкривається частина його змісту і затверджується його відношення між предметом і виділеної частиною його змісту. [6]
Категоричні судження - множинні атрибутивні судження

Логіки суджень.

За логічного характером відносини суб'єкта S і предиката Р судження поділяються на групи:
Група 1. Ставлення S і Р мислиться як приналежність властивостей предмету.
Група 2. Ставлення S і Р - як приналежність предмета класу предметів.
Група 3. Ставлення S і Р - як відношення двох предметів за будь-якою ознакою.
Якість суджень.
Стверджувальна форма - з'єднання в дійсності.
Негативне судження - роз'єднання.
Кількість суджень.
Загальні судження «всі S-Р»;
Приватне судження «деяке S-Р»;
Одиничне судження «це S-Р».
Види суджень стосовно.
Категоричні, без обмеження за умовами;
Умовні, істинність полягає у залежності від умов;
Розділові, «А є або В, або С, або Д».
Модальність суджень.
Аподиктичні - виражають необхідність затвердження, обумовлені самим предикатом;
Проблематичні - висловлюють імовірність і можливість протилежного твердження.
Судження одночасно за кількістю та якістю:
Общеутвердітельние - стандартна, логічна форма - «всі S суть Р»;
Общеотріцательное - «жодне S не є Р»;
Частноутвердітельное - «деякі S суть Р»;
Частноотріцательние - «деякі S не суть Р».

Перетворення форми суджень. [7]

Перетворення форми суджень, операціями поводження, перетворення, перетворення, здійснюється за допомогою протиставлення предикату.
Перетворення - це висновок, в якому висновок виходить за допомогою еквівалентного перетворення стверджувального судження в негативне і навпаки. Еквівалентність досягається за рахунок того, що при зміні якості судження змінюється його предикат - він замінюється суперечить поняттям.
Звернення - це умовивід, у якому з цього судження, що не є частноотріцательное, виводиться таке, суб'єктом якого є предикат вихідного, а предикатом - суб'єкт вихідного, тобто перетворення Р в S, S в Р, із збереженням логічного змісту.
Протиставлення предикату - висновок послідовним застосуванням перетворенням вихідного судження і далі зверненням отриманого судження.

Виконання завдання

5) Перетворіть судження за правилами "перетворення":
Дім людини - його фортеця (Е. Коук)
Ні одна будова, яке є домом людини, не є не його фортеця.
6) Перетворіть судження за правилами "звернення":
Жодна людина не повинен робити зла.
Жоден робило зло не повинен називатися людиною.
7) Перетворіть судження за правилами "протиставлення предикату": Подяка - пам'ять серця.
Невдячність - не пам'ять серця.
 

«Логічний квадрат» [8]

А противні Е
Общеутвердітельное
(Всяке S є Р)

Общеотріцательное (жодне S не є Р)
підлеглі
підлеглі
Частноутвердітельное (деякі S належать до Р)
Частноотрицательное (некоторые S не принадлежат Р)
I подпротивные О

Выполнение задания

8)Осуществите умозаключение по логическому квадрату, следующего суждения:
Благоразумие - лучшая черта храбрости (У.Шекспир)
А - Благоразумие - лучшая черта храбрости
Е – неблагоразумие – не лучшая черта храбрости
I – некоторые благоразумные поступки – черта храбрости
О – некоторые благоразумные поступки – не являются чертами храбрости

Сложное суждение. [9]

Суждение, взятое вместе со знаковой формой, в логике принято называть высказыванием.
Сложное суждение содержит в качестве своей правильной части некоторое (некоторые) другое суждение. Вид сложного суждения определяется той логической константной, которая представляет последнюю операцию при образовании данного суждения, но эта последняя операция не определяет всей структуры высказывания. Основные виды сложных суждений: конъюнктивные (А&В), дизъюнктивные (АÚВ), импликативные (АÉВ), образованные из других операцией отрицания (¬А).
При рассмотрении языка, как системы знаков, вместе с синтаксическим и прагматическим аспектами, важно рассматривать и семантический аспект, который составляет совокупность отношений знаков к объектам внеязыковой действительности, т.е. к тому, что они обозначают. Семантические категории – это класс выражений с однотипными предметными значениями, при этом включающие все выражения с предметным значением данного типа, их можно разделить на:
термины дескриптивные (описательные)
ИМЕНА - слова и словосочетания, являющиеся знаками предметов; могут быть охарактеризованы, как языковое выражение такого рода, которое, будучи соотнесенное с каким-либо предметом, явлением, процессом действительности превращает его в предмет мысли.
ПРЕДИКАТОРЫ – выражения языка предметными значениями, которых являются свойства и отношения, которые употребляются, как предметы познания;
ПРЕДМЕТНЫЕ ФУНКТОРЫ – предметными значениями, которых являются предметно-предметные функции, их основная роль образование сложных, описательных имен и степеней свойств;
термины логические
ЛОГИЧЕСКИЕ КОНСТАНТЫ – это логические связки: «если…, то...», «и», «или», «не»; операторы - кванторные слова: «всякий», «любой», «некоторые», «каждый»; оператор определенной дискрипции: «то, который»; оператор неопределенной дискрипции: «некий из».
и, отдельно термин
ПРЕДЛОЖЕНИЯ – знаки особого рода – повествовательные, вопросительные, побудительные предложения.
Перечень знаков синтаксических категорий языка логических высказываний (ЯЛВ) называют исходными символами языка.
Исходные символы ЯЛВ:
  1. Пропозициональные переменные p, g, r, s;
  2. Логические константы (связки): конъюнкция (&, Ù, союз «и»), дизъюнкция (Ú, «или»), импликация (É, ® «если…, то…»), отрицание (¬), эквиваленция, логическая равнозначность (≡ «…если, и только если,…», «…тогда, и только тогда, когда…»);
  3. Технические знаки: левая скобка ( ( ), правая скобка ( ) ).

ВЫПОЛНЕНИЕ ЗАДАНИЯ

9)Установите термины, входящие в состав данного сложного суждения и напишите его в символической форме, используя логические знаки конъюнкции, дизъюнкции, импликации и эквиваленции:
Характерной особенностью России является неравномерность освоения её территории. Процесс организации территориального управления всегда отличала неполная вовлеченность и иных природных и территориальных ресурсов в общий ресурсообмен, содержащий серьезные диспропорции.
В состав данного сложного суждения входят следующие термины:
ИМЕНА – Характерная особенность, Россия, неравномерность освоение, территория, процесс организации, природные и территориальные ресурсы, ресурсообмен, управление.
ПРЕДИКАТОРЫ – вовлеченность, иных, общий.
ПРЕДМЕТНЫЕ ФУНКТОРЫ – диспропорции, неравномерность, неполная.
ЛОГИЧЕСКИЕ КОНСТАНТЫ - и, всегда, содержащий, является.
ПРЕДЛОЖЕНИЯ – повествовательные.
Символическая форма суждения:
( a Ù b) ≡(c Ù (d Ú t)) É g

Література

Асмус В.Ф. Логика. – М., 1947
Войшвилло Е.К., Дегтярев М.Г. Логика. Підручник. - М., 2001.
Гетманова А.Д. Логика. Словарь и задачник. - М., 1998.
Маклаков А.Г. Общая психология – СПб., - 2001.
Загальна психологія. Підручник. \ Под ред. А. В. Петровського. - М., 1986.
Тоноян Л.Г. Сборник задач и упражнений по логике. - СПб., 2000.


[1] Асмус В.Ф. Логика. – М., 1947
[2] Войшвилло Е.К., Дегтярев М.Г. Логика. Підручник. - М., 2001.
[3] Общая психология. Підручник. \ Под ред. А. В. Петровського. - М., 1986.
[4] Маклаков А.Г. Общая психология – СПб., - 2001.
[5] Тоноян Л.Г. Сборник задач и упражнений по логике. - СПб., 2000.
[6] Асмус В.Ф. Логика. – М., 1947
[7] Войшвилло Е.К., Дегтярев М.Г. Логика. Підручник. - М., 2001.
[8] Асмус В.Ф. Логика. – М., 1947
[9] Войшвилло Е.К., Дегтярев М.Г. Логика. Підручник. - М., 2001.
Додати в блог або на сайт

Цей текст може містити помилки.

Психологія | Контрольна робота
74кб. | скачати


Схожі роботи:
Формальна і діалектична логіка
Свідомість та формальна логіка
Формальна і діалектична логіка
Логіка формальна і графічна модель опису виготовлення винних виробів
Діалектика долі людини логіка природи і логіка історії
Математична логіка і логіка здорового глузду
Історичні етапи розвитку логічного знання логіка Давньої Індії логіка Давньої Греції
Формальна кінетика складних реакцій
Формальна школа в російській філософії
© Усі права захищені
написати до нас