чтения-99: сб. тез. выступл. на Междунар. науч. конф., февраля 1999 г. Москва-Зеленоград, с

Save this PDF as:
 WORD  PNG  TXT  JPG

Размер: px
Начинать показ со страницы:

Download "чтения-99: сб. тез. выступл. на Междунар. науч. конф., февраля 1999 г. Москва-Зеленоград, с"

Транскрипт

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

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

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

4 только 200 лет тому назад. Логическая форма, которая соответствует «мышлению в категориях», имеет вид СУЖДЕНИЯ. Но насколько велик О. Есперсен, который видит, что грамматические «категории» является бледными тенями «понятийных категорий», которые ВООБЩЕ НЕ ЗАВИСЯТ ОТ ВИДА КОНКРЕТНОГО ЯЗЫКА! Насколько это важное положение блестящего ученого-грамматика малоизвестно современным аналитикам «языка науки». Во-вторых, если и в грамматике и в логике «категориальные пары» или «диады» будут ПОНИМАТЬСЯ ОДИНАКОВО, т.е. в том смысле, в каком категориальные пары понимаются в философии со времен Гегеля, то мы можем продвигаться далее. В-третьих, логическая форма «суждение» ВСЕГДА имеет грамматическую форму ПРЕДЛОЖЕНИЯ. В этом смысле ВСЕГДА логическая форма суждения совпадает с грамматической формой предложения. В этом случае мы говорим, что логическая форма суждения есть ТОЖДЕСТВО и ЕДИНСТВО с грамматической формой. Но... не каждая грамматическая форма предложения является одновременно и логической формой суждения. Существуют такие грамматические формы предложения, которые НЕ ЯВЛЯЮТСЯ суждениями, т.е. такие, которые НЕ-СУЖДЕНИЯ. Присмотримся к последней форме: мы отрицаем совпадение логической и грамматической форм. В этом случае грамматическая и логическая формы ПРОТИВОПОЛОЖНЫ. В-четвертых, мы должны сделать окончательный вывод: «Какое из двух суждений приведенной антиномии следует считать ИСТИННЫМ?» А никакое! По той простой причине, что ЛОГИЧЕСКАЯ ФОРМА СУЖДЕНИЯ НЕ 4

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

6 Умели предки быть остроумными. Вернемся к нашему вопросу. Поскольку логическая форма суждения содержит внутри себя КАТЕГОРИАЛЬНУЮ ПАРУ, которая соединена связкой «есть», то здравый смысл будет возражать, если кто-то будет утверждать, что «единичное есть всеобщее» или что «причина есть следствие». Выделив логическую форму СУЖДЕНИЯ, Гегель показал, что эта ЛОГИЧЕСКАЯ ФОРМА НЕ МОЖЕТ БЫТЬ ЛОГИЧЕСКИМ НОСИТЕЛЕМ ИСТИНЫ. Переводя этот вывод на обычный русский язык, можно сказать, что наивная уверенность авторов, которые говорят об «исчислении суждений» или об «исчислении высказываний» которые можно делить на истинные и ложные, покинула ниву философии со времен Гегеля. Логической формой истины является, по Гегелю, «умозаключение». Именно «умозаключение» и была ПЕРВОЙ логической формой в истории философии. Это позволило К. Марксу сказать, что Гегель ПЕРВЫЙ в истории философии ПОНЯЛ само умозаключение как «логическую форму»; но Гегель изложил ПУТЬ к этому ПОНЯТИЮ в таком виде, что его ДОГАДКА предстает перед взором изумленного читателя как СЛЕДСТВИЕ, как ВЫВОД из его системы. 6

Зарубежная оценка трудов академика Ж.М. Абдильдина. Э.В. ИЛЬЕНКОВ (г. МОСКВА), Т. ДАУТОВ, А. ИСКАКОВ (г. АЛМА-АТА)

Зарубежная оценка трудов академика Ж.М. Абдильдина. Э.В. ИЛЬЕНКОВ (г. МОСКВА), Т. ДАУТОВ, А. ИСКАКОВ (г. АЛМА-АТА) Э.В. ИЛЬЕНКОВ (г. МОСКВА), Т. ДАУТОВ, А. ИСКАКОВ (г. АЛМА-АТА) Исследование диалектики и логики познания. Ж. Абдильдин и др. Проблемы логики и диалектики познания. АН КазССР. Алма-Ата, 1963. 385 с. * Рецензируемая

Подробнее

Лекция 5 Раздел 5. Дедуктивные теории. Понятие об эффективных и полуэффективных процессах (методах). Задание дедуктивных теорий. Свойства дедуктивных

Лекция 5 Раздел 5. Дедуктивные теории. Понятие об эффективных и полуэффективных процессах (методах). Задание дедуктивных теорий. Свойства дедуктивных Лекция 5 Раздел 5. Дедуктивные теории. Понятие об эффективных и полуэффективных процессах (методах). Задание дедуктивных теорий. Свойства дедуктивных теорий: непротиворечивость, полнота, независимость

Подробнее

НУРЕЕВ Р.М. Введение.

НУРЕЕВ Р.М. Введение. НУРЕЕВ Р.М. ЭКОНОМИЧЕСКАЯ ИСТОРИЯ Введение. ПРЕДМЕТ И МЕТОД ЭКОНОМИЧЕСКОЙ ИСТОРИИ Лекция 1. Предмет и метод Часть 2. Метод 1. Соотношение теории и метода 2. Формальная логика 3. Диалектика 4. Экономические

Подробнее

Основы логики. Суханова Татьяна Александровна, учитель информатики и ИКТ, МАОУ «Гимназия 1»

Основы логики. Суханова Татьяна Александровна, учитель информатики и ИКТ, МАОУ «Гимназия 1» Основы логики Логика это наука о формах и способах мышления. Основы формальной логики заложил Аристотель, который впервые отделил логические формы мышления (речи) от его содержания. 2 Мышление осуществляется

Подробнее

Методические рекомендации к уроку «Алгебра высказываний. Основные операции алгебры высказываний»

