Sats (logik)
 |
Den här artikeln behöver källhänvisningar för att kunna verifieras. (2015-02) Åtgärda genom att lägga till pålitliga källor (gärna som fotnoter). Uppgifter utan källhänvisning kan ifrågasättas och tas bort utan att det behöver diskuteras på diskussionssidan. |
En sats är inom logik och filosofi ett påstående som kan vara sant eller falskt i en viss tolkning. Man skiljer vanligtvis mellan satsens språkliga form (det språkliga uttrycket, meningen, en. sentence, ty. Satz) och satsens tankeinnehåll (försanthållandet, en. proposition, ty. Urteil). En central fråga för filosofin är vad det egentligen innebär att en sats är "sann", och hur detta förhåller sig till de olika betydelserna av begreppet.[1]
Satser i predikatlogik
I predikatlogik är satser välbildade formler som inte innehåller några obundna variabler.[2] En predikatlogisk sats uttrycker ett bestämt påstående som kan vara sant eller falskt beroende på hur den tolkas i den aktuella modellen. Formler får även innehålla obundna variabler. Satser kallas även slutna utsagor och uttrycker bestämda påståenden. Formler som inte är satser kallas även öppna utsagor.
Exempel
F1: x är ett primtal F2: 7 är ett primtal F3: 5 + 7 = 12 F4: 5 + x = 12 F5: Alla primtal är udda F6: (x + y)(x - y) = x2 - y2
F1 – F6 ovan är exempel på utsagor som kan formaliseras i första ordningens predikatlogik. F2 och F3 är exempel på satser som båda är sanna (i "standardtolkningen" av de ingående termerna). Om F1 och F4 är sanna eller falska beror av vilket värde x tilldelas (de är öppna utsagor). Om till exempel x = 9 i F1, så är F1 falsk i standardtolkningen. F2 och F3 kallas instanser till F1 respektive F4. Även F5 är en sats. En predikatlogisk formalisering av den skulle innehålla en bunden variabel men inga obundna. F5 är falsk i standardtolkningen. F6 (även känd som "konjugatregeln") är ett exempel på en utsaga som inte är en sats utan en öppen utsaga. Visserligen kommer formeln få sanningsvärdet "sant" oavsett vilka värden x och y tilldelas (vi förutsätter att domänen är de reella talen), men F6 är trots det inte en sats eftersom den innehåller två obundna variabler.
Referenser
- ^ Wright, Georg Henrik von (1993). Logik, filosofi och språk: strömningar och gestalter i modern filosofi ([Ny utg.]). Nora: Nya Doxa. sid. 170. Libris 7769988. ISBN 91-88248-21-6
- ^ Bennet, Christian. ”Första ordningens logik” (PDF). Göteborgs universitet. sid. 30. http://gul.gu.se/public/pp/public_courses/course67422/published/1416925130729/resourceId/27991302/content/F%C3%B6rsta%20ordningens%20logik.pdf. Läst 18 februari 2015.
Se även
| ||||||||||||||||||||||||||||||||||||||
