Logo
Unionpedia
Communicatie
Ontdek het op Google Play
Nieuw! Download Unionpedia op je Android™ toestel!
Gratis
Snellere toegang dan browser!
 

Formele wetenschap

Index Formele wetenschap

Formele wetenschap is de wetenschap van formele systemen, zoals logica, wiskunde, systeemtheorie, en de theoretische aspecten van informatica, informatiewetenschap, besluitvormingstheorie, statistiek en linguïstiek.

30 relaties: Aristoteles, Arthur Schopenhauer, Benedikt Löwe, Brian Vickery, Charles West Churchman, Classificatie, Deductie, Deductieve wetenschap, Evert Willem Beth, Exacte wetenschap, Francis Bacon (wetenschapper, 1561), Immanuel Kant, Inductie (filosofie), Informatica, James Franklin, John Locke (filosoof), Karl Pearson, Kevin de Laplante, Lijst van pioniers van de formele wetenschap, Logica, Methodologie, Modelvorming, Samuel Taylor Coleridge, Systeemtheorie, Taalkunde, Thomas Hobbes, Wetenschap, Wetenschapsfilosofie, Wilhelm Wundt, Wiskunde.

Aristoteles

Rafaël Aristoteles (Grieks: Ἀριστοτέλης, Aristotélēs) (Stageira, 384 v.Chr. – Chalkis, 322 v.Chr.) was een Grieks filosoof en wetenschapper die met Socrates en Plato wordt beschouwd als een van de invloedrijkste klassieke filosofen in de westerse traditie.

Nieuw!!: Formele wetenschap en Aristoteles · Bekijk meer »

Arthur Schopenhauer

Arthur Schopenhauer (Danzig, 22 februari 1788 - Frankfurt, 21 september 1860) was een Duits filosoof die een uitgesproken pessimistische wereldbeschouwing formuleerde.

Nieuw!!: Formele wetenschap en Arthur Schopenhauer · Bekijk meer »

Benedikt Löwe

Benedikt Löwe (1967 (?)) is een Duits wiskundige en logicus en universitair docent bij de Universiteit van Amsterdam.

Nieuw!!: Formele wetenschap en Benedikt Löwe · Bekijk meer »

Brian Vickery

Brian Campbell Vickery (Nieuw-Zuid-Wales (Australië), 11 september 1918 – 17 oktober 2009) was een Brits informatiewetenschapper en classificatiedeskundige.

Nieuw!!: Formele wetenschap en Brian Vickery · Bekijk meer »

Charles West Churchman

Charles West Churchman (Philadelphia, 29 augustus 1913 - Bolinas, 21 maart 2004) was een Amerikaans filosoof en formeel wetenschapper.

Nieuw!!: Formele wetenschap en Charles West Churchman · Bekijk meer »

Classificatie

Linnaeus' tabel van het dierenrijk uit ''Systema Naturae'' (1735) Onder classificatie verstaat men ten minste drie verschillende zaken: een activiteit, het resultaat daarvan, en het gebruik of toepassen van de resultaten.

Nieuw!!: Formele wetenschap en Classificatie · Bekijk meer »

Deductie

Deductie is een methode in de filosofie en in de logica, waarbij een gevolgtrekking wordt gemaakt uit het algemene naar het bijzondere - van de algemene regel (major-premisse) naar de bijzondere regel (minor-premisse) of waar de verzameling van premissen en de negatie van de conclusie inconsistent zijn.

Nieuw!!: Formele wetenschap en Deductie · Bekijk meer »

Deductieve wetenschap

Deductieve wetenschap is wetenschap op basis van deductie, ofwel op basis van onbetwistbare stellingen.

Nieuw!!: Formele wetenschap en Deductieve wetenschap · Bekijk meer »

Evert Willem Beth

Evert Willem Beth (Almelo, 7 juli 1908 - Amsterdam, 12 april 1964) was een Nederlandse filosoof en logicus die bijdragen heeft geleverd op een breed gebied van de formele wetenschap, te weten de logica, filosofie van de wiskunde, grondslagenonderzoek en geschiedenis der exacte wetenschappen.

Nieuw!!: Formele wetenschap en Evert Willem Beth · Bekijk meer »

Exacte wetenschap

Exacte wetenschappen zijn de takken van wetenschap die gebaseerd zijn op natuurwetten en theorieën die gekenmerkt worden door wiskundige modellering, formele logica en (met uitzondering van de wiskunde) experimentele toetsing (de wetenschappelijke methode).

Nieuw!!: Formele wetenschap en Exacte wetenschap · Bekijk meer »

Francis Bacon (wetenschapper, 1561)

Francis Bacon Bacons handtekening Francis Bacon, 1e Burggraaf van St Albans (Londen, 22 januari 1561 – Highgate, 9 april 1626) was een Engelse filosoof, staatsman, advocaat, jurist, auteur en pionier van de wetenschappelijke methode.

Nieuw!!: Formele wetenschap en Francis Bacon (wetenschapper, 1561) · Bekijk meer »

Immanuel Kant

Standbeeld van Kant in Kaliningrad (kopie van het originele vernietigde kunstwerk) Portret van Kant op middelbare leeftijd Immanuel Kant (Koningsbergen, Pruisen, 22 april 1724 - aldaar, 12 februari 1804) was een Duitse filosoof ten tijde van de Verlichting, wiens ideeën een grote invloed hebben uitgeoefend op de westerse wijsbegeerte.

Nieuw!!: Formele wetenschap en Immanuel Kant · Bekijk meer »

Inductie (filosofie)

Inductie is een manier van redeneren waarbij er op grond van een aantal specifieke waarnemingen tot een algemene regel, generalisatie geheten, wordt gekomen.

Nieuw!!: Formele wetenschap en Inductie (filosofie) · Bekijk meer »

