Реклама
  • ИП Попов А.П.
  • ИНН: 602715631406
Позвали Таню, и жены начали уводить мужей. Не стесняется стыдобы
Реклама
  • ИП Попов А.П.
  • ИНН: 602715631406
97-летний кардиолог: Если давление выше 130\90, выпейте 2 ложки…
Реклама
  • ИП Попов А.П.
  • ИНН: 602715631406
Сексолог: "Один раз сделайте это и Ваша потенция будет как в 19!"
Реклама
  • ИП Попов А.П.
  • ИНН: 602715631406
Чтобы потенция всегда была крепкой, делайте это раз в день!
Реклама
  • ИП Попов А.П.
  • ИНН: 602715631406
Врачи поражены! Вся боль из колен и суставов спадает уже к утру!
Реклама
  • ИП Попов А.П.
  • ИНН: 602715631406
Невероятно, это едкое растение восстанавливает суставы за 7 дней!



ЛОГИКА или Формальная логика

- наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или структурой, и не зависит от конкретного содержания входящих в него утверждений. Различие между формой и содержанием может быть сделано явным с помощью особого языка, или символики, оно относительно и зависит от выбора языка.

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

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

Правильным является, напр., рассуждение, следующее схеме: "Если есть первое, то есть и второе; есть первое, значит, есть и второе" (см.: Модус поненс). По этой схеме из высказываний "Если сейчас день, то светло" и "Сейчас день" вытекает высказывание "Сейчас светло". Какие бы конкретные истинные высказывания ни подставлялись в указанную схему, заключение обязательно будет истинным.

В правильном рассуждении заключение вытекает из посылок с логической необходимостью, общая схема такого рассуждения выражает логический закон. Рассуждать логически правильно - значит рассуждать в соответствии с законами Л.

Л. не просто перечисляет некоторые схемы правильного рассуждения. Она выявляет различные типы таких схем, устанавливает общие критерии их правильности, выделяет исходные схемы, из которых по определенным правилам могут быть получены другие схемы данного типа, исследует проблему взаимной совместимости схем и т. д.

В современной Л. логические процессы изучаются путем их отображения в языках формализованных, или логических, исчислений. Построение исчисления отличается тщательностью, с которой формулируются его синтаксические и семантические правила, отсутствием исключений, характерных для естественного языка. Исследованием формального строения логических исчислений, правил образования и преобразования входящих в них выражений занимается логический синтаксис.  Отношения между исчислениями и содержательными областями, служащими их интерпретациями или моделями, исследуются семантикой логической.

Современная Л. слагается из большого числа логических систем, описывающих отдельные фрагменты, или типы, содержательных рассуждений. Эти системы принято делить на Л. классическую, включающую классические Л. высказываний и Л. предикатов, и Л. неклассическую, в которую входят модальная Л., интуиционистская Л., многозначная Л., неклассические теории логического следования, паранепротиворечивая Л., Л. квантовой механики и др. Каждая из этих Л. также включает, как правило, соответствующие Л. высказываний и Л. предикатов. Таким образом, хотя Л. как наука едина, она слагается из множества более или менее частных систем, ни одна из которых не может претендовать на выявление логических характеристик мышления в целом. Единство Л. проявляется прежде всего в том, что входящие в нее "отдельные" Л. пользуются при описании логических процессов одними и теми же методами исследования. Все они отвлекаются от конкретного содержания высказываний и умозаключений и оперируют только их формальным, структурным содержанием. В каждой применяется язык символов  и формул, строящийся в соответствии с общими для всех систем принципами. И наконец, "сконструированная" Л. вызывает ряд вопросов, характерных для любой системы: нет ли в ней противоречий, охватывает ли она все истины рассматриваемого рода и др. (см.: Непротиворечивость, Полнота, Разрешения проблема). Между разными логическими системами имеются определенные связи. Одни системы могут быть эквивалентны другим, или включаться в них, или быть их обобщением и т. д. Единство Л. проявляется также в том, что разные Л. не противоречат друг другу: законами одной из них не являются отрицания законов, принятых в другой.

