Недавно, в одной из веток я пообещал, что мы поговорим о логике. Исполняю пожелание. Поговорим о логике. Возможно будет интересно для тех, кто путает логику с чем-то другим, похожим на логику видом мышления.
Более сложные виды работы мышления требуют других конструкций. Объективно сложившиеся в истории языка средства отражают не только внешние пространственные или временные отношения, но и логические отношения, более сложные отношения причины и следствия и т.п.
Дедуктивное мышление (дедукция), это процесс логического вывода, т.е. перехода по тем или иным правилам логики от некоторых данных предложений-посылок к их следствиям (заключениям), и подразумевается установление истинности или ложности заключений на основе логических связей.
Делая логические выводы, человек использует сложные системы, образующие связи, по которым течет его мысль. Примером такой связи может служить силлогизм (суждение), т.е. отражение связей между предметами и явлениями действительности или между их свойствами и признаками. Это наборы утверждений (фактов) из которых делается заключение.
В силлогизме человек высказывает свое мнение о данном факте или предмете, определяет связи между фактами или предметами или/и свое отношение к какому-то явлению. В силлогизмах выражаются и чувства человека, его намерения: "Я люблю море", "Я хочу уехать в Петербург".
В истории языка и логики сформировались такие средства, которые автоматически передают человеку опыт поколений, избавляя его от необходимости получать соответствующую информацию собственным логическим путем.
Логические связи, получаемые человеком в результате развития, становятся основой его продуктивного мышления, но человек не рождается с логическим чувством. Человек должен научиться пользоваться логическими связями, используя не только свой личный опыт, а это совсем не легкий процесс. Мыслящий человек может рассуждать и решать логические задачи, не включая процесс решения в практическую деятельность.
Логические связи делают мышление доказательным, объективным и убедительным. Однако формальная логика (понятие, силлогизм) оставляет за "бортом" такие формы, как процессуальность мышления, этапы выявления и добывания данных, условия возникновения и развития мысли, взаимосвязь с чувственным познанием.
Для того чтобы следовать логическим суждениям, необходим большой объем оперативной памяти, поэтому могут случаться ошибки, когда не хватает этого объема.

"......Для того чтобы следовать логическим суждениям, необходим большой объем оперативной памяти, поэтому могут случаться ошибки, когда не хватает этого объема."
Как Вы обьясните нелогическое поведение масс, следующих суждениям Гитлера , или Сталина?
Или Путина например? ( Я не ставлю его в одну сточку с диктаторами, прошу не путать! )
Логически было-бы как можно скорее и бескровавей закончить войну в Чечне.
Но это не логично для Кремля и террористов...Хм...

Увы, большая политика...

"...Увы, большая политика..."
С совершенно беспамятным населением...
Сори, сщас начнется ( что логично , после упоминания волшебного сочетания: "Путин-Чечня-война...")

Я бы сказал так" Путин-Чечня-конец войне"

... масса -глупа как хлеб ... вот и вс╦ объяснение

Пригнитесь, не зацепило бы!

А отдельно взятый человек?

Логически было-бы как можно скорее и бескровавей закончить войну в Чечне.
Вот как раз логики здесь нет совсем. Есть благое пожелание.
Логически рассуждая, прекратить войну должен тот, кто е╦ начал.
Чечены начали - значит они должны прекратить.
Иначе получается, что если преступник насилует девушку, то она должна как можно скорее перестать сопротивляться.
Чтобы прекратить насилие.
Вот и Чечн╦й такая же беда: Россия должна перестать сопротивляться?

А отдельно взятый человек?
"Трудно человеку когда он - один
один - не воин
Каждый дюжий ему - Господин
Но если в кучу сбились малые
Спрячся враг-замри мля.. и ляг..."
Есть такое понятие "один на льдине" означает живу сам по себе. Много знал таких отшельников, но ни один из них
не был счастлив, но личности были выдающиеся. Имели своё оригинальное мнение, пусть не всегда правильное, но этим они интересны. Легче слится в единную массу и растворится в ней.

Логически рассуждая, прекратить войну должен тот, кто её начал.
Чечены начали - значит они должны прекратить.

Иначе получается, что если преступник насилует девушку, то она должна как можно скорее перестать сопротивляться. Чтобы прекратить насилие.
..или брать в заложники родственников боевиков и требовать их здачи или выкуп. По-кавказким правилам.

