I logiken är dess lagar. Huvuddelen av dem är fyra. Tre av dem bildades av Aristoteles. Aristoteles logik är lagen om icke-motsägelse, av den uteslutna tredje, av identitet. Mycket senare tillsattes en lag till de grundläggande lagarna - en lag med tillräcklig orsak.
Lagarna i propositionell logik har ett direkt förhållande till absolut all resonemang. Den logiska formen, liksom den operation som utförts av denna resonemang, har ingen betydelse alls.
Det finns ytterligare lagar av logik. De inkluderar:
Olika lagar bygger också på dessa lagar. De ger en koppling av tankar.
Logiklagar
Den första lagen är identitetslag. Bottom line är det i någon tanke i processenresonemang, det måste finnas något klart inre innehåll. Det är också viktigt att detta innehåll inte förändras i processen. Säkerhet i viss mening är en grundläggande egenskap att tänka. På grundval av detta är lagen om identitet härledd: alla tankar måste vara helt identiska med sig själva. Olika tankar kan inte identifieras under några omständigheter. Ofta bryts denna lag av det faktum att samma tankar uttrycks på olika sätt. Också problem uppstår när ett ord används som har flera mycket olika betydelser. I det här fallet kan tankar identifieras felaktigt.
Identifiering av oförenliga tankar oftainträffar när dialogen utförs av personer i olika yrken, som skiljer sig från varandra på utbildningsnivå och så vidare. Identifiering av olika begrepp är ett allvarligt logiskt fel, vilket i vissa fall medger medvetet.
Lagarna i logiken inkluderar lagen om icke-motsägelse. Till att börja med är logiskt tänkandetänkandet är konsekvent. Varje motsägelsefull tanke kan väsentligt hindra kognitionsprocessen. Formell-logisk analys baseras på nödvändigheten av icke-motsägelsefullt tänkande: om det finns två motsägelsefulla begrepp, måste minst en av dem vara falsk. Samtidigt kan de inte vara sanna under några omständigheter. Denna lag kan endast handla om två helt motsägelsefulla domar.
Lag som uteslutits tredje ingår också i de grundläggande lagarna i logiken. Dess effekt sträcker sig till motstridiga bedömningar. Grunden är att två motsatta domar inte är falska samtidigt - en är nödvändigtvis sann. Låt oss notera att motsägelsefulla propositioner kallar sådana uttalanden, varav en förnekar något om ämnet eller fenomenet i vår värld, och den andra i samma ögonblick upprätthåller samma sak om samma fenomen eller föremål. I vissa fall kan det inte vara ganska ett fenomen eller ett objekt, men bara om en viss del. Om det är möjligt att bevisa sanningen om en av de motsägelsefulla domarna, bevisas den andra falskheten automatiskt.
Fullbordar logikens lagar lag av goda skäl. Han uttrycker dessa krav sompresenteras för tankens giltighet. Grunden är att någon orsak som har en tillräcklig grund kan erkännas som sant. Med andra ord, om det finns en idé, så måste det finnas rättfärdigande. I de flesta fall är en persons erfarenhet en tillräcklig grund. I vissa fall är det bara möjligt att bevisa sanningen bara genom att ge fakta, extra informationssamling och så vidare. För att bekräfta vissa fall behöver man inte utnyttja någon erfarenhet för att bekräfta sanningen - i världen finns det många axiomer, det vill säga det som inte behöver något bevis.
</ p>