История Л. насчитывает около двух с половиной тысячелетий и разделяется на два основных этапа. Первый начался с трудов Аристотеля (384-322 до н. э.) и продолжался до второй половины XIX - начала XX в., второй - с этого времени до наших дней. На первом этапе Л. развивалась очень медленно, это дало И. Канту повод заявить, что она является с самого начала завершенной наукой, не продвинувшейся после Аристотеля ни на один шаг. Ошибочность такого представления была ясно показана в последние сто с небольшим лет, когда в Л. произошла научная революция  и на смену традиционной Л. пришла современная Л., называемая также математической или символической Л. В основе последней - идеи Г. Лейбница (1646-1716) о возможности представить доказательство как математическое вычисление. Д. Буль (1815-1864) истолковал умозаключение как результат решения логических равенств, в результате чего теория умозаключения приняла вид своеобразной алгебры, отличающейся от обычной алгебры лишь отсутствием численных коэффициентов и степеней. С работ Г. Фреге (1848-1925) начинается применение Л. для исследования оснований математики. Значительный вклад в развитие Л. в дальнейшем внесли Б. Рассел (1872-1970), А. Н. Уайтхед (1861-1947), Д. Гильберт (1862-1943) и др. В 30-е годы фундаментальные результаты получили К. Гёдель (1906-1978), А. Тарский (1901-1983), А.Чёрч(р. 1903).

На первых порах современная Л. ориентировалась почти всецело на анализ только математических рассуждений. Это поддерживало иллюзию, что развитие Л. не зависит от эволюции теоретического мышления и не является в к.-л. смысле отображением последней.

В 20-е годы XX в. предмет логических исследований существенно расширился. Начали складываться многозначная Л., предполагающая, что наши утверждения являются не только истинными или ложными, но могут иметь и другие истинные значения; модальная Л., рассматривающая понятия необходимости, возможности, случайности и т. п.; деонтическая Л., изучающая логические связи нормативных высказываний, и др. Все эти новые разделы не были непосредственно связаны с математикой, в сферу логического исследования вовлекались уже естественные и гуманитарные науки.

В дальнейшем сложились и нашли интересные применения: Л. времени, описывающая логические связи высказываний о прошлом и будущем; паранепротиворечивая Л., не позволяющая выводить из противоречий все что угодно; эпистемическая Л., изучающая понятия "опровержимо", "неразрешимо", "доказуемо", "убежден", "сомневается" и т. п.; оценок Л., имеющая дело с понятиями "хорошо", "плохо", "безразлично", "лучше", "хуже" и т. п.; Л. изменения, говорящая об изменении и становлении нового; причинности Л., изучающая утверждения о детерминизме и причинности; парафальсифицирующая Л., не позволяющая отвергать положения, хотя бы одно следствие которых оказалось ложным; релевантная Л. и др. Экстенсивный рост Л. не завершился и сейчас. Основные ее ветви, или разделы, можно сгруппировать так:

1. базисная Л., в которую входят классическая Л., модальная Л., многозначная Л., неклассические теории логического следования;

2. металогика, исследующая сами логические теории, их внутреннюю структуру и связи с описываемой ими реальностью;

3. разделы математического направления, включающие теорию доказательства, теорию множеств, теорию функций, Л. вероятностей, обоснование математики;

4. разделы, ориентированные на приложение в естественных и гуманитарных науках, такие, как индуктивная Л., изучающая проблематичные выводы, логические теории времени, причинности, норм, оценок, действия, решения и выбора и др.;

5. разделы, находящие применение при обсуждении определенных философских проблем: Л. бытия, Л. изменения, Л. части и целого, логические теории вопросов, знания, убеждения, воображения, стремления и т. п.

Границы между этими областями не являются четкими, одни и те же ветви Л. могут иметь одновременно отношение к философии и естествознанию, к математике и металогике и т. д.

Прояснение и углубление оснований современной Л. сопровождалось пересмотром и уточнением таких центральных ее понятий, как логическая форма,  логический закон, доказательство, логическое следование  и др.

