Kritiskt tänkande HTXF04:3 FTEB05. Deduktiv argumentation
|
|
- Ellen Berglund
- för 8 år sedan
- Visningar:
Transkript
1 Kritikt tänkande HTXF04:3 FTEB05 Deduktiv argumentation
2 Lite upprepning Ett deduktivt argument hävdar eller utger ig ör att vara ett argument av tarkate graden, dv. ett argument var lutat är en logik konekven av premierna. Ett logikt giltigt deduktivt argument lycka i itt uppåt.
3 Deduktiva argument och logik orm Den logika tyrkan ho deduktiva argument är ota inte avhängigt argumentet meninginnehåll utan argumentet orm eller truktur. Följande två deduktiva argument har amma orm men olika innehåll. Det är ormen om gör dem logikt giltiga, inte dera innehåll:
4 Om Peter klipper gräet år Peter 20 kr Peter klipper gräet Peter år 20 kr Om Lia bor i Lund å bor Lia i Skåne Lia bor i Lund Lia bor i Skåne Vi kan repreentera den gemenamma ormen på öljande ätt: Om P å Q P Q (där P och Q tår ör olika ater)
5 Alla argument om har den här ormen är logikt giltiga. Det pelar ingen roll vad P och Q tår ör. Det enda om är viktigt är att P tår ör amma meninginnehåll de gånger P inn med i argumentet. Det amma gäller å klart ör Q. Om premierna är anna, vad de än handlar om, å måte lutaten vara ann. Eterom det är ormen om är av betydele när vi utvärderar huruvida ett argument är logikt giltigt kan vi alltå ignorera det peciika innehållet och koncenterar o på ormen.
6 Logik orm För att örtå vad logik orm (truktur) innebär måte vi lära o: a. kilja mellan enkla och ammanatta ater b. kilja mellan anningunktionella ater och icke-anningunktionella ater. c. de logika konnektiven
7 Enkla och ammanatta ater Alla ater är antingen enkla eller ammanatta. En enkel at är en at om inte betår av andra ater, dv om inte har andra ater om delar. Exempel: Jag pringer gräet är vått En ammanatt at betår av andra ater, dv den har andra ater om delar. Exempel: Jag pringer och jag hoppar Gräet är vått eterom det regnar
8 Sanningunktionella ater De anningunktionella aterna utgör en delmängd av de ammanatta aterna. Dera anningvärde är en unktion av, betäm av, de ingående aterna anningvärde. Exempel: Jag pringer och jag hoppar Antingen å regnar det eller å regnar det inte
9 Icke-anningunktionella ater Alla ammanatta ater är dock inte anningunktionella. En icke-anningunktionell at är en at var anningvärde inte är en unktion av de ingående aterna anningvärde. Exempel: Gräet är vått eterom det regnar Erik tror att gud exiterar
10 Logika konnektiv Sammanatta ater innehåller konnektiv om binder ihop enkla ater till ammanatta ater. Sanningunktionella ( och, eller, om, å etc) Icke-anningunktionella ( eterom, kontraaktika konditionaler etc) Inom ramen ör denna kur kommer vi enbart att behandla de anningunktionella logika konnektiven.
11 Det är viktigt att identiiera vilket konnektiv det är rågan om då det är konnektiven om avgör den ammanatta aten anningvärde utirån anningvärdet ho de enkla aterna. Inom atlogiken inn det em anningunktionella huvudkonnektiv (varav Hughe tar upp endat yra).
12 Konnektiven och anningvärdetabeller Vi kan örtå konnektiven genom att betrakta hur de påverkar anningvärdet ho ammanatta ater Exempel: konjunktion, &, (= OCH) P & Q P Q P & Q
13 Sanningvärdetabellen ör negation ( inte, ) P P Sanningvärdetabellen ör dijunktion ( eller, ) P Q (P Q)
14 Sanningvärdetabellen ör materiell implikation ( om, å,, ) P Q (P Q) P P (P Q) Sanningvärdetabellen ör ekvivalen ( om och endat om,, )
15 Logikt giltiga argumenttrukturer Modu Ponen (bekrätande av antecedenten) P Q P Q Modu Tollen (örnekande av konekventen) P Q Q P
16 Kedjeargument P Q Q R P R Dijunktiv yllogim (dijunktiv elimination) P Q P Q
17 Hittar vi ett argument med någon av dea ormer å vet vi att argumentet är logikt giltigt, eterom dea argumenttrukturer är logikt giltiga (det inn andra trukturer om är logikt giltiga, men vi nöjer o med dea). I atlogiken kan man bevia att dea trukturer är logikt giltiga med hjälp av anningvärdetabeller om utnyttjar det aktum att de logika konnektiven är anningunktionella. Man kan då via att om premierna är anna, å måte även lutaten vara ann.
18 Notera att om vi vet att lutaten är alk i ett logikt giltigt argument å vet vi att någon (eller alla) av premierna måte vara alk(a). Detta eterom om premierna är anna å kulle även lutaten vara ann (men det är den ju inte).
19 Logikt ogiltiga argumenttrukturer Förnekande av antecedenten P Q P Q Bekrätande av konekventen P Q Q P
20 Logik tyrka: några intreanta pecialall Vilken logik tyrka har argument där: 1) premierna är motägande; 2) lutaten är trivial (i ig nödvändigt ann)?
21 Motägande premier P: Olle är glad P: Olle är inte glad S: Månen är rund LOGISKT GILTIGT! Orak: Det inn ingen möjlig ituation där premierna är anna och lutaten alk. (Detta vet vi eterom premierna uttrycker en motägele.) Vad om helt öljer ur en motägele! (Även att månen är yrkantig.)
22 Trivial lutat (P) Köpenhamn ligger i Finland (S) Alltå är Obama antingen tre meter lång eller inte tre meter lång. Slutaten kan inte vara alk. Därmed är argumentet logikt giltigt. En trivialt ann at (en at om i ig är nödvändigt ann) öljer logikt ur vad om helt.
23 Övningar Nedan inner du yra argument. För vart och ett ka du ange (i) om det är logikt giltigt: (ii) unt och (iii) en intan av modu ponen, modu tollen, bekrätande av konekventen eller örnekande av antecedenten. (a) (b) Om ocialdemokraterna vann valet år 2010 å är Danmark törre än Autralien. Danmark är inte törre än Autralien. Alltå vann inte ocialdemokraterna valet år Om Fredrik Reineldt är utrikeminiter å är inte Ander Borg inanminiter. Fredrik Reineldt är inte utrikeminiter. Alltå är Ander Borg inanminiter.
24 (c) Om Stockholm är Sverige huvudtad å är Köpenhamn Danmark huvudtad. Köpenhamn är Danmark huvudtad. Alltå är Stockholm Sverige huvudtad. (d) Om Köpenhamn inte är Sverige huvudtad å är Stockholm inte Danmark huvudtad. Köpenhamn är inte Sverige huvudtad. Alltå är inte Stockholm Danmark huvudtad.
FTEA12:2 Filosofisk Metod. Grundläggande argumentationsanalys II
TEA12:2 ilosofisk Metod Grundläggande argumentationsanalys II Dagens upplägg 1. Kort repetition. 2. Logisk styrka: några intressanta specialfall. 3. ormalisering: översättning från naturligt språk till
Läs merViktiga frågor att ställa när ett argument ska analyseras och sedan värderas:
FTEA12:2 Föreläsning 2 Grundläggande argumentationsanalys II Repetition: Vid förra tillfället började vi se närmre på vad som utmärker filosofisk argumentationsanalys. Vi tittade närmre på ett arguments
Läs merKRITISKT TÄNKANDE I VÄRDEFRÅGOR. 5: Deduktion
KRITISKT TÄNKANDE I VÄRDEFRÅGOR 5: Deduktion Deduktivt resonerande DEL 1 Contrariwise, continued Tweedledee, if it was so, it might be; and if it were so, it would be as it isn t, it ain t. That s logic.
Läs merKritiskt tänkande HTXF04:3 FTEB05. Rekonstruktion av argument
Kritiskt tänkande HTXF04:3 FTEB05 Rekonstruktion av argument Utvärdering av definitioner Problem (generella) Cirkularitet (definiendum ingår i definiens) (i) Direkt cirkularitet Exempel: Frihet är rätten
Läs merKritiskt tänkande HTXF04:3 FTEB05. Grundläggande argumentationsanalys
Kritiskt tänkande HTXF04:3 FTEB05 Grundläggande argumentationsanalys Dagens upplägg Övergripande om kursen Dagens föreläsning: Grundläggande argumentationsanalys Övergripande om kursen Lärare: Robin Stenwall
Läs merFormell logik Kapitel 10. Robin Stenwall Lunds universitet
Formell logik Kapitel 10 Robin Stenwall Lunds universitet Kapitel 10: Kvantifikatorernas logik Förra gången introducerade vi kvantifikatorer och variabler Vi har därmed infört samtliga symboler i FOL Brännande
Läs merKRITISKT TÄNKANDE I VÄRDEFRÅGOR. 8: Repetition
KRITISKT TÄNKANDE I VÄRDEFRÅGOR 8: Repetition TRE CENTRALA BEGREPP (i) Sanning: en egenskap som tillkommer utsagor, inte slutledningar. (ii) Logisk styrka: en egenskap som tillkommer slutledningar, inte
Läs merFormell logik Kapitel 7 och 8. Robin Stenwall Lunds universitet
Formell logik Kapitel 7 och 8 Robin Stenwall Lunds universitet Kapitel 7: Konditionalsatser Kapitlet handlar om konditionalsatser (om-så-satser) och deras logik Idag: bevismetoder för konditionalsatser,
Läs merAPPROXIMATION AV SERIENS SUMMA MED EN DELSUMMA OCH EN INTEGRAL
Armi Halilovic: EXTRA ÖVNINGAR Approimatio av erie umma med e delumma APPROXIMATION AV SERIENS SUMMA MED EN DELSUMMA OCH EN INTEGRAL Låt vara e poitiv och avtagade utio ör åda att erie overgerar. Vi a
Läs merFTEA12:2 Filosofisk metod. Att värdera en argumentation III
FTEA12:2 Filosofisk metod Att värdera en argumentation III Två strategier vid argumentationsutvärdering: kort repetition Den kriteriella metoden: Ett BRA argument är ett argument som uppfyller vissa kriterier.
Läs merMATEMATIKENS SPRÅK. Syftet med denna övning är att med hjälp av logik lära oss att uttrycka matematik mer exakt, lära oss
Explorativ övning 1 LMA100 vt 2003 MATEMATIKENS SPRÅK Syftet med denna övning är att med hjälp av logik lära oss att uttrycka matematik mer exakt, lära oss förstå språket. Vi skall försöka utveckla vårt
Läs merLogik: sanning, konsekvens, bevis
Logik: sanning, konsekvens, bevis ft1100 samt lc1510 HT 2016 Giltiga argument (Premiss 1) (Premiss 2) (Slutsats) Professorn är på kontoret eller i lunchrummet Hon är inte på kontoret Professorn är i lunchrummet
Läs merMATEMATIKENS SPRÅK. Syftet med denna övning är att med hjälp av logik lära oss att uttrycka matematik mer exakt,
Explorativ övning 1 MATEMATIKENS SPRÅK Syftet med denna övning är att med hjälp av logik lära oss att uttrycka matematik mer exakt, lära oss förstå språket. Vi skall försöka utveckla vårt matematiska språk,
Läs merKRITISKT TÄNKANDE I VÄRDEFRÅGOR. 8: Repetition
KRITISKT TÄNKANDE I VÄRDEFRÅGOR 8: Repetition TRE CENTRALA BEGREPP (i) Sanning: en egenskap som tillkommer utsagor, inte slutledningar. (ii) Logisk styrka: en egenskap som tillkommer slutledningar, inte
Läs merÖvningshäfte 1: Logik och matematikens språk
GÖTEBORGS UNIVERSITET MATEMATIK 1, MMG200, HT2014 INLEDANDE ALGEBRA Övningshäfte 1: Logik och matematikens språk Övning A Målet är att genom att lösa och diskutera några inledande uppgifter få erfarenheter
Läs merKap. 7 Logik och boolesk algebra
Ka. 7 Logik och boolesk algebra Satslogik Fem logiska konnektiv: ej, och, eller, om-så, omm Begre: sats, sanningsvärde, sanningsvärdestabell tautologi, kontradiktion Egenskaer: Räkneregler för satslogik
Läs merSanningsvärdet av ett sammansatt påstående (sats, utsaga) beror av bindeord och sanningsvärden för ingående påståenden.
MATEMATISK LOGIK Matematisk logik formaliserar korrekta resonemang och definierar formellt bindeord (konnektiv) mellan påståenden (utsagor, satser) I matematisk logik betraktar vi påståenden som antingen
Läs merMA2047 Algebra och diskret matematik
MA2047 Algebra och diskret matematik Något om logik och mängdlära Mikael Hindgren 5 september 2018 Utsagor Utsaga = Påstående som har sanningsvärde Utsagan kan vara sann (S) eller falsk (F) öppen eller
Läs merFöreläsningsanteckningar och övningar till logik mängdlära
Inledande matematisk analys tma970, 010, logik, mängdlära Föreläsningsanteckningar och övningar till logik mängdlära Dessa öreläsningsanteckningar kompletterar mycket kortattat kap 0 och appendix B i Persson/Böiers,
Läs mer7, Diskreta strukturer
Objektorienterad modellering och diskreta strukturer 7, Diskreta strukturer Sven Gestegård Robertz Datavetenskap, LTH 2015 Modeller Matematiska modeller Kontinuerliga modeller Kontinuerliga funktioner
Läs merRobin Stenwall Lunds universitet
Robin Stenwall Lunds universitet Avsnitt 14.1 Numerisk kvantifikation Kvantifikatorerna i FOL är begränsade till och. Detta innebär att vi kan uttrycka satser som säger någonting om allting och någonting.
Läs merSemantik och pragmatik (Serie 4)
Semantik och pragmatik (Serie 4) Satser och logik. Mats Dahllöf Institutionen för lingvistik och filologi April 2015 1 / 30 Så här långt (satslogik) Konjunktion (p q): att två enklare satser båda är uppfyllda.
Läs merEn introduktion till logik
rasmus.blanck@gu.se FT1200, LC1510 och LGFI52 VT2017 Först: Tack till Martin Kaså, som gett mig tillstånd att använda och bearbeta dessa ljusbilder. Vad är logik? Slogan: Logik undersöker vilka argument
Läs merDigital signalbehandling Sampling och vikning
Intitutionen ör data- och elektroteknik Digital ignalbehandling --9 Sampling Då vi tuderar en vanlig analog ignal, t ex med hjälp av ett (analogt) ocillokop, å kan vi vid varje tidpunkt regitrera hur ignalen
Läs merFYRA LOGISKA OPERATORER
LOGIK & SPELTEORI Kopplingen mellan logik och spel går långt tillbaka (Aristoteles såg studiet av logiken, syllogismläran, som nära sammankopplad med studiet av reglerna och målsättningarna med debatterande).
Läs merKritiskt tänkande HTXF04:3 FTEB05. Induktiv argumentation
Kritiskt tänkande HTXF04:3 FTEB05 Induktiv argumentation En svaghet med deduktiv argumentation Vi har sagt att de bästa argumenten är de sunda argumenten, dvs de logiskt giltiga deduktiva argument med
Läs merKritiskt tänkande HTXF04:3 FTEB05. Utvärdering av argument
Kritiskt tänkande HTXF04:3 FTEB05 Utvärdering av argument Utvärdering av argument Två allmänna strategier Felslutsmetoden: Man försöker hitta felslut, formella och informella, från en lista över vanliga
Läs merProcessbeskrivning Kvalitetsstyrning
ProcIT-P-002 Procebekrivning Kvalitettyrning Ledning- och kvalitetytem Fattälld av Sven Arvidon 2012-06-20 Procebekrivning Kvalitettyrning Procebekrivning ProcIT-P-002 2.0 Innehållförteckning 1 Inledning
Läs merargumenterar vi på ett logiskt giltigt vis. Schemat kallas modus ponens. Här är ett exempel på ett specifikt modus ponens argument:
FTEA12:2 Föreläsning 5 Att värdera en argumentation III Felslut fortsättning Vid vårt senaste föreläsningstillfälle började vi så smått att tala om s.k. felslut. Under dagens föreläsning ska vi fortsätta
Läs mer7, Diskreta strukturer
Objektorienterad modellering och diskreta strukturer 7, Diskreta strukturer Sven Gestegård Robertz Datavetenskap, LTH 2013 1 Inledning 2 Satslogik Inledning Satslogiska uttryck Resonemang och härledningar
Läs merGenerellt kan vi säga att för att vi ska värdera ett argument som bra bör det uppfylla åtminstone följande kriterier:
FTEA12:2 Föreläsning 3 Att värdera en argumentation I: Vad vi hittills har gjort: beaktat argumentet ur ett mer formellt perspektiv. Vi har funnit att ett argument kan vara deduktivt eller induktivt, att
Läs merSemantik och pragmatik
Semantik och pragmatik OH-serie 4 http://stp.lingfil.uu.se/~matsd/uv/uv12/semp/ Mats Dahllöf Institutionen för lingvistik och filologi Januari 2012 Om barnet har svårt att andas eller har ont i bröstet
Läs merFormell logik Kapitel 3 och 4. Robin Stenwall Lunds universitet
Formell logik Kapitel 3 och 4 Robin Stenwall Lunds universitet Kapitel 3: De Booleska konnektiven Vi sade att predikaten och namnen kan variera mellan olika FOL Vi ska nu titta på några språkliga element
Läs merFTEA12:2 Filosofisk metod. Att värdera en argumentation II
FTEA12:2 Filosofisk metod Att värdera en argumentation II Dagens upplägg 1. Allmänt om argumentationsutvärdering. 2. Om rättfärdigande av premisser. 3. Utvärdering av induktiva argument: begreppen relevans
Läs merGrundläggande logik och modellteori (5DV102)
Tentamen 2013-10-31 Grundläggande logik och modellteori (5DV102) M. Berglund och K. Markström Totalt antal uppgifter 11 Maximalt antal poäng 30 Krav för 3 i betyg 14 poäng Krav för 4 i betyg 19 poäng,
Läs merLogisk semantik I. 1 Lite om satslogik. 1.1 Konjunktioner i grammatisk bemärkelse. 1.2 Sant och falskt. 1.3 Satssymboler. 1.
UPPSALA UNIVERSITET Datorlingvistisk grammatik I Institutionen för lingvistik och filologi Oktober 2007 Mats Dahllöf http://stp.ling.uu.se/ matsd/uv/uv07/dg1/ Logisk semantik I 1 Lite om satslogik 1.1
Läs merFöreläsning 6. pseudokod problemlösning logik algoritmer
Föreläsning 6 pseudokod problemlösning logik algoritmer Inledning Logik är läran om korrekt resonemang att kunna dra korrekta slutledningar utifrån det man vet. Vi gör detta ständigt utan att tänka på
Läs merMassa, densitet och hastighet
Detta är en något omarbetad verion av Studiehandledningen om använde i tryckta kuren på SSVN. Sidhänviningar hänför ig till Quanta A 000, ISBN 91-7-60500-0 Där det har varit möjligt har motvarande aker
Läs merLogik och kontrollstrukturer
Logik och kontrollstrukturer Flödet av instruktioner i ett programmeringsspråk bygger vi upp med hjälp av dess kontrollstrukturer. I C har vi exemplen if, if else, while, do while. Dessutom finns switch
Läs merFormell logik Kapitel 5 och 6. Robin Stenwall Lunds universitet
Formell logik Kapitel 5 och 6 Robin Stenwall Lunds universitet Kapitel 5 Bevismetoder för boolesk logik Visa att en sats är en tautologisk konsekvens av en mängd premisser! Lösning: sanningstabellmetoden
Läs mer729G06 Logik FÖRELÄSNING 1 ANDERS MÄRAK LEFFLER IDA/HCS
729G06 Logik FÖRELÄSNING 1 ANDERS MÄRAK LEFFLER IDA/HCS 160127 Vad är logik? Som ämne, område... 2 Läran om korrekta resonemang Följer slutsatserna av ens antaganden? 3 Alla hundar är djur. Alla enhörningar
Läs merDatorlingvistisk grammatik I Institutionen för lingvistik och filologi Oktober 2007 Mats Dahllöf
UPPSALA UNIVERSITET Datorlingvistisk grammatik I Institutionen för lingvistik och filologi Oktober 2007 Mats Dahllöf http://stp.ling.uu.se/ matsd/uv/uv07/dg1/ Logisk semantik II 1 Predikatlogik, generella
Läs merJohn Perrys invändning mot konsekvensargumentet
Ur: Filosofisk tidskrift, 2008, nr 4. Maria Svedberg John Perrys invändning mot konsekvensargumentet Är handlingsfrihet förenlig med determinism? Peter van Inwagens konsekvensargument ska visa att om determinismen
Läs merVarför är logik viktig för datavetare?
Varför är logik viktig för datavetare? 1. Datavetenskap handlar ofta om att automatisera processer som tidigare styrts av människor. Intuition, intelligens och mänskliga resonemang ersätts av beräkningar.
Läs merGrundläggande logik och modellteori
Grundläggande logik och modellteori Kapitel 4: Konjunktiv och disjunktiv normalform Henrik Björklund Umeå universitet 15. september, 2014 CNF och DNF Konjunktiv normalform (CNF) Omskrivning av en formel
Läs merFysik A A B C D. Sidan 1 av 9 henrik.gyllensten@tabyenskilda.se. www.tabyenskilda.se/fy
www.tabyenskilda.se/y ÖÖvvnni iinn ggssuuppppggi ii teer 1. Lars lyser med en icklampa mot ett prisma. Han kan då se ett spektrum på väggen bakom prismat. Spektrumet innehåller alla ärger. Vilken av dessa
Läs merIrrationella övertalningsmetoder DEL 3
Irrationella övertalningsmetoder DEL 3 IRRATIONELLA ÖVERTALNINGSMETODER (1) Värdeladdade termer: Försök till att övertyga genom användandet av beteckningar som ger positiva och negativa associationer.
Läs merSemantik och pragmatik (Serie 3)
Semantik och pragmatik (Serie 3) Satser och logik. Mats Dahllöf Institutionen för lingvistik och filologi April 2015 1 / 37 Logik: språk tanke (Saeed kapitel 4.) Satser uttrycker (ofta) tankar. Uttrycksrikedom
Läs merSemantik och logik. Semantik: Föreläsning 3 Lingvistik: 729G08 HT 2012 IKK, Linköpings universitet
emantik och logik emantik: Föreläsning 3 Lingvistik: 729G08 HT 2012 IKK, Linköpings universitet 1 Dagens föreläsning aeed 2009, kap.4 Introduktion till formell semantik Betydelse i sammansatta satser Betydelserelationer
Läs merKritiskt tänkande HTXF04:3 FTEB05. Grundläggande semantik II
Kritiskt tänkande HTXF04:3 FTEB05 Grundläggande semantik II Deskriptiv vs. värderande/känslomässig mening Ords betydelser kan ha både deskriptiva och värderande/känslomässiga komponenter. Det blir tydligt
Läs merökar arbetslösheten i alla länder, men i USA sker tilbakagången snabbare
Europeik arbetlöhet numera generellt högre än i USA. Vid lågkonjunktur ökar arbetlöheten i alla länder, men i USA ker tilbakagången nabbare än i typikt Europeikt land. Från att ha legat på en tabil, internationellt
Läs mervx DOM 2013-1Z-T2 Meddelad i Göteborg KLAGANDE Försäkringskassan Processjuridiska enheten/ Malmö Box 14069 200 24 Malmö
Avdelning 3 vx DOM 2013-1Z-T2 Meddelad i Göteborg Mål nr 286-1 3 Sida 1 (8) KLAGANDE Föräkringkaan Procejuridika enheten/ Malmö Box 14069 200 24 Malmö MOTPART God man: Ombud: Jur.kand. Finn Kronporre Aitanjuriterna
Läs merEDA Digital och Datorteknik 2009/2010
EDA45 - Digital och Datorteknik 29/2 EDA 45 - Digital och Datorteknik 29/2, lärobokens kapitel 3 Ur innehållet: Satslogik och Boolesk algebra Grindar Funktionstabell Binär evaluering Normal orm/förenklad
Läs merVad är det? Översikt. Innehåll. Vi behöver modeller!!! Kontinuerlig/diskret. Varför modeller??? Exempel. Statiska system
Vad är det? Översikt Discrete structure: A set of discrete elements on which certain operations are defined. Discrete implies non-continuous and therefore discrete sets include finite and countable sets
Läs merFTEA12:2 Filosofisk metod
FTEA12:2 Filosofisk metod Dagens upplägg 1. Övergripande om kursen 2. Dagens föreläsning: Grundläggande argumentationsanalys del I Lärare: Övergripande om kursen Robin Stenwall rum 312 robin.stenwall@fil.lu.se
Läs merProcessbeskrivning Övervakning inom Operation Center
ProcIT-P-016 Procebekrivning Övervakning inom Operation Center Ledning- och kvalitetytem Fattälld av Sven Arvidon 2012-09-10 Innehållförteckning 1 Inledning 3 1.1 Symboler i procebekrivningarna 3 2 Övervakning
Läs mer6. Kvasirealism. Slutledningen igen:
6. Kvasirealism 2. Freges princip kommer in i bilden. Om meningen hos Sexköp är fel i Sverige består i att den uttrycker en attityd, då kan den bara ha den meningen när den uttrycker attityden. Men när
Läs merFTEA12:2 Filosofisk metod. Att värdera argumentation I
FTEA12:2 Filosofisk metod Att värdera argumentation I Dagens upplägg 1. Några generella saker att tänka på vid utvärdering av argument. 2. Grundläggande språkfilosofi. 3. Specifika problem vid utvärdering:
Läs merTentamen del 2 i kursen Elinstallation, begränsad behörighet ET1020 2014-08-29
Tetame del 2 i kure Elitallatio, begräad behörighet ET1020 2014-08-29 Tetame omfattar 60 poäg. För godkäd tetame kräv 30 poäg. Tillåta hjälpmedel är räkedoa amt bifogad formelamlig Beräkigar behöver bara
Läs merDen värderande analysen
Den värderande analysen 1 En premiss är ett implicit eller explicit påstående i argumentationen som tillsammans med argumentet är avsett att utgöra skäl för tesen. Varje argument har en premiss. Men man
Läs merProcessbeskrivning Driftsättning
ProcIT-P-007 Procebekrivning Driftättning Ledning- och kvalitetytem Fattällt av Sven Arvidon 2012-06-20 Innehållförteckning 1 Inledning 2 1.1 Symboler i procebekrivningarna 2 2 Driftättning 3 2.1 Samband
Läs merSwitchnätsalgebra. Negation, ICKE NOT-grind (Inverterare) Konjunktion, OCH AND-grind. Disjunktion, ELLER OR-grind
Dagens öreläsning behandlar: Läroboken kapitel 3 Arbetsboken kapitel,3 Ur innehållet: Satslogik och Grindar Funktionstabell Binär evaluering Normal orm/förenklad orm/ Minimal orm Karnaughdiagram Negation,
Läs merEn bijektion mellan två mängder A och B som har ändligt antal element kan endast finnas om mängderna har samma antal element.
BIJEKTION, INJEKTION, SURJEKTION NUMRERBARA (eller UPPRÄKNELIGA) MÄNGDER Allmän terminologi. I samband med variabelbyte vid beräkning av integraler har vi en avbildning mellan två mängder A och B, dvs
Läs merMATEMATIKENS SPRÅK. Avsnitt 1
Avsnitt 1 MATEMATIKENS SPRÅK Varje vetenskap, liksom varje yrke, har sitt eget språk som ofta är en blandning av vardagliga ord och speciella termer. En instruktionshandbok för ett kylskåp eller för en
Läs merD. x 2 + y 2 ; E. Stockholm ligger i Sverige; F. Månen är en gul ost; G. 3 2 = 6; H. x 2 + y 2 = r 2.
Logik Vid alla matematiskt resonemang måste man vara säker på att man verkligen menar det man skriver ner på sitt papper. Därför måste man besinna hur man egentligen tänker. Den vetenskap, som sysslar
Läs merTommy Färnqvist, IDA, Linköpings universitet. 1 Kursadministration 1. 2 Introduktion 2 2.1 Varför logik?... 2 2.2 Satslogik... 2
Föreläsning 1 Syntax 729G06 Logikdelen Föreläsningsanteckningar i Programmering och logik 21 januari 2014 Tommy Färnqvist, IDA, Linköpings universitet 1.1 Innehåll Innehåll 1 Kursadministration 1 2 Introduktion
Läs mer1.1. Numeriskt ordnade listor Numerically ordered lists 1.1.1. Enheter med F3= 10 efter fallande F Units with 10 by descending F
1.1. Numeriskt ordnade listor Numerically ordered lists 1.1.1. Enheter med F3= 10 efter fallande F Units with 10 by descending F 1 DET ÄR 2652 282 71 HAR EN 350 140 141 KAN INTE 228 59 2 FÖR ATT 2276 369
Läs merDagens teman. Mängdlära forts. Relationer och funktioner (AEE 1.2-3, AMII K1.2) Definition av de naturliga talen, Peanos axiom.
Dagens teman Mängdlära orts. Relationer och unktioner (AEE 1.2-3, AMII K1.2) Deinition av de naturliga talen, Peanos axiom. Relationer och unktioner Relationer Generell deinition: En relation R på mängden
Läs merLogik. Dr. Johan Hagelbäck.
Logik Dr. Johan Hagelbäck johan.hagelback@lnu.se http://aiguy.org Vad är logik? Logik handlar om korrekta och inkorrekta sätt att resonera Logik är ett sätt att skilja mellan korrekt och inkorrekt tankesätt
Läs merω L[cos(ωt)](s) = s 2 +ω 2 L[sin(ωt)](s) =
Matematik Chalmer Tentamen i TMA683/TMA682 Tillämpad matematik K2/Bt2, 28 4 4, kl 4:-8: Telefon: Henrik Imberg, 3-772 5325; Kontaktperon: Mohammad Aadzadeh, 3-772 357 Hjälpmedel: Endat tabell på bakidan
Läs merEDA Digital och Datorteknik 2010/2011
EDA45 - Digital och Datorteknik 2/2 EDA 45 - Digital och Datorteknik 2/2, lärobokens kapitel 3 Ur innehållet: Satslogik och Boolesk algebra Grindar Funktionstabell Binär evaluering Normal orm/förenklad
Läs merEn bijektion mellan två mängder A och B som har ändligt antal element kan finnas endast om mängderna har samma antal element.
Inversa unktion BIJEKTION, INJEKTION, SURJEKTION Allmän terminologi I samband med variabelbyte vid beräkning av integraler har vi en avbildning mellan två mängder A och B, dvs en unktion : A B Vi har otast
Läs merDOM 2014-12- 17. Meddelad i Göteborg. ÖVERKLAGAT AVGÖRANDE Förvaltningsrätten i Göteborgs dom den 8 november 2013 i mål nr 7848-13, se bilaga A
KAMMARRÄTTEN I GÖTEBORG Avdelning 3 2014-12- 17. Meddelad i Göteborg Mål nr 7038-13 Sida 1 (6) KLAGANDE Socialnämnden i Halmtad kommun Box 230 301 06 }Ialmtad MOTPART Ombud: Emilia Liedbeck Nordtröm aitan
Läs merKUNSKAP är målet med filosofiska argument, inte (i första hand) att övertyga.
FTEA11: 2 Filosofisk metod Föreläsning 1 Grundläggande argumentationsanalys I Vad innebär det att filosofera? Att filosofera innebär till stor del att ställa frågor (närmare bestämt filosofiska frågor).
Läs merGrundläggande logik och modellteori
Grundläggande logik och modellteori Kapitel 8: Predikatlogik Henrik Björklund Umeå universitet 2. oktober, 2014 Första ordningens predikatlogik Signaturer och termer Första ordningens predikatlogik Formler
Läs merFöreläsningsanteckningar och övningar till logik mängdlära Boolesk algebra
Föreläsningsantekningar oh övningar till logik mängdlära Boolesk algebra I kursen matematiska metoder, del A (TMA04 behandlar vi i lv logik, mängdlära oh Boolesk algebra I satslogik oh mängdalgebra, två
Läs merÖppna frågans argument. Avser visa a2 godhet inte kan definieras Anses o9a som den moderna metae:kens startpunkt
Öppna frågans argument Avser visa a2 godhet inte kan definieras Anses o9a som den moderna metae:kens startpunkt George Edward Moore 1873 1958 Professor i filosofi vid Cambridge 1925-39. Principia Ethica
Läs merLäs i vågläraboken om interferens (sid 59-71), dopplereffekt (sid 81-84), elektromagnetiska vågor (sid 177-181) och dikroism (sid 413-415).
Dopplerradar Förberedeler Lä i vågläraboken om interferen (id 59-71), dopplereffekt (id 81-84), elektromagnetika vågor (id 177-181) och dikroim (id 413-415). Lä igenom hela laborationintruktionen. Gör
Läs mer10. Moralisk fiktionalism och ickedeskriptiv
Det finns två olika positioner som båda kan kallas fiktionalism : 1. Hermeneutisk fiktionalism 2. Revolutionär fiktionalism ( revisionistisk fiktionalism ) De kan betraktas som två separata positioner,
Läs merDD1350 Logik för dataloger. Fö 2 Satslogik och Naturlig deduktion
DD1350 Logik för dataloger Fö 2 Satslogik och Naturlig deduktion 1 Satslogik En sats(eller utsaga)är ett påstående som kan vara sant eller falskt. I satslogik(eng. propositionallogic) representeras sådana
Läs merSanningens paradoxer: om ändliga och oändliga lögnare
STEN LINDSTRÖM Sanningens paradoxer: om ändliga och oändliga lögnare 1. Inledning Lögnarparadoxen, i dess olika versioner, tycks ge vid handen att vår naiva förståelse av sanningspredikatet, uttryckt i
Läs merFTEA12:4 Vetenskapsteori. Induktiv metod - Från observation till teori -
FTEA12:4 Vetenskapsteori Induktiv metod - Från observation till teori - Hur härleder vi teorier ur fakta? Låt oss nu anta att relevanta fakta kan påvisas inom vetenskapen (även om detta inte kan genomföras
Läs merÖVN 15 - DIFFTRANS - DEL2 - SF Nyckelord och innehåll. Inofficiella mål
ÖVN 5 - DIFFTRANS - DEL - SF683 HTTP://KARLJODIFFTRANS.WORDPRESS.COM KARL JONSSON Nyckelord och innehåll Laplacetranformen Differentialekvationer med dikontinuerlig drivande term g(t) Heaviide och δ-funktionen
Läs merp /\ q r DD1350 Logik för dataloger Kort repetition Fö 3 Satslogikens semantik
DD1350 Logik för dataloger Fö 3 Satslogikens semantik 1 Kort repetition Satslogik formellt språk för att uttrycka påståenden med variabler och konnektiv /\, \/,, t.ex. p /\ q r 1 Kort repetition Naturlig
Läs merDigital signalbehandling Sampling och vikning på nytt
Ititutio ör data- och lktrotkik Digital igalbhadlig Samplig och vikig på ytt 00-0-6 Bgrpp amplig och vikig har viat ig lit våra att hatra å till vida att dt har kät vårt att tolka vad om hädr md igal om
Läs mer7. Om argumentet är induktivt: Är premisserna relevanta/adekvata för slutsatsen?
FTEA12:2 Föreläsning 4 Att värdera en argumentation II Inledning Förra gången konstaterade vi att argumentationsutvärdering involverar flera olika steg. Den som ska värdera en argumentation behöver åtminstone
Läs merAnmälan av rapporten inskrivna barn, ungdomar och föräldrar vid HVB barn och ungdoms verksamheter
SOCIALTJÄNSTFÖRVALTNINGEN HVB BARN & UNGDOM SID 1 (6) 2007-04-02 Handläggare: Maija-Liia Laitinen Telefon: 08-508 25 255 Till Till ocialtjäntnämnden Anmälan av rapporten inkrivna barn, ungdomar och föräldrar
Läs merHårdmagnetiska material / permanent magnet materials
1 Hårdmagnetika material / permanent magnet material agnetiera fört med tort magnetfält H 1 (ofta pulat), när det yttre fältet är bortaget finn fortfarande det avmagnetierande fältet H d och materialet
Läs merDOM. 2014-10- 0 B Meddelad i Göteborg. KLAGANDE Stadsområdesnämnd Söder i Malmö kommun Box 31065. Ombud:!Vfoharnmed Hourani
KAMMARRÄTTEN I Avdelning 2 2014-10- 0 B Meddelad i Göteborg Sida 1 (5) Mål m 7419-13 KLAGANDE Stadområdenämnd Söder i Malmö kommun Box 31065 200 49 Malmö MOTPART Ombud:!Vfoharnmed Hourani Juritfirman New
Läs merLogik och modaliteter
Modallogik Introduktionsföreläsning HT 2015 Formalia http://gul.gu.se/public/courseid/70391/lang-sv/publicpage.do Förkunskaper etc. Logik: vetenskapen som studerar argument med avseende på (formell) giltighet.
Läs mer2. Optimering Linjär programmering
. Optimering Linjär programmering Ett optimeringprolem etår av: En målfunktion, f(), var maimum, eller minimum ka öka. En eller flera -varialer (elutvarialer om man tr över). Normalt okå ett antal ivillkor
Läs merDigital- och datorteknik
LEU Diital- och datorteknik, Chalmer, / Förelänin # Uppdaterad eptember, Diital- och datorteknik Förelänin # Biträdande proeor Jan Jonon Intitutionen ör data- och inormationteknik Chalmer teknika hökola
Läs merALKOHOL OCH DROGFÖREBYGGANDE ARBETE
procent S NORRMALMS STADSDELSFÖRVALTNING NORRMALMS DNR 499-383/27 LÄNSSTYRELSEN DNR 74-6-15916 SID 1 (35) 27-11- SLUTRAPPORT 26/27 ALKOHOL OCH DROGFÖREBYGGANDE ARBETE Andelen ungdomar om får alkohol från
Läs merFöreningen ska ha ett bankgirokonto eller postgirokonto registrerat i föreningens namn.
SOCIALFÖRVALTNINGEN Riktlinjer för bidrag till ideella föreningar RIKTLINJER SID 1 (8) 1. Bakgrund Socialnämnden töd till ideella föreningar 1 yftar till att tärka den ideella ektorn förutättningar att
Läs merRapport om verksamheten vid Nickgården, Lustigsgården AB.
KUNDORIENTERADE VERKSAMHETER SMTR 2008-03-18 SID 1 (5) 2008-01-23 Handläggare: Ander Fall Telefon: 508 25 608 Till ocialtjäntnämnden Rapport om verkamheten vid Nickgården, Lutiggården AB. 1 bilaga Förlag
Läs merAtt göra en presentation
Verion 2.6, maj -03 Att göra en preentation Sammantälld av Maria Björklund och Ulf Paulon BAKGRUND TILL DENNA SKRIFT Denna krift har tillkommit för att vara en inpirationkälla och ett töd för tudenter
Läs mer1 Suddig logik och gitter
UPPSALA UNIVERSITET Matematiska institutionen Erik Palmgren Kompletterande material Algebra DV2 ht-2000 1 Suddig logik och gitter Suddig logik (engelska: fuzzy logic) är en utvidgning av vanlig boolesk
Läs merAttityder till arbete
C/D-UPPSATS 2005:11 Attityder till arbete En tudie om tudenter attityder till arbete och Luleå kommun om arbetgivare LEA ADERSSO JOAKIM ILSSO SOCIOLOGI C/D Luleå teknika univeritet Intitutionen för Arbetvetenkap
Läs merFlervariabelanalys I2 Vintern Översikt föreläsningar läsvecka 2
Flervariabelanals I Vintern Översikt öreläsningar läsvecka Denna vecka ägnas nästan uteslutande åt problemet att hitta största och minsta värden till en unktion av lera variabler. Vi kommer att studera
Läs merLutande torn och kluriga konster!
Lutande torn och kluriga konster! Aktiviteter för barn under Vetenskapsfestivalens skolprogram 2001 Innehåll 1 Bygga lutande torn som inte faller 2 2 Om konsten att vinna betingat godis i spel 5 3 Den
Läs mer