Informatica

Informatica, in Vlaanderen soms ook computerwetenschappen genoemd, is de studie en de wetenschap van de theoretische fundamenten van informatie en het rekenen, de theoretische informatica, en de implementatie en toepassing in computersystemen.

Nieuw!!: Formele wetenschap en Informatica · Bekijk meer »

James Franklin

James Franklin (1953)) is een Australisch wiskundige, bekend van verschillende artikelen rond formele wetenschap. Franklin studeerde aan de Universiteit van Sydney van 1971 tot 1975 en promoveerde in 1981 aan de Universiteit van Warwick. Sinds 1981 doceert Franklin wiskunde aan de Universiteit van Nieuw-Zuid-Wales.

Nieuw!!: Formele wetenschap en James Franklin · Bekijk meer »

John Locke (filosoof)

John Locke (Wrington bij Bristol, 29 augustus 1632 – High Laver, Essex, 28 oktober 1704) was een Engels filosoof van de vroege verlichting.

Nieuw!!: Formele wetenschap en John Locke (filosoof) · Bekijk meer »

Karl Pearson

180px Karl Pearson (Londen, 27 maart 1857 - Coldharbour (Surrey), 27 april 1936) was een Engelse wiskundige en statisticus.

Nieuw!!: Formele wetenschap en Karl Pearson · Bekijk meer »

Kevin de Laplante

Kevin Leo de Laplante (1967) is een Amerikaans wetenschapsfilosoof, bekend door verschillende artikelen over filosofie van de ecologie en rond formele wetenschap.

Nieuw!!: Formele wetenschap en Kevin de Laplante · Bekijk meer »

Lijst van pioniers van de formele wetenschap

Deze lijst van pioniers van de formele wetenschap geeft een overzicht van enerzijds filosofen en wetenschappers, die denkbeelden hebben ontwikkeld over een soort formele wetenschap, anderzijds hen, die vernieuwend hebben gewerkt in en over de takken van de formele wetenschap: wiskunde, logica, methodologie, modelvorming, systeemwetenschap en classificatieleer.

Nieuw!!: Formele wetenschap en Lijst van pioniers van de formele wetenschap · Bekijk meer »

Logica

Een logisch bewijs Logica of redeneerkunst is de wetenschap die zich bezighoudt met de formele regels van het redeneren.

Nieuw!!: Formele wetenschap en Logica · Bekijk meer »

Methodologie

Methodologie is de studie van de wetenschappelijke methoden, de procedures en werkwijzen, die moeten worden gebruikt om kennis te verwerven en om de wetenschap vooruit te helpen.

Nieuw!!: Formele wetenschap en Methodologie · Bekijk meer »

Modelvorming

atmosfeer. Modelvorming is het nabootsen van de werkelijkheid met behulp van modellen van die werkelijkheid.

Nieuw!!: Formele wetenschap en Modelvorming · Bekijk meer »

Samuel Taylor Coleridge

Samuel Taylor Coleridge Samuel Taylor Coleridge (fonetisch: /ˈkoʊlrɪdʒ/) (Ottery St Mary, Devonshire, 21 oktober 1772 – Highgate, Londen, 25 juli 1834) was een Engels dichter, denker en literatuurcriticus.

Nieuw!!: Formele wetenschap en Samuel Taylor Coleridge · Bekijk meer »

Systeemtheorie

Systeemtheorie is een multidisciplinaire theorie over de systematische beschouwing van systemen in de natuur, wetenschap en of maatschappij.

Nieuw!!: Formele wetenschap en Systeemtheorie · Bekijk meer »

Taalkunde

Taalkunde, ook wel taalwetenschap of linguïstiek, is de wetenschappelijke studie van de natuurlijke talen.

Nieuw!!: Formele wetenschap en Taalkunde · Bekijk meer »

Thomas Hobbes

Thomas Hobbes (Westport (Wiltshire), 5 april 1588 – Hardwick Hall (Derbyshire), 4 december 1679) was een Engels filosoof.

Nieuw!!: Formele wetenschap en Thomas Hobbes · Bekijk meer »

Wetenschap

Albert Einstein Wetenschap is zowel systematisch verkregen, geordende en verifieerbare menselijke kennis, als het proces van kennisverwerving en de gemeenschap waarin deze kennis wordt vergaard.

Nieuw!!: Formele wetenschap en Wetenschap · Bekijk meer »

Wetenschapsfilosofie

Atheense school van Rafaël (1509) debatteren Plato en Aristoteles over de bron van alle kennis. Plato verwijst hierbij omhoog naar de hemelse sferen, en Aristoteles omlaag naar het aardse bestaan, als de bron van alle kennis. Wetenschapsfilosofie is een discipline van de filosofie die zich bezighoudt met het kritisch onderzoek naar de vooronderstellingen, de methoden en de resultaten van de wetenschappen.

Nieuw!!: Formele wetenschap en Wetenschapsfilosofie · Bekijk meer »

Wilhelm Wundt

Wilhelm Max Wundt (Mannheim, 16 augustus 1832 - Großbothen, 31 augustus 1920) was een Duits filosoof, fysioloog, psycholoog en psychiater.

Nieuw!!: Formele wetenschap en Wilhelm Wundt · Bekijk meer »

Wiskunde

Het oudst bekende wiskundige geschrift, de Rhind-papyrus, uit de klassieke Egyptische beschaving. Wiskunde (minder gebruikelijk: mathematiek, mathematica of mathesis) is een formele wetenschap die onder andere getallen, patronen en structuren bestudeert.

Nieuw!!: Formele wetenschap en Wiskunde · Bekijk meer »

Richt hier:

Formele wetenschappen.

UitgaandeInkomende
Hey! We zijn op Facebook nu! »