Законы Л. долгое время представлялись абсолютными истинами, никак не связанными с опытом. Однако возникновение конкурирующих логических теорий, отстаивающих разные множества законов, показало, что Л. складывается в практике мышления и что она меняется с изменением этой практики. Логические законы - такие же продукты человеческого опыта, как и аксиомы евклидовой геометрии, тоже казавшиеся когда-то априорными. Именно постоянно повторяющаяся практика выявляла некоторые общие и инвариантные отношения между вещами, вовлеченными в трудовую деятельность, и закрепляла их в сознании в виде некоторых логических структур, лежащих в основе формулирования правил логики.

Доказательство, и в особенности математическое, принято было считать императивным и универсальным указанием, обязательным для всякого непредубежденного ума. Развитие Л. показало, однако, что доказательства вовсе не обладают абсолютной, вневременной строгостью и являются только опосредствованными средствами убеждения. Даже способы математической аргументации на деле историчны и социально обусловлены. В разных логических системах доказательствами считаются разные последовательности утверждений, и ни одно доказательство не является окончательным.

Перемены, происшедшие в Л. в XX в., приблизили ее к реальному мышлению и тем самым к человеческой деятельности, одной из разновидностей которой оно является.

Для правильного понимания предмета и задач формальной Л. важно четко представлять ее соотношение с диалектической Л. Диалектика как Л. исследует становление и развитие понятий и представлений, их отношения, переходы, противоречия. Диалектические принципы историзма, конкретности истины, единства абстрактного и конкретного, практики как критерия истины и т. д. направлены на познание закономерностей мышления, взятого в его движении и развитии, в последовательном постижении реальности. Формальная Л. главное внимание направляет на прояснение структуры готового знания, на описание его формальных связей и элементов. Диалектическая и формальная Л. - две разные науки, различающиеся как предметами своего исследования, так и методами.

Современная Л. находит применение во многих областях. В частности, она оказала влияние на развитие математики, прежде всего теории множеств, формальных систем, алгоритмов, рекурсивных функций; идеи и аппарат Л. используются в кибернетике, вычислительной технике, в электротехнике и др.

Просмотров: 1287
Категория: Словари и энциклопедии » Философия » А. Ивин, А. Никифорович. Словарь по логике, 1998 г.




