То, что Сократ — человек, можно более-менее достоверно установить. А "люди — смертны" это что такое? Отсутствующий перформатив. Это какое-то убеждение. А доказательством для него является вывод по неполной индукции — раз люди А, Б, В умерли, значит все люди смертны. Вывод по неполной индукции является нарушением правил логики.

---

Да, верно. согласен. Но видишь ли, это несколько не о том.

---

Формальная логика она не занимается эээ подтверждением истинности посылок, она занимается выводом из того, что есть - теория правильных выводов: из 2-х посылок, - "Все Х суть М", "Все M суть Y" делается логически правильный вывод. Формальная логика занимается выводами из уже данного. Не думаю, что ты не знал этого.

---

Мой пример именно об этом. А не о том, истинно ли у убеждение, что люди смертны или нет. Это обсуждение интересное, но о другом.

---

Все ли люди смертны? Что это за феномен такой — смерть? И т.д. Формальная логика подразумевает, что мы на веру приняли некое убеждение, которое при должной проверке можно (и дОлжно) быть поставлено под смонение.

---

Вот опять идет подмена понятий. Некие вопросы философии или бытия.

---

Еще раз, формальная логика занимается описание выводов из того, что есть, т.е правил.

---

По другому, если бы посылки были бы истинными, то мы сделали бы логически правильный вывод. Т.е как при истинных посылках не делать неправильные выводы/или делать намеренно запутывая.

---

А проверкой посылок на истинность - ну, она не занимается этим.

---

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

---

Теорема Геделя

Можно и так сказать.

---

В этом навыке (фотографии) сходятся много тем, которые близки метапрактикам:

---

- декодер

---

- траектории внимания

---

- траектории декодера

---

- внешняя ориентированность (некий вариант аптайма)

---

- (не знаю как объяснить, но есть и языкоиды - это такое же влияние как и поэзия, но как-то по другому)

---

- целевой образ (так же как и в комиксах)

---

- может даже эффект первичного моделирования

---

- лево-правая экспрессия

---

- раппорт (композиционный раппорт)

---

- конгруэнтность ( умение синхронизировать свет/композицию/золотое сечение/состояние фотографа/наблюдателя/тот, кто смотрит)

---

- вероятно ТДП (задевать/не задевать что-то(струны) в душе человека

---

.....

---

Фотография это тоже многоуровневая коммуникация....

А что такое "феномен формально корректных выводов"? В живой природе не наблюдается натуральных воплощений формальной логики.

---

Люди смертны

---

Сократ человек

---

-

---

Сократ смертен

---

Или по другому: Люди смертны - некий феномен/паттерн.

---

Так как Сократ человек, то он смертен.

---

или по другому просто фраза: Сократ смертен.

---

И как после этого можно сказать, что "в живой природе не наблюдается натуральных воплощений формальной логики"? Формальная логика описывает некий кусок реальности.

---

Но вот заявления типа "все" или "ничего" проверить уже никак не получится — всегда доступно только ограниченное подмножество объектов.

---

Вот именно ограниченное. Все участники сообщества. Никто из участников сообщества и т.д.

---

А вот феномен абсолютной убедительности логических выводов

---

А чем отличие "абсолютности" от "всех" и "всего"? Можешь привести пример как "абсолютная убедительность" относится к человеческой активности?

Имеет разные формы проявления, в частности, видение/ осознание некоего явного/ скрытого сходства между людьми по очевидным/ не очевидным признакам.

---

Проявляется в результате:

---

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

---

--длительной практики особенного социального содержания, типа: работы медиком, психологом, педагогом и т.п.

---

Добавлю к этому. Любительски серьезно вернулся к изучению/занятиям фотографией (раньше фотографировал), если можно сказать изучаю композицию, свет ..., вообще, ближе портретная съемка. Может еще и такая практика добавила к подобному эффекту. По итогу, сложилось так, что прогресс появился, когда вернулся к занятиям фотографией. Т.е был хороший задел - воронка пресуппозиций, от практики метамоделирования, а фотография это стимул запустивший процесс, наверное.

Т.е можно разделить на:

---

- феномен формально корректных выводов

---

- феномен особенной убедительности

---

Мне ближе первое, но ты сделал акцент на втором. Можешь пояснить причину?

Хочу задать вопрос по описанному методу решения силлогизмов.

---

Мне кажется, что выделенные правила максимально упрощают ( я бы сказал до неприличия) решение любого силлогизма. (Я объяснял идею студентам, которые начали щелкать силлогизмы в уме, как орехи. Да они не знают терминов из логики, но когда работают с содержанием, после того, как ухватили основное - делают точные, правильные выводы). Но вопрос не в этом.

---

Что я сделал? Ухватил некую закономерность и описал ее на уровне техники, создав тем самым алгоритм решения силлогизмов? Если это техника, то это эффективная техника. Но тогда вопрос, а какая за ней модельная идея, и что за феномен. Даже если это не техника, то тогда что?

---

Сначала мне показалось, что находя ответы по 3-м правилам теряется нечто, так как бездумно можно делать вывод. Но, когда начинаешь работать с содержанием, а не формальными записями, через какое время, после того, как вывод сделан на каком-то примере, понимаешь эээ красоту правильности логического умозаключения, и порой доходит, что в бытовом/обычном способе умозаключения такой вывод сделать сложно/непривычно, а то, что сделал бы оно ну совсем не в тему. И вот такие результаты/мысли вдохновляют.

---

Но, что мы получили в метапрактике? Технику? Метод? Упражнение с четким алгоритмом выполнения?

План таков:

---

1. Понять как заполнять матрицу (2 посылки) и извлекать вывод

---

2. Заполнение Матрицы по формальной записи и восстановление формальной записи по Матрице (обратный процесс) Получив заметно устойчивый результат переходить к шагу 3

---

3. Научиться переводить суждение-содержание в формальную запись и заполнять Матрицу

---

4. Заполнять Матрицу исходя из суждений с содержанием, формулируя вывод на уровне содержания

1 этап заполнение простой матрицы. В презентации это 1 страница - маленький квадрат разделенный на 5,6,7,8 квадраты.

---

Из темы(3) предлагаю для заполнения следующие простые суждения:

---

Ни один x не есть y

---

Ни одно не-х не есть y

---

Все не-х суть y.

---

Некоторые не-х суть y

---

Ни одно х не есть не-y.

---

Все не-y суть x.

---

Все не-х суть не-y

---

Все не-y суть не-x.

---

Ни один не-y не есть не-х

---

Некоторые Х

---

Некоторые Y

---

Некоторые не-y суть не-х

Согласен

На будущее понял.

---

Пока не готов представить слайды.

---

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