логический закон


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

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. . 1997.


Просмотров: 1300
Категория: Словари и энциклопедии » Философия » Словарь логики





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

  • ВЫРАЖЕНИЕ
  • ЗАКОН
  • ЗАКОН
  • закон
  • закон
  • Закон
  • ЗАКОН
  • Закон «все или ничего» (all-or-none law)
  • закон де моргана
  • ЗАКОН ИСКЛЮЧЁННОГО ТРЕТЬЕГО
  • закон исключенного третьего
  • закон косвенного доказательства
  • закон логики
  • ЗАКОН ЛОГИЧЕСКИЙ
  • ЗАКОН ЛОГИЧЕСКИЙ
  • ЗАКОН НЕПРОТИВОРЕЧИЯ
  • исключенного третьего закон
  • исключенного третьего закон
  • ИСКЛЮЧЕННОГО ТРЕТЬЕГО ЗАКОН
  • логический закон
  • ЛОГИЧЕСКИЙ ЗАКОН
  • Моисеево пятикнижие, или закон
  • НЕПРОТИВОРЕЧИЯ ЗАКОН
  • непротиворечия закон
  • синкатегорематическое выражение
  • транзитивности закон
  • ТРОН Некоторые астрологи, более склонные к преувеличению, чем к точному соответствию и ясности, говорят о планете на троне, если она находится в знаке, которым управляет. В более древнем и более логичном варианте это планета, расположенная в той част
  • Фрейм как если бы
  • Фрейм как если бы
  • ЭКОНОМИИ ВРЕМЕНИ ЗАКОН



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

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






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

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







    Locations of visitors to this page



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