Другие новости по теме:

  •  Подчинения отношения (между понятиями)
  • «ЛОГИЧЕСКИЕ ИССЛЕДОВАНИЯ»
  • «РАССУЖДЕНИЕ, ВЫНОСЯЩЕЕ РЕШЕНИЕ ОТНОСИТЕЛЬНО СВЯЗИ МЕЖДУ РЕЛИГИЕЙ И ФИЛОСОФИЕЙ»
  • Естественные и логические последствия
  • ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ
  • ЛОГИКА ВЫСКАЗЫВАНИЙ
  • ЛОГИКА ВЫСКАЗЫВАНИЙ, или ПРОПОЗИЦИОНАЛЬНАЯ ЛОГИКА
  • ЛОГИКА ВЫСКАЗЫВАНИЙ, или Пропозициональная логика
  • ЛОГИКА ВЫСКАЗЫВАНИЙ, пропозициональная логика
  • ЛОГИЧЕСКИЕ КОНСТАНТЫ, или: Логические постоянные
  • Логика высказываний
  • Логика как основа онтологии. Логические принципы выделения первоэлементов бытия
  • Мышления развитие
  • НАПРАВЛЕНИЯ ИССЛЕДОВАНИЯ МЫШЛЕНИЯ В ОТЕЧЕСТВЕННОЙ ЛИТЕРАТУРЕ
  • Обратного отношения между объемом и содержанием понятий закон
  • Основные понятия и идеи теории коммуникативного действия Хабермаса
  • ПРЕДМЕТНАЯ ОБЛАСТЬ, или область объектов теории,универсум рассуждения
  • ПРЕДМЕТНАЯ ОБЛАСТЬ, или: Универсум рассуждения, область теории
  • Принцип субъективизации высказываний
  • Противоречия отношение (между понятиями)
  • Противоречия отношения (между суждениями)
  • РАЗЛИЧИЕ МЕЖДУ ИСТИНОЙ И ЗНАЧЕНИЕМ
  • РЕЛИГИЯ В ПРЕДЕЛАХ ТОЛЬКО РАЗУМА
  • Развитие мышления в персоногенезе
  • Расширение функций языка (Функциональное развитие языка)
  • СВЯЗИ МЕЖДУ АНАЛИЗАТОРАМИ
  • СТАНОВЛЕНИЕ ТЕОРИИ НЕЛИНЕЙНЫХ ДИНАМИК В СОВРЕМЕННОЙ КУЛЬТУРЕ. Сравнительный анализ синергетической и постмодернистской парадигм
  • ТЕСТОВОЕ ЗАДАНИЕ В ВИДЕ ЛОГИЧЕСКИЕ СООТНОШЕНИЯ
  • Теории истины
  • мода (в теории вероятностей и математической статистике)



  • ---
    Разместите, пожалуйста, ссылку на эту страницу на своём веб-сайте:

    Код для вставки на сайт или в блог:       
    Код для вставки в форум (BBCode):       
    Прямая ссылка на эту публикацию:       



    Реклама
    • ИП Попов А.П.
    • ИНН: 602715631406
    97-летний кардиолог: Если давление выше 130\90, выпейте 2 ложки…
    Реклама
    • ИП Попов А.П.
    • ИНН: 602715631406
    Сексолог: "Один раз сделайте это и Ваша потенция будет как в 19!"
    Реклама
    • ИП Попов А.П.
    • ИНН: 602715631406
    Чтобы потенция всегда была крепкой, делайте это раз в день!
    Реклама
    • ИП Попов А.П.
    • ИНН: 602715631406
    Врачи поражены! Вся боль из колен и суставов спадает уже к утру!
    Реклама
    • ИП Попов А.П.
    • ИНН: 602715631406
    Невероятно, это едкое растение восстанавливает суставы за 7 дней!
    Реклама
    • ИП Попов А.П.
    • ИНН: 602715631406
    Это лучший препарат в США! Уберёт боль в суставах! Называется...



    Данный материал НЕ НАРУШАЕТ авторские права никаких физических или юридических лиц.
    Если это не так - свяжитесь с администрацией сайта.
    Материал будет немедленно удален.
    Электронная версия этой публикации предоставляется только в ознакомительных целях.
    Для дальнейшего её использования Вам необходимо будет
    приобрести бумажный (электронный, аудио) вариант у правообладателей.

    На сайте «Глубинная психология: учения и методики» представлены статьи, направления, методики по психологии, психоанализу, психотерапии, психодиагностике, судьбоанализу, психологическому консультированию; игры и упражнения для тренингов; биографии великих людей; притчи и сказки; пословицы и поговорки; а также словари и энциклопедии по психологии, медицине, философии, социологии, религии, педагогике. Все книги (аудиокниги), находящиеся на нашем сайте, Вы можете скачать бесплатно без всяких платных смс и даже без регистрации. Все словарные статьи и труды великих авторов можно читать онлайн.

    Реклама
    • ИП Попов А.П.
    • ИНН: 602715631406
    Ревматолог: Пожалуйста! Не ешьте это, если у вас болят суставы!
    Реклама
    • ИП Попов А.П.
    • ИНН: 602715631406
    Вот, что излечит ваши запястья даже в 75 лет! Нужно взять...
    Реклама
    • ИП Попов А.П.
    • ИНН: 602715631406
    Эта штука проникает в суставы и восстанавливает хрящи даже в 82!
    Реклама
    • ИП Попов А.П.
    • ИНН: 602715631406
    Боль отступит от суставов уже через 2 дня. Хватает пары ложек...
    Реклама
    • ИП Попов А.П.
    • ИНН: 602715631406
    Не смейте выбрасывать зажимы от хлебных упаковок: они бесценны
    Реклама
    • ИП Попов А.П.
    • ИНН: 602715631406
    Видео: малютка и бабуля обсуждают жизнь — умора
    Реклама
    • ИП Попов А.П.
    • ИНН: 602715631406
    Пенсионерка: "Мне 98, а суставы как в 16 лет! На ночь мажу…
    Реклама
    • ИП Попов А.П.
    • ИНН: 602715631406
    У мужчин челюсти отвалились, когда они увидели ее страстный танец






    Locations of visitors to this page



          <НА ГЛАВНУЮ>      Обратная связь