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.
rel=nofollow

Zoekresultaten

Naar navigatie springen Naar zoeken springen

  • Geschiedenis van de logica
    ...denis van de logica''' bestrijkt de ontwikkeling van [[logica (wetenschap)|logica]], zoals deze in de [[geschiedenis]] van verschillende culturen en traditie * de logica in China ...
    24 kB (3.370 woorden) - 31 dec 2019 13:51
  • Wiskundige logica
    ...het algemeen ondersteunden. Maar er zijn ook onderdelen van de wiskundige logica die zich niet met grondslag van de wiskunde bezighouden. De wiskundige logica geeft de voorwaarden aan, waaraan een [[wiskundig bewijs]] moet voldoen. ...
    16 kB (2.169 woorden) - 10 nov 2019 22:46
  • Logica (wetenschap)
    ...bezighoudt met de formele regels van het redeneren. Traditioneel wordt de logica door de [[filosofie]] bestudeerd, maar zij wordt ook tot de [[wiskunde]] ge ...akken en subdisciplines van de wetenschap wordt veel gebruikgemaakt van de logica. ...
    5 kB (706 woorden) - 5 jun 2009 12:27
  • Stelling (wiskunde)
    ...en. Stellingen hebben twee componenten, die respectievelijk de [[premisse (logica)|hypothese]]n en de [[conclusie]]s worden genoemd. Het bewijs van een wisku ...digen hebben een voorkeur voor een bewijs dat niet alleen de [[geldigheid (logica)|geldigheid]] van een stelling aantoont, maar dat ook op de een of andere m ...
    18 kB (2.564 woorden) - 21 nov 2010 00:15
  • Filosofische logica
    ...gie|epistemologische]] aard. Ook worden de fundamentele grondslagen van de logica niet ter discussie gesteld, zoals in de metalogica het geval is. ...ische logica]], de [[modale logica]] en de [[interrogatieve logica]]. Deze logica's dienen als hulpmiddel bij het oplossen van logisch-filosofische kwesties ...
    2 kB (259 woorden) - 27 mrt 2016 17:59
  • Evert Willem Beth
    ...ed gebied van de [[formele wetenschap]], te weten de [[logica (wetenschap)|logica]], [[filosofie van de wiskunde]], [[grondslagenonderzoek]] en geschiedenis ...e scholen. In 1946 werd Beth benoemd tot [[buitengewoon hoogleraar]] in de logica en haar geschiedenis en de filosofie der exacte wetenschappen aan de [[Univ ...
    14 kB (1.943 woorden) - 2 jun 2014 21:47
  • Wetenschap
    ...en]] en [[interpreteren]], [[begripsvorming]] en verwoording, [[afleiding (logica)|afleiding]] en [[Voorspelling (wetenschap)|voorspellen]], hypothesevorming ...cholastiek|Scholastische filosofie]], die zich op de [[logica (wetenschap)|logica]] richtte en het [[empirisme]] bepleitte: men wilde de natuur als een coher ...
    36 kB (4.750 woorden) - 31 jul 2020 15:03
  • Doede Nauta
    ...die bijdrage heeft geleverd op een breed gebied van [[logica (wetenschap)|logica]], [[modelvorming]], [[cybernetica]] tot [[semiotiek]]. Doede Nauta studeerde filosofie, logica en wiskunde aan de [[Rijksuniversiteit Leiden]]. Van 1962 tot 1964 was hij ...
    7 kB (940 woorden) - 20 nov 2010 21:57
  • Formeel
    * Inzake [[bedrijfskunde]] : formele [[organisatie]], formele [[werkgever]]. * Inzake [[economie]] : formele [[mededinging|concurrentiepositie]], formele [[kapitaal (bedrijfseconomie)|kapitaalsverhoging]]. ...
    1 kB (126 woorden) - 10 aug 2011 20:01
  • Kurt Gödel
    | vakgebied = [[Wiskunde]], [[wiskundige logica]] ...was een [[Oostenrijk]]s-[[Verenigde Staten|Amerikaans]] [[wiskundige]], [[logica (wetenschap)|logicus]] en [[filosoof]]. Hij wordt gezien als een van de bel ...
    32 kB (4.627 woorden) - 11 nov 2019 08:57
  • Wiskunde
    ...rde]] [[object (ding)|objecten]] en formuleert de verbanden daartussen. De formele redenering die aantoont dat een stelling waar is, noemt men een [[wiskundig ...de kern van de wiskunde en andere domeinen, zoals de [[logica (wetenschap)|logica]], de [[verzamelingenleer]], en de [[toegepaste wiskunde]]. ...
    17 kB (2.056 woorden) - 6 feb 2018 15:37
  • Formele semantiek
    ...len]] (bijvoorbeeld een [[alfabet]]) waar door middel van [[interpretatie (logica)|interpretatie]] een [[betekenis]] aan wordt toegekend. Met behulp hiervan In de [[logica]] wordt verder steeds uitgegaan van bepaalde [[premisse|premissen]], [[pres ...
    3 kB (421 woorden) - 10 dec 2011 19:07
  • Geschiedenis van de filosofie
    ...en, bijvoorbeeld vanuit het [[rationalisme]] (theorieën voortgekomen uit [[logica]], het [[empirisme]] (theorieën voortgekomen uit observatie), of zelfs vanu ...logica van Aristoteles zou dit echter wel gezegd kunnen worden, want zijn logica mag alleen worden gebruikt voor dingen die echt bestaan (geen "lege klassen ...
    38 kB (5.542 woorden) - 26 feb 2021 18:45
  • Drogreden
    ...teeds model voor publicaties over drogredenen, [[denkfout]]en, informele [[logica]] en [[argumentatieleer]]. ...als een goede redenering bestaat een drogreden uit één of meer [[premisse (logica)|premissen]] (stellingen) of [[axioma|axioma’s]] (niet bewezen aannames) wa ...
    26 kB (4.089 woorden) - 24 dec 2022 02:56
  • Aristoteles
    ...uwd als ''systeemfilosoof''. Hij voerde bovendien de [[logica (wetenschap)|logica]] en de [[methodologie]] in als manier om [[wetenschap]] en [[filosofie]] t * Logica: de ''[[Over de Categorieën|Categoriae]]'', ''[[Analytica priora]]'', ''[[O ...
    17 kB (2.555 woorden) - 9 aug 2011 07:47
  • Modelvorming
    Een [[modelleertaal]] is een [[kunsttaal|artificiële]] [[formele taal]], die gebruikt kan worden om [[informatie]], [[kennis]] of een [[syst ...dig modelleren'': Een [[wiskundig model]] is een [[wiskunde|wiskundige]] [[formele taal|beschrijving]] van een systeem, vaak met doel om systematische [[analy ...
    13 kB (1.673 woorden) - 8 mei 2010 13:09
  • Methodologie
    De leer van de kennisontwikkeling is oorspronkelijk het sluitstuk van de [[logica]]. De basis van dit vak is gelegd door [[Aristoteles]]. Hij onderscheidde e ...]] en [[Wilhelm Wundt]] de aanduiding voor de praktische aanwending van de logica in het onderzoek en de kennisontwikkeling. ...
    9 kB (1.138 woorden) - 19 nov 2010 23:40
  • Geschiedenis van de wiskunde
    ...Wetenschappelijke methode|methode]]n en [[notatie]]s. De wiskunde is een [[formele wetenschap]] waarvan de gebruikelijke definitie is: het bestuderen van [[Pa ...t|Hans Sterk}} - ''Cauchy en zijn werk'', Math4all]</ref> Hij begon ook de formele theorie van de [[functietheorie|complexe analyse]] te ontwikkelen. [[Siméon ...
    86 kB (12.168 woorden) - 22 jun 2022 16:59
  • Argument (logica)
    ...is verwant aan [[premisse (logica)|premisse]] in de [[logica (wetenschap)|logica]], maar heeft een bredere betekenis. Ook heeft de term in verschillende dis ==Logica== ...
    8 kB (1.265 woorden) - 2 aug 2011 20:59
  • Inductie (filosofie)
    ...bestaat het gevaar echter altijd dat, hoewel de vertrekpunten ([[Premisse (logica)|premissen]]) waar zijn, de conclusie fout kan blijken te zijn. In dit geva ...n ravenparadox. Deze twee gedachte-experimenten illustreren dat inductieve logica in tegenspraak is met de menselijke intuïtie. ...
    19 kB (2.777 woorden) - 2 dec 2016 18:34
  • Mathematische taalkunde
    ...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
  • Modeltheorie
    ...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
    '''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
  • Deductieve wetenschap
    ...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
  • Verzamelingenleer
    ...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
  • Formele wetenschap
    ...] 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
  • Dialectiek
    ...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
  • Chaïm Perelman
    ...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
  • Propositielogica
    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
  • Logica
    *Redeneerkunst, zie [[Logica (wetenschap)]]. *Een specifieke vorm van logica, bv symbolische logica of [[wiskundige logica]]. ...
    348 bytes (42 woorden) - 6 jun 2009 17:20
  • Alfred Tarski
    ...[[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
  • Logisch positivisme
    ...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
  • Grondslagen van de wiskunde
    ...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
  • Giuseppe Peano
    ...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
  • Kennis
    * [[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
  • Gottfried Wilhelm Leibniz
    ...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
  • Wiskundig bewijs
    ...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
  • Axioma
    ...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
  • Zelfreferentie
    ...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
    ...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
  • 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
  • Taal (doorverwijspagina)
    * In de [[logica]] en [[informatica]]: [[formele taal]] zoals [[programmeertaal]] ...
    639 bytes (75 woorden) - 27 aug 2017 20:56
  • Semantiek
    *De logica; zie : [[Formele semantiek]]. ...
    529 bytes (52 woorden) - 18 apr 2010 12:48
  • Analytica posteriora
    ...het [[Organon (Aristoteles)|Organon]] van [[Aristoteles]]. Het is een heel formele bespreking over [[onderwijzer|onderwijzen]] en intellectueel [[leren]], opg [[Categorie:Logica]] ...
    1 kB (163 woorden) - 19 nov 2010 23:59
  • Semantiek (doorverwijspagina)
    *De logica; zie [[Formele semantiek]] ...
    430 bytes (45 woorden) - 21 mei 2011 20:41
  • Adel
    ...vroeg-middeleeuwse]] ''nobilitas'', aangezien hier geen sprake was van een formele adelsverheffing. Daarnaast kwam een deel van de privileges voort uit de fun ...briefadel genoemd naar de adelsdiploma's die zij ontvingen. Met een zekere logica bedachten de burgers die een ambt vervulden waarvoor men een edelman moest ...
    30 kB (4.364 woorden) - 21 mei 2018 05:12
  • Joost van den Vondel
    ...sgezinde lekentheologie, maar trof in de katholieke leer 'alle vastheid en logica (...) die hij bij zijn geloofsgenoten pijnlijk moet hebben gemist.'<ref nam ...te dichters van alle tijden behoort', met de kanttekening dat daarvoor de 'formele voortreffelijkheid' en niet de inhoud daarvoor borg staat, want volgens hem ...
    60 kB (8.548 woorden) - 30 jun 2018 17:11
  • Mythologie
    Het formalisme staat voor een formele, nauwgezette analyse van verhalen ([[narratie]]ven). Het gaat hier dan met ...rder uit. Het doel van dit onderzoek was om zonder twijfel de methodiek en logica van mythologieën vast te stellen.<ref>Gardner 1972, p. 147.</ref> Lévi-Stra ...
    74 kB (10.630 woorden) - 10 mei 2020 13:42
  • Informatiekunde
    ...een multidisciplinaire wetenschap. en raakt aan de informatica, taalkunde, logica, kunstmatige intelligentie, wiskunde, geografie, enzovoort. Sinds het begin van de formele opleidingen [[Informatica]] aan universiteiten in Nederland in 1982 is er v ...
    10 kB (1.188 woorden) - 10 nov 2019 20:10
  • Verzameling (wiskunde)
    ...et te voldoen binnen het theoretische kader van de [[Formalisme (wiskunde)|formele]] wiskunde. In plaats daarvan wordt het begrip 'verzameling' in de [[axioma ...le beschrijvingen van verzamelingen, omdat deze gemakkelijk tot [[Paradox (logica)#Wiskundige paradoxen|paradoxen]] kunnen leiden. De [[axiomatische verzamel ...
    17 kB (2.566 woorden) - 10 nov 2019 22:37
  • Klasse (verzamelingenleer)
    ...e getallen]] en de klasse van alle verzamelingen zijn bijvoorbeeld in veel formele systemen echte klassen. ...aak om het begrip klasse in te voeren komt voort uit de wens om [[paradox (logica)|logische tegenspraak]] te vermijden (zie [[Russellparadox|paradox van Russ ...
    3 kB (394 woorden) - 3 jan 2021 11:19
Overgenomen van "https://nl.wikisage.org/wiki/Speciaal:Zoeken"