Zoekresultaten

Afblazen promotie Marcoen Cabbolet
...pt voor zijn proefschrift luidt: ''Elementary Process Theory, [[wiskundige logica|mathematical-logical]] principles of individual processes in a non-local, n ...t]], hoogleraar in de [[filosofie van de wiskunde]], [[logica (wetenschap)|logica]] en logische [[semantiek]], gepromoveerd in de [[grondslagen van de wiskun ...

9 kB (1.331 woorden) - 27 mrt 2011 22:28
Benedikt Löwe
| vakgebied = [[Wiskunde]], [[logica]] ...p het gebied van wiskundige logica en de interdisciplinaire aanwending van logica. ...

3 kB (353 woorden) - 24 jul 2019 22:36
Sofistische weerleggingen
...zesde standaardwerk van [[Aristoteles]]' serie over [[logica (wetenschap)|logica]], gezamenlijk bekend als het [[Organon (Aristoteles)|Organon]]. De andere * Formele drogredenen ...

2 kB (188 woorden) - 24 jul 2019 22:46
Denken
...uitsorteren. Dit proces wordt [[redeneren]] genoemd. [[Logica (wetenschap)|Logica]] is de wetenschap van het redeneren. Redeneren en logica zijn aspecten van de menselijke geest die zich onderscheiden zich van ander ...

14 kB (1.933 woorden) - 15 mei 2020 15:49
Anselmus van Canterbury
Anselmus van Canterbury was de eerste die een [[logica (wetenschap)|logisch]] bewijs van het bestaan van God formuleerde. Dit zoge ...intigste eeuw [[formele logica|geformaliseerd]] met behulp van de [[modale logica]] door [[Kurt Gödel]]. ...

4 kB (606 woorden) - 2 dec 2018 13:15
Lijst van logici
...ragen hebben geleverd op het [[vakgebied]] van de '''[[logica (wetenschap)|logica]]'''. Van elk persoon wordt hier het voornaamste specialisme(s) vermeld. ...e/nl/dd_cat/D11100 Wetenschappers in Nederland actief op het gebied van de logica: overzicht in de wetenschapsportal NARCIS] ...

7 kB (779 woorden) - 23 aug 2019 19:49
Philip Kohnstamm
...belangstelling voor de [[filosofie]] en met name de [[logica (wetenschap)|logica]] en [[kennisleer]], waarin hij in 1907 aan dezelfde [[universiteit]] [[pri * 1934, ''De formele logica en het kinderlijke denken'' ...

15 kB (1.933 woorden) - 24 jul 2019 22:42
Gerrit Mannoury
...[[formele wetenschap]], de [[grondslagen der wiskunde]], de [[symbolische logica]] en de leer der [[significa]]. ...ist; een conformist voor wie [[axioma]]'s en logische regels niet meer dan formele afspraken zijn. Mannoury stelde: ...

10 kB (1.260 woorden) - 11 dec 2023 15:12
Rooms-Katholieke Kerk
...het jaar [[1054]], het [[Oosters Schisma|Grote Schisma]], was in feite de formele bevestiging van een reeds lang bestaande werkelijkheid. ...de [[artes liberales]] ([[grammatica]], [[retorica]], [[dialectiek]] (of [[logica]]), [[arithmetiek]] (= rekenkunde), [[astronomie]] (= [[sterrenkunde]]), mu ...

314 kB (46.049 woorden) - 28 sep 2023 13:13
Betekenis
...ch niet bezig met de betekenis van taal maar met die van [[formeel systeem|formele systemen]]. [[Categorie:Formele wetenschap]] ...

5 kB (768 woorden) - 20 aug 2011 16:33
Filosofie van de wiskunde
...ied is opgekomen in de eerste helft van de 20e eeuw, en omvat [[wiskundige logica]], [[modeltheorie]], [[recursietheorie]] en axiomatische [[verzamelingenlee ...et [[Gottlob Frege]] en [[Bertrand Russell]] wil de wiskunde baseren op de logica. ...

4 kB (570 woorden) - 10 nov 2019 22:45
Georg Cantor
...n het vraagstuk hebben beslist; op zijn hoogst zal het mogelijk zijn om de formele consequenties van de continuümhypothese of haar ontkenning te onderzoeken, ...e negentiende eeuw ontstonden er voor het eerst discussies over [[paradox (logica)|paradoxen]] binnen de verzamelingenleer. Sommige van deze paradoxen implic ...

35 kB (4.854 woorden) - 10 nov 2019 22:34
Robert Feys
...ruime tijd de enige uitgebreide Nederlandstalige handleiding in de formele logica. ...ritme]] voor de eenvoudig getypeerde [[lambdacalculus]] ([[combinatorische logica]]). ...

3 kB (433 woorden) - 5 feb 2018 07:52
Alexander Ollongren
...ssing, Scheme, [[Algol]]-68, [[PROLOG]], en toepassing van Constructieve [[Logica]] (meer in het bijzonder het Franse systeem [[Coq]]]). Na zijn emeritaat we ...iverseel interpreteerbaar, linguïstisch systeem gebaseerd op constructieve logica. Hij benoemde het relevante gebied met de term astrolinguïstiek. Hij leverd ...

15 kB (2.027 woorden) - 5 mrt 2021 11:06
Jan Land
* ''Beginselen der analytische logica: een schets, ten gebruike bij de academische lessen ontworpen'', Leiden: Br En verder over onderwerpen als: kritische [[zedenleer]], [[formele logica]] en ''Schotse wijsgeren aan Nederlandse hogescholen''. ...

3 kB (325 woorden) - 20 jun 2015 11:48
Johannes Eekels
...nderscheidde Johan Eekels (1985) zelf drie vormen methodologie: de formele logica met daarnaast de 'methodologie van de techniek' en de 'methodologie van de ...impliceert niet dat je ook weet hoe dat gebeurt."<ref>J. Eekels, "Over de logica en methodologie van het technisch ontwerpen." in ''Product'' (juli 2004) p. ...

9 kB (1.164 woorden) - 12 nov 2019 00:49
Waarheid (juistheid)
...jn oorspronkelijk in het Pools verschenen opzet van het waarheidsbegrip in formele talen (1933) de ''[[semantische waarheidstheorie]]'' ontwikkeld en bedoelt Natuurlijk is deze [[Paradox (logica)|paradox]] alleen dan paradoxaal, als men aanneemt dat iemand die ooit lieg ...

19 kB (2.654 woorden) - 19 aug 2011 12:46
Nederlands
...vogala]] (het is echter allang niet meer de oudste zin), terwijl de oudste formele oorkonde die ooit in het Nederlands werd opgesteld, de [[schepenbrief]] van ...veranderingen leidden tot veel discussie, met als hoofdbezwaar dat er geen logica in de regels voor de tussen-n te ontdekken was. Daarnaast vonden critici ve ...

46 kB (6.229 woorden) - 4 aug 2018 20:59
Ethiek
...an de [[filosofie]]. Wanneer filosofie wordt ingedeeld in een natuurlijke, formele en morele discipline, dan behoort ethiek tot de laatste. Er zijn natuurlijk ...

3 kB (443 woorden) - 24 aug 2023 17:45
Alfabet (doorverwijspagina)
...reeks symbolen om in de [[computerwetenschap]] en [[wiskundige logica]] [[formele taal]] mee weer te geven; zie [[Alfabet (computerwetenschap)]]. ...

702 bytes (87 woorden) - 21 feb 2010 17:47

Zoekresultaten

Navigatiemenu

Zoeken