| Arabic |
| lexicalization | ara: علوم شكلية |
| Bosnian |
| lexicalization | bos: Formalne nauke |
| Catalan |
| has gloss | cat: Una ciència formal és una disciplina teòrica lobjecte de la qual no té contingut empíric, sinó que desenvolupa i estudia sistemes formals. Són ciències formals la Lògica, la Matemàtica, i les branques teòriques de la Informàtica, la Teoria de la informació i lEstadística. Soposa a la ciència experimental i a vegades se lanomena ciència pura o ciència exacta (tot i que aquest terme se sol reservar per a les matemàtiques). |
| lexicalization | cat: Ciència formal |
| German |
| has gloss | deu: Formalwissenschaften sind Wissenschaften, die sich der Analyse von Formalen Systemen widmen. Beispiele sind Mathematik, Logik, reine Linguistik und theoretische Informatik. Damit stellen die Formalwissenschaften einen Wissenschaftsbereich dar, der etwa von den Geisteswissenschaften, Sozialwissenschaften, Naturwissenschaften und Ingenieurswissenschaften abgegrenzt wird. |
| lexicalization | deu: Formalwissenschaft |
| Modern Greek (1453-) |
| has gloss | ell: Θετικές ονομάζονται οι επιστήμες οι οποίες στηρίζονται στην επιστημονική μέθοδο ή / και σε κανόνες λογικής (στο πλαίσιο ενός τυπικού συστήματος) για να διερευνήσουν συστηματικά τη φύση και να διατυπώσουν νόμους οι οποίοι την περιγράφουν. Στις θετικές επιστήμες περιλαμβάνονται οι φυσικές επιστήμες, τα μαθηματικά, η στατιστική και η πληροφορική. Τα εργαλεία που παρέχουν τα μαθηματικά αξιοποιούνται σε όλες τις θετικές επιστήμες, αλλά και στις επιστήμες μηχανικού οι οποίες αποτελούν εφαρμογή τους. Οι θετικές επιστήμες έχουν και αυτές «εφαρμοσμένες» όψεις, όμως δεν δίνουν τόσο έμφαση στην επίλυση συγκεκριμένων πρακτικών προβλημάτων όσο στην ανάπτυξη μεθόδων οι οποίες αποσκοπούν στην επίλυση πρακτικών προβλημάτων (π.χ. εφαρμοσμένα μαθηματικά, εφαρμοσμένη φυσική, βιοτεχνολογία, υπολογιστικά συστήματα κλπ). |
| lexicalization | ell: θετικές επιστήμες |
| Persian |
| lexicalization | fas: علوم رسمی |
| French |
| has gloss | fra: Les sciences formelles (ou sciences logico-formelles) explorent déductivement, selon des règles de formation et de démonstration, des systèmes axiomatiques. Il s'agit par exemple des mathématiques ou de la logique. |
| lexicalization | fra: Science formelle |
| lexicalization | fra: Sciences formelles |
| Manx |
| lexicalization | glv: Oaylleeaghtyn formoil |
| Icelandic |
| has gloss | isl: Rökvísindi er sú grein vísindanna sem skoðar og greinir rökkerfi. |
| lexicalization | isl: Rökvísindi |
| Italian |
| lexicalization | ita: Scienze formali |
| Japanese |
| has gloss | jpn: 形式科学（けいしきかがく、）とは形式体系に関係する学問の総称である。論理学、数学、システム理論に加え、計算機科学、情報理論、ミクロ経済学、統計学、言語学のうち理論的な研究分野がこれに含まれる。 |
| lexicalization | jpn: 形式科学 |
| Georgian |
| has gloss | kat: ფორმალური ეწოდება მეცნიერებას, რომელიც შეისწავლის აბსტრაქტულ თემებს, რომელთაც ერთი შეხედვით პრაქტიკული გამოყენება არ გააჩნიათ. გამოყენებითი მეცნიერებების საპირისპიროდ, მათ წმინდა მეცნიერებებსაც უწოდებენ. ჭეშმარიტების დადგენისათვის მათი კვლევის მეთოდი არის დედუქცია. |
| lexicalization | kat: ფორმალური მეცნიერებები |
| Korean |
| has gloss | kor: 형식 과학(形式科學)은 이론적 형식 체계와 관련된 학리적 연구이다. 이론적 상징과 규칙에 의해서 확립된다. 자연 과학과 다른점은 형식 과학이 이론적 개념에서 출발하여 사고 과정을 통해 다른 개념으로 이르는 반면, 자연 과학은 현실계의 관찰로부터 출발하여 현실의 일부에 대해 대체로 유용한 모형에 이른다는 점이다. |
| lexicalization | kor: 형식 과학 |
| lexicalization | kor: 형식과학 |
| Macedonian |
| lexicalization | mkd: Формални науки |
| Dutch |
| lexicalization | nld: Formele wetenschap |
| Norwegian Nynorsk |
| lexicalization | nno: Formelle vitskapar |
| Occitan (post 1500) |
| lexicalization | oci: Sciéncias formalas |
| Portuguese |
| has gloss | por: As ciências formais são um ramo das ciências que estuda os sistemas formais, como por exemplo, a lógica, matemática, teoria dos sistemas e os aspectos teóricos da ciência computacional, teoria da informação, microeconomia, teoria da decisão, estatística e linguística. |
| lexicalization | por: Ciências formais |
| Moldavian |
| lexicalization | ron: Ştiinţe formale |
| Castilian |
| has gloss | spa: Las ciencias formales son aquellas ciencias que establecen el razonamiento lógico y trabajan con ideas creadas por la mente. Esta crea su propio objeto de estudio; su método de trabajo es el lógico inductivo, con todas sus variantes. Las ciencias formales estudian el saber en contraposición a las ciencias factuales que estudian el ser. |
| lexicalization | spa: ciencias formales |
| Swedish |
| has gloss | swe: Formalvetenskap omfattar matematik, statistik, logik och informationsteori. |
| lexicalization | swe: Formalvetenskap |
| Turkish |
| has gloss | tur: Formal bilimler teorik formal sistemlerle ilişkili teorik dallardır. Mantık, matematik, sistem teorisi ile bilgisayar biliminin teorik dalları, bilgi teorisi ve istatistik formal bilimlerdir. Formal bilimlerin fen bilimleri ve sosyal bilimler dışında üçüncü bir bilim alanı olarak mı sayılması gerektiği hâlâ tartışma konusudur ve zaman zaman farklı kaynaklarca çeşitli formal bilim dalları, örneğin matematik ve istatistik, fen bilimleri dahilinde de ele alınır. |
| lexicalization | tur: Formal bilimler |
| lexicalization | tur: formal bilim |
| Chinese |
| has gloss | zho: 形式科學是指主要研究對象為抽象形態的科學，如邏輯、數學、計算理論、資訊理論、統計學等。 |
| lexicalization | zho: 形式科學 |
