ля підтвердження цього окремого випадку.
Метою науки є не тільки добування знання, а й його передача. Саме тому неприпустимі жодні логічні огріхи у формальному поданні вже видобутого знання. Таким чином - знання повинно бути логічно контрольованим. Саме це оптимально для його збереження, передачі та розвитку. І саме тому наукове знання, як сукупність вже доведених логічних пропозицій, може служити підставою для подальших доказових міркувань.
Закон достатньої підстави фактично зводиться до наступного вимогу: всяке судження, перш ніж бути прийнятим за істину, повинно бути обгрунтовано raquo ;. Таким чином з цього закону випливає, що при правильному міркуванні ніщо не повинно прийматися просто так, на віру. У кожному випадку кожного твердження слід вказувати підстави, в силу яких воно вважається істинним. Як бачимо - закон достатньої підстави спочатку виступає, як методологічний принцип, що забезпечує здатність мислення поставляти підстави до подальших міркувань. Адже все, що вже коректно доведено, можна покласти в основу подальшим доказам.
Висновок: достатньою підставою який або думки може бути будь-яка інша, вже перевірена і визнана істинною думка, з якої випливає істинність розглянутої думки.
Результат застосування: закон забезпечує обгрунтованість мислення. У всіх випадках, коли ми стверджуємо що-небудь, ми зобов'язані довести свою правоту, тобто привести достатні підстави, що підтверджують істинність наших думок.
§2. Застосування математичної логіки
Об'єднання математико-логічної установки з іншими математичними підходами, насамперед з ймовірносно-статистичними ідеями і методами - на тлі глибокого інтересу до обчислювальних приладів, - було багато в чому визначальним у формуванні задуму кібернетики, як комплексного наукового напрямку , що має своїм предметом процеси.
У ряді випадків використовується технічний апарат математичної логіки (синтез релейно-контактних схем); понад те, що особливо важливо, ідеї математичної логіки це, звичайно ж, в теорії алгоритмів, але також і всієї науки в цілому і властивий їй стиль мислення надали і продовжують надавати дуже великий вплив на ті своєрідні області діяльності, змістом яких є автоматична переробка інформації (інформатика), використання в криптографії та автоматизація процесів управління (кібернетика).
Інформатика - це наука, яка вивчає комп'ютер, а також взаємодія комп'ютера з людиною.
Будівництво логічних машин - цікава глава історії логіки і кібернетики. У ній відображені перші проекти створення штучного розуму і перші суперечки про можливості цього. Ідея логічних машин з'явилася в 13 столітті у іспанського схоластика Раймунда Луллія, розглядалася потім Лейбніцем і отримало новий розвиток в 19 столітті, після виникнення математичної логіки. У 1870 році англійський філософ і економіст Вільям Стенлі Джевонс побудував у Манчестері логічне піаніно, яке извлекало з алгебраїчно записаних посилок слідства, виділяючи допустимі комбінації термінів. Це називають також розкладанням висловлювань на конституанти. Важливо відзначити можливість практичного застосування логічної машини для вирішення складних логічних задач.
Сучасні універсальні обчислювальні машини є водночас логічними машинами. Саме введення логічних операцій зробило їх такими гнучкими; воно ж дозволяє їм моделювати міркування. Таким чином, арифметична гілка розумних автоматів з'єдналися з логічної. У 20-ті роки, однак, формальна логіка представлялася занадто абстрактної про метафізичної для додатку до життя. Тим часом вже тоді можна було передбачити впровадження логічних числень в техніку.
Математична логіка полегшує механізацію розумової праці. Нинішні машини виконують набагато більш складні логічні операції, ніж їхні скромні прототипи початку століття.
Проблема штучного розуму складна і багатогранна. Певно, не помилимося, якщо скажемо, що остаточні межі механізації думки можна встановити лише експериментальним шляхом. Зауважимо ще, що в сучасній кібернетики обговорюється можливість моделювання не тільки формальних, а й змістовних розумових процесів.
§3. Математична логіка в техніці
Роль логічної обробки бінарних даних на сучасному етапі розвитку обчислювальної техніки істотно зросла. Це пов'язано, в першу чергу, зі створенням технічно систем. реалізують в тому чи іншому вигляді технології отримання та накопичення знань, моделюванням окремих інтелектуальних функцій людини. Ядром таких систем є потужні ЕОМ і обчислювальні комплекси. Крім того, існує великий клас прикладн...
