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

(vorige 50 | ) (20 | 50 | 100 | 250 | 500) bekijken.
  • 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
(vorige 50 | ) (20 | 50 | 100 | 250 | 500) bekijken.
Overgenomen van "https://nl.wikisage.org/wiki/Speciaal:Zoeken"