Методические рекомендации к уроку «Алгебра высказываний. Основные операции алгебры высказываний» Методические рекомендации к уроку «Алгебра высказываний. Основные операции алгебры высказываний» Цели урока: Образовательная: ознакомить учащихся с понятиями логика, алгебра логики, понятие, высказывание,

Подробнее

Практическая работа 2 Таблицы истинности логических высказываний.

Практическая работа 2 Таблицы истинности логических высказываний. Практическая работа 2 Таблицы истинности логических высказываний. Цель работы: Построение таблиц истинности логических высказываний. Содержание работы: Основные понятия. 1 Логика наука о законах и формах

Подробнее

Законы алгебры диалектики

Законы алгебры диалектики Законы алгебры диалектики (продолжение работы «Диалектический анализ числового ряда») Иванков К.В. kivankov@yande.ru http://kivankov.ru Для того чтобы в большей мере использовать математический аппарат

Подробнее

Лекция 12. Логика переменной несовместимости

Лекция 12. Логика переменной несовместимости В.И.Моисеев, 2010 Лекция 12. Логика переменной несовместимости План 1. Линии Парменида и Гераклита 2. Закон тождества 3. Закон противоречия 4. Логика переменной несовместимости 5. Логика и онтология 6.

Подробнее

ЛЕКЦИЯ 11 ИСЧИСЛЕНИЕ ПРЕДИКАТОВ

ЛЕКЦИЯ 11 ИСЧИСЛЕНИЕ ПРЕДИКАТОВ ЛЕКЦИЯ 11 ИСЧИСЛЕНИЕ ПРЕДИКАТОВ 1. Аксиомы исчисления предикатов Можно сказать, что исчисление предикатов это то же, что исчисление высказываний, только в формулах с кванторами. Конечной целью изучения

Подробнее

Высказывания. Алгебра высказываний. Законы алгебры логики.

Высказывания. Алгебра высказываний. Законы алгебры логики. Высказывания. Алгебра высказываний. Законы алгебры логики. Вся история человечества - это решение многих житейских задач. Только умение здраво мыслить, рассуждать, доказывать и делать выводы позволяет

Подробнее

