Перевод: с украинского на все языки

со всех языков на украинский

формально

  • 1 формально

    formally, officially, technically

    Українсько-англійський юридичний словник > формально

  • 2 формально

    formally, nominally; officially, legally

    Українсько-англійський словник > формально

  • 3 формально

    formally; officially; on a pro forma basis; of record; nominally

    Українсько-англійський словник > формально

  • 4 формально

    нар.
    форма́льно

    Українсько-російський словник > формально

  • 5 формально

    formal'no
    присл.

    Українсько-польський словник > формально

  • 6 формально виражена думка

    Українсько-англійський юридичний словник > формально виражена думка

  • 7 формально заперечувати

    Українсько-англійський юридичний словник > формально заперечувати

  • 8 формально не зафіксований

    Українсько-англійський юридичний словник > формально не зафіксований

  • 9 формально оголошена війна

    Українсько-англійський юридичний словник > формально оголошена війна

  • 10 формально правомірний

    Українсько-англійський юридичний словник > формально правомірний

  • 11 формально-юридична помилка

    Українсько-англійський юридичний словник > формально-юридична помилка

  • 12 формально-юридичний

    Українсько-англійський юридичний словник > формально-юридичний

  • 13 формально зобов'язаний

    Українсько-англійський словник > формально зобов'язаний

  • 14 формально існуюча компанія

    corporate shell; shelf company; sleeping company; dormant company; non-operating company; straw company; nominee company; nominal company; paper company; dummy corporation; sham corporation; rogue company

    Українсько-англійський словник > формально існуюча компанія

  • 15 указівки центрального банку, що формально не мають обов'язкової сили

    Українсько-англійський словник > указівки центрального банку, що формально не мають обов'язкової сили

  • 16 на папері

    (формально, не справді) on paper

    Українсько-англійський юридичний словник > на папері

  • 17 Гедель, Курт

    Гедель, Курт (1906, Брюнн, нині Брно - 1978) - австр. логік, математик. Од 1940 р. проживав у США. Серед значних здобутків у царині математичної логіки і теорії множин найвідомішою є знаменита теорема Г. Вона була сформульована у статті "Про формальну невирішуваність тез Principia Mathematica і споріднених систем" (1931), що згодом отримала світове визнання. Суть відкриття Г. зводилася до двох основних результатів. Перший - це теорема про неповноту, в якій стверджується, що будь-яка несуперечлива система, подібна до Principia Mathematica (див. Вайтгед, Рассел), неповна. Г. показав, що в таких системах є істинні твердження, які засобами цих теорій не можна ані довести, ані спростувати. У філософсько-методологічному плані теорема Г. про неповноту виявилася обґрунтуванням принципової неможливості повної формалізації наукового знання, зокрема, математики. Була спростована точка зору, згідно з якою в обґрунтуванні математичного знання логіка може бути гарантованим засобом отримання нових істин. Другий результат - теорема про несуперечливість, суть якої полягала в обґрунтуванні неможливості доведення несуперечливості формальної системи її власними засобами. Г. довів, що це можна зробити, лише застосовуючи методи більш розвинутої формальної теорії. З математичної та філософської точки зору ідеї Г. виявили принципову нездійсненність програми обґрунтування математики Гільберта. Г. також належать вагомі результати в теорії моделей та конструктивній логіці.
    [br]
    Осн. тв.: "Про формальну невирішуваність тез Principia mathematica і споріднених систем" (1931); "Про інтуїтивну арифметику та теорію чисел" (1932); "Математична логіка Рассела" (1944) та ін.

    Філософський енциклопедичний словник > Гедель, Курт

  • 18 Гільберт, Давід

    Гільберт, Давід (1862, Велау, поблизу Кенігсберга - 1943) - нім. математик і логік. Навчався у Кенігсберзькому ун-ті, після закінчення якого захистив докт. дис. (1884). Проф. Кенігсберзького та Геттингенського ун-тів. У 1899 р. були опубліковані знамениті лекції Г. "Основи геометрії", в яких геометрія Евкліда вперше була представлена у вигляді строго побудованої аксіоматичної теорії. Г. належить фундаментальна програма обґрунтування математики, яка в основному була ним сформульована до 1922 р. і детально потому розгорнута у двох томах "Основ математики". Головним об'єктом дослідження в цій праці є математичне доведення. Г. мав намір здійснити свою програму в два етапи. На першому етапі уся математика мала бути повністю формалізована, тобто представлена у вигляді формальної системи, із аксіом якої можна було б вивести основи математичного знання. Другий етап стосувався обґрунтування несуперечливості цієї формальної системи. Математичні доведення Г. пропонував досліджувати за допомогою засобів метаматематики, наполягаючи при цьому на фінітності її методів. Хоча теореми Геделя про неповноту та несуперечливість показали принципову нездійсненність задумів Г., проте вся подальша робота логіків та математиків над логічними основами математичного знання спиралася на вчення Г. про метаматематику. Розробляючи її проблематику, Г. та його послідовники зробили великий внесок в становлення сучасної логіки, зокрема, класичної логіки висловлювань та логіки предикатів.
    [br]
    Осн. тв.: "Основи геометрії" (1899); "Головні особливості теоретичної логіки" (1928); "Основи математики", у співавт. В 2 т. (1934, 1939) та ін.

    Філософський енциклопедичний словник > Гільберт, Давід

  • 19 іронія

    ІРОНІЯ ( від грецьк. ειρωνεία - прикидання, удаваність) - певного роду риторичний прийом, завдяки якому висловлення набуває прихованого змісту, відмінного (нерідко - протилежного) від буквального, проте формулювання останнього завжди натякає на істинність саме прихованого змісту. І. має і суто філософське значення - специфічного заперечення, що виявляє розходження наміру і результату, задуму і об'єктивного сенсу у парадоксах пізнавальної і практичної діяльності. Історично першою формою філософської І. була "Іронія Сократа". Сократ твердив, що марно шукати істину у зовнішньому світі - вона належить людині ("Пізнай самого себе") А. ле істина ця хаотично "перемішана" з хибними уявленнями і "виділити" П з того хаосу думок можна лише за допомогою серії питань, що ставляться у певному порядку (який збігається з "порядком" самого Космосу). Прикидаючись невігласом ("Я знаю лише те, що я нічого не знаю"), Сократ ставив співрозмовникам нібито "наївні" питання, які спрямовували хід думок до істинного висновку. І. Сократа є специфічною, античною, формою діалектичного методу. Специфіка цієї форми визначалася уявленням про цілісність, не розчленованість природної і духовної реальності античного світопорядку (реально-ідеального Космосу), їхню принципову нерозрізнимість. Тому антична діалектика спрямовується на виявлення суперечностей з метою їхньої елімінації, а не синтезу. Саме тому ця діалектика знаходить своє завершення в Аристотелевій системі формальної логіки (у середньовічних університетах курс формальної логіки називався "діалектикою"). Не можна погодитися з твердженнями про "суб'єктивізм" Сократової позиції (оскільки вона, мовляв, тлумачить діалектику лиш як метод пізнання) - адже античний "об'єкт" (реально-ідеальний Космос) у своїй структурі визначається людиною ("суб'єктивно") відповідно до протагорової тези - "людина є мірою всіх речей". Лише філософія неоплатонізму (і, зокрема, її християнської форми - "ареопагітизму"), яка виходить з принципової нетотожності (навіть несумірності) духовного і природного (тварного) світу, виявляє нову форму І. (і, відповідно, діалектики), оскільки тут ідеться про несумірність (по суті - трансцендентність) наміру (духовної реалії) і результату (створеної з ніщо природи) - Божественого плану буття і його словесно-предметного "творіння", які (через "гріховний" вибір Адама і Єви) виявляються змістовно несумірними, вимагаючи "додаткових" актів ("спасительний подвиг" Христа, апокаліптичні події тощо). Саме з цим (через кордоцентрично-барокову лінію від Екгарта до пієтизму і янсенізму) пов'язане формування І. нім. романтизму, спричиненого особливостями філософії Фіхте. Оскільки результат діяльності "Я" - "не-Я" (об'єкт, дійсність) виявляється, внаслідок її обмежено-предметного характеру, біднішим за своє духовне джерело (за межами дійсності лишаються нереалізовані можливості), то відкривається широке поле для розмаїтого тлумачення цих можливостей, для творчої "гри" множиною можливостей. Критикуючи романтичну І. за довільний, "суб'єктивістський" характер "гри" можливостями, Гегель водночас допускає ситуації "І. історії" - розходження мети суб'єктів історичної дії (людей) з реальним результатом ходу історії. Така І., за Гегелем, стає можливою внаслідок об'єктивного характеру діалектичного розвитку абсолютного духу і суб'єктивного характеру історичних цілей, що їх ставлять при цьому люди. Саме це мав на увазі, говорячи про "І. історії", Енгельс, невиправдано приписуючи діалектику (цей винятково духовний феномен) природі. Насправді ж т. зв. "діалектика природи" є упредметненою в природному матеріалі духовно-практичної діалектики людини, її відчуженням. Серед історичних різновидів І. особливе місце належить "екзистенційній" І. К'єркегора, суть якої зводиться до здатності людського духу не просто оперувати ("грати") наявними можливостями в рамках даної парадигми (теоретичної, етичної, естетичної та інших систем) людської діяльності, а й виходячи за її межі (к'єркегоріанський "стрибок в абсурд"), творити принципово нові можливості духовного і практичного осягнення світу.
    І. Вичко

    Філософський енциклопедичний словник > іронія

  • 20 логіка науки

    ЛОГІКА НАУКИ - комплекс філософських і формально-логічних досліджень структури наукового знання. Розвиток Л.н. пов'язаний з подоланням кризи в теоретичному природознавстві та основах математики, що виникла на рубежі XIX - XX ст. В теоріях, які вважалися класичними і надійними, виявилися суперечності; некритичне використання деяких понять поставило під сумнів засоби доказу, зокрема в математиці; з'ясувалося, що важливим теоретичним поняттям приписується смисл, несумісний із змістом даних теорій. Л.н. склалась як сукупність методів встановлення точного смислу термінів і тверджень наукових теорій, вивчення міри доказовості кожного з тверджень і аналізу надійності методів доказу. В сучасній науці з високою абстрактністю її побудов та зростаючою складністю логічної структури доказів Л.н. набуває дедалі більшого значення для з'ясування об'єктивної істинності теорій та перспектив їхнього розвитку Д. ля розв'язання цих важливих питань розвитку наукового знання, його теоретичних структур та емпіричного базису Л.н. використовує різні конкретно-методологічні підходи, в т.ч. метатеоретичні побудови, аналіз регулятивних принципів трансформації теорій, засоби інтерпретації, моделювання й розуміння мови науки. Оскільки важлива частина емпіричних теорій з формального боку не відрізняється по суті від математичних, на дослідження їх перенесено методи, що виправдали себе в математиці. Таким чином, істотно розширяється коло досліджуваних проблем і використовуваних методів та ідей. Фундаментальна для емпіричних теорій проблема співвідношення фактів і теоретичних узагальнень допускає формальний розгляд, але водночас порушує суто філософське питання. Аналіз змісту абстракцій, використовуваних сучасною наукою, з усією повнотою ставить питання про глибину відображення зовнішнього світу в поняттях. Нарешті, найважливіші результати метатеоретичних досліджень не можна зрозуміти без філософського осмислення. Таким чином, аналіз будови наукового знання, міри і характеру його обґрунтованості, форм зв'язку теорії з емпіричним матеріалом неминуче й органічно включає вивчення співвідношення теорії і об'єктивної дійсності. Л.н. стимулює і розвиток формальної логіки, зокрема її некласичних напрямів, і водночас потребує філософського аналізу понятійного апарату науки, узагальнення результатів метатеоретичних досліджень.

    Філософський енциклопедичний словник > логіка науки

