Технология логического мышления. Коллекция новых ребусов. Мячев А.А.Анатолий Мячев
Приведенные избранные числовые ребусы по технологии мышления могут служить основой для создания аналогичных авторских ребусов и проверки решений с помощью программы «Калькулятор числовых ребусов» и аналогичных авторских числовых ребусов, размещенных в Интернет.
Для педагогов и пользователей, решающих практические задачи по развитию компетенций в сфере информатики, логики и в смежных областях.
Технология логического мышления. Коллекция новых ребусов. Мячев А.А.Анатолий Мячев
Приведенные избранные числовые ребусы по технологии мышления могут служить основой для создания аналогичных авторских ребусов и проверки решений с помощью программы «Калькулятор числовых ребусов» и аналогичных авторских числовых ребусов, размещенных в Интернет.
Для педагогов и пользователей, решающих практические задачи по развитию компетенций в сфере информатики, логики и в смежных областях.
Сергей Переслегин.
Презентация-сборка с занятия 26 апреля 2015 г.
Онтологический верстак: Эпистемиологическое знание.
Анонс мероприятия: http://sociosoft.ru/news/OV_19_apr
Сергей Переслегин.
Презентация с семинара "Онтологический верстак" 16 ноября 2014 года.
Тема: Онтология.
Анонс мероприятия: http://sociosoft.ru/news/OV_16_nov
ГП: Я не автор этого курса и не выбирал его темы - все это я получил в наследство от И. С. Алексеева, который так и не сказал, что он собирался здесь делать. Поэтому ситуация у меня точно такая же, какая была у средневековых европейских ученых, когда они открыли древнегреческую науку и философию и не понимали, зачем она нужна и что с нею можно делать. <...> Так и я с этим курсом. Но буду, как могу, реконструировать вопросы и стараться на них ответить. <...>
Сергей Переслегин.
Презентация-сборка с занятия 22 марта 2015 г.
Онтологический верстак: Праксеологическое знание.
Анонс мероприятия: http://www.sociosoft.ru/news/OV_22_mart
Докладчик Н. В. Головко
Новосибирский государственный университет
Институт философии и права СО РАН
Философский семинар ИФ НАНБ (Минск via Zoom, 24 ноября 2021)
Аннотация:
Суть научного реализма заключается в том, что научные понятия отождествляются с метафизическими объектами. И в этом смысле, особое значение имеет метафизическая трактовка «тезиса существования» (М. Девитт). На наш взгляд, здесь мы можем отдельно говорить об «объектной онтологии», закрепляющей условия существования объекта, а также о базовой «метафизической онтологии», связанной с обсуждением того, насколько состоятельной именно в метафизическом плане будет предполагаемая новая трактовка объекта. Произвол в выборе онтологий, в том числе, определяется требованиями к концепции научного реализма, продиктованными развитием современной науки (Дж. Лэдимен). Выберем в качестве «объектной онтологии» концепцию реальных паттернов Д. Деннета, понимаемую как фундаментальная концепция существования (Д. Росс, Дж. Лэдимен), а в качестве «базовой» – концепцию четырех-категориальной онтологии Дж. Лоу. В итоге мы получаем концепцию метафизики науки, которая не только избавляет нас от проблемы пессимистической мета-индукции (Х. Патнэм, Л. Лаудан и др.), но и содержательно объясняет «почему электрон также не исчерпаем как атом». Развитие науки сопровождается совершенствованием научной методологии, что объясняет, в каком смысле «один набор данных может содержать разные паттерны» (Д. Деннет). Контингентный характер связи между субстанциальной (объектом) и несубстанциальной (характеристикой объекта) универсалиями в онтологии Дж. Лоу, наилучшим образом объясняет то, в каком смысле исторически «наука определяет, какая из метафизических возможностей достигается актуально» (Дж. Лоу, Дж. Кац и др.).
Видео выступления https://youtu.be/uhNLkvNcGwY
Сергей Переслегин.
Презентация-сборка с занятия 26 апреля 2015 г.
Онтологический верстак: Эпистемиологическое знание.
Анонс мероприятия: http://sociosoft.ru/news/OV_19_apr
Сергей Переслегин.
Презентация с семинара "Онтологический верстак" 16 ноября 2014 года.
Тема: Онтология.
Анонс мероприятия: http://sociosoft.ru/news/OV_16_nov
ГП: Я не автор этого курса и не выбирал его темы - все это я получил в наследство от И. С. Алексеева, который так и не сказал, что он собирался здесь делать. Поэтому ситуация у меня точно такая же, какая была у средневековых европейских ученых, когда они открыли древнегреческую науку и философию и не понимали, зачем она нужна и что с нею можно делать. <...> Так и я с этим курсом. Но буду, как могу, реконструировать вопросы и стараться на них ответить. <...>
Сергей Переслегин.
Презентация-сборка с занятия 22 марта 2015 г.
Онтологический верстак: Праксеологическое знание.
Анонс мероприятия: http://www.sociosoft.ru/news/OV_22_mart
Докладчик Н. В. Головко
Новосибирский государственный университет
Институт философии и права СО РАН
Философский семинар ИФ НАНБ (Минск via Zoom, 24 ноября 2021)
Аннотация:
Суть научного реализма заключается в том, что научные понятия отождествляются с метафизическими объектами. И в этом смысле, особое значение имеет метафизическая трактовка «тезиса существования» (М. Девитт). На наш взгляд, здесь мы можем отдельно говорить об «объектной онтологии», закрепляющей условия существования объекта, а также о базовой «метафизической онтологии», связанной с обсуждением того, насколько состоятельной именно в метафизическом плане будет предполагаемая новая трактовка объекта. Произвол в выборе онтологий, в том числе, определяется требованиями к концепции научного реализма, продиктованными развитием современной науки (Дж. Лэдимен). Выберем в качестве «объектной онтологии» концепцию реальных паттернов Д. Деннета, понимаемую как фундаментальная концепция существования (Д. Росс, Дж. Лэдимен), а в качестве «базовой» – концепцию четырех-категориальной онтологии Дж. Лоу. В итоге мы получаем концепцию метафизики науки, которая не только избавляет нас от проблемы пессимистической мета-индукции (Х. Патнэм, Л. Лаудан и др.), но и содержательно объясняет «почему электрон также не исчерпаем как атом». Развитие науки сопровождается совершенствованием научной методологии, что объясняет, в каком смысле «один набор данных может содержать разные паттерны» (Д. Деннет). Контингентный характер связи между субстанциальной (объектом) и несубстанциальной (характеристикой объекта) универсалиями в онтологии Дж. Лоу, наилучшим образом объясняет то, в каком смысле исторически «наука определяет, какая из метафизических возможностей достигается актуально» (Дж. Лоу, Дж. Кац и др.).
Видео выступления https://youtu.be/uhNLkvNcGwY
Тест-тренажер компетентности по теме "Учусь Учиться" Анатолий Мячев
В тесте сбалансированы задания по степени известности различных терминов глоссария по теме (сложности заданий). В тест введены также аббревиатуры терминов глоссария в целях повышения продуктивности тестирования, поиска терминов в словарях и снижения до минимума количества
ошибок при вводе термина в форму.
Тест позволяет повысить уровень общей культуры по теме, провести комплексную проверку уровня знаний и компетентности обучающихся и широкого круга пользователей сайта по терминологии деятельностного подхода.
Интернет ресурс содержит также глоссарий близких по значению терминов (синонимов) - www.evrecom.narod.ru.
Статья была начата в 2002 и закончена в 2003 году как промежуточный результат работы над диссертацией на степень к.т.н. по теме "Разработка интерпретатора языка BPDL, оптимизированного для работы с среде GRID (распределенная среда)"
http://urokoff.net
Презентация для урока в 10 классе - "Основы логики". Понятие логики как науки; формы мышления - понятие, высказывание, умозаключение; алгебра высказываний; логические операции - конъюнкция, дизъюнкция, инверсия.
Презентация Сергея Переслегина к занятию 20 сент. 2015 г.
Школа аналитики и Онтологический верстак.
Анонс занятия: http://sociosoft.ru/news/OV_20_sent.
3. Определяющий признак это признак, по которому определяемый объект … от всех других объектов. отличается
4. Определение термина это приписывание определяющего признака определяемому термину, позволяющее … определяемый предмет ото всех остальных. Определения терминов бывают остенсивные и вербальные. отличать
6. Вербальное определение это определение … (понятия) определяемого термина через смыслы определяющих терминов. Смысл понятия и определяющий признак – это одно и то же. смысла
7. Методологические правила введения термина. Методы эффективизации, … , Квантификации, Метод качественного уточнения терминов, Метод логической систематизации терминов, Научная классификация. Алгоритмизации
8. Суждение Есть … , в котором утверждается или отрицается наличие свойства или отношения у предмета. Суждение имеет форму и содержание. высказывание
11. Истинность есть соответствие приписывания (предиката суждения его субъекту) … (свойств или отношений, обозначаемых предикатом, предмету, обозначенному субъектом суждения). присущности
12. Истинность характеризуется принципами истинности : /1/ относительности к принятым идеализациям; /2/ … истинности . плюрализма
13. Логическая истинность это истинность, которая устанавливается через анализ логических … . Логические термины определяются остенсивно. терминов
14. Фактуальная истинность устанавливается не только при помощи … терминов (если они есть), но при помощи дескриптивных терминов (терминов, обозначающих некоторые предметы, их свойства и отношения). логических
16. Эмпирическая истинность это истинность, устанавливаемая с помощью чувственных … (или с помощью эмпирических терминов). Эта истинность может быть установлена только относительно материальных, чувственно воспринимаемых предметов. восприятий
17. Аналитическая истинность это истинность, устанавливаемая с помощью … смысла (понятия) аналитических терминов. анализа
18. Аналитический термин это термин, имеющий … (понятие, определяющий признак) рассматриваемого объекта. смысл
19. Идеализация это наделение объекта …, которыми он не обладает. Эти свойства могут доводиться до "предела", а в квантифицированных науках до бесконечности или до нуля. Идеализация проводится методами обобщения, огрубления, упрощения и т. п. свойствами
26. Контекстуальное определение неявное представление о смысле термина через указание … , в которых встречается данный термин. суждений
27. Доказательство есть обоснование … суждения на базе либо других суждений ( опосредованное доказательство) , либо на основе анализа свойств и отношений самого анализируемого предмета ( непосредственное , т. е. предметное доказательство ). истинности
28. Формальные теории это чисто синтаксические построения, не имеющие предмета т.е. … (семантики). содержания
30. Прикладная теория является … синтаксиса теории либо на материальных объектах, либо на идеализациях, отличных от идеализаций теории. интерпретацией
31. АКСИОМА (гр. axioma —значимое, достойное уважения, бесспорное) истинное суждение, которое при дедуктивном построении какой - либо теории принимается без доказательства в качестве …. положения и которое входит в основу доказательства всех других положений данной теории. исходного
32. АЛГОРИТМ точное и легко понимаемое описание (предписание, правило, рецепт) … выполняемого шаг за шагом единообразного решения любой задачи из какого-либо класса задач данного типа. механически
33. АЛОГИЗМ нелогичность, … роли логики в по знании, логический разрыв речи, нарушение логической последовательности, связанности, обоснованности. отрицание
34. АЛЬТЕРНАТИВА (лат. alter —чередоваться) каждая из двух или нескольких исключающих друг друга … , выбор между этими возможностями есть или P1, или Р2. возможностей
35. АМФИБОЛИЯ (гр. amphibolia — двусмысленность, двойственность) Логическая … , заключающаяся в том, что грамматическое выражение допускает его двоякое толкование. ошибка
36. АНАЛИЗ (гр. analysis — разложение, расчленение, разбор) логический прием, метод исследования, состоящий в том, что изучаемый предмет мысленно расчленяется на составные элементы, каждый из которых … в отдельности как часть расчлененного целого. исследуется
37. АНАЛОГИЯ (гр. analogia — соответствие, сходство) подобие, … предметов в каких-либо свойствах, признаках или отношениях, при чем таких предметов, которые в целом различии. сходство
38. АНТИНОМИЯ (лат. anti — против +nomos — закон, противоречие в законе) противоположность между двумя суждениями, … друг друга, но в то же время производящими впечатление, что оба они могут быть с одинаковой силой логически доказаны в качестве правильных. взаимоисключающими
40. АРГУМЕНТ (лат. argumentum — логический довод, основание, доказательство) мысль, истинность которой проверена и доказана … и которая поэтому может быть приведена в обоснование истинности или ложности другого положения. практикой
41. ВЕРИФИКАЦИЯ (лат. verus — истинный + facio — делаю) принцип установления … , то есть возможность данного высказывания (утверждения) оказаться истинным или ложным. осмысленности
42. ВЕРСИЯ (лат. versio —оборот, видоизменение) одно из нескольких возможных, отличных друг от друга объяснений или ... одного и того же факта, явления, события. толкований
43. ВЫВЕДЕНИЕ … действие, в результате которого новое знание получается логически, то есть без обращения непосредственно к опыту или из предшествующего опыта. мысленное
44. ВЫВОДНОЕ ЗНАНИЕ знание, полученное из ранее … и проверенных истин в результате применения законов и правил логики к имеющимся истинным мыслям. установленных
45. ГИПОТЕЗА (гр. hypothesis — основание, предположение) вероятное … о причине каких-либо явлений, достоверность которого не может быть проверена и доказана в настоящее время, но которое может приблизительно объяснить данные явления. предположение
46. ГИПОТЕТИКО-ДЕДУКТИВНЫЙ МЕТОД способ научного …, заключающийся в том, что вначале высказывается несколько гипотез о причинах изучаемых фактов, а затем дедуктивным путем из гипотез выводите следствие. исследования
47. ДЕДУКЦИЯ (лат. deductio — выведение) такая форма мышления, когда новая мысль выводится логическим путем из предшествующих мыслей, причем этот процесс анализа идет от … к частному. общего
48. ДЕМОНСТРАЦИЯ (лат. demonstratio — показывание) логическое …, в процессе которого из аргументов (доводов) выводится истинность или ложность тезиса. рассуждение
49. ДИЗЪЮНКЦИЯ (лат. disjunctio — разобщение, разделение различие) операция, выражающаяся 8 соединении двух и более … с помощью логического союза “или” в новое, сложное суждение. высказываний
50. ДИЛЕММА (гр. di — дважды +lemma — предположение или двойственное предположение) суждение, в котором предмету приписываются два … признака, исключающих возможность третьего. противоречащих
51. ДИХОТОМИЧЕСКОЕ СУЖДЕНИЕ (гр. dicha и tome — разделяю на две части) суждение, в котором выражается результат деления … предметов на две части. Одна из этих частей характеризуется наличием известного признака, а другая — его отсутствием. класса
52. ДОКАЗАТЕЛЬСТВО логическое …, в процессе которого истинность какой-либо мысли обосновывается с помощью других мыслей. действие
53. ИМПЛИКАЦИЯ (лат. implicite — тесно связывают) логическая операция, … два высказывания в сложное высказывание с по мощью логической связки “если... то...”. связывающая
54. ИНДУКЦИЯ (лат. inductio — наведение) форма мышления, посредством которой мысль наводится на какое-либо общее правило, при этом процесс … идет от частного к общему. анализа
55. КАЗУИСТИКА (лат. casus — случай, случайность) … , изворотливость в спорте, в “доказательстве” ложных или сомнительных положений. ловкость
56. КЛАССИФИКАЦИЯ (лат. classis — разряд + facio — делаю) распределение предметов на классы согласно наиболее существенным …, при сущим предметам данного рода. признакам
57. КОНТРАДИКЦИЯ (лат. contra — против + dictio — высказывание) логически противоречивое высказывание, нарушающее формально - логический , закон …. противоречия
58. КОНТРАДИКТОРНЫЕ ОТНОШЕНИЯ (лат. contradictorius —противоречащий) отношения между … суждения, которые вместо не могут быть ни истинными, ни ложными, из двух контрадикторных суждений одно — истинно, другое — ложно. противоречивыми
59. КОНТРАРНЫЕ ОТНОШЕНИЯ (лат. contrarius — противоположный) отношения между противными, или противоположными, суждениями, которые вместе не могут быть истинными, но оба вместе могут быть … ложными
61. КРУГ В ДОКАЗАТЕЛЬСТВЕ логическая ошибка в доказательстве, состоящая в том, что … какого-либо доказываемого положения обосновывается посредством того же самого положения, которое еще должно быть доказано. истинность
62. ЛОГИКА (гр. logos — слово, мысль, речь, разум) знание о … и формах мышления. законах
63. МЕТОДЫ ИССЛЕДОВАНИЯ ПРИЧИННЫХ СВЯЗЕЙ простейшие логические методы установления причинных связей между … и вытекающими из причин следствиями. явлениями
64. МОДАЛЬНОСТЬ СУЖДЕНИЯ (лат. modus — мера, накопление) характеристика суждения в зависимости от характера устанавливаемой им …, то есть от того, утверждается ли в нем возможность, действительность или необходимость чего-либо в чем- либо. достоверности
65. МОДУС (лат. modus — мера, образ, способ) логический термин, обозначающий … предмета, присущее ему не постоянно, а лишь в некоторых состояниях. свойство
66. МЫШЛЕНИЕ активный процесс отражения объективного мира в человеческом мозгу в форме …, понятий, умозаключений. суждений
67. НЕПОЛНАЯ ИНДУКЦИЯ вид индуктивного умозаключения, в результате которого получается какой - либо общий вывод о всем классе предметов на основании знания лишь некоторых … предметов данного класса. однородных
68. ОБОСНОВАННОСТЬ такое качество правильного логического мышления, которое …. о том, что в рассуждении все мысли опираются на другие мысли, истинность которых доказана. свидетельствует
69. ОБЪЕМ ПОНЯТИЯ (англ concept extension) отображение в нашем сознании множества предметов, каждый из которых имеет …, зафиксированные в исследуемом понятии. признаки
70. ОМОНИМИЯ (гр homos — одинаковый + omona — имя) логическая ошибка, которая происходит вследствие того, что одно и тоже ,но звуку словом в одном и том же рассуждении … для обозначения различных понятий. употребляется
71. ОПРОВЕРЖЕНИЕ (лат. refutatio) доказательство … или несостоятельности какого-либо тезиса. ложности
72. ОСНОВАНИЕ часть условного суждения, в которой отображается …, от которого зависит истинность следствия. условие
73. ПОНЯТИЕ целостная совокупность суждений, в которых что-либо утверждается об отличительных … исследуемого объекта. признаках
74. ПОСТУЛАТ (лат postulatum — требуемое) исходное положение, утверждение, принимаемое без строгого … в рамках какой- либо дедуктивно построенной теории, но веское и обоснованное. доказательства
75. ПОСЫЛКА суждение, которое служит основанием для заключения (вывода) и является необходимой частью любого …. умозаключения
76. ПРЕДИКАТ (лат. praedicatum — сказанное) то, что … (утверждается или отрицается) в суждении о субъекте. высказывается
77. ПРИЗНАК все то, в чем …, явления сходны друг с другом или в чем они отличаются друг от друга. предметы
78. ПРОБЛЕМА (гр. problema — задача, задание) теоретический или практический вопрос, который … изучить и разрешить. необходимо
79. СИЛЛОГИЗМ (syllogismos — сосчитывание) … , в котором из двух категорических суждений, связанных общим средним термином, получается третье суждение, называемое выводом, при этом средний термин в заключение не входит. умозаключение
80. СИНТЕЗ (гр. synthesis — соединение, сочетание) мысленное соединение частей предмета, расчлененного в процессе анализа, установление взаимодействия и связей частей и по знание этого предмета как единого целого. установление
81. СОРИТ (гр. sorit — куча) вид сложного силлогизма, в котором приводится только последнее заключение, … через ряд посылок, остальные же промежуточные заключения не высказываются, а только подразумеваются. проводимое
82. СОФИЗМ (sophisma — измышление, хитрость) логическая …, умышленно ошибочное рассуждение, которое выдается за истинное. уловка
83. СУЖДЕНИЕ форма мысли, в которой утверждается или … что-либо относительно предметов и явлений, их свойств, связей и отношений и которая обладает свойством выражать истину, либо ложь. отрицается
84. ТАВТОЛОГИЯ (гр. tauto — то же самое + logos — слово) выражение, повторяющее в иной … форме ранее сказанное. словесной
85. ТЕЗИС (гр. thesis — положение, утверждение) мысль или положение, … которого еще требуется доказать. истинность
86. ТЕРМИН (лат. terminus — предел, конец, граница) слово или словосочетание, являющееся точным названием строго определенного …. понятия
87. ТРАДУКЦИЯ (лат. traductio — перемещение) умозаключение, в котором посылки и заключение являются … одинаковой общности, то есть когда вывод идет от знаний определенной степени общности к новому знанию, но той же степени общности. суждениями
88. ТРИХОТОМИЯ (гр. tricha — на три части + tome — сечение) деление … понятия на три части. объема
89. УМОЗАКЛЮЧЕНИЕ форма мышления или логическое действие, в результате которого из одного или нескольких … суждений получается новое суждение, в котором содержится новое знание. неизвестных
90. ФАКТ (лат. factum — сделанное, совершившееся) действительное, реально …, невымышленное событие или явление. существующее
91. ЭНТИМЕМА сокращенный …, в котором выпущена одна из подразумевающихся частей. силлогизм