| dbo:abstract
|
- Una ciència formal és una disciplina teòrica l'objecte 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 l'Estadística. S'oposa a la ciència experimental i a vegades se l'anomena ciència pura o ciència exacta (tot i que aquest terme se sol reservar per a les matemàtiques). Estudien conceptes abstractes i no realitats físiques, per això empren un llenguatge formal numèric i es basen en raonaments i demostracions per a dur a terme la seva recerca. (ca)
- العلوم الشكلية هي فروع المعرفة التي تهتم بالأنظمة الشكلية، كالمنطق، والرياضيات، وعلم الكومبيوتر النظري، ونظرية المعلومات، ونظرية الألعاب، ونظرية الأنظمة، ونظرية القرار، والإحصاء، وبعض أشكال اللغويات. على عكس العلوم الأخرى (التجريبية) فإن العلوم الشكلية لا تعتمد في تحديد صحة نظرياتها على المشاهدة في أرض الواقع، بل على خصائص الأنظمة الشكلية من ناحية نظرية بناءً على التعاريف وقواعد الاستنتاج. ولكن منهجيات العلوم الشكلية يتم استخدامها أيضاً في البناء والتجريب النظري للنماذج العلمية التي تهتم بما يوجد في أرض الواقع. (ar)
- Formalwissenschaften sind Wissenschaften, die sich der Analyse von formalen Systemen widmen. Beispiele sind Mathematik, Logik, theoretische Informatik, allgemeine Linguistik und teilweise die Rechtswissenschaft. Damit stellen die Formalwissenschaften einen Wissenschaftsbereich dar, der etwa von den Geisteswissenschaften, Sozialwissenschaften, Naturwissenschaften und Ingenieurwissenschaften abgegrenzt wird. (de)
- La nomon formala scienco aŭ, pli kutime, ekzakta scienco oni uzas por matematiko kaj ĉiu scienco, kiu baziĝas sur eksperimentado kaj observado kaj povas sistemiĝi uzante ekzaktan matematikan lingvaĵon por esprimi koncernajn sciojn. Aliaj esprimoj kun simila uzado kiel ekzaktaj/formalaj sciencoj estas malmolaj sciencoj, puraj sciencoj aŭ fundamentaj sciencoj. La germana epistemologo Rudolf Carnap estis la unua, kiu dividis la sciencaron je puraj sciencoj kaj aplikaj sciencoj. La ekzaktaj sciencoj akceptas antaŭdirojn speciale precizajn, kaj uzas rigorajn metodojn por kontroli/validigi la formulitajn hipotezojn, jen per deduktoj aŭ nerefuteblaj kialaroj, jen per eksperimentoj, en kiuj mezuroj kaj antaŭdiroj estas kvantigeblaj objektive. Tiu termino implicas diĥotomion inter la formalaj sciencoj kaj la t.n. sociaj sciencoj, kiel ekzemple sociologio aŭ ekonomiko. Ĉe tiuj la eksperimentado kaj la antaŭdiro ne ludas tiom gravajn rolojn, kaj ne produktas (nek normale klopodas produkti) rezultojn, kiuj estu kontroleblaj per objektiva metodo, sed enhavas ian gradon de subjektiveco. Tiu ĉi diĥotomia divido ne estas rigida limo inter du malsamaj kampoj kaj sen konekto. Klasikaj ekzemploj de ekzaktaj/formalaj sciencoj estas matematiko, logiko, fiziko, informadiko, informteorio, kibernetiko, statistiko, astronomio, ĥemio kaj kelkaj branĉoj de lingvistiko, filozofio kaj biologio. (eo)
- Formal science is a branch of science studying disciplines concerned with abstract structures described by formal systems, such as logic, mathematics, statistics, theoretical computer science, artificial intelligence, information theory, game theory, systems theory, decision theory, and theoretical linguistics. Whereas the natural sciences and social sciences seek to characterize physical systems and social systems, respectively, using empirical methods, the formal sciences use language tools concerned with characterizing abstract structures described by formal systems. The formal sciences aid the natural and social sciences by providing information about the structures used to describe the physical world, and what inferences may be made about them. (en)
- Zientzia formalak ezaguera arrazionalaren eta koherentearen multzo sistematikoak dira, prozesu logiko eta matematikoen ikerketaz arduratzen direlarik, (bere ikerketa arrazoia ez izanik mundua, ez eta errealitate fisiko-naturala ere, baizik eta edukiko forma hutsak) baina zeinen ezaguerak errealitate fisiko-naturalari aplikatuak izan daitezkeen. Zientzia formalaren berezko metodoa metodo deduktiboa da. Formekin jarduten duena da, hau da, objektu idealekin, gizakiak sortutakoak direnekin, bere garunean sortutakoak direnak eta abstrakzioari esker lortutakoak direnak. Formak dute garrantzia eta ez edukiak; ez zaie axola zer esaten den, baizik eta nola esaten den. Zientzia formalen egia beharrezkoa eta formala da. (eu)
- Las ciencias formales son un conjunto de ciencias que estudian los lenguajes formales y los sistemas formales. Si bien su objeto de estudio no es el mundo físico o natural, sino objetos abstractos, sus conocimientos pueden ser más o menos aplicados a dicha realidad físico-natural. El método propio de las ciencias formales es la deducción; y a diferencia de las ciencias fácticas, no admite la inducción ni la abducción. Es aquella que trabaja con formas, es decir, con objetos ideales que existen en la mente y son obtenidos por abstracción. La verdad en las ciencias formales es entendida como verdad lógica: consecuencias que siguen necesariamente de considerar todas las posibilidades o «formas» en las que podrían combinarse los hechos preestablecidos. Ejemplos de ciencias formales son las matemáticas, la lógica y las ciencias de la computación. Las ciencias formales son las ramas de la ciencia que estudian sistemas formales. Las ciencias formales validan sus teorías con base en proposiciones, definiciones, axiomas y reglas de inferencia. Todas ellas son analíticas y por regla general se asumen exactas o perfectas, a diferencia de las ciencias sociales y las ciencias naturales, que se argumentan de manera empírica o con métodos experimentales; es decir, observando el mundo real para encontrar más o menos evidencia a favor de una hipótesis. Los conocimientos de la ciencia formal suelen llamarse «teoremas», que a su vez provienen de demostraciones matemáticas. (es)
- Ilmu formal adalah disiplin yang terkait dengan seperti logika, matematika, statistika, , teori informasi, teori permainan, , , dan linguistika. Ketika ilmu alam dan ilmu lainnya seperti ilmu sosial, , dan ilmu kognitif yang mencari teori ilmiah dengan mengandalkan pengamatan yang bertujuan memprediksi secara tepat dan akurat untuk menjelaskan fenomena eksternal dunia, ilmu formal bekerja dengan sifat internal dari , terutama definisi dari suatu istilah dan . ilmu formal membantu membangun, menilai, dan menguji teori dan permodelan ilmiah dengan terlebih dahulu menemukan inkonsistensi dan bentuk kecacatan dari kesimpulan. (in)
- Les sciences formelles (ou sciences logico-formelles) explorent déductivement, selon des règles de formation et de démonstration, des systèmes axiomatiques. Les sciences formelles regroupent les mathématiques, la logique et l'informatique théorique. (fr)
- 형식과학(形式科學, 영어: formal science)은 논리학, 수학, 통계학, 이론 컴퓨터 과학, 인공지능, 정보 이론, 게임 이론, 시스템 이론, 결정 이론 및 이론 언어학과 같은 형식 시스템과 관련된 형식 언어 분야를 연구하는 과학의 한 분야이다. 자연과학과 사회과학은 경험적 방법을 사용하여 각각 물리적 시스템과 사회 시스템을 특성화하려고 하는 반면, 형식과학은 상징적 시스템으로 설명되는 추상 구조를 특성화하는 것과 관련된 분야이다. (ko)
- La scienza formale o astratta è una branca della scienza che studia le discipline relative ai sistemi formali, come logica, matematica, statistica, informatica teorica, intelligenza artificiale, teoria dell'informazione, teoria dei giochi, teoria dei sistemi, teoria delle decisioni e linguistica teorica. Considerando che le scienze naturali e le scienze sociali cercano di caratterizzare rispettivamente i sistemi fisici e i sistemi sociali, utilizzando metodi empirici, le scienze formali sono strumenti linguistici che si occupano di caratterizzare strutture astratte descritte da sistemi formali. Le scienze formali aiutano le scienze naturali e sociali fornendo informazioni sulle strutture usate per descrivere il mondo fisico e quali deduzioni si possono fare su di esse. Sono quelle discipline che fanno uso di concetti astratti e schemi logici, prescindendo dall'esperienza e dalla realtà empirica. Si distinguono dalle scienze empiriche (sociali e naturali), che si basano sull'osservazione dei fatti, e da quelle applicate, che sono incentrate nella risoluzione di problemi pratici. (it)
- Formele wetenschap is de wetenschap van formele systemen, zoals logica, wiskunde, systeemtheorie, en de theoretische aspecten van informatica, informatiewetenschap, besluitvormingstheorie, statistiek en linguïstiek. (nl)
- 形式科学（けいしきかがく、英: formal science）とは形式体系に関係する科学の総称である。論理学、数学、システム科学に加え、計算機科学、情報理論、情報学、ミクロ経済学、統計学、言語学などといった分野の理論ベースの細分野（たとえば計算機科学であれば理論計算機科学）がこれに含まれる。 形式科学で扱うのは記号システムによって記述される抽象的構造であり、結果は公理や理論上のアイデアから推論（純粋な思考の過程）のみによって導き出される。これは、自然科学が現実世界を扱い、観測・観察から得られた知識をもとに結果を導き出すのと対照的である。しかし、形式科学で扱う体系は現実世界のものをモチーフしたものが多い。また、形式科学の結果は自然科学において現実世界を簡潔に理解するための構造（モデル）をつくるのに応用されることが多い。 形式科学で扱う体系は純粋に理論的なものであるので、現実世界そのものではない。しかし、時として「理論的なモデルは現実世界を完全に描写することができる」とか、理論が「現実そのものである」などと信じられてしまうことがある。 (ja)
- Nauki formalne, także: nauki aprioryczne, nauki dedukcyjne – w klasyfikacji nauk grupa nauk wyróżniona ze względu na kryterium przedmiotowe. Przeciwstawiająca się naukom empirycznym (nazywanym też realnymi). Przedmiotem badań nauk formalnych są pojęcia i ich związki (w tym liczby, zbiory i obiekty geometryczne), zawsze definiowane a priori – konstrukcje abstrakcyjne, świat bytów idealnych. Zaliczają się do nich matematyka, logika, cybernetyka, teoria decyzji, , fizyka matematyczna, teoria obwodów, prakseologia i in. Przedmiotem badań nauk empirycznych są natomiast przedmioty fizyczne, biologiczne i społeczne. (pl)
- As ciências formais são um ramo das ciências que estuda os , 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. As ciências formais são construídas em cima de símbolos e regras. A diferença entre as ciências formais e as ciências naturais é o fato das formais começarem com ideias teóricas que levam a outras ideias teóricas através do processo do pensamento, enquanto as naturais começam com a observação do mundo real que leva para modelos mais ou menos úteis para uma parte empírica da realidade. Nunca se aprende nada empírico através do estudo apenas das ciências formais. Nunca é possível provar nada empírico através do uso das ciências formais. A matemática aplicada tenta aplicar alguns modelos matemáticos teóricos à realidade. Isso é possível dentro de certas limitações e com certas restrições e com certos limites de precisão. Se o mapa e a realidade não se encaixam, é o mapa que está errado, e não a realidade. Um mapa é a representação teórica (modelo) da realidade. (pt)
- Formalvetenskap eller formella vetenskaper är ett samlingsbegrepp för sådana vetenskapliga discipliner som behandlar formella system. De kräver inte empiriska belägg genom experiement eller observation av verkligheten, utan bygger helt på logisk bevisföring och deduktion (härledning) utifrån system av axiom och definitioner. Här finns till exempel formell logik, matematik, teoretisk datavetenskap, informationsteori, spelteori och systemteori. Gemensamt för dessa vetenskaper är att de använder teckensystem för att beskriva och analysera abstrakta strukturer. Forskningsprocessen börjar oftast med en problemformulering och utefter det formuleras ett tänkbart svar (förmodan). Ett bevis är en bekräftad förmodan. (sv)
- Форма́льные нау́ки — совокупность наук, занимающихся исследованием формальных систем. К формальным наукам относятся: математика, логика, кибернетика, теоретическая информатика, теория информации, теория систем, теория принятия решений, статистика, некоторые аспекты лингвистики. Формальные науки берут начало в математических текстах, датируемых 1800 г. до н. э. (вавилонская математика), 1600 г. до н. э. (древнеегипетская математика) и 1000 г. до н. э. (древнеиндийская математика), задолго до формирования научного метода. Индийские, древнегреческие и арабские математики внесли большой вклад в математику, в Китае и Японии независимо развивалась собственная математическая традиция. Логика, так же как и математика, является примером формальной науки с древней историей (смотри статью История логики). Анализ способов логического вывода имел место в Древнем Китае, Древней Индии, Древнем Риме и Древней Греции. На современную логику оказала влияние, главным образом, древнегреческая традиция, которая получила продолжение в трудах арабских логиков. Другие формальные науки во многом связаны с математикой и вышли из неё. В начале XVII века появляются первые работы по теории вероятностей (статистике). С середины XX века начинают бурно развиваться исследование операций, теория информации, теоретическая информатика и другие формальные науки. В отношении теоретической информатики следует отметить, что её зарождение усматривается в работах Тьюринга и иногда прослеживается до Бэббиджа и даже Лейбница. Появление новых дисциплин показывает, что математика была только одной из многих в ряду формальных наук. В противоположность естественным и социальным наукам формальные науки в известном смысле логически и методологически независимы от эмпирических методов. В формальных науках подход к исследуемым объектам абстрактен, вместе с тем получаемые результаты находят приложение при изучении всех областей реальности. (ru)
- Формальні науки — сукупність наук, які займаються дослідженням формальних систем. До формальних наук, наприклад, належать: логіка, математика, теоретична інформатика, теорія інформації, теорія систем, теорія рішень, статистика, деякі аспекти мовознавства. Формальні науки беруть початок в математичних текстах, датованих 1800 до н. е. (вавилонська математика), 1600 до н. е. (давньоєгипетська математика) і 1000 до н. е., задовго до формування наукового методу. Індійські, давньогрецькі, математики зробили великий внесок у математику, а у та Японії незалежно розвивалася власна математична традиція. Крім математики, логіка є прикладом формальної науки з древньою . Явний аналіз способів логічного висновку мав місце в Китаї, Індії та Стародавній Греції. На сучасну логіку вплинула, головним чином, давньогрецька традиція, яка отримала продовження в працях арабських логіків. Інші формальні науки багато в чому пов'язані з математикою і вийшли з неї. На початку XVII століття з'являються перші роботи з теорії ймовірностей (статистики). З середини XX століття починають бурхливо розвиватися дослідження операцій, теорія інформації, теоретична інформатика та інші формальні науки. Щодо теоретичної інформатики слід зазначити, що її зародження вбачається в роботах Тюрінга й іноді простежується до Беббіджа і навіть Лейбніца. Поява нових дисциплін показує, що математика була лише однією з багатьох у ряді формальних наук. На противагу природним і соціальним наукам, формальні науки у відомому сенсі логічно і методологічно незалежні від емпіричних методів. У формальних науках підхід до досліджуваних об'єктів абстрактний, разом з тим отримані результати знаходять застосування при вивченні всіх областей реальності. (uk)
- 形式科學（formal science）是指主要研究對象為抽象形態的科學，如邏輯、數學、統計學等。 (zh)
|
| rdfs:comment
|
- العلوم الشكلية هي فروع المعرفة التي تهتم بالأنظمة الشكلية، كالمنطق، والرياضيات، وعلم الكومبيوتر النظري، ونظرية المعلومات، ونظرية الألعاب، ونظرية الأنظمة، ونظرية القرار، والإحصاء، وبعض أشكال اللغويات. على عكس العلوم الأخرى (التجريبية) فإن العلوم الشكلية لا تعتمد في تحديد صحة نظرياتها على المشاهدة في أرض الواقع، بل على خصائص الأنظمة الشكلية من ناحية نظرية بناءً على التعاريف وقواعد الاستنتاج. ولكن منهجيات العلوم الشكلية يتم استخدامها أيضاً في البناء والتجريب النظري للنماذج العلمية التي تهتم بما يوجد في أرض الواقع. (ar)
- Formalwissenschaften sind Wissenschaften, die sich der Analyse von formalen Systemen widmen. Beispiele sind Mathematik, Logik, theoretische Informatik, allgemeine Linguistik und teilweise die Rechtswissenschaft. Damit stellen die Formalwissenschaften einen Wissenschaftsbereich dar, der etwa von den Geisteswissenschaften, Sozialwissenschaften, Naturwissenschaften und Ingenieurwissenschaften abgegrenzt wird. (de)
- Formal science is a branch of science studying disciplines concerned with abstract structures described by formal systems, such as logic, mathematics, statistics, theoretical computer science, artificial intelligence, information theory, game theory, systems theory, decision theory, and theoretical linguistics. Whereas the natural sciences and social sciences seek to characterize physical systems and social systems, respectively, using empirical methods, the formal sciences use language tools concerned with characterizing abstract structures described by formal systems. The formal sciences aid the natural and social sciences by providing information about the structures used to describe the physical world, and what inferences may be made about them. (en)
- Les sciences formelles (ou sciences logico-formelles) explorent déductivement, selon des règles de formation et de démonstration, des systèmes axiomatiques. Les sciences formelles regroupent les mathématiques, la logique et l'informatique théorique. (fr)
- 형식과학(形式科學, 영어: formal science)은 논리학, 수학, 통계학, 이론 컴퓨터 과학, 인공지능, 정보 이론, 게임 이론, 시스템 이론, 결정 이론 및 이론 언어학과 같은 형식 시스템과 관련된 형식 언어 분야를 연구하는 과학의 한 분야이다. 자연과학과 사회과학은 경험적 방법을 사용하여 각각 물리적 시스템과 사회 시스템을 특성화하려고 하는 반면, 형식과학은 상징적 시스템으로 설명되는 추상 구조를 특성화하는 것과 관련된 분야이다. (ko)
- Formele wetenschap is de wetenschap van formele systemen, zoals logica, wiskunde, systeemtheorie, en de theoretische aspecten van informatica, informatiewetenschap, besluitvormingstheorie, statistiek en linguïstiek. (nl)
- 形式科学（けいしきかがく、英: formal science）とは形式体系に関係する科学の総称である。論理学、数学、システム科学に加え、計算機科学、情報理論、情報学、ミクロ経済学、統計学、言語学などといった分野の理論ベースの細分野（たとえば計算機科学であれば理論計算機科学）がこれに含まれる。 形式科学で扱うのは記号システムによって記述される抽象的構造であり、結果は公理や理論上のアイデアから推論（純粋な思考の過程）のみによって導き出される。これは、自然科学が現実世界を扱い、観測・観察から得られた知識をもとに結果を導き出すのと対照的である。しかし、形式科学で扱う体系は現実世界のものをモチーフしたものが多い。また、形式科学の結果は自然科学において現実世界を簡潔に理解するための構造（モデル）をつくるのに応用されることが多い。 形式科学で扱う体系は純粋に理論的なものであるので、現実世界そのものではない。しかし、時として「理論的なモデルは現実世界を完全に描写することができる」とか、理論が「現実そのものである」などと信じられてしまうことがある。 (ja)
- 形式科學（formal science）是指主要研究對象為抽象形態的科學，如邏輯、數學、統計學等。 (zh)
- Una ciència formal és una disciplina teòrica l'objecte 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 l'Estadística. S'oposa a la ciència experimental i a vegades se l'anomena ciència pura o ciència exacta (tot i que aquest terme se sol reservar per a les matemàtiques). (ca)
- La nomon formala scienco aŭ, pli kutime, ekzakta scienco oni uzas por matematiko kaj ĉiu scienco, kiu baziĝas sur eksperimentado kaj observado kaj povas sistemiĝi uzante ekzaktan matematikan lingvaĵon por esprimi koncernajn sciojn. Aliaj esprimoj kun simila uzado kiel ekzaktaj/formalaj sciencoj estas malmolaj sciencoj, puraj sciencoj aŭ fundamentaj sciencoj. La germana epistemologo Rudolf Carnap estis la unua, kiu dividis la sciencaron je puraj sciencoj kaj aplikaj sciencoj. (eo)
- Las ciencias formales son un conjunto de ciencias que estudian los lenguajes formales y los sistemas formales. Si bien su objeto de estudio no es el mundo físico o natural, sino objetos abstractos, sus conocimientos pueden ser más o menos aplicados a dicha realidad físico-natural. El método propio de las ciencias formales es la deducción; y a diferencia de las ciencias fácticas, no admite la inducción ni la abducción. Es aquella que trabaja con formas, es decir, con objetos ideales que existen en la mente y son obtenidos por abstracción. La verdad en las ciencias formales es entendida como verdad lógica: consecuencias que siguen necesariamente de considerar todas las posibilidades o «formas» en las que podrían combinarse los hechos preestablecidos. (es)
- Zientzia formalak ezaguera arrazionalaren eta koherentearen multzo sistematikoak dira, prozesu logiko eta matematikoen ikerketaz arduratzen direlarik, (bere ikerketa arrazoia ez izanik mundua, ez eta errealitate fisiko-naturala ere, baizik eta edukiko forma hutsak) baina zeinen ezaguerak errealitate fisiko-naturalari aplikatuak izan daitezkeen. Zientzia formalaren berezko metodoa metodo deduktiboa da. (eu)
- Ilmu formal adalah disiplin yang terkait dengan seperti logika, matematika, statistika, , teori informasi, teori permainan, , , dan linguistika. Ketika ilmu alam dan ilmu lainnya seperti ilmu sosial, , dan ilmu kognitif yang mencari teori ilmiah dengan mengandalkan pengamatan yang bertujuan memprediksi secara tepat dan akurat untuk menjelaskan fenomena eksternal dunia, ilmu formal bekerja dengan sifat internal dari , terutama definisi dari suatu istilah dan . (in)
- La scienza formale o astratta è una branca della scienza che studia le discipline relative ai sistemi formali, come logica, matematica, statistica, informatica teorica, intelligenza artificiale, teoria dell'informazione, teoria dei giochi, teoria dei sistemi, teoria delle decisioni e linguistica teorica. Considerando che le scienze naturali e le scienze sociali cercano di caratterizzare rispettivamente i sistemi fisici e i sistemi sociali, utilizzando metodi empirici, le scienze formali sono strumenti linguistici che si occupano di caratterizzare strutture astratte descritte da sistemi formali. Le scienze formali aiutano le scienze naturali e sociali fornendo informazioni sulle strutture usate per descrivere il mondo fisico e quali deduzioni si possono fare su di esse. (it)
- Nauki formalne, także: nauki aprioryczne, nauki dedukcyjne – w klasyfikacji nauk grupa nauk wyróżniona ze względu na kryterium przedmiotowe. Przeciwstawiająca się naukom empirycznym (nazywanym też realnymi). (pl)
- Форма́льные нау́ки — совокупность наук, занимающихся исследованием формальных систем. К формальным наукам относятся: математика, логика, кибернетика, теоретическая информатика, теория информации, теория систем, теория принятия решений, статистика, некоторые аспекты лингвистики. В противоположность естественным и социальным наукам формальные науки в известном смысле логически и методологически независимы от эмпирических методов. В формальных науках подход к исследуемым объектам абстрактен, вместе с тем получаемые результаты находят приложение при изучении всех областей реальности. (ru)
- As ciências formais são um ramo das ciências que estuda os , 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. As ciências formais são construídas em cima de símbolos e regras. A matemática aplicada tenta aplicar alguns modelos matemáticos teóricos à realidade. Isso é possível dentro de certas limitações e com certas restrições e com certos limites de precisão. (pt)
- Formalvetenskap eller formella vetenskaper är ett samlingsbegrepp för sådana vetenskapliga discipliner som behandlar formella system. De kräver inte empiriska belägg genom experiement eller observation av verkligheten, utan bygger helt på logisk bevisföring och deduktion (härledning) utifrån system av axiom och definitioner. Här finns till exempel formell logik, matematik, teoretisk datavetenskap, informationsteori, spelteori och systemteori. Gemensamt för dessa vetenskaper är att de använder teckensystem för att beskriva och analysera abstrakta strukturer. (sv)
- Формальні науки — сукупність наук, які займаються дослідженням формальних систем. До формальних наук, наприклад, належать: логіка, математика, теоретична інформатика, теорія інформації, теорія систем, теорія рішень, статистика, деякі аспекти мовознавства. Крім математики, логіка є прикладом формальної науки з древньою . Явний аналіз способів логічного висновку мав місце в Китаї, Індії та Стародавній Греції. На сучасну логіку вплинула, головним чином, давньогрецька традиція, яка отримала продовження в працях арабських логіків. (uk)
|
