Записки программиста, обо всем и ни о чем. Но, наверное, больше профессионального.

2009-09-01

Логика

Читал замечательное. Изложение учебника логики метасатанистом.
До чего ж занимательно! Сухой учебник сразу заиграл красками.

... В итоге, в логике появилось два направления – формальное и индуктивное. Обсудим их отличия на примере формально истинного и материально истинного высказывания.

Все негры курят анашу.
Большой Джон – негр.
=
Большой Джон курит анашу.

"Большой Джон курит анашу" – формально истинное высказывание, так как оно логически следует из двух предыдущих. Но вот материально высказывание вполне может быть и ложным. Например, Большой Джон может быть шестилетним ребёнком, у которого пока нет денег на наркотики.

Все птицы имеют перья.
Некоторые летучие твари – не птицы.
=
Некоторые летучие твари не имеют перьев.

Высказывание "Некоторые летучие твари не имеют перьев" – формально ложно, так как не вытекает из данных положений. Однако материально оно истино. Например, мы отлично знаем, что мухи не имеют перьев. Кстати, Вы заметили, где спряталась логическая ошибка? Приведу пример такого же рассуждения:

Все зоофилы – люди.
Некоторые сотрудники милиции – не зоофилы.
=
Некоторые сотрудники милиции – не люди.

Утверждение "Некоторые сотрудники милиции – не люди" ложно как фомально, так и материально.

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

Например, если фанатичный приверженец формальной логики придёт в выводу, что ему надлежит повеситься, он намылит верёвку и повесится. А если к такому же выводу придёт фанатичный приверженец материальной логики, он решит, что где-то ошибся в рассуждениях. ...


metasatanism.ru/Logic

Что любопытно, нетренированный моск не сразу может обьяснить, где пробел (косяк) в ложных высказываниях. Срочно тренировать.

Сцылки дня:

Комментариев нет:

Отправить комментарий

Архив блога

Ярлыки

linux (241) python (191) citation (185) web-develop (170) gov.ru (157) video (123) бытовуха (112) sysadm (100) GIS (97) Zope(Plone) (88) Book (81) programming (81) бурчалки (81) грабли (77) development (73) Fun (72) windsurfing (72) Microsoft (64) hiload (62) opensource (58) internet provider (57) security (57) опыт (55) movie (52) Wisdom (51) ML (47) language (45) hardware (44) JS (41) curse (40) driving (40) money (40) DBMS (38) bigdata (38) ArcGIS (34) history (31) PDA (30) howto (30) holyday (29) Google (27) Oracle (27) virtbox (27) health (26) vacation (24) AI (23) Autodesk (23) SQL (23) Java (22) humor (22) knowledge (22) translate (20) CSS (19) cheatsheet (19) hack (19) tourism (19) Apache (16) Manager (15) web-browser (15) Никонов (15) happiness (14) music (14) todo (14) PHP (13) course (13) functional programming (13) weapon (13) HTTP. Apache (12) SSH (12) frameworks (12) hero (12) im (12) settings (12) HTML (11) SciTE (11) crypto (11) game (11) map (11) scala (11) HTTPD (9) ODF (9) купи/продай (9) benchmark (8) documentation (8) 3D (7) CS (7) DNS (7) NoSQL (7) Photo (7) cloud (7) django (7) gun (7) matroska (7) telephony (7) Microsoft Office (6) VCS (6) bluetooth (6) pidgin (6) proxy (6) Donald Knuth (5) ETL (5) NVIDIA (5) REST (5) bash (5) flash (5) keyboard (5) price (5) samba (5) CGI (4) LISP (4) RoR (4) cache (4) display (4) holywar (4) nginx (4) pistol (4) xml (4) Лебедев (4) IDE (3) IE8 (3) J2EE (3) NTFS (3) RDP (3) USA (3) holiday (3) mount (3) spark (3) Гоблин (3) кухня (3) урюк (3) AMQP (2) ERP (2) IE7 (2) NAS (2) Naudoc (2) PDF (2) address (2) air (2) british (2) coffee (2) font (2) ftp (2) messaging (2) notify (2) sharepoint (2) ssl/tls (2) stardict (2) tests (2) tunnel (2) udev (2) APT (1) CRUD (1) Canyonlands (1) Cyprus (1) DVDShrink (1) Jabber (1) K9Copy (1) Matlab (1) Palanga (1) Portugal (1) VBA (1) WD My Book (1) autoit (1) bike (1) cannabis (1) chat (1) concurrent (1) dbf (1) ext4 (1) idioten (1) krusader (1) license (1) mindmap (1) pneumatic weapon (1) quiz (1) regexp (1) robot (1) science (1) serialization (1) tie (1) vim (1) Науру (1) крысы (1) налоги (1) пианино (1)

Google+ Followers