Formell logikk

Formell logikk er logikk som omhandler form eller logisk struktur av uttalelser og proposisjoner og de logiske implikasjoner og relasjoner som eksisterer eller kommer om på grunn av disse logiske former. Spesielt er formell logikk opptatt av skjemaene som gir eller garanterer gyldige slutninger fra en premiss eller premisser til en konklusjon. Formell logikk er en delmengde av formelle systemer. I dag utføres formell logikk vanligvis i symbolsk form, selv om dette ikke er strengt nødvendig for å ha en formell logikk. Formell logikk kan skilles fra uformell logikk, som er logikk utenfor eller bortsett fra et formelt logisk system eller teori.

Typer Formell Logikk

Formell logikk omfatter predikatlogikk, sannhet-funksjonell logikk, sentential eller propositional logikk—setningens logikk) – også kjent som propositional calculus-quantification logic (logikken til setninger som inneholder uttrykkene «alle», «ingen» eller «noen» eller surrogater for dem), matematisk logikk og sett teoretisk logikk (logikken til settteori).

Emner og Problemstillinger

blant temaene som dekkes i formell logikk er: oversettelse av uttalelser fra et naturlig språk (som engelsk, spansk eller Japansk) til formelt logisk språk; logisk ekvivalens, logisk sannhet, motsetninger og tautologier; gyldighet og ugyldighet; sannhet-bevaring av teoremer; logisk soliditet; conditionals og deres logikk («hvis___, da…»uttalelser); sannhetstabeller; fradrag, både naturlige fradrag og formelle fradrag; velformede formler (kjent som wffs); logiske operatorer og deres definisjoner og sannhetsbetingelser (spesielt » og «»eller «»ikke» og «hvis-da»); kvantifiserings-og kvantifiseringslogikk; identitet og likestilling («=»- tegnet), logiske funksjoner og bestemte beskrivelser (en beskrivelse som gjelder riktig for en enkeltperson eller et objekt); aksiomer og aksiomatiske systemer; aksiomer for matematikk; aksiomer for mengdelære; gyldige avledningsregler, som betyr prinsipper eller regler for korrekt utlede uttalelser fra aksiomer eller andre forutsetninger på en slik måte at hvis disse premissene eller aksiomene eller antagelsene er sanne, er det som er avledet, også nødvendigvis sant; eksistens innenfor et logisk system; variabler; typeteorien (Fra Russell og Whiteheads Principia Mathematica); konsistens og fullstendighet av logiske og andre formelle systemer; eliminering av unødvendige teoremer og aksiomer; logisk substitusjon og erstatning av vilkår og uttalelser; lovene om refleksivitet (x=x), symmetri (hvis x=y, så y=x) og transittivitet (hvis x=y og y=z, så x=z), relasjonens logikk, modal logikk (bruk av begrepene nødvendighet, mulighet, streng implikasjon og streng medimplikasjon); spent logikk («alltid», «på et tidspunkt» og lignende operatører) og logiske paradokser.blant de viktigste bidragsyterne til formell logikk har Vært Gottlob Frege, Bertrand Russell Og Alfred North Whitehead, Alfred Tarski, Kurt Gö, Alonzo Church og Willard Van Orman Quine.Alle logiske lærebøker—og det er hundrevis og muligens tusenvis av dem i dag-bortsett fra de få som bare arbeider med uformell logikk, presenterer formell logikk i det minste til en viss grad.

alle lenker besøkt 19.April 2017.

  • Teller, Paul. En Moderne Formell Logikk Primer
  • Formell logikk Fjellet Matematikk Programvare.
  • Illustrerer Formell Logikk Med Ekskluderingsdiagrammer Russell Johnston og LogicTutorial.com 1987.En introduksjon til symbolsk logikk Notre Dame Journal Of Formal Logic Notre Dame Filosofi Avdeling, Notre Dame Matematikk Avdeling, University Of Notre Dame.
  • Stanford Encyclopedia Of Philosophy oppføring (utvalgte artikler):
    • Hybrid Logikk
    • Connexive Logikk
    • Paraconsistent Logikk
    • Arthur Prior
    • Relevans Logikk
    • Lineær Logikk
    • Epistemisk Logikk
    • Intuitionistisk Logikk
    • Propositional Konsekvens Relasjoner Og Algebraisk Logikk
    • Fuzzy Logikk

generell filosofi kilder

  • stanford encyclopedia Of Philosophy
  • internett encyclopedia Of Philosophy
  • Paideia project online
  • prosjekt gutenberg
  • credits

    Denne Artikkelen det begynte som et originalt verk utarbeidet For New World Encyclopedia og er gitt til publikum i henhold Til vilkårene I New World Encyclopedia:Creative Commons CC-by-sa 3.0 License (CC-by-sa), som kan brukes og spres med riktig navngivelse. Eventuelle endringer i den opprinnelige teksten siden da skaper et avledet arbeid som OGSÅ ER CC-by-sa lisensiert. For å sitere denne artikkelen klikk her for en liste over akseptable siterer formater.

    Merk: enkelte begrensninger kan gjelde for bruk av enkeltbilder som er lisensiert separat.

Legg igjen en kommentar

Din e-postadresse vil ikke bli publisert.