трусики женские украина

На головну

 Логіка як предмет - Логіка

Модальної логіки

1. ЛОГІЧНІ модальностей

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

Модальна логіка - розділ логіки, в якому досліджуються логічні зв'язки модальних висловлювань.

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

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

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

Істинність логічно необхідного висловлювання встановлюється незалежно від досвіду, на чисто логічних підставах. Логічна необхідність є, таким чином, більш сильним видом істини, ніж фактична істинність. Наприклад, вислів «Сніг бел» фактично істинно, для підтвердження його

Завдання логіки.

1. Правильне міркування.

Слово «Логіка» вживається досить часто, але в різних значеннях. Нерідко говорять про логіку подій, логіці характеру і т. П. У цих випадках мається на увазі певна послідовність і залежність подій або вчинків, наявність в них деякої загальної лінії.

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

Міркування являє собою певну, внутрішньо обумовлену зв'язок тверджень. Відмітна особливість правильного висновку полягає в тому, що від істинних посилок він завжди веде до істинного висновку.

2. Логічна форма.

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

3.Дедукція та індукція.

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

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

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

Індукція не дає повної гарантії отримання нової істини з вже наявних. Максимум, про який можна говорити, це певна ступінь ймовірності виведеного затвердження.

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

4. Інтуїтивна логіка.

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

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

5. Деякі схеми правильних міркувань.

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

Логічні закони лежать в основі логічно досконалого мислення. Міркувати логічно правильно - значить міркувати відповідно до законів логіки.

Ось деякі, найбільш часто використовувані схеми:

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

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

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

· Є, щонайменше, або перше або друге; але перший ні; значить, є друге. Наприклад: «Буває день і ніч; Зараз ночі немає; отже, зараз день ».

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

· Невірно, що є і перше, і друге; отже, немає першого або другого. Є перше або є друге; значить, невірно, що немає першого і немає другого. Ці та близькі їм схеми дозволяють переходити від тверджень з союзом «і» до тверджень з союзом «або», і навпаки.

6. Традиційна і сучасна логіка.

Історія логіки охоплює близько двох з половиною тисячоліть. «Старше» формальної логіки тільки філософія і математика.

На першому етапі, зазвичай званому традиційною логікою, формальна логіка розвивалася дуже повільно. Кант (1724-1804) говорив, що формальна логіка є завершеною наукою, що не просунулися з часу Аристотеля ні на Одан крок. Г. Лейбніц (1646-1716) дав ясне вираження ідей уявити доказ як обчислення, подібне обчисленню в математиці. Ідеї ??Лейбніца не зробили, однак, помітного впливу на його сучасників. Фреге (1848-1925) у своїх роботах став застосовувати формальну логіку для дослідження підстав математики. Фреге був переконаний, що «арифметика є частина логіки і не повинна запозичувати ні у досвіду, ні у споглядання ніякого обгрунтування».

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

7. Сучасна логіка та інші науки.

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

Математична логіка виникла, по суті, на стику двох таких різних наук, як філософія, або точніше - філософська логіка, і математика. Тісний зв'язок сучасної логіки з математикою додає особливу гостроту питання про взаємні відносини цих двох наук. Згідно Фреге і Расселу математика і логіка - це всього лише два ступені в розвитку тієї ж самої науки. Математика може бути повністю зведена до логіки, і таке чисто логічне обгрунтування математики дозволить встановити її справжню і найбільш глибоку природу. Цей підхід до обгрунтування математики отримав назву логіцізма.

Сучасна логіка також тісно пов'язана з кібернетикою - наукою про закономірності управління процесами і системами в будь-яких галузях: в техніці, в живих організмах, у суспільстві. Основоположник кібернетики, американський математик Вінер не без підстав підкреслював, що саме виникнення кібернетики було б немислимо без математичної логіки.

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

Слова і речі.

1. Мова як знакова система.

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

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

Правила значення зазвичай діляться на три групи:

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

· Дедуктивні. Такі правила вимагають прийняття наслідків, що випливають з деяких посилок, якщо прийняті самі посилки.

