На головну сторінку

СТЕРЕОТИП НАЦІОНАЛЬНИЙ (ЕТНІЧНИЙ) - схематизированний образ представника якої-небудь етнічної спільності, що звичайно являє собою спрощене, іноді одностороннє або неточне (спотворене) знання про психологічні особливості і поведінку людей іншої національності. У основі С. н. часто лежать упередження, що сформувалися на базі обмеженої інформації про окремих представників якої-небудь нації або народу. Виходячи з них, люди можуть робити упереджені висновки і невірно поводитися по відношенню до представників даної національної спільності. Наприклад, в ході спеціального дослідження, проведеного в Ленінграде, були зафіксовані не. ДУХОВНІ РЕФЕРЕНТИ НАЦІЇ - персоніфікована в образі реальних історичних особистостей духовно-етична суть культури нації (її "вертикаль"), яка виступає еталоном особового розвитку, чинником культурно-національної єдності і одночасно задумом, проектом ідеального стану культури нації в її "людському вимірюванні". Кожна культурна епоха має певний "культурний проект" (модель, задум) в персоніфікованому вигляді, виникаючий у відповідь на актуальні проблеми часу і втілюючий біографією конкретної людини шлях і спосіб їх подолання. ЛИПОХОНДРОДИСТРОФИЯ - (lipochondrodystrophy) - множинні природжені дефекти, пов'язані з природженими порушеннями липидного (жирового) обміну, поразкою хрящовий і кісткової тканини, шкіри, а також різних внутрішніх органів і що приводять до затримки розумового розвитку, карликовости і деформаціям кісток у людини. МОЛОТОЧОК ПЕРКУССИОННИЙ (PLESSOR), ПЛЕКСОР - (plexor) - невеликий молоточок, який застосовується для дослідження нервових рефлексів, а також використовується при перкуссии. КОНСТАТНОСТЬ - (лати. constans (constantis) - постійний) - відносна незалежність характеристик об'єктів, що сприймаються від параметрів роздратування рецепторних поверхонь органів чуття.

ФІЛОСОФСЬКА ЛОГІКА

