На головну сторінку  Написання курсових за 800 грн

ЕНДОМЕТРИОЗ - (endometriosis) - утворення тканини, схожої зі слизовою оболонкою матки (див. Ендометрій), в інших областях таза; ендометриоз вважається однією з причин виникнення ретроградной менструації. При инфильтрации миометрия дане захворювання називається аденомиоз (adenomyosis). Тканина, схожа з ендометрием, може бути виявлена в яєчниках, фаллопиевих трубах, зв'язках таза, у вистилаючій таз очеревині і навіть в шийці матки і у піхві. Ця тканина зазнає постійних змін, схожих з тими, які відбуваються в ендометрии, викликаючи у жінки сильний біль в області таза і дисмснорею. Біль продовжується не. Абсанс гіпертонічний - (абсанс греч. hyper - над, зверх, по той бік; tonos - напруження) - епілептичний припадок, під час якого коротке відключення свідомості поєднується з одночасним і короткочасним підвищенням тонусу м'язів всього тіла або якогось одного м'яза, мишечной групи або декількох груп м'язів, тобто гиперкинезами. При цьому спостерігаються такі гиперкинези, як відкидання голови, відведення очних яблук догори, згинання і розгинання кінцівок, вигинання тулуба, обертання і інш., чому називається також абсансом гиперкинетическим. Див. Гиперкинези. БЛЕОМИЦИН - (bleomycin) - антибіотик, діючий проти злоякісних кліток; застосовується для лікування хвороби Ходжкина, інших лимфом і плоскоклеточном ракові слизових оболонок. Призначається в ін'єкціях; може викликати ряд побічних ефектів, що виявляються в його токсичному впливі на шкіру і легких. Звичайно не призначається хворим з порушеннями функції бруньок або захворюваннями легких. ЗАГАЛЬНІ ПРОФЕСІЙНІ ЗДІБНОСТІ - це психологічні властивості особистості, необхідні від людини даною конкретною професійною діяльністю; вони визначаються предметом труда в професії (людина, техніка, природа і інш.). РІДИНА ГЕЛЛИЕВАЯ - (Hellys fluid) - суміш дихромата калію, сульфату натрію, хлорида ртуті, формальдегида і дистильованої води, що використовується для зберігання кісткового мозку.

ЛОГІКИ

