Modus sätter ponens

Modus sätter ponens
Aristoteles, far till filosofisk logik

Vad är Modus sätter ponens?

han Modus sätter ponens Det är en typ av logiskt argument, av motiverad slutsats, som tillhör det formella systemet för avdragsreglerna för den kända propositionslogiken. Denna argumenterande struktur är den första riktlinjen som överförs i propositionell logik och är direkt relaterad till villkorade argument.

Argumentet Modus sätter ponens Det kan ses som en två -gelgad syllogism, som istället för att använda en tredje term som fungerar som en länk, snarare använder en villkorad mening som den relaterar elementbakgrunden till det därmed elementet.

När vi lämnar konventioner kan vi se Modus sätter ponens som en procedur (modus) av avdragsstandarderna, som genom påståendet (putt) av en antecedent eller referens (ett tidigare element), lyckas hävda (Ponens) till en följd eller slutsats (ett senare element).

Denna rimliga formulering av två förslag eller lokaler. Den försöker kunna dra genom dessa en slutsats att, trots att de är implicit och konditionerade inom argumentet, kräver ett dubbelt uttalande - både termen som föregår sig - för att kunna betraktas som en följd.

ursprung

Detta bekräftande läge, som en del av tillämpningen av deduktiv logik, har sitt ursprung i forntida tider. Dök upp från handen av den grekiska filosofen Aristoteles of Estagira, från fjärde århundradet till. C.

Aristoteles uppvuxen med Modus Ponens -som det också kallas- att få en motiverad slutsats genom validering av både ett prejudikat och en följd i en premiss. I denna process elimineras antecedenten, vilket bara är det därmed.

Den helleniska tänkaren ville lägga grunden för beskrivande logiska resonemang för att förklara och föreställa alla fenomen nära människans existens, produkt av hans interaktion med miljön.

Kan tjäna dig: mytiskt tänkande: ursprung, egenskaper, exempel

Etymologi

han Modus sätter ponens har sina rötter på latin. På det spanska språket är den betydelsen: "En metod som bekräftar (hävdar), säger (hävdar)", eftersom den, som nämnts ovan, består av två element (en antecedent och en följd) bekräftande i dess strukturering.

Förklaring

I allmänna termer, Modus sätter ponens Korrelation Två förslag: En uppåtgående antecedent som kallas "P" och en följdkonditionerad som kallas "Q".

Det är viktigt att förutsättningen 1 alltid presenterar konditioneringsformuläret "Si-Even"; "Ja" är före det föregående, och "då" är före det därmed.

Dess formulering är som följer:

  • Förutsättning 1: Ja "P" då "Q".
  • Premiss 2: "P".
  • Slutsats: "Q".

Exempel

Första exemplet

  • Förutsättning 1: "Om du vill spendera morgondagens tentamen måste du studera mycket".
  • Premiss 2: "Du vill spendera morgondagens tentamen".
  • Avslutande: "Därför måste du studera mycket".

Andra exempel

  • Förutsättning 1: "Om du vill komma till skolan snabbt, måste du ta den vägen".
  • Premiss 2: "du vill komma till skolan snabbt".
  • Avslutande: "Därför måste du ta den vägen".

Tredje exempel

  • Förutsättning 1: "Om du vill äta fisk, måste du köpa på marknaden".
  • Premiss 2: "du vill äta fisk".
  • Avslutande: "Därför måste du köpa på marknaden".

Varianter och exempel

han Modus sätter ponens kan presentera små varianter i sin formulering. De fyra vanligaste varianterna kommer att presenteras nedan med sina respektive exempel.

Variant 1

  • Förutsättning 1: Ja "P" då "¬q".
  • Premiss 2: "P".
  • Slutsats: "¬q".

I detta fall liknar symbolen "¬" förnekandet av "Q".

Första exemplet

  • Förutsättning 1: "Om du fortsätter att äta på det sättet, kommer du inte att uppnå din ideala vikt".
  • Premiss 2: "du fortsätter att äta på det sättet".
  • Slutsats: "Därför kommer du inte att uppnå din ideala vikt".
Kan tjäna dig: 13 exempel på etiska problem i världen

Andra exempel

  • Förutsättning 1: "Om du fortsätter att äta så mycket salt, kommer du inte att kunna kontrollera hypertoni".
  • Premiss 2: "du fortsätter att äta så mycket salt".
  • Slutsats: "Därför kommer du inte att kunna kontrollera hypertoni".