Позволю себе уточнить. По определениям.
Логика
Logic
От греч.Logik - соответствующий рассуждениям
Логика - совокупность наук о законах и формах правильного мышления
Формальная логика
Formal logic
Формальная логика - наука об общих структурах и законах правильного мышления, образования и сочетания понятий и высказываний, о правилах умозаключений независимо от их конкретного содержания
Дедукция
Дедуктивный метод; Дедуктивная логика
Deduction; Deduction method
От лат.Deductio - выведение
Дедукция - форма умозаключения от общего к частному и единичному, характеризующаяся тем, что новое знание о предмете или группе однородных предметов выводится на основании:
- знания класса, к которому принадлежат исследуемые предметы; и
- общего правила, действующего в пределах данного класса предметов.
http://www.glossary.ru/cgi-bin/gl_find.cgi?ph=%EB%EE%E3%E8%EA%E0
Ошибки в логических умозаключениях могут случаться при сколь угодно большом объеме оперативной памяти.

Решение этой проблемы лежит в области инстинктов. (All rights reserved confidential)

Логический - соответствующий закону мышления, формально правильный, относящийся к логике.
Логичность - характер, особенность логического. Противоположность - фактичность.
Логицизм - молчаливое или высказанное предпочтение логического способа рассмотрения перед психологическим; понимание математики как логической дисциплины; логицистический - зависящий от логики.
Логическая уловка - логическое умозаключение, вынуждающее человека путем всевозможных запутываний и затуманиваний согласиться с утверждением. См. также "Лжец", Умозаключение ошибочное.
Логизм - умозаключение, учение о логической упорядоченности мира (см. Панлогизм).
Логика (от греч. logos - логос) 1) способность правильно, т.е. логически, мыслить;
2) учение о тождестве и его отрицании (Г. Якоби), учение о последовательности и методах познания (наука логики).
В качестве ╚элементарной формальной логики╩ она имеет дело с самыми общими свойствами, присущими всем (имеющимся) понятиям.
Осн. свойства понятий выражаются в логических аксиомах (см. Аксиома).
Сначала рассматривается учение о понятии, затем следует учение о суждении и, наконец, умозаключении.
Учения о логических аксиомах, понятии, суждении и умозаключении, взятые вместе, образуют чистую логику.
Прикладная логика охватывает в традиционной логике учение об определении, о доказательстве, о методе.
Ей часто предпосылаются не научно-логические, а теоретико-познавательные, психологические учения о переживании, описании и формулировании (особенно с помощью специального языка, терминологии) и об образовании понятий.
Иногда к ней присоединяют учение о системе.
Логика (как наука) - лишь учение о мышлении в понятиях, но не о познании посредством понятий; она служит повышению формальной точности сознания и объективности содержания мышления и познания.
Основателем западноевропейской логики (как науки) является Аристотель, ╚отец логики╩.
Слово ╚логика╩ появилось впервые у стоиков; они и неоплатоники уточнили отдельные моменты ее, а в эпоху средневековья схоластика разработала ее в мельчайших подробностях, в тонкостях.
Гуманизм изгнал из логики схоластику, но обновить ее не мог.
Реформация взяла на вооружение логику Меланхтона,
Контрреформация - логику Суареса.
Поднявшись принципиально над схоластикой, развивал логику Иоганнес Штурм из Страсбурга; более известным стал Пьер Раме.
С 17 в. стало заметным влияние на логику сфер мысли, связанных с математикой, причем в геометрическом методе Спинозы оно было меньше, чем у Лейбница, который использовал в логике совершенствующиеся естественнонаучные методы.
От Лейбница и математики, а также и от неосхоластики пошла логика школы Вольфа.
Кантовская ╚трансцендентальная логика╩ есть в действительности критическая теория познания, логика нем. идеализма (особенно логика Гегеля) - спекулятивная метафизика.
Шопенгауэр, Ницше, Бергсон и сторонники философии жизни отбросили традиционную логику.
В настоящее время логика распалась на множество направлений:
1) метафизическая логика (гегельянство,0);
2) психологическая логика (Т.Липпс, отчасти В.Вундт,0);
3) теоретико-познавательная, или трансцендентальная, логика (неокантианство,0);
4) семантическая логика (Аристотель, Кюльпе, современный номинализм,0);
5) предметная логика (Ремке, Мейнонг, Дриш,0);
6) неосхоластическая логика;
7) феноменологическая логика;
8) логика как методология (неокантианство) и логистика, которая находится в центре споров о логике.
ЛОГИСТИКА (математическая логика; англ, symbolic logic) - современная форма логики.
Она отличается от старой, традиционной логики прежде всего своей формализированностью (т.е. принимает во внимание не содержательное значение отдельных высказываний, а лишь их синтаксические категории и их структурные связи) и тем, что ее осн. методом является логическое исчисление (это значит, что выражения можно преобразовывать согласно строгим правилам чисто формально, с ними можно производить логические выкладки).
Не из необходимости, но большей частью исходя из практических соображений она широко использует символику (т.е. отдельные выражения обозначает совершенно определенными знаками) и аксиоматику (т.е. все существующие знаки определяются через несколько осн., и все законы выводятся по определенным правилам выводов из нескольких осн. правил, аксиом).
Логистика в широком смысле - это учение о логическом исчислении, его предпосылках и применениях, в узком смысле - только учение о логическом исчислении.
Логическое исчисление есть сумма логически интерпретированных исчислений.
Исчисление - это система знаков и правил оперирования с ними. Пример такого исчисления дает шахматная игра: поля и фигуры представляют систему символов, правила ходов есть операционные правила. Формальные предпосылки логического исчисления разрабатывает металогика, учение о философских основах логического исчисления; сюда относится синтаксис (учение об отношениях знаков между собой; см. также Семиотика), семантика и прагматика (учение об отношениях между знаками и теми, кто их использует).
В логистике можно выделить следующие части:
1. Исчисление высказываний. Оно исследует связи между высказываниями как нерасчлененными целыми (см. Высказывания) с помощью функторов, которые приблизительно соответствуют словам ╚не╩, ╚или╩, ╚если... то...╩, ╚и╩ и т.д.
Эти функторы называются функциями истинности, потому что значение истинности высказывания (Фреге: ╚Значение истинности высказывания - это истина или ложь╩), которое они образуют, зависит в конечном счете от значения истинности, а не от смысла высказываний, которые служат аргументами этих функторов. Функтор ╚если... то...╩ называется импликатором, а его применение образует импликацию. Др. функции истинности - это: негатор (p, ╚не-р╩), дизъюнктор (pvq, "р или q╩) (союз ╚или╩ понимается здесь в неразделительном смысле), конъюнктор (р ∙ q, "p...[kon]q╩, приблизительно соответствует ╚и╩ в разговорном языке), эквивалентор (р  q, ╚p равно q╩; см. также Эквивалент).
2. Исчисление предикатов. Оно анализирует те высказывания, которые исчисление высказываний рассматривает как целое. Предикат - это имя или внешний знак для обозначения свойств. Подчинение свойства ╚индивидууму╩, т.е. определенному отдельному предмету, выражается посредством предикатора, объем этого подчинения - посредством квантификатора; в исчисление входят не сами свойства, а лишь предикаторы или квантификаторы.
Свойство, которое обозначается предикатором с одним только аргументом, называется качеством; при нескольких аргументах его называют отношением.
3. Исчисление классов (см. также Класс), причем, напр., класс курильщиков трубок воспринимается как ╚абстракция╩ формы выражения ╚x курит трубку╩'; если ╚f╩ означает ╚курить трубки╩, то x(fx) означает те самые х, для которых верно fx (x курит трубку). Функтор ╚╩ поэтому называется абстрактором (компрегенсором,0); как аргумент, он обладает формой высказываний и образует поэтому класс.
4. Исчисление отношений анализирует высказывания об отношениях (╚брат кого-то╩, ╚больше, чем╩, ╚подобно╩ и т.д.). Если R обозначает ╚составитель╩ и а - ╚Библия╩, тогда R'а есть класс составителей Библии; если а - ╚Гомер╩, то R'а обозначает класс произв. Гомера.
5. Особые исчисления. Сюда относятся: исчисления модальностей, многозначная логика (см. также Формализм), комбинаторная логика, силлогистика.
Кроме приведенных в разделе ╚Исчисление высказываний╩ пяти символов, используется примерно еще шестьдесят (кроме больших и малых рим. и греч. букв).

Не проще ли ограничиваться ссылками?
Например, так: http://galactic.org.ua/clovo/p-l1.htm

Да так проще. Приходится учиться у Вас. Спасибо.

В настоящее время логика распалась на множество направлений:
1) метафизическая логика (гегельянство,0);
2) психологическая логика (Т.Липпс, отчасти В.Вундт,0);
3) теоретико-познавательная, или трансцендентальная, логика (неокантианство,0);
4) семантическая логика (Аристотель, Кюльпе, современный номинализм,0);
5) предметная логика (Ремке, Мейнонг, Дриш,0);
6) неосхоластическая логика;
7) феноменологическая логика;
8) логика как методология (неокантианство) и логистика, которая находится в центре споров о логике.
9) А пинно-татьянной логике разве нету там ?

В ч╦мзаключается начинание войны чеченами?

Нападение на Дагестан.

Чего стоит вся эта классификация, если там нет даже общеизвестной женской логики?
На таком поверхностном уровне даже не хочется вести дискуссию.