?

Log in

No account? Create an account

Previous Entry Share Next Entry
Ресурсы логической игры Кэрролла (2.2) Метод индексов Л. Кэрролла
Кецаль
metanymous wrote in metapractice
http://metapractice.livejournal.com/405326.html

Оригинал взят у bavi в Пройдем путем Л. Кэрролла? Ну, или попытаемся:) (продолжение)
Итак, варианты, когда вывод сделать нельзя:


1) Все Х есть M
Все Y есть M
X1M’0 – Y1M’0
X1M0 – Y1M0
М0 – М0
М0 – М0

M - M
4) Все Х есть M’  
Ни один
Y не есть M  
(и инверсия знака M)
X1M0 – YM0
X1M’0 – YM’0
М0 – М0  (2/4) М0 – М0  (2/4)
M’ - M
5) Ни один Х не есть M
Ни один Y не есть M
(и инверсия знака M)  
XM0 – YM0
XM’0 – YM’0
М0 – М0
М0 – М0

M - M  
ТОЛЬКО для YM1 -  Некоторые Y/X есть М
Позиция М – 2/4
2) Все Х есть M  
Некоторые
Y есть М  
(и инверсия знака M)
X1M’0 – YM1
X1M0 – YM’1
М0 – М1 (2/4)
М0 – М1  (2/4)

M - M
6) Ни один Х не есть M
Некоторый Y не есть M
(и инверсия знака M)
XM’0 – YM1
XM0 – YM’1
М0 – М1 (2/4)
М0 – М1  (2/4)

M’ - M
Позиция М – 1/3
3) Все M есть X
Некоторые M есть Y
(и инверсия знака M)
M’1X’0 – YM1
M1X’0 – YM’1
М1 – М1 (1/3-4) М1 – М1 (1/3-4)
M’ - M


  • 1
Хотел разместить следующую порцию, но без видимости границ плохо воспринимается. Там 2 больших сводных таблицы

Думаю, может сделать .pdf или картинки, чтобы было читабельно.

В части, которую хотел разместить уже вывел все правила и расписал их.

Пример:
http://bavi.livejournal.com/218301.html

но в метапрактике таблицы пропадают. Не знаю почему, 2 раза пробовал.

Edited at 2013-11-20 01:44 pm (UTC)

А почему не видно границ? Они что, изменили редактор и границы не видно из принципа?

Когда-то я тупо делал разметку прямо с границами.

В отдельном пдф-е ... ну, не знаю.

А почему в твоем жж есть границы?

М.б. есть какие-то настройки в журналах, которые разрешают/не разрешают различные варианты форматирования?

Промежуточный Итог. Правила


Вывод возможен, когда средние термины:
- Пустые и разных знаков (M0M0 ), то ХиY, в выводе, сохраняют свои знаки и сущность
- Один пустой, др. реальный с разными знаками(M0M1 ), то ХиY, в выводе, сохраняют свои знаки и сущность
- Реальные  с разными знаками (M1M1), то ХиY, в выводе, сохраняют свои знаки и сущность
- Один пустой, др. реальный с одинаковыми знаками (M0M1 ), то вывод - Реальность, и меняет знак, в выводе, тот термин, который пустой. 
-  Реальные одного знака (M1M1 ), то вывод Реальность, и меняет знак, в выводе, тот термин, который пустой. 

Вывод не возможен, когда средние термины:
- Пустые и одного знака (M0M0 )
- Когда одна посылка вида XM1 (реальная), а вторая пустая  и разных знаков (M0M1 ).
- Реальность и имеют разные знаки (M1M1 )

Re: Промежуточный Итог. Правила

Это конечное число правил?

Предварительные ШАГИ

- Смотрим средние термины (M0 – M0 )
- Смотрим сущность посылок, есть ли среди них XM1
- Смотрим знаки средних терминов (у XM1 только одинаковые для вывода)
- Смотрим сущность средних терминов
- Составляем формальную запись средних терминов
- Формальный вывод по правилам
- Трансформируем ф.вывод в суждение (помним о правиле изменения знака)

Блин, но это же упрощает сам процесс умозаключения/вывода на порядок, даже нет необходимости погружаться в содержание, только ээээ формулы и вывод либо его отсутствие.
Может быть, в итоге, скучно и ээээ мышление совсем не будет подключаться:)

И, в результате, весь процесс сводится к 2-3 шагам:
- формальная запись средних терминов
- проверка знаков и сущностей (сортировка)
- вывод по правилам
- вывод с содержанием

Re: Предварительные ШАГИ

И, в результате, весь процесс сводится к 2-3 шагам:

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

Вероятный бонус

Дополнительный бонус, который можно получить это создать шаги по формулированию посылок из знания только одного вывода. Например, есть вывод: "Все Х есть Y".
Какие посылки могут к нему привести?
Варианты:
1

Re: Вероятный бонус

Бонус классный.


(Но, право-полушарникам все нужно предоставить более наглядо.)

Предварительная тестовая презентация.

http://bavi.livejournal.com/218390.html

Все правила свел до 3.

Презентацию надо переносить в метапрактик.

К ней надо рисовать графические пояснения в pptx для правополушарников. Я нарисую такую, если мне объяснят как возле букв крупного шрифта расставлять всяческие мелкие буквы и цифры.

Вариант презентации


Re: Вариант презентации

Слайд 11, первый пример применения Правила 1:
у Кэрролла я не находил представления в символьной форме вида X1Y1. Как это выражение перевести в нормальную форму? (из посылок следует, что заключение будет X1Y0+Y1X0)

Это рисунок для классического силлогизма:
Все X eсть M
Все М есть Y

Для этих X и Y есть еще пары:
1.
Все X eсть M'
Все М есть Y
Вывод: Некоторые Х' есть Y

2.
Все X eсть M'
Все М' есть Y
Вывод: Все Х есть Y

3.
Все X eсть M
Все М' есть Y
Вывод: Некоторые Х' есть Y

Как видим есть парное совпадение ответов,
но
исходные данные отличаются
и, наверное, будут отличаться презентации.

Виды суждений - посылки



Edited at 2013-11-28 10:27 am (UTC)

Re: Виды суждений - посылки

На втором слайде иллюстрации не точные.

Ни один Х не есть М — не пересекаются (как и на рисунке)
Все М есть Х — кружок М включен в кружок Х (как на второй картинке «некоторые...»)
Некоторые М есть Х — кружки должны пересекаться, не включаясь друг в друга полностью.

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

Диаграммы Кэррола и схемы Эйлера




Re: Диаграммы Кэррола и схемы Эйлера

Обрати внимание, что в 2/4 и 3/4 есть принцип эээ обращение предиката
Т.е
Некоторый Х есть М = Все М есть Х
И он возможен, когда есть черный кружок

Джон трудолюбив.
Ни один трудолюбивый человек не несчастен


Какой вывод мы можем сделать из этих простых посылок?
1. трудолюбив = трудолюбив
2. 1 трудолюбив крайнее понятие в посылке с квантором - Все
3. Нет квантора "Некоторые" в посылках
4. Вывод = Квантор(Все) + обратный термин второй посылки = Джон счастлив





  • 1