Wikisage, de vrije encyclopedie van de tweede generatie, is digitaal erfgoed
Wikisage is op 1 na de grootste internet-encyclopedie in het Nederlands. Iedereen kan de hier verzamelde kennis gratis gebruiken, zonder storende advertenties. De Koninklijke Bibliotheek van Nederland heeft Wikisage in 2018 aangemerkt als digitaal erfgoed.
- Wilt u meehelpen om Wikisage te laten groeien? Maak dan een account aan. U bent van harte welkom. Zie: Portaal:Gebruikers.
- Bent u blij met Wikisage, of wilt u juist meer? Dan stellen we een bescheiden donatie om de kosten te bestrijden zeer op prijs. Zie: Portaal:Donaties.
Zoekresultaten
Naar navigatie springen
Naar zoeken springen
- ...istische]] methoden toe te passen bij het bestuderen van vorm ([[syntaxis (logica)|syntaxis]]) en betekenis ([[semantiek]]) van [[natuurlijke taal]]. ...e linguïstiek komt voort uit de [[filosofie|filosofische]] en [[wiskundige logica]]. Aan de wieg ervan stonden onder andere [[Yehoshua Bar-Hillel]], [[Noam C ...3 kB (317 woorden) - 7 nov 2019 11:07
- ...ltheorie om de bestudering van de relaties tussen de eigenschappen van een formele [[theorie]] en de eigenschappen van een ander wiskundig [[systeem (wetensch * [[Logica (wetenschap)|Logica]] ...2 kB (219 woorden) - 24 jul 2019 21:55
- '''Noodzakelijkheid''' is een [[logica|logische]], [[Modale logica|modale]] [[kwalificatie]] van het '''onmisbaar zijn''' of het '''onvermijde == Formele notatie == ...2 kB (330 woorden) - 18 apr 2013 20:54
- ...gd in ‘Elementen’. Deductieve wetenschap ziet men soms als synoniem voor [[formele wetenschap]], en is tegenovergesteld aan de [[empirische wetenschap]] of [[ ...n sterk deductieve opbouw, en dit geldt in mindere mate ook voor de andere formele wetenschap als [[methodologie]], [[modelwetenschap]] en [[systeemwetenschap ...2 kB (287 woorden) - 19 feb 2012 16:21
- ...adoxen niet louter verzamelingtheoretisch zijn, maar ook voorkomen in de [[logica]]. De zin "deze zin is onwaar" geeft aanleiding tot een soortgelijk problee ...intuïtieve verzamelingenleer'' wordt genoemd, is later vervangen door de ''formele verzamelingenleer'', die een iets strengere definitie van het begrip verzam ...12 kB (1.637 woorden) - 10 nov 2019 22:32
- ...] die worden gebruikt om [[wetenschap]] te bedrijven. Hiertoe behoren de [[logica]], de [[wiskunde]] en onderdelen van de [[linguïstiek]] en de [[computerwet ...van wetenschap. In tegenstelling tot andere vormen van wetenschap houdt de formele wetenschap zich niet bezig met [[waarneming (wetenschap)|waarnemen]] of met ...2 kB (254 woorden) - 12 nov 2014 18:04
- ...snel bijna geheel samenviel met dat van de (formele) [[logica (wetenschap)|logica]] (die van Aristoteles afkomstig is). [[Immanuel Kant|Kant]] hanteerde een ...t liet hij al zien bij de introductie van zijn zogenaamde [[antinomie]]ën. Logica en (dus) dialectiek zullen bij hem dus rekening moeten houden met de verwor ...10 kB (1.462 woorden) - 4 aug 2011 21:27
- ...universitaire hervormingen van 1968 richtte Perelman de cursus [[argument (logica)|argumentatielogica]] op voor de rechtsstudenten. In 1978 ging Perelman op ...s in 1955 medeoprichter van het ''Nationaal Centrum voor Navorsingen in de Logica'' (NCNL) en was [[voorzitter]] van het centrum van 1970 tot aan zijn dood. ...8 kB (1.061 woorden) - 7 feb 2024 08:40
- De '''propositielogica''' is een tak van [[logica]] die zich bezighoudt met geldige redeneringen in de vorm van [[propositie] ...praken alleen waar of onwaar zijn, dit in tegenstelling tot [[meerwaardige logica]]'s waarbij uitspraken ook andere waarden kunnen hebben, zoals bij de uitsp ...12 kB (1.783 woorden) - 9 aug 2011 14:01
- *Redeneerkunst, zie [[Logica (wetenschap)]]. *Een specifieke vorm van logica, bv symbolische logica of [[wiskundige logica]]. ...348 bytes (42 woorden) - 6 jun 2009 17:20
- ...[[modeltheorie]], [[verzamelingenleer]], [[metawiskunde]] en [[wiskundige logica]]. ...it werd al snel een wereldwijd toonaangevende onderzoeksinstelling voor de logica en de grondslagen en [[filosofie van de wiskunde]]. Leśniewski herkende Tar ...8 kB (1.214 woorden) - 24 jul 2019 22:30
- ...erzijds logisch in de zin dat ze zich voornamelijk beroept op de [[formele logica]], anderzijds positivistisch en empiristisch omdat ze zich beroept op vele ...undige uitspraken, ofwel de [[tautologie (logica)|tautologieën]] van het [[logica (wetenschap)|logische]] en de [[wiskunde]]. ...8 kB (1.150 woorden) - 22 jul 2019 14:43
- ...alytische filosofie]]. [[Giuseppe Peano]] (1858-1932) werkte verder aan de formele beschrijving van de [[rekenkunde]]. ...) schreef en een poging was om de wiskunde te funderen op de symbolische [[logica]]. ...7 kB (960 woorden) - 10 nov 2019 22:45
- ...ge]], [[filosoof]] en [[logicus]]. Gedurende zijn leven werkte hij aan een formele beschrijving van de rekenkunde. Zijn werk stond aan de basis van de hoge vl ...der overleed, publiceerde Peano zijn eerste werk aangaande de [[wiskundige logica]]. In dit werk begon hij aan het uitdrukken van de rekenkunde in termen van ...9 kB (1.378 woorden) - 10 nov 2019 22:35
- * [[Gemeenschappelijke kennis]] in de epistemologische logica is een bepaalde vorm van kennis in een groep [[Agent (software)|software ag ...hodologie is verwant met de [[epistemische logica]], een vorm van [[modale logica]] waarin kennis kan worden gemodelleerd. ...38 kB (5.292 woorden) - 8 aug 2011 19:50
- ...er]] [[1716]]), was een veelzijdige Duitse [[wiskundige]], [[filosoof]], [[Logica|logicus]], [[Lijst van natuurkundigen|natuurkundige]], [[historicus]], [[Ju ...astiek]], loopt hij aan de andere kant vooruit op latere ontwikkelingen in logica, biologie, geologie, mijnbouwkunde, waarschijnlijkheidsleer, linguïstiek en ...30 kB (4.218 woorden) - 10 nov 2019 20:17
- ...ca]] aantonen dat, gegeven bepaalde [[axioma]]'s, een bepaalde [[bewering (logica)|bewering]] [[waarheid|waar]] is. ...: wanneer de stelling bewezen wordt met gebruik van alleen de axioma's, de logica en eerder op dezelfde wijze bewezen stellingen. ...2 kB (289 woorden) - 18 jul 2011 18:14
- ...en axioma maakt deel uit van een [[deductief systeem]]. In de [[wiskundige logica]] heet een deductief systeem een [[theorie]]. Bij het opstellen van een th .... Een theorie is volledig als elke ware stelling die geformuleerd is in de formele taal van de theorie binnen de theorie afgeleid kan worden. De rekenkunde va ...3 kB (417 woorden) - 23 mei 2012 18:36
- ...wijzen. Zelfreferentie is een complexe eigenschap, die bij veel [[paradox (logica)|logische paradoxen]] een rol speelt. * [[Paradox (logica)]] ...1 kB (126 woorden) - 10 aug 2011 18:28
- ...informatica is de wetenschap die de informatiestructurering, systemen, en logica achter deze programmering bestudeert. De informaticus moet dus ook degelijk ...ormatica ([[datastructuur|datastructuren]], [[algoritme]]s, [[formele taal|formele talen-]], [[berekenbaarheid]]s-, [[complexiteitstheorie|complexiteits-]], [ ...9 kB (1.084 woorden) - 26 jun 2009 10:47