· Емпіричні. Такі правила значення, припускають вихід за межі мови і позамовних спостереження.

Мови, що включають емпіричні правила значення, прийнято називати емпіричними. Всі мови можуть бути розділені на природні, штучні і частково штучні.

2. Основні функції мови.

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

Ще одна функція мови - спроба змусити щось зробити. Вирази, в яких реалізується намір мовця домогтися того, щоб слухає зробив щось, різноманітні.

Мова може служити також для вираження різноманітних почуттів. Також він може використовуватися для зміни світу словом.

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

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

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

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

3. Логічна граматика.

З граматики добре відомо поділ пропозицій на частини мови - іменник, прикметник, дієслово і т. Д. Розподіл мовних виразів на семантичні категорії, широко використовуваний в логіці, нагадує це граматичне підрозділ і в принципі відбулося з нього. На цій підставі теорію семантичних категорій іноді називають «логічної граматикою». Її завдання - запобігати змішання мовних виразів різних типів, які веде до утворення безглуздих виразів.

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

Іменами є мовні вирази, підстановка яких у форму «S є P» замість змінних S і P дає осмислене пропозицію.

Пропозиція (висловлення) - це мовне вираження є істинним чи хибним.

Функтор - це мовне вираження, яка не є ні ім'ям, ні висловлюванням і служить для утворення нових імен або висловлювань з вже наявних.

Імена.

1. Види імен.

Імена - необхідний засіб пізнання і спілкування. Позначаючи предмети і їх сукупності, імена пов'язують мову з реальним світом. Імена природні і причинні, як ті речі, з якими вони пов'язані.

Ім'я - це вираження мови, що позначає окремий предмет, сукупність подібних предметів, властивості, відносини і т. Д.

Вираз мови є ім'ям, якщо воно може використовуватися в якості підмета «S є P» (S - підмет, P - присудок).

2. Відношення між іменами.

Зміст імені - це сукупність тих властивостей, які властиво всім предметам, що позначається даним ім'ям, і тільки їм.

Обсяг імені - це сукупність, або клас, тих предметів, які мають ознаки, що входять у зміст імені.

3. Визначення

Визначення - логічна операція, що розкриває зміст імені. Визначити ім'я - значить, вказати, які ознаки входять в його зміст.

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

Контекстуальні визначення завжди залишаються значною мірою неповними і нестійкими. Майже всі визначення, з якими ми зустрічаємося в звичайному житті, - це контекстуальні визначення.

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

До явних визначень і, зокрема, до родо-видовим пред'являються ряд досить простих і очевидних вимог. Їх називають зазвичай правила визначення:

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

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

· Визначення має бути ясним.

4. Розподіл.

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

Вимоги, що пред'являються до поділу, досить прості:

· Розподіл має вестися тільки по одній підставі. Ця вимога означає, що обраний спочатку в якості підстави окремий ознака або сукупність ознак не слід під час розподілу іншими ознаками.

· Розподіл має бути соразмерімим, або вичерпним, тобто сума обсягів членів поділу повинна дорівнювати обсягу діленого поняття. Ця вимога застерігає проти пропуску окремих членів поділу.

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

· Розподіл має бути безперервним. Це правило вимагає не робити стрибків у розподілі, переходити від вихідного поняття до однопорядочним видам, але не до підвиду одного з таких видів.

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

Класифікація - це багатоступінчате, розгалужене поділ. Результатом класифікації є система супідрядних імен: ділене ім'я є родом, нові імена - видами, видами видів (підвидами).

Висловлювання.

1. Прості і складні висловлювання. Заперечення, ко?юнкція, диз'юнкція.

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

Висловлювання вважається істинним, якщо дається їм опис відповідає реальній ситуації, і помилковим, якщо не відповідає їй. «Істина» і «брехня» називається істиннісними значеннями висловлювання.

Висловлювання називаються простим, якщо воно не включає інших висловлювань в якості своїх частин. Висловлювання є складним, якщо воно отримано за допомогою логічних зв'язок з кількох більш простих висловлювань.

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

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

 А -А

 І Л

 Л І

