предмет логіки

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

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

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

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

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

Для з'ясування специфіки предмета логіки і особливо специфіки досліджуваних нею законів необхідно ознайомитися з поняттями логічної форми і логічного змісту думки.

Візьмемо два судження: «Всі метали є хімічно прості речовини» і «Якщо вода при нормальному тиску нагріта до 100 ° С, то вона закипає».

Конкретний зміст думки в першому випадку полягає в твердженні про те, що кожен предмет, який ми характеризуємо як метал, має властивість хімічної простоти, тобто складається з однорідних атомів. Щоб виявити логічну форму і логічний зміст цього судження, треба абстрагуватися від того, які саме ті конкретні предмети, про які в ньому щось стверджується, і які саме ті конкретні властивості, наявність яких у цих предметів затверджується. Відволікаючись від того, що мова тут йде про металах, ми можемо позначити їх змінної S, а замість властивості «хімічно проста речовина» ввести змінну Р. Тоді замість даного конкретного судження отримуємо його логічну форму:

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

Для того щоб виявити логічну форму другого з взятих нами суджень, слід також відволіктися від того, про який саме предмет в ньому йдеться, тобто від того, що твердження стосується саме до води. Замість цього візьмемо деякий позначення окремого предмета, наприклад, а. Разом з тим замінимо властивості «нагріватися при нормальному тиску до 100 о С» на Р1, а «закипати» - на Р2. В результаті отримаємо:

Логічний зміст полягає тут у вказівці на зв'язок між наявністю у предмета одного властивості (Р1) і іншого (Р2).

Тепер розглянемо два умовиводи. перше:

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

Отже, Сократ смертний.

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

Все поліоксіантрахінони - похідні антрацену.

Отже, алізарин - похідне антрацену.

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

Щоб відповісти на це питання, замінимо в наведених умовиводах слова на змінні:

Отже, Сократ (S) смертний (Р).

Все поліоксіантрахінони (М) - похідні антрацену (Р).

Алізарин (S) - поліоксіантрахінон (М).

Отже, алізарин (S) - похідне антрацену (Р).

І в одному, і в іншому випадку отримаємо:

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

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

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

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