symbolsk logik
Symbolsk logik, formel logik, hvori samtlige udtryk og operationer er erstattet af symboler og manipulation med symboler. Læs mere i Den Store Danske logik
Symbolsk logik, formel logik, hvori samtlige udtryk og operationer er erstattet af symboler og manipulation med symboler. Læs mere i Den Store Danske logik
logik Siden oldtiden har den formelle logik været opfattet som en integreret del af erkendelsesteorien. Udviklingen af den symbolske logik fra ca. 1850 og fremefter har ført til, at store dele af logikken nu anses for hørende til matematikkens område
logik). Heri gav Jørgensen en historisk og systematisk redegørelse for den formelle (symbolske) logik og drøftede en række logisk-filosofiske problemer. I 1926 blev han professor i filosofi ved Københavns Universitet og udsendte samme år Filosofiske Forelæsninger som Indledning til
symbolsk logik og er desuden forbundet med kognitionspsykologi, kognitionsforskning, robotik og kunstigt liv. Forhistorie Den kunstige intelligens' historie er sammenvævet med computerens. Udviklingen af de programmerbare digitale computere efter 2. Verdenskrig betød, at man i princippet havde mulighed for at
symbolsk logik. Whiteheads videnskabsteori I årene efter Principia ventes Whiteheads opmærksomhed i stigende grad mod videnskabens forudsætninger. Det skete med udgangspunkt i flytningen fra University of Cambridge til Imperial College i London, hvor han fra 1914 til 1924 fungerede som
symbolsk logik og den aksiomatiske metode. Peano formulerede et aksiomsystem for de naturlige tal, Peanos aksiomsystem), og for vektorrum. Peano udviklede kunstsproget latino sine flexione og han blev i 1908 præsident for Academi International de Lingu Universal. Læs mere i
symbolsk logik (formel logik), dvs. studiet af argumenters former ved analyse foretaget i et formaliseret sprog. Undertiden anvendes logistik også om den retning inden for udforskningen af matematikkens grundlag, repræsenteret af Gottlob Frege og Bertrand Russell, der hævder, at matematikken
Symbolsk betegnes en deduktion af konklusionen B ud fra præmisserne A1,...,An således A1,...,An⊦B. Der findes ikke noget fast sæt af slutningsregler for en given logik. Det er fx muligt at formalisere klassisk udsagnslogik på mange forskellige måder
symbolske tegn har en konventionel forbindelse til objektet. Et symbol kan fx være et kristent kors. Charles Sanders Peirces tegnteori har haft en vis indflydelse på sprogfilosofien og inspireret litteraturforskningen og andre humanistiske videnskaber. På dansk foreligger to tekstudvalg, Semiotik og pragmatisme (1994) og Kosmologi og metafysik (1996). Læs mere
symbolske leg i perioden 2-7 år, hvor den såkaldte præoperationelle (før-logiske) tænkning dominerer. Mellem andet og fjerde år præges barnet af den egocentriske tænkning, hvor det ikke magter at forstå andre perspektiver end sine egne. At legen er symbolsk, skyldes barnets opdagelse af, at virkelige hændelser kan repræsenteres