В результаті з'єднання двох висловлювань за допомогою слова «і», ми отримуємо складне висловлювання, зване ко?юнкціей. Висловлювання, що з'єднуються таким способом, називаються членами ко?юнкціі. Ко?юнкція істинна тільки у випадку, коли обидва входять до неї висловлювання є істинними; якщо хоча б один з її членів хибна, то вся ко?юнкція помилкова. Позначаємо ко?юнкцію символом &. Таблиця істинності для ко?юнкціі:

 А В А & В

 І І І

 І Л Л

 Л І Л

 Л Л Л

Поєднуючи два висловлювання з допомогою слова «або», ми отримуємо диз'юнкцію цих висловлювань. Висловлювання, що утворюють диз'юнкцію цих висловлювань, називаються членами диз'юнкції. Символ V буде позначати диз'юнкцію в неісключаемие сенсі, для диз'юнкції в виключає сенсі буде використовуватися символ V`. Таблиці для двох видів диз'юнкції показують, що неісключаемие диз'юнкція істина, коли хоча б одне з вхідних в неї висловлювань істинно, і помилково, тільки коли обидва її члена помилкові; виключає диз'юнкція істинна, коли істинним є тільки один з її членів, і вона помилкова, коли обидва її члени істинні або обидва хибні.

 А В АVВ АV`В

 І І І Л

 І Л І І

 Л І І І

 Л Л Л Л

2. Умовне висловлювання, імплікація, еквівалентність.

Умовне висловлювання - складне висловлювання, формулюється зазвичай за допомогою зв'язки «якщо ...., То ...» і встановлює, що одна подія, стан є в тому чи іншому сенсі підставою або умовою для іншого.

Умовне висловлювання складається з двох простих висловлювань. Те, якому наказано слово «якщо», називається підставою, або антецедентом (попередньому); вислів, що йде після слова «то», називається наслідком, або Консеквентні (наступним).

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

Умовне висловлювання знаходить дуже широке застосування у всіх сферах міркування. У логіці воно видається, як правило, за допомогою импликативного висловлювання, або імплікації. Стверджуючи імплікації, ми стверджуємо, що не може статися, щоб її підстава була істинним, а наслідок хибним. Для встановлення істинності імплікації «якщо А, то В» достатньо з'ясувати істиннісні значення висловлюванні А і В. З чотирьох можливих випадків імплікація істина в наступних трьох:

· І її підстава, і її наслідок правдиві;

· Підстава ложно, а наслідок істинно;

· І підставу, і слідство помилкові.

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

 А В

 А В

 І І І

 І Л Л

 Л І І

 Л Л І

Еквівалентність - складніше вислів «А, якщо і тільки якщо В», утворене з висловлювань А і В разлагающееся на дві імплікації: «якщо А, то В» і «якщо В, то А». Якщо логічні зв'язки визначаються в термінах істини і брехні, еквівалентність істинна тоді і тільки тоді, коли обидва складові її висловлювання мають один і той же істинне значення, тобто коли вони обидва істинні або обидва хибні. Позначимо еквівалентність символом

 А В

 А В

 І І І

 І Л Л

 Л І Л

 Л Л І

Модальної логіки

1. ЛОГІЧНІ модальностей

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

Модальна логіка - розділ логіки, в якому досліджуються логічні зв'язки модальних висловлювань.

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

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

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

Істинність логічно необхідного висловлювання встановлюється незалежно від досвіду, на чисто логічних підставах. Логічна необхідність є, таким чином, більш сильним видом істини, ніж фактична істинність. Наприклад, вислів «Сніг бел» фактично істинно, для підтвердження його істинності потрібно емпіричне спостереження. Висловлювання ж «Сніг є сніг», «Біле - це біле» і т.п. необхідно істинні: для встановлення їх істинності не потрібно звертатися до досвіду, достатньо знати значення вхідних в них слів. Оскільки дані висловлювання логічно необхідні, кожне з них можна передувати оборотом «логічно необхідно, що ...» («Логічно необхідно, що сніг є сніг» і т.п.).

Логічна можливість - це внутрішня несуперечливість висловлювання.

Вислів «Коефіцієнт корисної дії парової машини дорівнює 100% є, очевидно, хибним, але воно внутрішньо несуперечливо і, значить, логічно можливо. Але вислів «к.к.д. такої машини вище 100% »суперечливо і тому логічно неможливо.

Логічна можливість може бути визначена і через поняття логічного закону: логічно можливо висловлювання, не суперечить законам логіки.

Скажімо, висловлювання «Мікроби - живі організми» сумісно з законами логіки і, отже, логічно можливо. Висловлення ж «Невірно, що якщо людина - письменник, то він письменник» суперечить логічному закону тотожності і тому є логічно неможливим.

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

Висловлювання логічно випадково, коли і воно саме, і його заперечення є логічно можливими.

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

Логічно неможливе висловлювання - це внутрішньо суперечливе висловлювання.

. Логічно неможливі, наприклад, висловлювання: «Рослини дихають і рослини не дихають» і «Невірно, що, якщо Всесвіт нескінченний, то вона нескінченна». Обидва вони є запереченнями логічних законів: перше - закону протиріччя, друге - закону тотожності.

Поняття логічної необхідності і можливості можна визначити одне через інше:

«А логічно необхідно» означає «заперечення А не є логічно можливим» (наприклад: «Необхідно, що холод є холод» означає «Неможливо, щоб холод не був холодом»);

«А логічно можливо» означає «заперечення А не є логічно необхідним» («Можливо, що кадмій - метал» означає «Невірно, що необхідно, що кадмій - не метал»).

Логічну випадковість можна визначити через логічну можливість: «логічно випадково А» означає «логічно можливо як Л, так і не - А» («Логічно випадково, що на Землі є життя» означає «Логічно можливо, що на Землі є життя, і логічно можливо, що на Землі немає життя »).

Логічно необхідне вислів є істинним, але не навпаки: не кожна істина логічно необхідна. Логічно необхідне вислів є також логічно можливим, але не навпаки: не всі логічно можливе логічно необхідно.

З істинності висловлювання випливає його логічна можливість, але не навпаки: логічна можливість слабкіше істинності.

1. Гетманова А.Д. Логіка. М., 1998.

2. Іванов А. Логіка. М., 2002.

3. Івлєв Ю.В. Логіка. М., 1997.

4. Свинцов В.І. Логіка. М., 1987.

5. Філософський енциклопедичний словник - М. 2003.

Авіація і космонавтика
Автоматизація та управління
Архітектура
Астрологія
Астрономія
Банківська справа
Безпека життєдіяльності
Біографії
Біологія
Біологія і хімія
Біржова справа
Ботаніка та сільське господарство
Валютні відносини
Ветеринарія
Військова кафедра
Географія
Геодезія
Геологія
Діловодство
Гроші та кредит
Природознавство
Журналістика
Зарубіжна література
Зоологія
Видавнича справа та поліграфія
Інвестиції
Інформатика
Історія
Історія техніки
Комунікації і зв'язок
Косметологія
Короткий зміст творів
Криміналістика
Кримінологія
Криптологія
Кулінарія
Культура і мистецтво
Культурологія
Логіка
Логістика
Маркетинг
Математика
Медицина, здоров'я
Медичні науки
Менеджмент
Металургія
Музика
Наука і техніка
Нарисна геометрія
Фільми онлайн
Педагогіка
Підприємництво
Промисловість, виробництво
Психологія
Психологія, педагогіка
Радіоелектроніка
Реклама
Релігія і міфологія
Риторика
Різне
Сексологія
Соціологія
Статистика
Страхування
Будівельні науки
Будівництво
Схемотехніка
Теорія організації
Теплотехніка
Технологія
Товарознавство
Транспорт
Туризм
Управління
Керуючі науки
Фізика
Фізкультура і спорт
Філософія
Фінансові науки
Фінанси
Фотографія
Хімія
Цифрові пристрої
Екологія
Економіка
Економіко-математичне моделювання
Економічна географія
Економічна теорія
Етика

8ref.com

© 8ref.com - українські реферати


енциклопедія  бефстроганов  рагу  оселедець  солянка