| Azerbaijani |
| has gloss | aze: Formal məntiq - İnsan mühakimələrinin konkret məzmununu nəzərə almadan onların formasını - (strukturunu), quruluşunu öyrənir. Başqa sözlə, formal məntiq konkret məzmunu nəzərə almadan əqli nəticə və isbat qaydalarında, mühakimə, anlayışlar arasında əlaqənin və məntiqi nəticə çıxarılmasının qanunlarını öyrənir. Formal məntiqin əsasını Aristotel qoymuşdur. |
| lexicalization | aze: Formal məntiq |
| Bulgarian |
| has gloss | bul: Терминология Формална логика е термин на Кант, с който традиционната логика — а именно силогистиката (Аристотеловата теория за формално-валидните умозаключения), допълнена в традициата с учението за понятието и учението за съждението, — се различава от развитата от самия Кант т.нар. "трансцендентална логика", в която се обръща внимание не само на логическата "форма", но и на предмета, т.е. "съдържанието" на познанието. Кант е смятал, че формалната логика е получила завършен вид на практика още при самия Аристотел. (При Хегел в известен смисъл се продължава Кантовата програма, като започва да се говори за една по-висша "спекулативна" или "съдържателна" логика и, дотолкова, самата формална логика получава дори негативни конотации.) Изследванията на немския математик и философ Готлоб Фреге обаче довеждат до революция — и неподозирани дотогава разширения — на "формалната логика" в края на ХІХ век. |
| lexicalization | bul: формална логика |
| German |
| has gloss | deu: Der Begriff Formale Logik ist mehrdeutig. Er wird zur Bezeichnung verschiedener Bereiche der Logik verwendet: # „Formale Logik“ wird als Synonym zu „Logik“ verwendet, um deutlich zu machen, dass sie von inhaltlichen Betrachtungen unabhängig ist. # „Formale Logik“ wird verwendet, um eine Logik zu bezeichnen, die formal gültig ist. # „Formale Logik“ wird verwendet, um eine formalisierte Logik zu bezeichnen. In dieser Bedeutung ist der Begriff synonym zu „mathematische Logik“ und „symbolische Logik“ sowie dem veralteten „Logistik“. |
| lexicalization | deu: Formale Logik |
| Japanese |
| has gloss | jpn: #数理論理学の意 #形式的論理学(formale Logik)とは、ドイツ観念論哲学の祖と言われるイマヌエル・カントがアリストテレス流の論理学に与えた名称。自己の唱えた超越論的論理学(transzendentale Logik)と対比したもの。 #*エドムント・フッサールなどによって、従来の論理学をカントが「全く誤解して」名付けたものであり、対比されている超越論的論理学は形而上学と認識論の奇妙な混合物というべきものであると批判された（フッサール「形式的論理学と超越論的論理学」）。 |
| lexicalization | jpn: 形式論理学 |
| Korean |
| has gloss | kor: 형식논리학(形式論理學)은 사고(판단·개념)의 내용을 무시하고 추리의 형식상 타당성 성립 조건만을 연구하는 논리학이다. |
| lexicalization | kor: 형식 논리학 |
| lexicalization | kor: 형식논리학 |
| Russian |
| has gloss | rus: Форма́льная ло́гика — конструирование и исследование правил преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий. В истории философии — отдельный раздел или направление логики конца XIX—начала XX века. Иногда путают с символической, или математической логикой. Другое направление в логике — неформальная логика. |
| lexicalization | rus: формальная логика |
| Turkish |
| has gloss | tur: Formel mantık, mantığın geleneksel ya da biçimsel özelliğidir. Geleneksel mantık olarak da adlandırılır. Bir düşüncenin içerik bakımından doğru olup olmadığını değil, biçimsel ya da formel yönden doğru olup olmadığını dikkate alır, bunu önemser. Bu yanıyla da düşünce biçimlerinin çözümlemesini içerir denilebilir. Verili önermelerden başka yeni önermeler çıkarılması, formel mantığın yöntemidir. Bu çıkarsamanın kurallarını kapsar. Bu bakımdan da hem ögeler teorisi hem de yöntem teorisi olarak iki bölüme ayrılır. İlki kavramları ve mantığın temel ilkelerini, ikincisi ise kanıtlamanın yol ve yöntemlerini araştırır ve ortaya koymaya çalışır. |
| lexicalization | tur: Formel mantık |
| Ukrainian |
| has gloss | ukr: Формальна логіка — конструювання і дослідження правил перетворення висловів, що зберігають своє істинне значення безвідносно до змісту вхідних в ці вислови понять. У історії філософії — окремий розділ або напрям логіки кінця XIX — початку XX ст. У сучасному вжитку — синонім символічної, або математичної логіки. |
| lexicalization | ukr: Формальна логіка |