Paketti (logiikka)
Oletus on väite , jonka tarkoituksena on perustella tai selittää jokin väite [1] . Logiikassa argumentti on joukko väitteitä (tai " arvioita "), joista osa on premissioita ja toiset positiiviset väitteet (tai väitteet) ovat loogisia johtopäätöksiä .
Aristoteles väitti, että mikä tahansa looginen argumentti voidaan pelkistää kahteen premissioon ja johtopäätökseen [2] . Paketit jätetään joskus pois, jolloin niitä kutsutaan jätetyiksi tiloiksi, esim.
Sokrates on kuolevainen, koska kaikki ihmiset ovat kuolevaisia.
On selvää, että Sokrates on mies (tämä lähtökohta on jätetty pois). Laajennettu argumentti olisi:
Koska kaikki ihmiset ovat kuolevaisia ja Sokrates on mies, tästä seuraa, että Sokrates on kuolevainen.
Tässä esimerkissä kaksi ensimmäistä itsenäistä väitettä - "kaikki ihmiset ovat kuolevaisia" ja "Sokrates on mies" - ovat lähtökohdat, kun taas "Sokrates on kuolevainen" on johtopäätös.
Johtopäätöksen todiste riippuu sekä molempien premissien totuudesta että väitteen pätevyydestä.
Muistiinpanot
- ↑ "Argumentti: joukko lausuntoja, joista jotkut ( oletukset ) ovat syitä hyväksyä toiset, johtopäätökset ": Cambridge Dictionary of Philosophy, 2. painos. (Cambridge University Press), toim. Robert Audi, 43.
- ↑ p216, Jan Gullberg , Matematiikka numeroiden syntymästä, W. W. Norton & Company; ISBN 039304002X ISBN 978-0393040029
 Sanakirjat ja tietosanakirjat |
|---|
| Logiikka | |||||||||
|---|---|---|---|---|---|---|---|---|---|
| Filosofia • Semantiikka • Syntaksi • Historia | |||||||||
| Logiikkaryhmät |
| ||||||||
| Komponentit |
| ||||||||
| Luettelo loogisista symboleista | |||||||||