Tredje exempel

  • PREMISE 1: "Om du väntar på vägen, kommer du inte att missa".
  • Premiss 2: "du väntar på vägen".
  • Slutsats: "Därför kommer du inte att missa".

Variant 2

  • Förutsättning 1: Ja "P"^"R" då "Q".
  • Premiss 2: "p"^.
  • Slutsats: "Q".

I detta fall hänvisar symbolen "^" till den kopulativa konjunktionen "y", medan "r" kommer att representera en annan antecedent som läggs till för att validera "Q". Det vill säga vi är i närvaro av en dubbel konditionering.

Första exemplet

  • Förutsättning 1: "Om du kommer hem och tar med popcorn, ser vi en film".
  • Premiss 2: "Du kommer hem och tar med popcorn".
  • Slutsats: "Därför kommer vi att se en film".

Andra exempel

  • Förutsättning 1: "Om du kör och ser mobiltelefonen kommer du att kollidera".
  • Premiss 2: "Du kör full och tittar på mobiltelefonen".
  • Slutsats: "Därför kommer du att kollidera".

Tredje exempel

  • Förutsättning 1: "Om du dricker kaffe och äter choklad, tar du hand om ditt hjärta".
  • Premiss 2: "du tar kaffe och äter choklad".
  • Slutsats: "Därför tar du hand om ditt hjärta".

Variant 3

  • Förutsättning 1: Ja "¬p" då "Q"
  • Premiss 2: "¬p"
  • Slutsats: "Q"

I detta fall liknar symbolen "¬" förnekandet av "P".

Första exemplet

  • Förutsättning 1: "Om du inte studerade vokala samtidigt, kommer du att skrapa ut den språkliga examen".
  • Premiss 2: "Du studerade inte vokala samtidigt".
  • Slutsats: "Därför kommer du att misslyckas med den språkliga examen".

Andra exempel

  • Premiss 1: "Om du inte ger mat till din papegoja, dör sedan".
  • Premiss 2: "Ge inte mat till din papegoja".
  • Slutsats: "Därför kommer den att dö".
Kan tjäna dig: etiskt ansvar

Tredje exempel

  • Premiss 1: "Om du inte dricker vatten, kommer du att dehydrera".
  • Premiss 2: "Drick inte vatten".
  • Slutsats: "Därför kommer du att dehydrera".

Variant 4

  • Premiss 1: ja "p" då "q"^"r"
  • Premiss 2: "P"
  • Slutsats: "Q"^"r".

I detta fall hänvisar symbolen "^" till den kopulativa konjunktionen "y", medan "r" representerar en andra följd i förslaget; Därför kommer en antecedent att bekräfta två följd samtidigt.

Första exemplet

  • Förutsättning 1: "Om du var bra med din mamma, kommer din far att ge dig en gitarr och hennes strängar".
  • Premiss 2: "du var bra med din mamma".
  • Slutsats: "Därför kommer din far att ge dig en gitarr och hans strängar".

Andra exempel

  • Förutsättning 1: "Om du utövar simning, kommer du att förbättra ditt fysiska motstånd och gå ner i vikt".
  • Premiss 2: "du utövar simning".
  • Slutsats: "Därför kommer du att förbättra ditt fysiska motstånd och gå ner i vikt".

Tredje exempel

  • Förutsättning 1: "Om du har läst den här artikeln i Lofede, har du lärt dig och du är mer beredd".
  • Förutsättning 2: "Du har läst den här artikeln i Lofede".
  • Slutsats: "Därför har du lärt dig och du är mer beredd".

Modus Ponens, En väg till logik

han Modus Ponens representerar den första regeln om propositionell logik. Det är ett koncept som, baserat på enkla förutsättningar, öppnar förståelsen djupaste resonemang.

Trots att den är en av de mest använda resurserna i logikvärlden kan den inte förväxlas med en logisk lag; Det är helt enkelt en metod för utarbetande av deduktiva bevis.

Genom att undertrycka en straff av slutsatserna, Modus Ponens Undvik agglutination och omfattande sammankoppling av element vid förberedelser. För den kvaliteten kallas det också "separationsregel".

han Modus sätter ponens Det är en oumbärlig resurs för full kunskap om aristotelisk logik.