Всего найдено: 301
  • 3. Современная логика и основные сферы ее практического применения
    СОВРЕМЕННАЯ ЛОГИКА — одно из имен для обозначения нынешнего этапа в развитии (формальной) логики, начавшегося во второй половине XIX в. — начале XX в. В качестве других имен этого этапа в развитии логики используются также термины математическая логика и символическая логика. Определение «математическая» подчеркивает сходство С. л. по используемым методам с математикой. Определение «символическая» указывает на употребление в С. л. специально созданных для целей логического анализа языков
  • ЛОГИКА, МЕТОДОЛОГИЯ И МЕТОДЫ НАУЧНОГО ПОЗНАНИЯ
    Сознательная целенаправленная деятельность по формированию и развитию знания регулируется нормами и правилами, руководствуется определенными методами и приемами. Выявление и разработка таких норм, правил, методов и приемов, которые представляют собой не что иное, как аппарат сознательного контроля, регулирования деятельности по формированию и развитию научного знания, составляет предмет логики и методологии научного познания. При этом термин "логика" традиционно связывается с выявлением и
  • 5. Логика, методология и методы научного познания
    • Общелогические методы познания • Научные методы эмпирического исследования • Научные методы теоретического исследования Сознательная целенаправленная деятельность по формированию и развитию знания регулируется нормами и правилами, руководствуется определенными методами и приемами. Выявление и разработка таких норм, правил, методов и приемов, которые представляют собой не что иное, как аппарат сознательного контроля, регулирования деятельности по формированию и развитию научного знания,
  • ЛОГИКА, МЕТОДОЛОГИЯ И МЕТОДЫ НАУЧНОГО ПОЗНАНИЯ
    Сознательная целенаправленная деятельность по формированию и развитию знания регулируется нормами и правилами, руководствуется определенными методами и приемами. Выявление и разработка таких норм, правил, методов и приемов, которые представляют собой не что иное, как аппарат сознательного контроля, регулирования деятельности по формированию и развитию научного знания, составляет предмет логики и методологии научного познания. При этом термин "логика" традиционно связывается с выявлением и
  • 4. Логика, методология и методы научного познания
    Сознательная целенаправленная деятельность по формированию и развитию знания регулируется нормами и правилами, руководствуется определенными методами и приемами. Выявление и разработка таких норм, правил, методов и приемов, которые представляют собой не что иное, как аппарат сознательного контроля, регулирования деятельности по формированию и развитию научного знания, составляют предмет логики и методологии научного познания. При этом термин «логика» традиционно связывается с выявлением и
  • К проблеме становления символической логики On the Problem of Symbolic Logic Genesis
    Шиян Т.А. Логический портал Theo.ru, г. Москва E-mail: taras_a_shiyan@mail.ru На наш взгляд дисциплинарное единство символической логики (СЛ) опирается, в первую очередь, не на единый предмет исследования (о нем существуют разные, противоре­чащие мнения), не на единую проблематику, а на общий «математический» аппарат, что и зафиксировано в названии «символическая» (или «математическая») логика. Именно единый математический аппарат задает единство образцов (классических авторов и работ), наличие
  • ЛОГИКА ПРЕДИКАТОВ
    , функциональная логика, квантор пая логика, осн. раздел математич. логики, средствами к-рого строятся многие др. её разделы. Л. п., в отличие от логики высказываний, расширением к-рой она является, учитывает не только связи между предложениями (высказываниями), но и их субъектно-предикатную структуру: выделяются аналоги подлежащих в предложениях естеств. языков (т. н. термы) и аналоги сказуемых — предикаты. Для этой цели выразит. средства логики высказываний пополняются спец. символами для
  • 3. Логика и методология науки
    Объективно философия начала играть роль основы единого научного мировоззрения и всеобщей методологии научного познания с XVII в. (для Европы). Субъективное осознание этого факта пришло не сразу.Однако логика как раздел философского знания была определена в качестве орудия научного познания еще ее «отцом» — Аристотелем.В широком смысле термин «логика науки» совпадает по содержанию и объему с понятием «логика».Однако понятие «логика научного исследования» чаще всего определяется как направление,
  • +Понятие алгебры логики, булевой алгебры. История создания алгебры логики.
    Алгебра логики - это математический аппарат, с помощью которого записывают, вычисляют, упрощают и преобразовывают логические высказывания. Алгебра логики — раздел математической логики, в котором изучаются логические операции над высказываниями. Высказывания могут быть истинными и ложными. Булева алгебра - раздел математической логики, изучающий высказывания и операции над ними. Наиболее известными операциями булевой алгебры являются: конъюнкция, дизъюнкция, импликация, эквивалентность,
  • 2. ЭЛЕМЕНТЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ
    Математическая логика – современный вид формальной логики, то есть науки, изучающей умозаключения с точки зрения их формального строения. Вплоть до начала XIX века формальная логика практически не выходила за рамки силлогических умозаключений. Однако, начиная с работ Дж. Буля, можно говорить о превращении ее в математическую логику. Особенности математической логики заключаются в ее математическом аппарате, в преимущественном внимании к умозаключениям, применяемым в самой математике.
  • Основы алгебры логики
    Для анализа и синтеза схем в ЭВМ при алгоритмизации и программировании решения задач широко используется математический аппарат алгебры логики. Алгебра логики – это раздел математической логики, значения всех элементов (функций и аргументов) которой определены в двухэлементном множестве: 0 и 1. Алгебра логики оперирует с логическими высказываниями. Высказывание – это любое предложение, в отношении которого имеет смысл утверждение о его истинности или ложности. При этом считается, что
  • Нестандартные логики
    Имеется некоторый антиреалистический аромат в работах по альтернативной логике . Развитие энергичного интереса к формализации противоречило традиционному мельбурнскому безразличию к формальной логике и андерсонианскому скептицизму относительно всех современных достижений логики . Возможно, существенно, что многие из логиков были мигранты, особенно Лен Годдард и Грэхэм Приест (из Великобритании), Боб Мейер (из США) и Ричард Сил- ван, ранее Роутли (из Новой Зеландии) . Так или иначе,
  • Поля и аппараты
    Если не существует такого политического предприятия, которое, каким монолитным оно бы ни казалось, не было бы местом столкновений различных тенденций и противоречивых интересов, то все же партии тем сильнее проявляют склонность функционировать в соответствии с логикой аппарата, способного незамедлительно отвечать на стратегические требования, вписанные в логику политического поля, чем больше их доверители обделены культурно и привержены ценностям преданности и, следовательно, более склонны к
  • ИНДУКТИВНАЯ ЛОГИКА
    , раздел логики, изучающий индуктивные рассуждения, используемые гл. обр. с целью получения индуктивных обобщений, объяснений, предсказаний, описаний и предписаний (см. Индукция). Осн. объект изучения в совр. И. л.— индуктивный вывод. Для совр. И. л. характерно значит. расширение самого понятия индуктивного вывода. Если в классич. И. л. (Ф. Бэкон, Дж. С. Милль) в качестве единств. отношения рассматривалось индуктивное следование, то в совр. И. л. исследуется отношение подтверждения и — как его
  • Нечеткая логика при тестовом контроле знаний
    При программном контроле знаний, как правило, требуется дать однозначный ответ на заданный вопрос, выбрав один из предложенных вариантов или сформулировав из ограниченного набора слов, букв, цифр или графических символов собственный вариант ответа. В любом случае студент должен на основе имеющихся у него знаний создать такую формулировку ответа, которая содержала бы заключение об истинности предлагаемого суждения в терминах строгой логики, не имея возможности высказать сомнение, или указать,
  • 2.3. Фазы дыхательного цикла и логика переключения аппарата ИВЛ
    Внимание! -Фазы дыхательного цикла и временные интервалы дыхательного цикла - это разные понятия. Временные интервалы описаны в первой части, в начале главы «Респираторная механика».Дыхательный цикл считается от начала одного вдоха до начала следующего. При ИВЛ, по предложениюMushin M, et al.(1980r),циклделят на четыре фазы:[Mushin M, et al. Automatic Ventilation of the Lungs. Oxford: Blackwell Scientific Publications, 1980; 162-166]Переключение с выдоха на вдох (включение
  • 2. Философия как всеобщая логика и методология науки.
    Любое познание представ. Собой соотнесённость субъекта и объекта. Субъект – познающий, объект – познаваемое. Познание нужно представлять в виде субъективно-объективного определения. Его началом выступает философская логика, которая подразделяется на онтологию (логику бытия и сущности), гносеологию (логику понятия) и философскую методологию. Др. словами, принцип деления философской логики м.б. выражен так: онтология – объективная логика, гносеология – субъективная. Методология выступает
  • МИНИМАЛЬНАЯ ЛОГИКА
    , логич. система, являющаяся ослаблением конструктивной логики и интуиционистской логики за счёт исключения из числа постулатов принципа «из противоречия следует любое предложение». Этот принцип, как и более сильный «закон двойного отрицания», недоказуем в М. л. Однако в миним. исчислении высказываний всё же можно доказывать от противного отрицат. предложения, опираясь на «закон приведения к абсурду». Логич. средства миним. исчисления предикатов входят в логико-матема-тич. аппарат, используемый
  • Математическая логика
    Математическая логика представляет собой совокупность искусственных формализованных языков, для которых устанавливаются такие их логические свойства, как доказуемость, выводимость, следствие и т.д. В отличие от классической математической логики, базировавшейся на принципе двузначности (признания суждения либо истинным, либо ложным), современная математическая логика руководствуется принципом многозначности, допускающим три и более значений истинности (многозначная логика), и рассматривает
  • МАТЕМАТИЧЕСКАЯ ЛОГИКА
    - один из ведущих разделов современной логики и математики. Сформировался в 19-20 ст. как реализация идеи о возможности записать все исходные допущения на языке знаков, аналогичных математическим и тем самым заменить рассуждения вычислениями. Предыстория М.Л. связана с именами Аристотеля, Р. Луллия, Дж. Буля (1815-1864), создавшего ее аппарат; Фреге, развившего логико-математические языки; Дж. Пеа-но (1858-1932), попытавшегося изложить разделы математики на языке логики. В основании всех
  • Элементы математической логики.
    Математическая логика – разновидность формаьной логики, т.е. науки, которая изучает умозаключения с точки зрения их формального строения. Определение. Высказыванием называется предложение, к которому возможно применить понятия истинно или ложно. В математической логике не рассматривается сам смысл высказываний, определяется только его истинность или ложность, что принято обозначать соответственно И или Л. Понятно, что истинные и ложные высказывания образуют соответствующие множества. С
1 2 3 4 5 6 7 8 9 10 11 > 15
- Абстракция и идеализация - Аксиоматизация - Алгебра логики - Алгебраические, теоретико-множественные семантики - Аналогия - Аппарат логики - Вероятностная логика - Индуктивная логика - Интуиционизм и консерватизм - История логики - Категорная семантика - Классификация - Классическая логика - Логика высказываний - Логика кванторов - Логика первого и высших порядков - Логика решений - Логицизм - Логическая семантика - Логические и семантические парадоксы - Логические проблемы аргументации - Логические формы и приемы познания - Метатеоретические проблемы логики - Недедуктивные логические теории - Неклассические логики - Непротиворечивость, полнота, разрешимость формализованных теорий - Определение - Определимость, сравнительный анализ логических теорий - Прикладные проблемы логики и логической семантики - Проблема содержательности семантик логических систем - Проблемы аксиоматизации теории множеств - Реляционные семантики возможных миров - Силлогистические теории - Теории логического вывода - Теория доказательств - Теория моделей - Теория семантических категорий - Типы исчислений - Формализация - Формализм - формы мышления -