About: Formal science     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : owl:Thing, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FFormal_science

Formal science is a branch of science studying formal language disciplines concerned with 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 are language tools concerned with characterizing abstract structures described by symbolic systems. The formal sciences aid the natural and social sciences by providing information about the structures the latter use to describe the world, and what inferences may be made about them.

AttributesValues
rdfs:label
  • علوم شكلية
  • Ciència formal
  • Formalwissenschaft
  • Formal science
  • Formalaj sciencoj
  • Ciencias formales
  • Zientzia formal
  • Science formelle
  • Ilmu formal
  • Scienze formali
  • 形式科学
  • Formele wetenschap
  • 형식과학
  • Nauki formalne
  • Ciências formais
  • Формальные науки
  • Formalvetenskap
  • Формальні науки
  • 形式科學
rdfs:comment
  • العلوم الشكلية هي فروع المعرفة التي تهتم بالأنظمة الشكلية، كالمنطق، والرياضيات، وعلم الكومبيوتر النظري، ونظرية المعلومات، ونظرية الألعاب، ونظرية الأنظمة، ونظرية القرار، والإحصاء، وبعض أشكال اللغويات. على عكس العلوم الأخرى (التجريبية) فإن العلوم الشكلية لا تعتمد في تحديد صحة نظرياتها على المشاهدة في أرض الواقع، بل على خصائص الأنظمة الشكلية من ناحية نظرية بناءً على التعاريف وقواعد الاستنتاج. ولكن منهجيات العلوم الشكلية يتم استخدامها أيضاً في البناء والتجريب النظري للنماذج العلمية التي تهتم بما يوجد في أرض الواقع.
  • 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.
  • Formal science is a branch of science studying formal language disciplines concerned with 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 are language tools concerned with characterizing abstract structures described by symbolic systems. The formal sciences aid the natural and social sciences by providing information about the structures the latter use to describe the world, and what inferences may be made about them.
  • 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.
  • Le scienze formali o astratte 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.
  • 形式科学(けいしきかがく、英: formal science)とは形式体系に関係する科学の総称である。論理学、数学、システム理論に加え、計算機科学、情報理論、ミクロ経済学、統計学、言語学などといった分野の理論ベースの細分野(たとえば計算機科学であれば理論計算機科学)がこれに含まれる。 形式科学で扱うのは記号システムによって記述される抽象的構造であり、結果は公理や理論上のアイデアから推論(純粋な思考の過程)のみによって導き出される。これは、自然科学が現実世界を扱い、観測・観察から得られた知識をもとに結果を導き出すのと対照的である。しかし、形式科学で扱う体系は現実世界のものをモチーフしたものが多い。また、形式科学の結果は自然科学において現実世界を簡潔に理解するための構造(モデル)をつくるのに応用されることが多い。 形式科学で扱う体系は純粋に理論的なものであるので、現実世界そのものではない。しかし、時として「理論的なモデルは現実世界を完全に描写することができる」とか、理論が「現実そのものである」などと信じられてしまうことがある。
  • Formele wetenschap is de wetenschap van formele systemen, zoals logica, wiskunde, systeemtheorie, en de theoretische aspecten van informatica, informatiewetenschap, besluitvormingstheorie, statistiek en linguïstiek.
  • 형식과학(形式科學, 영어: formal science)은 이론적 형식 체계와 관련된 학리적 연구이다. 이론적 상징과 규칙에 의해서 확립된다. 자연 과학과 다른점은 형식 과학이 이론적 개념에서 출발하여 사고 과정을 통해 다른 개념으로 이르는 반면, 자연 과학은 현실계의 관찰로부터 출발하여 현실의 일부에 대해 대체로 유용한 모형에 이른다는 점이다. * 논리학, 수학, 통계학, 컴퓨터과학
  • Formalvetenskap är ett samlingsbegrepp för sådana vetenskapliga discipliner som behandlar formella system. Här finns till exempel logik, matematik, informationsteori, spelteori och systemteori. Gemensamt för dessa vetenskaper är att de använder teckensystem för att beskriva och analysera abstrakta strukturer. De bygger helt på deduktion utifrån givna axiom och definitioner, och innefattar inga moment av empiri.
  • 形式科學是指主要研究對象為抽象形態的科學,如邏輯、數學、計算理論、資訊理論、統計學等。
  • 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).
  • 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.
  • 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.
  • Las ciencias formales son conjuntos sistemáticos de conocimientos racionales y coherentes. Si bien su objeto de estudio no es el mundo físico-natural, sino objetos puramente abstractos, sus conocimientos pueden ser aplicados a dicha realidad físico-natural. El método propio de las ciencia formal es la deducción; y a diferencia de la ciencia empírica, 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.
  • 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 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 .
  • 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).
  • 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.
  • Форма́льные нау́ки — совокупность наук, занимающихся исследованием формальных систем. К формальным наукам относятся: математика, логика, кибернетика, теоретическая информатика, теория информации, теория систем, теория принятия решений, статистика, некоторые аспекты лингвистики. В противоположность естественным и социальным наукам формальные науки в известном смысле логически и методологически независимы от эмпирических методов. В формальных науках подход к исследуемым объектам абстрактен, вместе с тем получаемые результаты находят приложение при изучении всех областей реальности.
  • Формальні науки — сукупність наук, які займаються дослідженням формальних систем. До формальних наук, наприклад, належать: логіка, математика, теоретична інформатика, теорія інформації, теорія систем, теорія рішень, статистика, деякі аспекти мовознавства. Крім математики, логіка є прикладом формальної науки з древньою . Явний аналіз способів логічного висновку мав місце в Китаї, Індії та Стародавній Греції. На сучасну логіку вплинула, головним чином, давньогрецька традиція, яка отримала продовження в працях арабських логіків.
foaf:isPrimaryTopicOf
dct:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Faceted Search & Find service v1.17_git51 as of Sep 16 2020


Alternative Linked Data Documents: PivotViewer | iSPARQL | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3321 as of Jun 2 2021, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (61 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2021 OpenLink Software