осліджує причини наших переконань, логіка і епістемологія вивчають підстави їх обгрунтованості ... Таке обгрунтування називається висновком, і логіка має справу з встановленням законів правильного висновку ". Проте в психології ми маємо теоретичні моделі мислення (перший рівень психологічної моделі) і процедури пошуку докази в логіці, які не є ло-гическими законами або безпосередньо логічними висновками. Це дає нам можливість встановити нові відносини між логікою та природний-вим мисленням, які засновані на принципах, не так вже відмінних від установок Фреге.
Для Фреге найбільш важливе завдання полягала в обгрунтуванні незалежності логічних законів від психологічних фактів. Однак якщо в логікою ми знайдемо структури (типу процедур пошуку докази), які є відмінними від логічних законів і логічних доказів, то потім буде можливо розглядати їх у певному сенсі як моделі мислення без того, щоб суперечити базисним уявленням Фреге.
Головне теоретичну підставу антипсихологизма Фреге - разли-чие між істиною і встановленням істини (Wahrsein und Fuerwahrhalten). Істина незалежна від всіх психологічних властивостей пізнає суб'єкта і від самого цього суб'єкта. Встановлення істинності - вид дії пізнає суб'єкта, але, згідно Фреге, це є питанням психології. Однак тепер ми можемо констатувати, що розвиток логіки після Фреге породило новий вид формалізованих логічних процедур - процедури пошуку виведення. Ці процедури можуть розглядатися як послідовності дій, спрямованих на вирішення проблеми знаходження докази цього судження в даному логічному численні. Отже, тепер можна сказати, що в логіці є моделі встановлення істинності. Це підстава антипсихологизма Фреге має бути переглянуто, і може бути від-повідно переглянутий і його антипсихологизм. Я зробив такий пере-огляд принципів антипсихологизма в середині вісімдесятих років, в ре-док чого була розроблена концепція, що отримала назву метапсіхологізма. Метапсіхологізм зберігає непсіхологістское обгрунтування логічних процедур, але разом з тим створює можливість розглядати їх як моделі природного мислення.
Виникнення антипсихологизма в логіці було пов'язано зі специфічної ситуацією в німецькій філософії, логіки та психології ХХ століття. Психологізм-антипсихологизм пов'язані з орієнтацією на додатку логіки, і їх зміна на початку ХХ століття була пов'язана з такою зміною орієнтації на додатки. Те, що відбувається сьогодні зміна орієнтації на додатку логіки, пов'язане з виникненням когнітивної науки, дозволяє говорити про можливість перегляду парадигми антипсихологизма. У самій логіці з'явилася теорія (теорія пошуку виводу), яка дає підстави для інтерпретації більш широкого поняття логічної процедури в психологіської ключі.
Література
1. Смирнова Е.Д. Основи логічної семантики. М.: Вища школа, 1990. p> 2. Смирнова Е.Д. Істинність і питання обгрунтування логічних систем// Дослідження по ...