наука про закони, форми і прийоми інтелектуальної (мислительной) пізнавальної діяльності. Оскільки робота інтелекту завжди здійснюється в язиковій формі, дослідження в області логіки прямо пов'язані з дослідженням різного роду язикових конструкцій з точки зору виконання ними тих або інакших пізнавальних функцій. Мова в цьому випадку розглядається як знаряддя пізнання, тобто як засіб, за допомогою якого фіксується інформація про мир, здійснюється перетворення цієї інформації і вивчається навколишній нас світ.
У цей час логіка являє собою розгалужену і багатопланову науку, яка містить в своєму складі наступні основні розділи: теорію міркувань (в двох варіантах: теорію дедуктивних міркувань і теорію правдоподібних міркувань), металогику і логічну методологію. Дослідження у всіх цих областях на нинішньому етапі розвитку логіки гл. про. і по перевазі здійснюються в рамках логічної семиотики.
У останній язикові вирази розглядаються як об'єкти, що знаходяться в т. н. знакової ситуації, що включає в себе три типи предметів - саме язикове вираження (знак), предмет (значення знака), що означається ним і інтерпретатора знаків. Відповідно до цього логічний аналіз мови може вестися з трьох відносно самостійних точок зору: дослідження логічного синтаксису мови, тобто відносини знака до знака; дослідження логічної семантики мови, тобто відносини знака до об'єкта, що означається ним; і дослідження логічною прагматики, тобто відносини інтерпретатора до знака.
У логічному синтаксисі мова і логічні теорії, що будуються на його основі вивчаються з формальної (структурної) їх сторони. Тут визначаються алфавіти мов логічних теорій, задаються правила побудови із знаків алфавіта різних складних язикових конструкцій - термів, формул, виведення, і т. д. Здійснюється синтаксичне розчленовування безлічі язикових виразів на функтори і аргументи, постійні і змінні, визначається поняття логічної форми вираження, визначаються поняття логічного належного і логічного сказуемого, здійснюється побудова різних логічних теорій і аналіз способів оперування в них.
У логічній семантиці мова і логічні теорії вивчаються із змістовної їх сторони; Оскільки ЯЗИКОВІ конструкції не тільки щось означають, але і щось описують (мають значення), в логічній семантиці розрізнюють теорію значення і теорію значення. У першій вирішується питання, які об'єкти означають знаки і як саме вони це роблять. Аналогічно в теорії значення вирішується питання про те, що є смисловим змістом язикових виразів і яким чином вони описують цей зміст.
У семантиці всі вирази мови, в залежності від їх значень, розподіляють по класах, званих семантичними категоріями. Такими є наступні категорії - пропозиції і терміни. Пропозиції діляться на оповідні - що затверджують наявність або відсутність в світі деякої ситуації (такі пропозиції називають висловлюванням), питальну - що виражають питання і спонукальні - виражаючі імперативи. Терміни в свою чергу діляться на дескриптивні (імена, предикатори, предметні функтори) і логічні. (Детальніше див. Семантичних категорій теорія.)
Для логіки як науки особливе значення мають якраз логічні терміни, оскільки вся процедурна сторона нашої інтелектуальної роботи з інформацією зрештою визначається значенням (значенням) даних термінів. До числа логічних термінів відносяться зв'язки і оператори. Серед перших виділяються предицирующие зв'язки "є" і "не є" і пропозициональні (логічні зв'язки): союзи - "и" ("а", "але"), "або" ("або"), "якщо, то", словосполучення - "невірно, що", "якщо і тільки якщо" ("тоді і тільки тоді", "необхідно і досить") і інші. Серед других виділяють висловлювання створюючі - "все" ("кожний", "будь-який"), "деяке" ("існує", "якої-небудь"), "необхідно", "можливо", "випадково" і т. д. і имяобразующие оператори - "безліч предметів таких, що", "той предмет, який" і інш.
Центральним поняттям логічної семантики є поняття істини. У логіці воно зазнає ретельного аналізу, оскільки без нього неможливо в чіткій формі проинтерпретировать логічну теорію, а отже, і її детально дослідити і зрозуміти. Зараз вже очевидно, що могутній розвиток сучасної логіки багато в чому був визначений детальною розробкою поняття істини. З поняттям істини тісно пов'язано і інше важливе семантичне поняття - поняття інтерпретації, тобто процедури приписування за допомогою особливої інтерпретуючої функції язиковим виразам значень, асоційованих з некоторьм класом предметів, званим универсумом міркування. Можливою реалізацією мови називається суворо фіксована пара «U, I», де U - универсум міркування, а I - інтерпретуюча функція, що ставить у відповідність іменам елементи универсума, я-місцевим предикаторам - множини впорядкованих я-ок елементів универсума, л-місцевим предметним функторам - я-місцеві функції, що відображають яки елементів универсума в елементи универсума. Виразам, що відносяться до формул, ставляться у відповідність два значення - "істина" або "брехня" - відповідно до умов їх істинності.
З одним і тим же класом пропозицій можуть зв'язуватися різні їх можливі реалізації. Ті реалізації, на яких кожна пропозиція, вхідна в безліч пропозицій Г, приймає значення "істина", називається моделлю для Г. Понятіє моделі особливо досліджується в спеціальній семантичній теорії - моделей теорії. При цьому розрізнюють моделі різного типу - алгебраїчні, теоретико-множинні, теоретико-ігрові, теоретико-ймовірностний і інш.
Поняття інтерпретації має для логіки якнайважливіше значення, оскільки за допомогою нього визначаються два центральних поняття цієї науки - поняття логічного закону (див. Закон логічний) і логічного проходження (див. Проходження логічне).
Логічна семантика є змістовною частиною логіки, а її понятійний апарат широко використовується для теоретичного виправдання тих або інакших синтаксичних, чисто формальних побудов. Причина цього складається в тому, що сукупний зміст думки ділиться на логічне (що виражається логічними термінами) і конкретне (що виражається дескриптивними термінами), а тому, виділяючи логічну форму виразів, ми відволікаємося, взагалі говорячи, не від будь-якого змісту. Таке відвернення, тобто розгляд формальної сторони думок, являє собою лише спосіб вичленения у чистому вигляді логічного їх змісту, яке і досліджується в логіці. Ця обставина робить неприйнятною ідуче від Канта розуміння логіки як суто формальної дисципліни. Навпаки, логіка є глибоко змістовною наукою, в якій кожна логічна процедура отримує своє теоретичне виправдання за допомогою змістовних міркувань. У зв'язку з цим термін "формальна логіка" в його застосуванні до сучасної логіки є неточним. У справжньому значенні слова можна говорити лише про формальний аспект дослідження, але не про формальну логіку як такої.
При розгляді тих або інакших логічних проблем в багатьох випадках необхідно враховувати також і наміру інтерпретатора, який використовує язикові вирази. Напр., розгляд такої логічної теорії, як теорія аргументації, суперечки, дискусії, неможливо без урахування цілей і намірів учасників диспуту. У багатьох випадках вживані тут прийоми полеміки залежать від бажання однієї з сторін, що позиваються поставити свого противника в незручне положення, збити його з глузду, нав'язати йому певне бачення проблеми, що обговорюється. Розгляд всіх цих питань складає зміст особливого підходу до аналізу мови - "логічної прагматики". Найбільш фундаментальним розділом логіки є теорія дедуктивних міркувань. У цей час цей розділ в своїй апаратній (синтаксичної, формальної) частині представлений у вигляді різноманітних дедуктивних теорій - обчислень. Побудова такого апарату має двояке значення: по-перше, теоретичне, оскільки дозволяє виділити деякий мінімум законів логіки і форм правильних міркувань, виходячи з яких можна обгрунтувати всі інші можливі закони і форми правильних міркувань в даній логічній теорії; по-друге, чисто практичне (прагматичне), оскільки розроблений апарат може бути використаний і використовується в сучасній практиці наукового пізнання для точної побудови конкретних теорій, а також для аналізу філософських і загальнонауковий понять, прийомів пізнання і т. д.
У залежності від глибини аналізу висловлювання виділяють числення висловлювання (див. Логіка висловлювання) і кванторні теорії - числення предикатів (див. Логіка предикатів). У перших аналіз міркувань ведеться з точністю до виділення простих пропозицій. Інакше говорячи, в обчисленнях висловлювання ми не цікавимося внутрішньою структурою простих речень. У обчисленнях предикатів аналіз міркувань здійснюється з урахуванням внутрішньої структури простих речень.
У залежності від типів квантифицируемих змінних розрізнюють обчислення предикатів різного порядку. Так, в численні предикатів першого порядку єдиними квантифицируемими змінних є индивидні змінні. У численні предикатів другого порядку вводяться і починають квантифицироваться змінні для властивостей, відносин і предметних функцій різної місцевості. Відповідно будуються обчислення предикатів третього і більш високого порядку.
Ще одне важливе розчленовування логічних теорій пов'язане з використанням для представлення логічного знання мов з різною категориальной сіткою. У зв'язку з цим можна говорити про теорії, побудовані на мовах фреге-расселовского типу (численні варіанти числення предикатів), силлогистического (різноманітні силлогистики, а також онтологія Лесневського, що є сучасною формою сингулярної силлогистики) або алгебраїчного (різна алгебра логіки і алгебра класів - Бульова алгебра, алгебра Жегалклна, алгебра де Моргана, алгебра Хао Вана і інш.). Для багатьох теорій, побудованих на мовах з різною категориальной сіткою, показана їх взаємна переводимость. Останнім часом в логічних дослідженнях починає активно використовуватися теоретико-категорний мова, заснована на новому математичному апараті - теорії категорій.
У залежності від способу побудови виведення і (див. Висновок логічний), вживаного в логічних теоріях, останні діляться на аксіоматичні обчислення, числення натурального висновку і секвенциальні числення (див. Числення секвенций). У аксіоматичних системах принципи дедукції задаються списком аксіом і правил висновку, що дозволяють перейти від одних доведених тверджень (теорем) до інших доведених тверджень. У системах натурального (природного) висновку принципи дедукції задаються списком правил, що дозволяють перейти від одних гіпотетично прийнятих тверджень кдругим твердженням. Нарешті, в секвенциальних обчисленнях принципи дедукції задаються правилами, що дозволяють перейти від одних тверджень про виводимости (вони називаються секвенциями) до Інших тверджень про виводимости.
Побудова в логіці того або інакшого числення складає формальну строну логічних досліджень, яку завжди буває бажано доповнити змістовними міркуваннями, тобто побудовою відповідної їй семантики (інтерпретації). Для багатьох логічних обчислень такі семантики є. Вони представлені семантиками різного типу. Це можуть бути таблиці істинності, т. н. аналітичні таблиці, таблиці Бета (див. Семантичні таблиці), різного роду алгебри, можливих світів семантики, опису станів і т. д. Навпаки, в тому випадку, коли логічна система спочатку будується семантично, встає питання про формалізацію відповідної логіки, напр., у вигляді аксіоматичної системи.
У залежності від характеру висловлювання, а зрештою від типів відносин речей, які вивчаються в логіці, логічні теорії діляться на класичні і некласичні. У основі такого розчленовування лежить прийняття при побудові відповідної логіки певних абстракцій і идеампаций. У класичній логіці застосовуються, напр., наступні абстракції і ідеалізаціям: а) принцип двузначности, згідно з яким кожне висловлювання є або істинним, або помилковим, би) принцип екстенсиональности, тобто дозвіл для виразів, що мають одне і те ж значення, вільної їх заміни в будь-яких контекстах, що говорить про те, що в класичній логіці цікавляться тільки значенням виразів, а не їх значенням, в) принцип абстракції актуальної нескінченності, який дозволяє міркувати про істотно неконструктивні об'єкти, г) принцип екзистенциальности, згідно з яким универсум міркування повинен бути непустою безліччю, а кожне власне ім'я повинно мати референт в универсуме.
Ці абстракції і ідеалізації утворять ту точку зору, той ракурс, під яким ми бачимо і оцінюємо об'єктивну реальність. Однак ніяка сукупність абстракцій і ідеалізації не може охопити її в повній мірі. Остання завжди виявляється більш багатою, більш жвавою, ніж наші теоретичні побудови, що і робить виправданим вільне варіювання початкових Принципів. У зв'язку з цим повна або часткова відмова від будь-якого з вказаних принципів виводить нас В область некласичних логік. Серед Останніх виділяють: багатозначні логіки, зокрема ймовірностний і нечіткі, в яких відбувається відмова від принципу двузначности; интуиционистские логіки і конструктивні логіки, в яких досліджуються міркування в рамках абстракції потенційної здійсненності; модальні логіки (алетические, тимчасові, деонтические, епистемические, аксиологические і інш.), релевантні логіки, паранепротиворечиві логіки, логіки питань, в яких розглядається висловлювання з неекстенсиональними (интенсиональними) логічними константами; логіки, вільні від екзистенциальних допущень, в яких відбувається відмова від принципів екзистенциальности, і багато які інші.
Сказане показує, що логіка як наука, що дає теоретичний опис законів мислення, не є щось разів і назавжди дане. Навпаки, кожний раз з переходом до дослідження нової області об'єктів, що вимагають прийняття нових абстракцій і ідеалізації, при обліку нових чинників, які впливають на процес міркування, сама ця теорія змінюється. Т. про. логіка є наукою, що розвивається. Але сказане демонструє і щось більше, а саме, що включення до складу логіки певної теорії законів мислення прямо пов'язане з прийняттям певних онтологічних допущень. З цієї точки зору логіка є не тільки теорією мислення, але і теорією буття (теорією онтології).
Важливим розділом сучасної логіки є металогика. У останній досліджуються різні проблеми, що відносяться до логічних теорій. Основними тут є питання про ті властивості, якими володіють логічні теорії: про несуперечність, полноте, наявності дозволяючих процедур, незалежності початкових дедуктивних принципів, а також про різні відносини між теоріями і т. д. У цьому значенні металогика є як би саморефлексией логіки відносно своїх побудов. Всі метатеоретические дослідження проводяться на спеціальному метаязике, як який використовується звичайна природна мова, збагачена спеціальною термінологією і метатеоретическими дедуктивними коштами.
Логічна методологія є ще одним розділом сучасної логіки. Звичайно методологію поділяють на загальнонауковий, в рамках якої вивчаються пізнавальні прийоми, вживані у всіх областях наукового знання, а також методологію окремих наук: методологію дедуктивних наук, методологію емпіричних наук, а також методологію соціального І гуманітарного знання. У всіх цих розділах логічна методологія бере участь як специфічний аспект дослідження. Так, в загальній методології до числа логічних аспектів відноситься дослідження таких пізнавальних прийомів, як виробіток і формулювання понять, встановлення їх видів і різних способів оперування з понятійними конструкціями (ділення, класифікація), визначення термінів і т. д.
Особливо великі успіхи досягнуті в області методології дедуктивних наук. Це було зумовлене як побудовою самої логіки в формі дедуктивного апарату, так і використанням цього апарату для обгрунтування такої дедуктивної дисципліни, як математика. Все це зажадало розробки істотно нових пізнавальних методів і введення нових методологічних понять. У холе роботи, що проводилася тут вдалося, напр., так узагальнити поняття функцій, що воно перейшло фактично в розряд общеметодологических, теоретико-пізнавальних понять. Ми тепер маємо можливість розглядати не тільки числові функції, але і функції будь-якої іншої природи, що дозволило зробити функціональний аналіз мови ведучим методом дослідження язикових виразів. Вдалося з всією ретельністю і суворістю відпрацювати такі важливі методи пізнання, як метод аксиоматизации і формалізації знання. Уперше вдалося в четкой і, головне, різноманітній формі задати теоретико-доказові (дедуктивні) методи пізнання, розробити теорію виразимости і определимости одних термінів через інші в складі теорій, визначити різними способами поняття вичислимой функції.
У цей час активно розробляється логічна проблематика методології емпіричних наук. До цієї області відносяться дослідження по побудові і перевірці гіпотез (зокрема, гипотетико-дедукгивному методу), аналізу різних видів правдоподібних міркувань (індукції і аналогії), теорії вимірювання. Тут отримані цікаві результати з питань співвідношення емпіричного і теоретичного рівнів знання, процедур пояснення і прогнозу, операциональним визначенням. Будуються різні моделі емпіричних теорій, покликані прояснити їх логічну структуру.
До числа загальних методолого-логічних принципів відносяться і ті закони і принципи пізнання, які досліджуються в рамках діалектичної логіки. У багатьох випадках вони виступають як деякі попереджувальні знаки про те, з якими несподіванками ми можемо зустрітися на шляху пізнання. У області методології емпіричного, а також соціального і гуманітарного пізнання велике значення має розрізнення абсолютної і відносної істини; в області історичного пізнання істотною стає вимога про збіг історичного і логічного, що фактично означає звичайну вимогу адекватності пізнання, перенесену в сферу історичних дисциплін. Останнім часом робляться спроби побудови дедуктивних систем, в яких формалізуються окремі особливості діалектичної логіки.
Протягом тисячоліть логіка була обов'язковою дисципліною шкільної і університетської освіти, тобто виконувала свою общекультурную задачу - пропедевтики мислення. Сучасна логіка в повному об'ємі зберегла за собою цю дидактичну і учбово-методичну функцію. Однак розвиток останнім часом могутнього апарату сучасної логіки дозволив їй стати і важливою прикладною дисципліною. У зв'язку з цим укажемо на істотне використання логіки в області основ математики (метаматематики), лінгвістики і інформатик. Дослідження в цих областях знання надали визначальний вплив і на становлення самої сучасною логіки, внаслідок чого можна говорити про взаимообогащающем вплив цих дисциплін. Останнім часом логічна проблематика активно проникає і в інакші сфери знання - юриспруденцію, етику, естетику і інш. Все це вказує на ідучий процес логизации знання, який з течією часу буде посилюватися.
В. А. Бочаров

Джерело: terme.ru

© 2014-2022  yur.in.ua