{ формальные языки - формальные исчисления - теоремы формального исчисления - выводимость в формальном исчислении - свойства выводимости из посылок -

{ формальные языки - формальные исчисления - теоремы формального исчисления - выводимость в формальном исчислении - свойства выводимости из посылок - { формальные языки - формальные исчисления - теоремы формального исчисления - выводимость в формальном исчислении - свойства выводимости из посылок - формальный язык исчисления высказываний - пропозициональные

Подробнее

Утверждены на заседании кафедры истории и философии г., протокол 3

Утверждены на заседании кафедры истории и философии г., протокол 3 Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Алтайская государственная академия культуры и искусств» Факультет художественного творчества Кафедра

Подробнее

Фонд оценочных средств для проведения промежуточной аттестации обучающихся по дисциплине (модулю):

Фонд оценочных средств для проведения промежуточной аттестации обучающихся по дисциплине (модулю): Фонд оценочных средств для проведения промежуточной аттестации обучающихся по дисциплине (модулю): Общие сведения 1. Кафедра М и ММЭ 2. Направление подготовки "Педагогическое образование", профиль Математика,

Подробнее

Дискретная математика. Конспект лекций. Оглавление. 1. Алгебра высказываний и логика.

Дискретная математика. Конспект лекций. Оглавление. 1. Алгебра высказываний и логика. Доля П.Г. Харьковский Национальный Университет механико математический факультет Дискретная математика. Конспект лекций. Оглавление 1. Алгебра высказываний и логика. 1.1 Высказывания и логические операции...

Подробнее

5. МЕТОДИЧЕСКИЕ РЕКОМЕНДАЦИИ ПО ПРАКТИЧЕСКИМ ЗАНЯТИЯМ

5. МЕТОДИЧЕСКИЕ РЕКОМЕНДАЦИИ ПО ПРАКТИЧЕСКИМ ЗАНЯТИЯМ 5. МЕТОДИЧЕСКИЕ РЕКОМЕНДАЦИИ ПО ПРАКТИЧЕСКИМ ЗАНЯТИЯМ Практическое занятие 1. Алгебра высказываний 1.1 Высказывания и операции над ними Под высказыванием понимают предложение, представляющее собой утверждение,

Подробнее

2009 Философия. Социология. Политология 4(8)

2009 Философия. Социология. Политология 4(8) ВЕСТНИК ТОМСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА 2009 Философия. Социология. Политология 4(8) ЯВЛЯЕТСЯ ЛИ СУЩЕСТВОВАНИЕ ПРЕДИКАТОМ? 1 Мне не совсем ясно значение данного вопроса. М-р Нил говорит, что существование

Подробнее

«ЛОГИЧЕСКИЕ ОСНОВЫ МАТЕМАТИКИ»

«ЛОГИЧЕСКИЕ ОСНОВЫ МАТЕМАТИКИ» Министерство общего и профессионального образования Свердловской области Управление образования Администрации города Екатеринбурга Муниципальное автономное общеобразовательное учреждение средняя общеобразовательная

Подробнее

Московский государственный технический университет имени Н.Э. Баумана. Факультет «Фундаментальные науки» Кафедра «Математическое моделирование»

Московский государственный технический университет имени Н.Э. Баумана. Факультет «Фундаментальные науки» Кафедра «Математическое моделирование» ÌÃÒÓ ÌÃÒÓ ÌÃÒÓ ÌÃÒÓ ÌÃÒÓ ÌÃÒÓ ÌÃÒÓ ÌÃÒÓ ÌÃÒÓ Московский государственный технический университет имени Н.Э. Баумана Факультет «Фундаментальные науки» Кафедра «Математическое моделирование» À.Í. Êàíàòíèêîâ

Подробнее

Оглавление. 8. Множества, отношения, функции...89

Оглавление. 8. Множества, отношения, функции...89 Игошин В.И. Математическая логика и теория алгоритмов: Учеб. пособие для студ. высш. учеб. заведений / Владимир Иванович Игошин. М.: Издательский центр «Академия», 2004. 448 с. Предлагаемое учебное пособие

Подробнее

Тема урока: Основы логики.

Тема урока: Основы логики. Аксютин Алексей Сергеевич Учитель информатики и ИКТ МБОУ «Арсеньевская СОШ» Тема урока: Основы логики. Цели: 1. Введение в предмет Алгебра логики. 2. Сформировать у учащихся понятия: формы мышления, алгебра

Подробнее

Содержание. Часть I. Основы логики (отв. ред. д. ф. н. И. Б. Микиртумов)

Содержание. Часть I. Основы логики (отв. ред. д. ф. н. И. Б. Микиртумов) Содержание Часть I. Основы логики (отв. ред. д. ф. н. И. Б. Микиртумов) Глава 1. Предмет логики...9 (д. ф. н. В. И. Кобзарь) Формы мысли как предмет логики...12 Мышление и язык...15 Рациональное и чувственное

Подробнее

ВОЗМОЖНОСТЬ И ПРЕДПОСЫЛКИ ДИНАМИЧЕСКОЙ КОНЦЕПЦИИ ЗНАНИЯ (1)

ВОЗМОЖНОСТЬ И ПРЕДПОСЫЛКИ ДИНАМИЧЕСКОЙ КОНЦЕПЦИИ ЗНАНИЯ (1) 98 ВОЗМОЖНОСТЬ И ПРЕДПОСЫЛКИ ДИНАМИЧЕСКОЙ КОНЦЕПЦИИ ЗНАНИЯ (1) Е.Е. Ледников Под динамической концепцией знания будем понимать концепцию, характеризующую процесс постижения истины (другими словами, получения

Подробнее

СОДЕРЖАНИЕ. Основные черты правильного мышления: определённость, последовательность, непротиворечивость, доказательность.3

СОДЕРЖАНИЕ. Основные черты правильного мышления: определённость, последовательность, непротиворечивость, доказательность.3 1 СОДЕРЖАНИЕ Основные черты правильного мышления: определённость, последовательность, непротиворечивость, доказательность.3 Законы логики: a) Закон тождества. 5 b) Закон непротиворечия..6 c) Закон исключения

Подробнее

Тема 9. Логические основы ЭВМ.

Тема 9. Логические основы ЭВМ. Тема 9. Логические основы ЭВМ. 1. Логика. Информация, обрабатываемая в ЭВМ, представляется с помощью физических величин, которые могут принимать только два устойчивых состояния и называются «двоичные переменные».

Подробнее

Лекция 1. Наивная теория множеств

Лекция 1. Наивная теория множеств Лекция 1. Наивная теория множеств Множество Центральным понятием наивной теории множеств является множество. Множество это набор или совокупность объектов любой природы. Эти объекты называют элементами

Подробнее

Краткий учебный словарь по логике

Краткий учебный словарь по логике Краткий учебный словарь по логике 17 Министерство образования Российской Федерации Ярославский государственный университет им. П.Г. Демидова Кафедра педагогики и педагогической психологии КРАТКИЙ УЧЕБНЫЙ

Подробнее

ПРИЛОЖЕНИЕ ТЕОРИИ КУРТА ГЕДЕЛЯ О НЕПОЛНОТЕ ФОРМАЛЬНЫХ АКСИОМАТИЧЕСКИХ СИСТЕМ К КЛАССИЧЕСКОЙ ФОРМАЛЬНОЙ ЛОГИКЕ

ПРИЛОЖЕНИЕ ТЕОРИИ КУРТА ГЕДЕЛЯ О НЕПОЛНОТЕ ФОРМАЛЬНЫХ АКСИОМАТИЧЕСКИХ СИСТЕМ К КЛАССИЧЕСКОЙ ФОРМАЛЬНОЙ ЛОГИКЕ ПРИЛОЖЕНИЕ ТЕОРИИ КУРТА ГЕДЕЛЯ О НЕПОЛНОТЕ ФОРМАЛЬНЫХ АКСИОМАТИЧЕСКИХ СИСТЕМ К КЛАССИЧЕСКОЙ ФОРМАЛЬНОЙ ЛОГИКЕ Ахвледиани Александр Нодарович Энциклопедический Фонд Russika Международное научное общество

Подробнее

ТЕСТОВЫЕ ЗАДАНИЯ К ПРОВЕДЕНИЮ ТЕКУЩЕГО И ИТОГОВОГО КОНТРОЛЯ.

ТЕСТОВЫЕ ЗАДАНИЯ К ПРОВЕДЕНИЮ ТЕКУЩЕГО И ИТОГОВОГО КОНТРОЛЯ. ТЕСТОВЫЕ ЗАДАНИЯ К ПРОВЕДЕНИЮ ТЕКУЩЕГО И ИТОГОВОГО КОНТРОЛЯ. Инструкция к тестам 1 20 Для каждого теста выберите один правильный ответ (дан жирным шрифтом). 1. Логика исследует содержательную сторону мышления

Подробнее

Дискретная математика. Конспект лекций. Оглавление. 2. Алгебра множеств.

Дискретная математика. Конспект лекций. Оглавление. 2. Алгебра множеств. Доля П.Г. Харьковский Национальный Университет механико математический факультет 014 г. Дискретная математика. Конспект лекций. Оглавление. Алгебра множеств..1 Понятие множества... 1. Операции над множествами...

Подробнее

Памятка: как писать сочинение?

Памятка: как писать сочинение? Памятка: как писать сочинение? 1. Введение в проблему. 2. Формулировка проблемы, затронутой в предложенном тексте. 3. Комментирование обозначенной проблемы. 4. Формулировка авторской позиции. 5. Высказывание

Подробнее

Введение в математическую логику и теорию алгоритмов

Введение в математическую логику и теорию алгоритмов Введение в математическую логику и теорию алгоритмов Семинар 2: Исчисление высказываний Определение 1. Из множества формул Γ следует формула A (пишем: Γ = A), если для каждой оценки v имеем: если все формулы

Подробнее

Элементы математической логики: исчисления

Элементы математической логики: исчисления Министерство образования и науки РФ Уральский государственный экономический университет Ю. Б. Мельников Элементы математической логики: исчисления Раздел электронного учебника для сопровождения лекции

Подробнее

10. Постижение соотношения исторической и логической форм бытия философии

10. Постижение соотношения исторической и логической форм бытия философии ЦЕЛЬ КУРСА Общей целью настоящего курса является освоение студентами актуальных знаний в области онтологии и теории познания. Настоящая учебная дисциплина ориентирует на формирование универсальной философской

Подробнее

из истории европейской мысли

из истории европейской мысли из истории европейской мысли М. Джаббехдари определение в логических учениях аристотеля и ибн-сины Определение это логическая операция, которая раскрывает содержание понятия. Эта операция, которая всегда

Подробнее

6.1 Логические переменные, логические связки

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

Подробнее

Основные понятия формальной логики

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

Подробнее

ПАРАДОКС КАК КРИТЕРИЙ РАЗВИТИЯ НАУКИ, ИЛИ О ПРИНЦИПЕ НЕОПРЕДЕЛЕННОСТИ ГЕЙЗЕНБЕРГА И ТЕОРЕМЕ ГЕДЕЛЯ О НЕПОЛНОТЕ

ПАРАДОКС КАК КРИТЕРИЙ РАЗВИТИЯ НАУКИ, ИЛИ О ПРИНЦИПЕ НЕОПРЕДЕЛЕННОСТИ ГЕЙЗЕНБЕРГА И ТЕОРЕМЕ ГЕДЕЛЯ О НЕПОЛНОТЕ ПАРАДОКС КАК КРИТЕРИЙ РАЗВИТИЯ НАУКИ, ИЛИ О ПРИНЦИПЕ НЕОПРЕДЕЛЕННОСТИ ГЕЙЗЕНБЕРГА И ТЕОРЕМЕ ГЕДЕЛЯ О НЕПОЛНОТЕ Наумов А. А. Нижегородский государственный технический университет им. Р.Е. Алексеева Нижний

Подробнее

ПОНЯТИЕ О ДУХЕ КАК ПОЗНАЮЩЕМ СЕБЯ СУБЪЕКТЕ И ПРОБЛЕМА ОБРАЗОВАНИЯ В ФИЛОСОФИИ ГЕГЕЛЯ

ПОНЯТИЕ О ДУХЕ КАК ПОЗНАЮЩЕМ СЕБЯ СУБЪЕКТЕ И ПРОБЛЕМА ОБРАЗОВАНИЯ В ФИЛОСОФИИ ГЕГЕЛЯ ПОНЯТИЕ О ДУХЕ КАК ПОЗНАЮЩЕМ СЕБЯ СУБЪЕКТЕ И ПРОБЛЕМА ОБРАЗОВАНИЯ В ФИЛОСОФИИ ГЕГЕЛЯ И. А. ПРОТОПОПОВ Основная задача философии, согласно Гегелю, состоит в том чтобы, постигнуть в нашем разуме в форме

Подробнее

Основные понятия логики - Контрольная работа

Основные понятия логики - Контрольная работа Основными формами мышления являются понятие, суждение и умозаключение. В своей работе я попытаюсь, как можно подробнее рассмотреть одну. 9858982022091 14 авг 2009. Логика как наука о способах доказательств

Подробнее

Простые суждения Все простые суждения в логике разделяются на три группы: атрибутивные суждения (суждения о свойствах предметов), суждения об

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

Подробнее

Обобщение и ограничение понятий

Обобщение и ограничение понятий Обобщение и ограничение понятий План 1. Закон обратного отношения между содержанием и объемом понятия. 2. Логический смысл операции обобщения понятий. 3. Логический смысл операции ограничения понятий.

Подробнее

Н.Н. Корнеева. Математическая логика. Конспект лекций

Н.Н. Корнеева. Математическая логика. Конспект лекций Министерство образования и науки РФ ФГАОУ ВПО "Казанский (Приволжский) федеральный университет" Высшая школа информационных технологий и информационных систем Кафедра автономных робототехнических систем

Подробнее

ПРОБЛЕМА ВЗАИМОСВЯЗИ СЕМИОТИЧЕСКИХ АСПЕКТОВ ЯЗЫКА В ГУМАНИТАРНОМ ЗНАНИИ

ПРОБЛЕМА ВЗАИМОСВЯЗИ СЕМИОТИЧЕСКИХ АСПЕКТОВ ЯЗЫКА В ГУМАНИТАРНОМ ЗНАНИИ ПРОБЛЕМА ВЗАИМОСВЯЗИ СЕМИОТИЧЕСКИХ АСПЕКТОВ ЯЗЫКА В ГУМАНИТАРНОМ ЗНАНИИ Терехина М. И. Орский гуманитарно-технологический институт (филиал) ОГУ, г. Орск На рубеже ХIХ ХХ веков произошли существенные сдвиги

Подробнее

Наркопотребление: проблема выбора (версия II).

Наркопотребление: проблема выбора (версия II). Иванов С.Ю., Скочилов Р.В. Наркопотребление: проблема выбора (версия II). Традиционно, проблема потребления наркотиков рассматривается в двух плоскостях: как медицинская или как юридическая проблема. В

Подробнее

Естественные негёделевы определения неполноты

Естественные негёделевы определения неполноты Естественные негёделевы определения неполноты Ватолин Дм. Даны определения «полноты» и «неполноты» для математических теорий, отличные от гёделевых. Исключены противоречия гёделевых доводов. Найдены теоремы,

Подробнее

Федеральное агентство по образованию Уральский государственный экономический университет Ю. Б. Мельников Отношения и предикаты Раздел электронного учебника для сопровождения лекции Изд. 2-е, испр. и доп.

Подробнее

Е. А. Леснова. МАТЕМАТИЧЕСКАЯ ЛОГИКА Шпаргалка

Е. А. Леснова. МАТЕМАТИЧЕСКАЯ ЛОГИКА Шпаргалка Е. А. Леснова МАТЕМАТИЧЕСКАЯ ЛОГИКА Шпаргалка Публикуется с разрешения правообладателя: Литературного агентства «Научная книга» Заведующая редакцией: Елистратова М. В. Выпускающий редактор: Юрова Д. А.

Подробнее

Введение в математическую логику (oсень 2016)

Введение в математическую логику (oсень 2016) Введение в математическую логику (oсень 2016) В.Б. Шехтман Лекция 1 Высказывания это предложения естественного языка. Естественные языки предмет изучения других наук: лингвистики и филологии. В математической

Подробнее

НЕСКОЛЬКО СЛОВ О ПАРАДОКСЕ БЕРТРАНА РАССЕЛА Мясников К. А, Эркинов Н. К-у. Университетский колледж ОГУ Оренбург, Россия

НЕСКОЛЬКО СЛОВ О ПАРАДОКСЕ БЕРТРАНА РАССЕЛА Мясников К. А, Эркинов Н. К-у. Университетский колледж ОГУ Оренбург, Россия НЕСКОЛЬКО СЛОВ О ПАРАДОКСЕ БЕРТРАНА РАССЕЛА Мясников К. А, Эркинов Н. К-у. Университетский колледж ОГУ Оренбург, Россия A FEW WORDS ABOUT THE PARADOX OF BERTRAND RUSSELL Myasnikov, K. A, Erkinov N. K-y.

Подробнее

алгебраические методы высказывания Логическое высказывание

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

Подробнее

МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ

МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ Министерство образования и науки Российской Федерации Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Тамбовский государственный технический университет»

Подробнее

Диалектика и синергетика

Диалектика и синергетика Диалектика и синергетика 1. Общее понятие диалектики 2. Основные исторические формы диалектики 3. Формы диалектики 4. Альтернативы диалектики 5. Метафизика 6. Основные формы метафизики 7. Сравнение позиций

Подробнее

ПРОЛОГ язык логического программирования

ПРОЛОГ язык логического программирования ПРОЛОГ язык логического программирования Основные сведения Первый вариант: А.Колмероэ (Colmerauer), 1972, Марсель Применение: 1981, Япония, проект создания ЭВМ 5-го поколения Математические основания:

Подробнее

Примерная тематика типовых контрольных заданий (контрольные точки):

Примерная тематика типовых контрольных заданий (контрольные точки): Лист 2 из 8 Примерная тематика типовых контрольных заданий (контрольные точки): 1-я контрольная точка Примеры ситуационных задач: Задача 1. 1. Определите вид отношений между понятиями, изобразите их с

Подробнее

МАТЕРИЯ РАЗОРВАНА, СУЩЕСТВУЕТ И НЕ СУЩЕСТВУЕТ. ЧЕЛОВЕК ВЕРИТ ВО ВСЕОБЩНОСТЬ МАТЕРИИ.

МАТЕРИЯ РАЗОРВАНА, СУЩЕСТВУЕТ И НЕ СУЩЕСТВУЕТ. ЧЕЛОВЕК ВЕРИТ ВО ВСЕОБЩНОСТЬ МАТЕРИИ. Искандар Асадуллаев МАТЕРИЯ РАЗОРВАНА, СУЩЕСТВУЕТ И НЕ СУЩЕСТВУЕТ. ЧЕЛОВЕК ВЕРИТ ВО ВСЕОБЩНОСТЬ МАТЕРИИ. Материя для человека это понятие не обоснованное опытным путем, такого понятия материи нет, так

Подробнее

СЛОВАРЬ ПРИЕМОВ МЫСЛИТЕЛЬНОЙ ДЕЯТЕЛЬНОСТИ

СЛОВАРЬ ПРИЕМОВ МЫСЛИТЕЛЬНОЙ ДЕЯТЕЛЬНОСТИ В общем понимании мыслительная деятельность это процесс применения приемов логического мышления, таких, как анализ, синтез, сравнение, обобщение и др., и невозможно научить школьника рассуждать, доказывать,

Подробнее

ФИЛОСОФИЯ И МЕТОДОЛОГИЯ НАУКИ

ФИЛОСОФИЯ И МЕТОДОЛОГИЯ НАУКИ Вестник Челябинского государственного университета. 2009. 18 (156). Философия. Социология. Культурология. Вып. 12. С. 95 99. ФИЛОСОФИЯ И МЕТОДОЛОГИЯ НАУКИ А. Е. Ухов ПРЕДЕЛЬНЫЕ ОСНОВАНИЯ ПОЗНАНИЯ И ПРОБЛЕМА

Подробнее

Задание 2. Значение логического выражения

Задание 2. Значение логического выражения Задание 2. Значение логического выражения Логические высказывания и переменные Логическое высказывание (Л.В.) это высказывание, в отношении которого можно однозначно сказать, истинно оно или ложно. Внимание!

Подробнее

Об одном варианте динамической логики знания 1

Об одном варианте динамической логики знания 1 Об одном варианте динамической логики знания 1 Е. Е. Ледников abstract. In the paper the logic of knowledge, conviction, grounding, trust, belief, doubt and refuting are proposed. Such logic, named the

Подробнее

ВОПРОСЫ ДЛЯ ЭКЗАМЕНА

ВОПРОСЫ ДЛЯ ЭКЗАМЕНА МИНИСТЕРСТВО ВНУТРЕННИХ ДЕЛ РОССИЙСКОЙ ФЕДЕРАЦИИ КРАСНОДАРСКИЙ УНИВЕРСИТЕТ СТАВРОПОЛЬСКИЙ ФИЛИАЛ ФАКУЛЬТЕТ ЗАОЧНОГО ОБУЧЕНИЯ И ДОПОЛНИТЕЛЬНОГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ кафедра социально-экономических

Подробнее

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

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

Подробнее

Общее понятие основного вопроса философии, его стороны

Общее понятие основного вопроса философии, его стороны ТЕМА 2. ОСНОВНОЙ ВОПРОС И ОСНОВНЫЕ НАПРАВЛЕНИЯ В ФИЛОСОФИИ Общее понятие вопроса философии, его стороны Онтологическая сторона основного вопроса философии Гносеологическая сторона основного вопроса философии

Подробнее

Методологические основы психолого-педагогического исследования

Методологические основы психолого-педагогического исследования Методологические основы психолого-педагогического исследования План: 1. Сущность методологии и методики. 2. Три уровня методологии. 3. Методы организации исследований. 4. Методологические основы выявления

Подробнее

ПОЯСНИТЕЛЬНАЯ ЗАПИСКА

ПОЯСНИТЕЛЬНАЯ ЗАПИСКА ПОЯСНИТЕЛЬНАЯ ЗАПИСКА Основная задача обучения логике - развитие культуры мышления учащихся. Изучение логики развивает: ясность и четкость мышления; способность предельно уточнять предмет мысли; внимательность,

Подробнее

А.В. Тихоненко, Г.А. Семенова ИСПОЛЬЗОВАНИЕ ЛОГИКИ ВЫСКАЗЫВАНИЙ В СИСТЕМЕ НАЧАЛЬНОГО МАТЕМАТИЧЕСКОГО ОБРАЗОВАНИЯ

А.В. Тихоненко, Г.А. Семенова ИСПОЛЬЗОВАНИЕ ЛОГИКИ ВЫСКАЗЫВАНИЙ В СИСТЕМЕ НАЧАЛЬНОГО МАТЕМАТИЧЕСКОГО ОБРАЗОВАНИЯ Вестник ТГПИ Естественные науки А.В. Тихоненко, Г.А. Семенова ИСПОЛЬЗОВАНИЕ ЛОГИКИ ВЫСКАЗЫВАНИЙ В СИСТЕМЕ НАЧАЛЬНОГО МАТЕМАТИЧЕСКОГО ОБРАЗОВАНИЯ Человек с древних времен стремился познать законы правильного

Подробнее

Введениев математическуюлогику итеориюалгоритмов

Введениев математическуюлогику итеориюалгоритмов Введениев математическуюлогику итеориюалгоритмов Лекция 7 АлексейЛьвович ЛьвовичСеменов 1 15.10.2012 Теория (системааксиом). Истинностьвструктуре. Фиксируемсигнатуру Σ. Множество замкнутых формул мы называем

Подробнее

ЗАКОН ОБ ОПРЕДЕЛЯЮЩЕЙ РОЛИ СПОСОБА СОЕДИНЕНИЯ РАБОЧЕЙ СИЛЫ СО СРЕДСТВАМИ ПРОИЗВОДСТВА В ОТНОШЕНИЯХ СОБСТВЕННОСТИ

ЗАКОН ОБ ОПРЕДЕЛЯЮЩЕЙ РОЛИ СПОСОБА СОЕДИНЕНИЯ РАБОЧЕЙ СИЛЫ СО СРЕДСТВАМИ ПРОИЗВОДСТВА В ОТНОШЕНИЯХ СОБСТВЕННОСТИ 3. В последнее время в Евросоюзе наметилась тенденция к пошаговому сотрудничеству с Республикой Беларусь. Если этот процесс получит развитие, то экономика Беларуси может приобрести существенные выгоды.

Подробнее

3. Логика 1-го порядка. Теории и модели 1. Какие из следующих формул общезначимы:

3. Логика 1-го порядка. Теории и модели 1. Какие из следующих формул общезначимы: 1. Логика высказываний Определения. Зафиксируем счётное множество Var = {p 1, p 2, p 3,..., p n,... }, называемое множеством пропозициональных переменных. Иногда для удобства мы будем обозначать пропозициональные

Подробнее

ЛЕКЦИЯ 2 БУЛЕВЫ ФУНКЦИИ. ТЕОРЕМА ОБ ОДНОЗНАЧНОСТИ РАЗБОРА

ЛЕКЦИЯ 2 БУЛЕВЫ ФУНКЦИИ. ТЕОРЕМА ОБ ОДНОЗНАЧНОСТИ РАЗБОРА ЛЕКЦИЯ 2 БУЛЕВЫ ФУНКЦИИ. ТЕОРЕМА ОБ ОДНОЗНАЧНОСТИ РАЗБОРА 1. Булевы функции. Таблицы истинности Определение 11: Булева функция это функция с булевыми аргументами и булевыми значениями, то есть: f {0, 1}

Подробнее

«ПАРАДОКС ЛЖЕЦА» И «ТЕОРЕМА О ЛОГИЧЕСКОМ КОЛЛАПСЕ В АРИСТОТЕЛЕВСКОЙ ТРАДИЦИОННОЙ ЛОГИКЕ»

«ПАРАДОКС ЛЖЕЦА» И «ТЕОРЕМА О ЛОГИЧЕСКОМ КОЛЛАПСЕ В АРИСТОТЕЛЕВСКОЙ ТРАДИЦИОННОЙ ЛОГИКЕ» «ПАРАДОКС ЛЖЕЦА» И «ТЕОРЕМА О ЛОГИЧЕСКОМ КОЛЛАПСЕ В АРИСТОТЕЛЕВСКОЙ ТРАДИЦИОННОЙ ЛОГИКЕ» Ахвледиани Александр Нодарович Энциклопедический Фонд Russika Международное научное общество «INCOL» Yasmin st.

Подробнее

ÏÐÎßÂËÅÍÈÅ ÎÑÍÎÂÍÛÕ ÇÀÊÎÍΠÄÈÀËÅÊÒÈÊÈ Â ÍÀÓ ÍÎÌ ÏÎÇÍÀÍÈÈ

ÏÐÎßÂËÅÍÈÅ ÎÑÍÎÂÍÛÕ ÇÀÊÎÍΠÄÈÀËÅÊÒÈÊÈ Â ÍÀÓ ÍÎÌ ÏÎÇÍÀÍÈÈ Ìàãíèòîãîðñêèé ãîñóäàðñòâåííûé óíèâåðñèòåò ÏÐÎßÂËÅÍÈÅ ÎÑÍÎÂÍÛÕ ÇÀÊÎÍΠÄÈÀËÅÊÒÈÊÈ Â ÍÀÓ ÍÎÌ ÏÎÇÍÀÍÈÈ Â ñòàòüå ðàññìàòðèâàåòñÿ ðîëü îñíîâíûõ çàêîíîâ äèàëåêòèêè (åäèíñòâà è áîðüáû ïðîòèâîïîëîæíîñòåé, ïåðåõîäà

Подробнее

1. Логика высказываний

1. Логика высказываний 1. Логика высказываний 1.1. Определение логического следствия 1.1.А. Примеры умозаключений. (а) Посылка 1: x y. Посылка 2: y z. Заключение: x z. Как вам кажется, является ли это заключение логическим следствием

Подробнее

Доказательство существования внешнего мира.

Доказательство существования внешнего мира. #10 февраль 2016, стр. 21 Внешний мир без доказательства Статья Александра Мишуры Иллюстрации Ксении Грибинюк и Ксении Сайфулиной Доказательство существования внешнего мира. Чтобы его дать, следует сперва

Подробнее

Московский государственный технический университет имени Н.Э. Баумана. Факультет «Фундаментальные науки» Кафедра «Математическое моделирование»

Московский государственный технический университет имени Н.Э. Баумана. Факультет «Фундаментальные науки» Кафедра «Математическое моделирование» ÌÃÒÓ ÌÃÒÓ ÌÃÒÓ ÌÃÒÓ ÌÃÒÓ ÌÃÒÓ Московский государственный технический университет имени Н.Э. Баумана Факультет «Фундаментальные науки» Кафедра «Математическое моделирование» À.Í. Êàíàòíèêîâ ÌÀÒÅÌÀÒÈ ÅÑÊÀß

Подробнее

РБАТОВ ЛОГИКА УЧЕБНОЕ ПОСОБИЕ

РБАТОВ ЛОГИКА УЧЕБНОЕ ПОСОБИЕ РБАТОВ ЛОГИКА УЧЕБНОЕ ПОСОБИЕ Курбатов В. И. ЛОГИКА Систематичеекии курс РОСТОВ-НА-ДОНУ $>ЕНИКС 2001 ББК 28 6 К 93 Рецензенты: доктор филос. н., проф. Ивлев Ю. В., доктор филос. н., проф. Бочаров В. А.

Подробнее

«Основы логики: искусство правильно мыслить». 10 класс

«Основы логики: искусство правильно мыслить». 10 класс Муниципальное общеобразовательное учреждение средняя общеобразовательная школа с углубленным изучением отдельных предметов пгт Уни Кировской области Программа элективного курса для гуманитарного профиля

Подробнее

Субстанция Философская энциклопедия, т. 5, с

Субстанция Философская энциклопедия, т. 5, с Субстанция Философская энциклопедия, т. 5, с.151-154. (лат. substantia сущность; то, что лежит в основе), объективная реальность, рассматриваемая со стороны ее внутреннего единства, безотносительно ко

Подробнее

Дискретная математика. Конспект лекций. Оглавление. 1. Алгебра высказываний и логика.

Дискретная математика. Конспект лекций. Оглавление. 1. Алгебра высказываний и логика. Доля П.Г. Харьковский Национальный Университет механико математический факультет кафедра геометрии им. А.В. Погорелова Дискретная математика. Конспект лекций. Оглавление 1. Алгебра высказываний и логика.

Подробнее

РАБОЧАЯ ПРОГРАММА ПО ДИСЦИПЛИНЕ

РАБОЧАЯ ПРОГРАММА ПО ДИСЦИПЛИНЕ Негосударственное образовательное учреждение высшего профессионального образования «Институт экономики и управления» НОУ ВПО «ИнЭУ» (г. Пятигорск) Кафедра гуманитарных и социально-экономических дисциплин

Подробнее

ГНОСЕОЛОГИЧЕСКАЯ СУЩНОСТЬ КАНТОВСКОГО УЧЕНИЯ О СВОБОДЕ

ГНОСЕОЛОГИЧЕСКАЯ СУЩНОСТЬ КАНТОВСКОГО УЧЕНИЯ О СВОБОДЕ В. А. Жучков ГНОСЕОЛОГИЧЕСКАЯ СУЩНОСТЬ КАНТОВСКОГО УЧЕНИЯ О СВОБОДЕ Учение Канта о свободе обременено коренными пороками всей его критической философии: агностицизмом, метафизическим противопоставлением

Подробнее

Овчинников Алексей Витальевич КУРС ЛЕКЦИЙ ПО АНАЛИТИЧЕСКОЙ ГЕОМЕТРИИ.

Овчинников Алексей Витальевич КУРС ЛЕКЦИЙ ПО АНАЛИТИЧЕСКОЙ ГЕОМЕТРИИ. Овчинников Алексей Витальевич КУРС ЛЕКЦИЙ ПО АНАЛИТИЧЕСКОЙ ГЕОМЕТРИИ http://matematika.phs.msu.ru/ 2 Лекция 1 Системы координат Представление линий и поверхностей 1. ОБ УЧЕБНОМ ПЛАНЕ Лекции 36 ч. Семинары

Подробнее

Введение в математическую логику Мех-мат МГУ, 1-й курс, весна 2008 г. Конспект лекции 3

Введение в математическую логику Мех-мат МГУ, 1-й курс, весна 2008 г. Конспект лекции 3 Введение в математическую логику Мех-мат МГУ, 1-й курс, весна 2008 г. Конспект лекции 3 Л.Д. Беклемишев 1.9 Нормальные формы 1.9.1 Дизъюнктивные и конъюнктивные нормальные формы Определение 1.55. Литералами

Подробнее

ИНФОРМАТИКА И ПРОГРАММИРОВАНИЕ

ИНФОРМАТИКА И ПРОГРАММИРОВАНИЕ ВЕСТНИК ТОМСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА 2010 Управление вычислительная техника и информатика 2(11) ИНФОРМАТИКА И ПРОГРАММИРОВАНИЕ УДК 68103 АМ Бабанов АС Скачкова МЕТОДИКА ДОКАЗАТЕЛЬСТВА ТЕОРЕМ

Подробнее

КЛЮЧИ ОЦЕНКИ ВЫПОЛНЕНИЯ ЗАДАНИЙ ГЕРЦЕНОВСКОЙ ОЛИМПИАДЫ ШКОЛЬНИКОВ ПО ПЕДАГОГИКЕ. задания Макс.баллы

КЛЮЧИ ОЦЕНКИ ВЫПОЛНЕНИЯ ЗАДАНИЙ ГЕРЦЕНОВСКОЙ ОЛИМПИАДЫ ШКОЛЬНИКОВ ПО ПЕДАГОГИКЕ. задания Макс.баллы КЛЮЧИ ОЦЕНКИ ВЫПОЛНЕНИЯ ЗАДАНИЙ ГЕРЦЕНОВСКОЙ ОЛИМПИАДЫ ШКОЛЬНИКОВ ПО ПЕДАГОГИКЕ Количество баллов по заданиям: задания 1 2 3 4 5 Макс. 5 5 10 10 5 задания 6 7 8 9 10 Макс. 10 10 10 15 20 ИТОГО макс. баллов

Подробнее

СОЦИАЛЬНАЯ ТЕОРИЯ О СВОИХ ГРАНИЦАХ, ВОЗМОЖНОСТЯХ И ЦЕЛЯХ.

СОЦИАЛЬНАЯ ТЕОРИЯ О СВОИХ ГРАНИЦАХ, ВОЗМОЖНОСТЯХ И ЦЕЛЯХ. С. В. Мансуров СОЦИАЛЬНАЯ ТЕОРИЯ О СВОИХ ГРАНИЦАХ, ВОЗМОЖНОСТЯХ И ЦЕЛЯХ. Проблема отношения социальной теории к своему предмету - конкретной социальности имеет ряд аспектов. Во - первых, для философа важна

Подробнее

+7(926) Коучинг «Зеленая»

+7(926) Коучинг «Зеленая» Аутотренинг и вера в себя. Свобода, независимость, самовыражение Общие сведения о картах В колоде 83 карты. Проекционные карты это гибкий, творческий метод, с помощью которого мы можем исследовать важные,

Подробнее

«Учимся рассуждать логически»

«Учимся рассуждать логически» Урок по геометрии для 7 класса на тему: «Учимся рассуждать логически» Учитель математики МОУ «Осташевская СОШ» Шорникова Светлана Павловна Цель: Знакомство с методами рассуждения и доказательства; развитие

Подробнее

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

Работа над изложением и сочинением как одна из форм работы по совершенствованию связной речи учащихся. Учитель-логопед Вильдина С.Ю. Работа над изложением и сочинением как одна из форм работы по совершенствованию связной речи учащихся Учитель-логопед Вильдина С.Ю. С изменением объѐма и качества потребляемой информации изменяются приоритетные

Подробнее

СХЕМА ОЦЕНИВАНИЯ ТЕСТА

СХЕМА ОЦЕНИВАНИЯ ТЕСТА СХЕМА ОЦЕНИВАНИЯ ТЕСТА Реальный профиль Задание А (40 баллов) Nr Задание Вариант ответа Критерии оценивания Общее кол-ство баллов 1. Выпишите из стихотворения пять слов, входящих в состав высокой лексики,

Подробнее

Лекция 3 Методы научного познания

Лекция 3 Методы научного познания Лекция 3 Методы научного познания 1. Понятие «метода» и его основные функции. 2. Признаки научного метода. 3. Классификация методов научного познания. 1 Понятие «метода» и его основные функции. Деятельность

Подробнее

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

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

Подробнее

Событие и форма: проект морфогенетической эпистемологии

Событие и форма: проект морфогенетической эпистемологии Послесловие. Андрей Родин Событие и форма: проект морфогенетической эпистемологии 1. Повторение Что мы имеем в виду, говоря о повторении «того же явления», «того же эксперимента», «того же слова», «той

Подробнее

РЕФЛЕКСИЯ И ТВОРЧЕСТВО

РЕФЛЕКСИЯ И ТВОРЧЕСТВО Семенов В.Г. (г. Киев) РЕФЛЕКСИЯ И ТВОРЧЕСТВО Рефлексия атрибутивное свойство человеческой жизнедеятельности. Человек принципиально рефлексирующее и рефлексируемое существо, он одновременно и субъект,

Подробнее

1. Предмет философии. Философия и мифология. Мировоззренческая функция философии.

1. Предмет философии. Философия и мифология. Мировоззренческая функция философии. ЭКЗАМЕНАЦИОННЫЙ БИЛЕТ 1 1. Предмет философии. Философия и мифология. Мировоззренческая функция философии. 2. Чувственное познание и его основные формы (ощущение, восприятие, представление). Составил д.

Подробнее

2 (базовый уровень, время 3 мин)

2 (базовый уровень, время 3 мин) 2 (базовый уровень, время мин) Тема: Построение и анализ таблиц истинности логических выражений. Про обозначения К сожалению, обозначения логических операций И, ИЛИ и НЕ, принятые в «серьезной» математической

Подробнее

Основные понятия алгебры логики.

Основные понятия алгебры логики. Основные понятия алгебры логики. Для математического описания работы вычислительных устройств и их программного проектирования широко используется алгебра логики (булевская алгебра). Алгебра логики - часть

Подробнее

7. Аддитивные и мультипликативные суждения диалектической логики. Аддитивные и мультипликативные дифференциалы и интегралы диалектических суждений

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

Подробнее

Б. Спиноза. Избранные произведения

Б. Спиноза. Избранные произведения Спиноза Б. Б. Спиноза. Избранные произведения Том 1 Москва «Книга по Требованию» УДК ББК 101 87 С72 С72 Спиноза Б. Б. Спиноза. Избранные произведения: Том 1 / Спиноза Б. М.: Книга по Требованию, 2013.

Подробнее

Каждому времени своя сказка.

Каждому времени своя сказка. Педагогический проект по литературному чтению. Тема проекта: Каждому времени своя сказка. 15.4.14 Руководитель проекта: учитель начальных классов МБОУ СОШ 41 Филоненко С. А. 1. Актуальность выбранной темы:

Подробнее

Ф.Энгельс офилософиидревнихгреков. Воззрение древних на природу

Ф.Энгельс офилософиидревнихгреков. Воззрение древних на природу Воззрение древних на природу Ф. Энгельс О первых философах Аристотель говорит, что они утверждают, что ни однавещьневозникаетинеисчезает, таккаквсегдасохраняетсяоднаитаже природа. Таким образом, здесь

Подробнее