См. также в других словарях:

  • формально — формально …   Орфографический словарь-справочник

  • формально — казенно, только по названию, не всерьез, для очистки совести, для галочки, де юре, бюрократически, для порядка, фиктивно, понарошку, по установленной форме, официально, для показухи, для отмазки, для проформы, для вида, для отвода глаз,… …   Словарь синонимов

  • ФОРМАЛЬНО — Соблюдая установленные формы. Объяснение 25000 иностранных слов, вошедших в употребление в русский язык, с означением их корней. Михельсон А.Д., 1865 …   Словарь иностранных слов русского языка

  • формально —   форма/льно   Формально вы правы …   Правописание трудных наречий

  • Формально правильно, а по существу издевательство — Из «Заключительного слова по докладу о продовольственном налоге», которое произнес (27 мая 1921 г.) В. И. Ленин (1870 1924) на X Всероссийской конференции РКП(б). Там он подверг критике новейших российских бюрократов чиновников советского… …   Словарь крылатых слов и выражений

  • формально запрещенный — прил., кол во синонимов: 1 • формально запрещённый (1) Словарь синонимов ASIS. В.Н. Тришин. 2013 …   Словарь синонимов

  • формально запрещённый — прил., кол во синонимов: 1 • формально запрещенный (1) Словарь синонимов ASIS. В.Н. Тришин. 2013 …   Словарь синонимов

  • формально обращенный — прил., кол во синонимов: 1 • формально обращённый (1) Словарь синонимов ASIS. В.Н. Тришин. 2013 …   Словарь синонимов

  • формально обращённый — прил., кол во синонимов: 1 • формально обращенный (1) Словарь синонимов ASIS. В.Н. Тришин. 2013 …   Словарь синонимов

  • формально объединенный — прил., кол во синонимов: 1 • формально объединённый (1) Словарь синонимов ASIS. В.Н. Тришин. 2013 …   Словарь синонимов

  • формально объединённый — прил., кол во синонимов: 1 • формально объединенный (1) Словарь синонимов ASIS. В.Н. Тришин. 2013 …   Словарь синонимов

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»