Sven Wimnell 050206+100201+100211: SW-klassifikationssystem med inagda: LIBRIS/SAB, sverige.se 2008, SCBs forskningsämnen, CPV för varor/tjänster, SNI arbetsställen 1998, SSYK yrken, SUN 2000 utbildningar. SPIN 2007 varor och tjänster, SNI 2007 näringsgrenar, Statistisk årsbok för Sverige 2010 och Samhällsguiden 2007. 2010 CPV ej aktuell.(http://wimnell.com/omr40t.pdf)

Sven Wimnell 031020:Om hård och mjuk infostruktur. Information, informationsteknik, informationssystem, tillväxt, välfärdsfördelning och demokrati och dylikt. (http://wimnell.com/omr40b.pdf)

Sven Wimnell 031205 med tillägg 031231: Samhällsplaneringens problem. Hur ska man kunna förbättra världen ? Med ett klassifikationssystem för mänskliga verksamheter.pdf ("http://wimnell.com/omr40d.pdf)

Sven Wimnell 040308: Mellanöstern, hela världen, Sverige och den strategiska IT-gruppen. (http://wimnell.com/omr40e.pdf)

Sven Wimnell 040421: Utbildningar vid universitet och högskolor (http://wimnell.com/omr40f.pdf) Beakta datum.

Sven Wimnell 041112 ändrad 050121: Sammanställning om samhällsplaneringens problem. (http://wimnell.com/omr40g.pdf)

Sven Wimnell 041214+tillägg 060220 och 060525: Kunskaper vid universitet och högskolor i Sverige. Från en pågående, ej avslutad, undersökning. (http://wimnell.com/omr40h.pdf)

Sven Wimnell 050109: Infostruktur. Klassifikationssystem: LIBRIS - SAB och SW-systemet. (http://wimnell.com/omr40i.pdf)

Sven Wimnell 050101: SCB:s forskningsämnen inlagda i SW-systemet. Samt nedlagda SAFARIs ämnen inlagda i SW-systemet. (http://wimnell.com/omr40j.html)

Sven Wimnell 050112: Termer ur MeSH (Medical Subject Headings). (http://wimnell.com/omr40k.html)

Sven Wimnell 050112: Några databaser och bibliotek. (http://wimnell.com/omr40l.html)

Sven Wimnell 050121+100201: sverige.se som ersatt SverigeDirekt. Kompletterad 050411 med Riksdagens samhällsguide. Kommentar 2010: sverige.se lades ner 080305. (http://wimnell.com/omr40m.pdf)

Sven Wimnell 050130: CPV-koder 2003. Från Internet 050126. Kompletterad 100201 med SPIN 2007, som ersätter CPV. (http://wimnell.com/omr40n.pdf)

Sven Wimnell 050130: CPV-koder 2003. Inlagda i SW-klassifikationssystem. Kompletterad 100201 med SPIN 2007, som ersätter CPV. (http://wimnell.com/omr40o.pdf)

Sven Wimnell 050130: CPV-koder 2003. Inlagda i SW-klassifikationssystem. Områdena 66-69 förkortade. (http://wimnell.com/omr40p.pdf) Ej aktuell 2010.

Sven Wimnell 050203 +100201+100211: SNI 2002. Och antalet arbetsställen 1999. Inlagda i SW-klassifikationssystem. Kompletterad 100201+100211 med SNI 2007. (http://wimnell.com/omr40q.pdf)

Sven Wimnell 050203: SSYK 96. STANDARD FÖR SVENSK YRKESKLASSIFICERING.Yrken inplacerade i SW-klassifikationssystem. (http://wimnell.com/omr40r.pdf)

Sven Wimnell 050206: SUN, utbildningsklasser, Inlagda i SW-klassifikationssystem. (http://wimnell.com/omr40s.pdf)

Sven Wimnell 050224: Samhällsplaneringens problem. Hur ska man kunna förbättra världen? Katastrof- och krisberedskap. Välfärdsfördelning. (http://wimnell.com/omr40u.pdf)

Sven Wimnell 050403. Lärarutbildning. Forskning. Samhällsplanering. Skolan. (http://wimnell.com/omr40v.pdf)

Sven Wimnell 050429: SW-klassifikationssystem, med inlagda klasser enligt “Nordisk Outline”, klassifikationssystem för museer. (http://wimnell.com/omr40x.pdf)

Sven Wimnell 050510+050610: Världshistorien och framtiden. Samhällsplaneringens problem. Hur ska man kunna förbättra världen ? (http://wimnell.com/omr40y.pdf)

Sven Wimnell 051106+051109: Tillstånd och förändringar utomlands och i Sverige oroar. Vad göra ? Samhällsplaneringens problem. Hur ska man kunna förbättra världen ? (http://wimnell.com/omr40z.pdf)

Sven Wimnell 051120: Det viktigaste problemet är: välfärden och välfärdsfördelningen, inte arbetslösheten. (http://wimnell.com/omr40za.pdf)

Sven Wimnell 051215: Om SCBs rapport Trender och prognoser 2005. (http://wimnell.com/omr40zb.pdf)

Sven Wimnell 060127: Samhällsplaneringens problem. Demokrati med kunskaper hos alla. Kriser och välfärd alla dagar. Ansvarskommittén. Tsunamikatastrofen. Krisberedskap. (http://wimnell.com/omr40zc.pdf)

Sven Wimnell 070224: Samhällsplaneringens problem. Hur ska man kunna förbättra världen? Ett klassifikationssystem för mänskliga verksamheter. Kunskaper om verksamheterna och deras samband för bättre demokrati och bättre framtid i en gemensam värld. (http://wimnell.com/omr40ze.pdf)

Sven Wimnell 080524+100201: Länkar i Sunets Webbkatalog, Mölndals länkkatalog och Länkskafferiet samt myndigheter mm under departementen sorterade enligt SW-klassifikationssystem (http://wimnell.com/omr102h.pdf) sverige.se lades ner 080305.

Politiken är en viktig förutsättning för utvecklingen.
Svensk politik blev särdeles intressant redan 2005 inför valet 2006, och politiken har följts sedan dess i en serie utredningar som innehåller politik men också mycket annat, bl a klassifikationssystem:

Sven Wimnell 050522+050605: De borgerliga partiernas skatteförslag. Och annat om skatter, bidrag och moral. Bostadsbidrag. TV-licens. (http://wimnell.com/omr36-39h.pdf)

Sven Wimnell 050920: Välfärd, skatter, arbete, tillväxt. (http://wimnell.com/omr36-39i.pdf)

Sven Wimnell 060111: Om LO-rapporten Vad vill egentligen moderaterna? Med kommentarter för partierna inför valet 2006. (http://wimnell.com/omr36-39j.pdf)

Sven Wimnell 060316+tillägg 060326: Om alliansens skattelättnader, som ej bör genomföras, och om andra bättre skatteförslag. Bl a slopad individuell TV-avgift. (http://wimnell.com/omr36-39k.pdf)

Sven Wimnell 060327: TV-avgiften i proposition 2005/06:112. Avgifter för privathushåll: De individuella TV-avgifterna bör slopas, och ersättas med en kollektivavgift för alla privathushåll, betald av riksdagen. (wimnell.com/omr36-39l.pdf)

Sven Wimnell 060408: Budgetpropositionen våren 2006. Levnadskostnader. Skatter. bidrag. Förbättringar för dem med låga inkomster. Pensionärer. Icke-pensionärer.
(http://wimnell.com/omr36-39m.pdf)

Sven Wimnell 060813: De borgerliga gynnar i valet 2006 mest de höga inkomsterna. (http://wimnell.com/omr36-39n.pdf)

Sven Wimnell 060921: Alliansen vann valet 2006. Epoken Göran Persson är slut. (http://wimnell.com/omr36-39o.pdf)

Sven Wimnell 061023: Politik efter valet 2006. (http://wimnell.com/omr36-39p.pdf)

Sven Wimnell 070111+070223: Den borgerliga regeringens skatter och skattepropaganda. Utdrag ur omr36-39o.pdf+omr36-39p.pdf . Och något om oppositionen. (http://wimnell.com/omr36-39q.pdf)

Sven Wimnell 070328: Om socialdemokraterna och regeringen. Om skatter och skatteförslag. (http://wimnell.com/omr36-39r.pdf)

Sven Wimnell 070419: Skatter och bidrag för 2008. (http://wimnell.com/omr36-39s.pdf)

Sven Wimnell 080202: Fördomar, kunskaper, moral, politik för välfärdsfördelning och koldioxid. (http://wimnell.com/omr36-39t.pdf)

Sven Wimnell 080528: Komplement till 36-39t.pdf (http://wimnell.com/omr36-39u.pdf)

Sven Wimnell 080808: TV-avgiften, skatterna och pensionärerna. (http://wimnell.com/omr36-39v.pdf)

Sven Wimnell 081108: Politik hösten 2008.
(http://wimnell.com/omr36-39x.pdf)

Socialdemokraterna. Budgetmotion hösten 2008.
(http://wimnell.com/omr36-39xbudgets.pdf)

Miljöpartiet. Budgetmotion hösten 2008.
(http://wimnell.com/omr36-39xbudgetmp.pdf)

Vänsterpartiet. Budgetmotion hösten 2008.
(http://wimnell.com/omr36-39xbudgetv.pdf)

Sven Wimnell 090131: Samhällsplaneringens problem. Hur ska man kunna förbättra världen? Världen och Sverige i början på 2009. (http://wimnell.com/omr36-39y.pdf)

Sven Wimnell 090315+090319: Globaliseringsrådets skatteutredningar och andra utredningar om levnadskostnader, skatter, bidrag och välfärdsfördelning. (http://wimnell.com/omr36-39z.pdf)

Sven Wimnell 30 januari 2010: Planering, klimat och välfärdsfördelning.
(http://wimnell.com/omr36-39za.pdf)

Sven Wimnell 31 januari 2010: Statistikområden i Statistisk års-bok för Sverige 2010 och något om planering, hushållsekonomi och skatter o d.
(http://wimnell.com/omr36-39zb.pdf)

Sven Wimnell 8 mars 2010 : Politik i början på 2010. Skolverkets förslag. Demonstration av klassifikationssystem för verksamheter. En fortsättning på 36-39za. (http://wimnell.com/omr36-39zc.pdf)

Sven Wimnell 10 april 2010 :En fortsättning på 36-39zc. Politik mm. Grundskolan. Universitet och Högskolor.
(http://wimnell.com/omr36-39zd.pdf)

Sven Wimnell 25 juni 2010 : En fortsättning på 36-39zd. Samhällsplaneringens problem, gymnasiet och politik april-juni 2010.
http://wimnell.com/omr36-39ze.pdf

Beskrivningar av olika slag. Ej kompletterad efter 2008. Nytt finns i ovanstående sammanställningar.

Innehåll:

Teoretisk filosofi.

Länkar till Internet.

Teoretisk filosofi.

010910: Lunds universitet, ämnesbeskrivning:
"Vetenskaplig grundkurs
Vetenskaplig grundkurs är en introduktion till akademiska studier, såväl humanistiska, samhällsvetenskapliga som naturvetenskapliga. Idén bakom verksamheten är att studenten oavsett ämnesinriktning behöver en fömåga att hantera och bearbeta kunskap, generella verktyg för såväl fortsatt akademisk utbildning som för yrkeslivet. De kunskaper som kursen ger ska vara användbara vid all slags intellektuell verksamhet.. Vägledande principer bakom kursens innehåll är att ge en utbildning som är allmängiltig, dvs. lämplig som förberedelse för alla ämnesstudier, varaktig, dvs. av värde även efter avslutad utbildning och användbar, dvs. till faktisk hjälp i den fortsatta akademiska utbildningen."

010910: Göteborgs universitet, ämnesbeskrivning:
"Allmän information om logik.
Följande textmaterial, skrivet av professor Per Lindström, är hämtat ur häftet "Att läsa logik"
Vad är logik?
Logiken är det systematiska studiet av det deduktiva (logiska) tänkandet. Detta förekommer i sin mest utpräglade och renodlade form i matematiken och logiken har därför utvecklats till en (vetenskaps)teori för denna vetenskap. Samtidigt använder sig logiken av just de metoder som är karakteristiska för matematiken.

Logikens mest grundläggande frågeställning är följande: Vari består det att ett resonemang är (logiskt) bindande, dvs, att resonemangets slutsats följer (logiskt) av dess premisser? En nära besläktad fråga är: Vad är ett matematiskt bevis? Det första tillfredsställande svaret gavs av Gottlob Frege i hans verk "Begriffsschrift, eine der arithmetische nachgebildete Formelsprache des reinen Denken" (1879). Där presenteras för första gången en begreppsapparat och ett formelspråk, predikatlogiken, med vars hjälp det är möjligt att representera de logiskt bindande konsekvensförhållanden, som är aktuella i matematiken. Logikens utveckling sedan dess bygger på Freges idéer.

Frege presenterade dessutom i sin bok en uppsättning enkla härledningsregler. Dessa regler är fullständiga: Om en slutsats S är en logisk konsekvens av ett antal premisser P1,...,Pn, kan detta påvisas med hjälp av Freges regler. Detta bevisades 1930 av Kurt Gödel (Gödels fullständighetssats). Matematiska bevis kan alltså, sub specie aeternitatis, uppfattas som systematiska tillämpningar av Freges regler.

En fundamental frågeställning är om det finns någon allmän metod med vars hjälp man kan avgöra om S följer av P1,...,Pn eller inte, och alltså bla påvisa att S inte följer av P1,...,Pn, om det skulle vara fallet. Alonzo Church och Alan Turing bevisade i mitten av 1930-talet att svaret är nekande. Ett bevis för detta förutsätter en (matematisk) definition av begreppet algoritm. Sådana definitioner uppställdes först av Church och Turing. (Turing gav dessutom den första definitionen av en "all purpose computer", en sk universell turingmaskin, och visade att det existerar en sådan; hans idéer spelade en avgörande roll vid utvecklingen av de första datorerna.) Därmed var grunden lagd till rekursionsteorin, den gren av logiken som just handlar om vad som är i princip (o)genomförbart med hjälp av algoritmer (för ändamålet programmerade datorer).

Utvecklingen inom matematiken och upptäckten av motsägelser i den "naiva" mängdteorin alldeles i början av 1900-talet, ledde på 1920-talet till projektet att axiomatisera hela matematiken och bevisa att den resulterande teorin är motsägelsefri, något som gav upphov till bevisteorin. Gödel bevisade emellertid 1931 att projektet är (dubbelt) ogenomförbart (Gödels ofullständighetssatser): (i) det finns ingen fullständig axiomatisering av matematiken och (ii) givet en axiomatisering av ett fragment av matematiken, kan detta inte bevisas vara konsistent med de tillgängliga metoderna.

De viktigaste grenarna av logiken, vid sidan av bevisteorin och rekursionsteorin, är modellteorin och mängdteorin. Den förra, som väsentligen handlar om sanningsbegreppet i matematiken och som bla innefattar logikens elementa, definitioner av logisk sanning, logisk konsekvens etc, grundlades som systematisk teori i början av 1950-talet av Alfred Tarski. Mängdteorin, som skapades i slutet av 1800-talet av Georg Cantor, är en mycket allmän teori: All matematik kan uppfattas som mängdteori. Logikens viktigaste bidrag till mängdteorin är Gödels och Paul Cohens resultat från 1939 respektive 1963, att vissa klassiska matematiska problem inte kan lösas inom ramen för mängdteorin, dvs med kända matematiska metoder.

Logik idag
Som en effekt av utvecklingen inom logiken, främst under de senaste decennierna, har gränsen mellan logik och klassisk matematik, som till att börja med var tydlig, alltmer suddats ut, både därför att logiken blivit matematiskt alltmer avancerad, som därför att logiska begrepp och resultat i allt större utsträckning kunnat tillämpas inom matematiken.

Logiken har givit oss väsentligt fördjupad förståelse av det deduktiva tänkandet (matematiken), dess möjligheter och kanske främst dess begränsningar. De mest betydande resultaten utgör idag, vid sidan av relativitetsteori, kvantfysik, etc, väsentliga inslag i den "vetenskapliga världsbilden".
Per Lindström "