Formel logik

formel logik er logik, der beskæftiger sig med formen eller den logiske struktur af udsagn og propositioner og de logiske implikationer og relationer, der findes eller opstår på grund af disse logiske former. I særdeleshed, formel logik vedrører de former, der giver eller garanterer gyldige slutninger fra en forudsætning eller lokaler til en konklusion. Formel logik er en delmængde af formelle systemer. I dag udføres formel logik normalt i symbolsk form, skønt dette ikke er strengt nødvendigt for at have en formel logik. Formel logik kan skelnes fra uformel logik, som er logik uden for eller bortset fra et formelt logisk system eller teori.

typer af formel logik

formel logik omfatter prædikatlogik, sandhedsfunktionel logik, sententiel eller propositionel logik (sætningenes logik)-også kendt som propositionel beregning—kvantificeringslogik (logikken i udsagn, der indeholder udtrykkene “alle”, “ingen” eller “nogle” eller surrogater for dem), matematisk logik og sætteoretisk logik (sætteoriens logik).

emner og emner

blandt de emner, der er omfattet af formel logik, er: oversættelse af udsagn fra et naturligt sprog (såsom engelsk, spansk eller japansk) til formelt logisk sprog; logisk ækvivalens, logisk sandhed, modsætninger og tautologier; gyldighed og ugyldighed; sandhed-bevarelse af sætninger; logisk sundhed; betingelser og deres logik (“Hvis___, derefter…”erklæringer); sandhedstabeller; fradrag, både naturlige fradrag og formelle fradrag; velformede formler (kendt som VFFS); logiske operatorer og deres definitioner og sandhedsbetingelser (især “og” “eller” “ikke” Og “hvis-så”); kvantificerings-og kvantificeringslogik; identitet og lighed (“=”- tegnet), logiske funktioner og bestemte beskrivelser( en beskrivelse, der gælder korrekt for en individuel person eller objekt); aksiomer og aksiomatiske systemer; aksiomer til matematik; aksiomer til sætteori; gyldige afledningsregler, der betyder principper eller regler for korrekt at udlede udsagn fra aksiomer eller andre antagelser på en sådan måde, at hvis disse præmisser eller aksiomer eller antagelser er sande, er det, der er afledt, også nødvendigvis sandt; eksistens inden for et logisk system variabler teorien om typer (fra Russell og Hvidhovedets Principia Mathematica); konsistens og fuldstændighed af logiske og andre formelle systemer eliminering af unødvendige sætninger og aksiomer logisk substitution og udskiftning af udtryk og udsagn; loven om refleksivitet (hvis=y), symmetri (hvis=y, derefter y=) og transitivitet (hvis=y og y=å), logikken i relationer, modal logik (brug af begreberne nødvendighed, mulighed, streng implikation og streng co-implikation); spændt logik (“altid”, “på et tidspunkt” og lignende operatører) og logiske paradokser.blandt de vigtigste bidragydere til formel logik har været Gottlob Frege, Bertrand Russell og Alfred North hvidhoved, Alfred Tarski, Kurt G.

alle logiske lærebøger—og der er hundreder og muligvis tusinder af dem i dag—bortset fra de få, der kun beskæftiger sig med uformel logik, præsenterer formel logik i det mindste til en vis grad.

alle links hentet 19.April 2017.

  • Teller, Paul. En moderne formel logik Primer
  • formel logik bjerg matematik.
  • illustrerer formel logik med udelukkelse diagrammer Russell Johnston og LogicTutorial.com, 1987.
  • en introduktion til symbolsk logik
  • Notre Dame Journal of Formal Logic Notre Dame ‘s Philosophy Department, Notre Dame’ s Math Department, University of Notre Dame.Stanford Encyclopedia of Philosophy entry (udvalgte artikler):
    • Provabilitetslogik
    • Hybridlogik
    • Forbindelseslogik
    • Parakonsistent logik
    • uformel logik
    • relevans logik
    • lineær logik
    • epistemisk logik
    • Intuitionistisk logik
    • propositionelle Konsekvensrelationer og Algebraisk logik
    • uklar logik logik

generelle filosofi kilder

  • Stanford Encyclopedia of Philosophy
  • Paideia project online
  • Project Gutenberg

credits

denne artikel begyndte som et originalt værk forberedt til ny verdens encyklopædi og leveres til offentligheden i henhold til vilkårene i NY verdens Encyclopedia:Creative Commons CC-by-sa 3.0 licens (CC-by-sa), som kan bruges og formidles med korrekt tilskrivning. Eventuelle ændringer i den oprindelige tekst siden da skaber et afledt værk, som også er CC-BY-sa licenseret. For at citere denne artikel skal du klikke her for en liste over acceptable citeringsformater.

Bemærk: nogle begrænsninger kan gælde for brug af individuelle billeder, der er separat licenseret.

Skriv et svar

Din e-mailadresse vil ikke blive publiceret.