- широка область логічних досліджень, що вимагає філософського осмислення основних понять, вживаних в сучасній логіці, і результатів, отриманих коштами логіки символічної, а також застосування логіки, в основному технічного апарату некласичних логік, до аналізу і реконструкції різних філософських проблем.
Насправді термін "філософська логіка" вельми неопределен, суперечний і єдиного вживання не має. Різними фахівцями в математиці, в символічній логіці і самій філософії філософська логіка розуміється по-різному, а швидше, по-своєму. Навіть якщо вона розуміється як особлива наукова дисципліна, визначити її предмет, межі застосування і методи однозначно не вдається. У основному плутанина відбувається між термінами "філософська логіка" і "філософія логіки". Часто одне підміняється іншим, хоч це два різних напрями досліджень.
Термін "філософська логіка" з'явився в англомовній логико-філософській літературі і найбільш широке застосування отримав в 50 - 60-е рр. 20 в. З одного боку, криза в основах математики (виявлення парадоксів в теорії множин і обмежувальні теореми А. Тарського і К. Геделя) зажадав глибокого осмислення самого концептуального апарату логіки. З іншого боку, поява і бурхливий розвиток некласичних логік, насамперед модальної логіки, привернула широку увагу логіків з філософською орієнтацією, визначилася та область досліджень, яка отримала назву "філософія логіки". Для логіків-математиків філософією логіки є розвиток теорії множин і відповідні питання про спосіб утворення множин і про природу числа. Виявлення парадоксів в теорії множин і особливо парадокса Розсадила (див. Парадокс логічний) поставило питання про природу самої математики. Логицизм намагався визначити основні поняття математики в логічних термінах (Г. Фреге в 1884 і Б. Рассел в 1903). Це вже не тільки технічна, але і філософська проблема. У цьому значенні грандіозна побудова, зроблена Н. Уайтхедом і Б. Расселом в "Principia Mathematica", виявилося неуспішним. І хоч в їх логико-математичній теорії не виявлено парадоксів, з чисто логічних аксіом виявилося неможливим вивести існування нескінченних множин. Интуиционизм, як ще одна відповідь на виявлення парадоксів, поставив принципові питання про відмінність кінцевого і нескінченного, відмінності потенційної нескінченності від актуальної. Виникла проблема існування і обгрунтування доказів, а також проблема про статус класичних логічних законів. Все це є філософською проблематикою. Формалистическая програма Д. Гильберта (див. Формалізм) також викликала пожвавлену філософську дискусію, особливо проблема финятизма.
Насправді вище сказане відноситься більше до філософії математики, чим до філософії логіки, але задача філософського осмислення застосування логіки до розв'язання різних проблем математики залишається. Переконливим прикладом тут є обмежувальні теореми К. Геделя про неповноту досить багатих теорій (1931), які говорять про те, що немає і в принципі не може бути адекватного формалізму, що охоплює всю математику Філософські слідства цих результатів обговорюються до цього дня і привернули до себе увагу не тільки логіків-професіоналів, але і філософів, методологов, і взагалі дилетантів, що не мають ніякого поняття про логіку. До цього потрібно додати також філософську дискусію відносно тези Черча - Тьюрінга.
Цікаве, що філософією логіки зайнялася математика, що отримала в ній глибокі результати (Г. Фреге, Б. Рассел, У. Куайн, Р. Карнап і інш.). Куайн в 1940 публікує книгу під назвою "Математична логіка", а в 1970 - під назвою "Філософія логіки", в якій під логікою розуміє систематичне вивчення логічних істин, а під філософією логіки - інструмент для аналізу природної мови. Книга містить наступні розділи, які Куайн відносить до філософії логіки: "Значення і істина" (проблема висловлювання і пропозицій, висловлювання як інформація, теорія значення язикових виразів, істина і семантична згода); "Граматика" (рекурсивне завдання граматики, категорії, перегляд мети граматики, імена і функтори, критерій лексики; час, події, дієслова, пропозициональні установки і модальність); "Істина" (визначення істини по Тарському, парадокси в об'єктній мові, зв'язок між семантичними і логічними парадоксами); "Логічна істина" (в термінах структури, в термінах моделі, в термінах підстановки, в термінах доказу, в термінах граматики); "Сфера (scope) логіки" (проблема тотожності, теорія множин, квантификация); "Девиант (deviant) логіки" (під цим розуміються некпассические логіки, в першу очереяь багатозначна логіка, интуиционистская логіка, що гілкуються квантори); "Основи логічної істини" (місце логіки, логіка і інші науки).
Т. о., Куайн сконцентрував свій труд навколо головної проблеми в філософії логіки: що є істина? Питання так сакраментальне, що повсякденно звучить вже 2000 років. Однак тільки з розвитком символічної логіки, а саме починаючи з робіт А. Тарського (1936), було уперше дано семантичне визначення істини для великої групи формалізованих мов і одночасно вказані межі такого визначення. Насправді сфера філософії логіки значно ширше. До проблематики останньої відноситься теорія пропозициональной форми як висловлювання про деякі положення справ (речей) в світі, вчення про логічні і семантичні категорії, теорія відзиву і предикации, ідентифікація об'єктів, проблема існування, вчення об пресупозициях, відносини між аналітичними і синтетичними думками, проблема наукового закону, онтологічні допущення в логіці і багато що інше. І навіть такі питання, здавалося б чисто логічні, відносяться до філософії логіки: суть і оббита природа відношення проходження або логічної виводимости між будь-яким висловлюванням або множинами висловлювання, значення логічних зв'язок, информативность логічних законів, значення фундаментальних теорем, отриманих в символічній логіці, і в зв'язку з цим ретельний аналіз таких понять, як "вичислимость", "вирішуваність" "довідність" і знову ж "істина".
На відміну від філософії логіки спочатку філософською логікою називалася модальна логіка, тобто логічний аналіз таких філософських понять, як "можливість" і "необхідність". Історично ці два поняття, особливо починаючи з Арістотеля, привертали до себе постійну увагу філософів, а з розвитком символічної логіки з'явилася можливість проаналізувати вказану модальність і їх взаємовідносини точними методами. Те ж саме трапилося з такими філософськими поняттями, як "майбутнє" і "минуле". З розвитком модальної логіки в сферу логічних досліджень стали попадати всі нові види модальності: тимчасові, модально-тимчасові (не механічне з'єднання, а синтез модальних і тимчасових операторів), фізичні або причинні, деонтические, епистемические і інш. З виходом на англійській мові в 80-е рр. "Довідника за філософською логікою" в 4 томах підведений деякий підсумок її розвитку. 2-й і 3-й томи є не що інакше, як розгляд різних некласичних логік і, звісно, таких, як модальна логіка, тимчасова, багатозначна, интуиционистская, релевантна і інш. І взагалі виникає цілий ряд нових логічних теорій, таких, як логічні теорії квантової механіки, логіка існування, логіки, вільні від екзистенциональних допущень, логіка обов'язковості і дозволу (правові і етичні контексти), логіка дій, команд, оцінок, намірів і переваг, логіка знання, віри, переконання, сумніву, сприйняття, передбачення, логіка питань, формальна онтологія і т. д. Однак тільки з появою семантики можливих світів (див. Можливих світів семантика) в сірок. 50-х рр. (С. Кангер, С. Кріпке, А Прайор, Я. Хинтікка) стало можливим провести логічний аналіз багатьох центральних філософських понять: нарівні з вказаною модальністю також таких, як "знання", "віра", "сприйняття", "зобов'язання" і інш.
Звернемо увага, що в кожній з цих логік виникає своя філософія логіки, а значить, і філософські проблеми, перераховані вище, тому що визначення істинності формули, логічного проходження, поняття висловлювання і значення логічних операцій в більшості логік різні. Крім цього в кожній філософській логіці виникає своя додаткова філософська проблематика. Напр., в модальних логіках такими є проблема відзиву, кроссидентификации, т. е ідентифікації об'єктів в різних можливих світах, і в зв'язку з цим виникає проблема квантификации. У багатозначних логіках стоїть найскладніша філософська проблема інтерпретації безлічі истинностних значень, звичайно вираженої числами: раціональним, натуральними, цілим, дійсним. Багато філософських проблем ставить интуиционистская логіка, напр., наявність у неї двох різнорідних і класів семантик, що незводяться один до одного: реализуемостей і моделей Кріпке.
Філософська логіка має язиковий і технічний апарат більш багатий і, головне, більш гнучке, ніж символічна логіка, що дозволило приступити до аналізу і реконструкції чисто філософських проблем, і навіть таких фундаментальних, як проблема фаталізму і свободи волі, детермінізму і випадковості, часу і асиметрії часу, існування і всезнання Бога і т. д.
Взагалі, поняття філософської логіки суперечливе. З одного боку, сюди відносяться всі ті логічні дослідження, які не є чисто математичними і як би не стосуються символічної логіки, зрозумілої багатьма логіками-філософами як "гра в символи". З іншого боку, сучасний розвиток модальної логіки, тимчасової, интуиционистской і особливо багатозначної і деякої інших, є не що інакше, як розділи символічної логіки: ті ж методи символизации і аксіоматичні способи побудови і, головне, багато в чому ті ж чисто технічні задачі і проблеми. Показовою тут є побудова нових множин теорій на основі некласичних логік, що є за своїм походженням чисто філософськими, а саме з'явилися багатозначні, модальні, релевантні, паранепротиворечиві теорії множин. Варто підкреслити, що є те, що об'єднує такі напрями в сучасній логіці, як символічна логіка, філософська логіка, філософія логіки, некласичні логіки. Є у вигляду фундаментальне філософське питання кінця 20 в.: що є логіка?
Нарешті, в сірок. 90-х рр. з'явився ще один термін, що стосується пряму теми нашого розгляду, а саме - "логічна філософія". Починаючи з 1993 в Польщі почав вийти журнал "Logic and Logical Philosophy". Визначити, що таке "логічна філософія", ще складніше, ніж що таке філософська логіка. Швидше усього, це все те, де можна застосувати логіку в будь-якому її вигляді. Тому сюди попадають роботи і з області філософської логіки, і з області символічної логіки.
Починаючи з 1972 під егідою міжнародної асоціації символічної логіки видається самий відомий зараз журнал в області філософської логіки - "Journal of Philosophical Logic".
А. С. Карпенко

Джерело: terme.ru

© 2006-2019  yur.in.ua