Medlem : Innlogging |Registrering |Last opp kunnskap
Søk
Bivalens prinsipp [Modifisering ]
I logikken sier det semantiske prinsippet (eller loven) om bivalens at hver deklarativ setning som uttrykker et forslag (av en teori under inspeksjon) har nøyaktig en sannhetsverdi, enten sann eller falsk. En logikk som tilfredsstiller dette prinsippet kalles en toverdig logikk eller bivalent logikk.
I formell logikk blir prinsippet om bivalens en egenskap som en semantikk kan eller ikke har. Det er imidlertid ikke det samme som loven om utelukket middel, og en semantikk kan tilfredsstille den loven uten å være bivalent.
Prinsippet om bivalens er studert i filosofisk logikk for å løse spørsmålet om hvilke natursprogede uttalelser har en veldefinert sannhet. Setninger som forutsier hendelser i fremtiden, og setninger som virker åpne for tolkning, er spesielt vanskelige for filosofer som mener at prinsippet om bivalens gjelder for alle deklarative natursprogede uttalelser. Mange verdsatte logikker formaliserer ideer om at en realistisk karakterisering av begrepet konsekvens krever admissibility av lokaler som på grunn av uskyldighet, temporal eller kvantitetsindeterminitet eller referansefeil ikke kan betraktes som klassisk bivalent. Referansefeil kan også adresseres av gratis logikk.
[Sannhet verdi]
1.Forhold til loven i den ekskluderte midten
2.Klassisk logikk
3.Suszkos avhandling
4.kritikk
4.1.Fremtidige kontingenter
4.2.vaghet
[Last opp Mer Innhold ]


Copyright @2018 Lxjkh