Aksiom

Aksiom ili postulat prema definiciji u klasičnoj filozofiji, je tvrdnja (u matematici često prikazivana u simboličnom obliku) koja je evidentna ili dobro uspostavljena, te koja je prihvaćena bez kontroverzi ili pitanja. Tako, aksiom može biti korišten kao premisa ili početna tačka za dalje rezonovanje ili argumente, često u logici ili u matematici.[1] Riječ dolazi iz grčkog jezika od axíōma (ἀξίωμα) 'ono što se smatra dostojnim ili sposobnim' ili 'ono što se odaje kao evidentno.'[2][3]

Prema upotrebi u modernoj logici, aksiom je jednostavno premisa ili početna tačka rasuđivanja.[4] Bez obzira da li je smisleno (i, ako je tako, šta to znači) za aksiom, ili bilo koju matematičku tvrdnju, da bude "tačna" je centralno pitanje u filozofiji matematike, pri čemu savremeni matematičari imaju različita mišljenja.[5]

Prema upotrebi u matematici, pojam aksiom se koristi u dvije povezane ali različite cjeline: "logički aksiomi" i "ne-logički aksiomi". Logički aksiomi su obično tvrdnje za koje se smatra da su tačne unutar sistema logike koju definiraju (npr. (A i B) implicira A), dok nelogički aksiomi (npr. a + b = b + a) su zapravo suštinske tvrdnje o elementima domena određene matematičke teorije (kao što je aritmetika). Kada se koriste u drugom slučaju, "akiom", "postulat" i "pretpostavka" su pojmovi koji se naizmjenično koriste. Općenito, nelogički aksiom nije samoevidentirajuća istina, nego formalni logički iskaz korišten u zaključivanju izgradnje matematičke teorije. Kako savremeni matematičari priznaju višestruke, jednako "istinite" sisteme logike, precizno ista stvar mora biti rečena za logičke aksiome - oni oba definiraju i specifični su za određeni sistem logike koji je pozvan. Da bi se sistem znanja aksiomatizirao treba pokazati da njegove tvrdnje mogu biti izvedene iz malih, dobro razumljivih skupova rečenica (aksiomi). Postoji obično nekoliko načina za aksiomatiziranje datih matematičkih domena.

U oba smisla, aksiom je matematička tvrdnja koja služi kao početna tačka od koje se ostale tvrdnje mogu logično izvesti. Unutar sistema koji definišu, aksiomi (osim ako nisu suvišni) ne mogu biti izvedeni iz principa zaključivanja, niti su dokazivi matematičkim dokazima, jednostavno jer su početne tačke; nema ništa drugo iz čega prate logiku jer u suprotnom bi bili grupisani kao teoreme. Ipak, aksiom u jednom sistemu može biti teorema u drugom, i obratno.

Također pogledajte

Reference

  1. ^ "A proposition that commends itself to general acceptance; a well-established or universally conceded principle; a maxim, rule, law" axiom, n., definition 1a. Oxford English Dictionary Online, pristupljeno 28. 4. 2012. Cf. Aristotle, Posterior Analytics I.2.72a18-b4.
  2. ^ Cf. axiom, n., etymology. Oxford English Dictionary, pristupljeno 28. 4. 2012.
  3. ^ Oxford American College Dictionary: "n. a statement or proposition that is regarded as being established, accepted, or self-evidently true. ORIGIN: late 15th cent.: ultimately from Greek axiōma 'what is thought fitting,' from axios 'worthy.' http://www.highbeam.com/doc/1O997-axiom.html[mrtav link] Šablon:Subscription
  4. ^ "A proposition (whether true or false)" axiom, n., definition 2. Oxford English Dictionary Online, pristupljeno 28. 4. 2012.
  5. ^ Maddy, Penelope (juni 1988). "Believing the Axioms, I". Journal of Symbolic Logic. 53 (2): 481–511. doi:10.2307/2274520.

Read other articles:

Artikel ini sebatang kara, artinya tidak ada artikel lain yang memiliki pranala balik ke halaman ini.Bantulah menambah pranala ke artikel ini dari artikel yang berhubungan atau coba peralatan pencari pranala.Tag ini diberikan pada Januari 2023. Real Tonga IATA ICAO Kode panggil RLT Real Tonga Didirikan2013PenghubungBandar Udara Internasional FuaʻamotuTujuan6SloganOur Kingdom AirlineKantor pusatNuku'alofa, TongaTokoh utamaTevita Palu (CEO)Situs web[1] Real Tonga adalah maskapai penerbangan ya...

 

Piala Long Teng 2011 Piala Naga 2011 Informasi turnamenTuan rumahTaiwanJadwalpenyelenggaraan30 September–4 OktoberJumlahtim peserta4Tempatpenyelenggaraan1 (di 1 kota)Hasil turnamenJuara Hong Kong (gelar ke-2)Tempat kedua FilipinaTempat ketiga TaiwanTempat keempat MakauStatistik turnamenJumlahpertandingan6Jumlah gol23 (3,83 per pertandingan)Pemain terbaik Chan Siu KiPencetak golterbanyak Emelio Caligdong (4 gol) ← 2010 2012 → Piala Long Teng 2011 mer...

 

Cannaceae Canna Roma cultivar Klasifikasi ilmiah Kerajaan: Plantae Divisi: Magnoliophyta (tanpa takson): Monokotil (tanpa takson): Commelinids (core Monokotil) Ordo: Zingiberales Famili: CannaceaeJuss., 1789[1] Genus: CannaL. Spesies lihat teks. Sinonim[2] Cannacorus Mill., Gard. Dict. Abr. ed. 4: s.p. (1754). Katubala Adans., Fam. Pl. 2: 67 (1763). Xyphostylis Raf., Fl. Tellur. 4: 52 (1838). Distemon C.D. Bouché, Linnaea 18: 494 (1845). Eurystylus C.D. Bouché, Linnaea 18: ...

Konten dan perspektif penulisan artikel ini hanya berpusat pada sudut pandang dari negara Indonesia dan tidak menggambarkan wawasan global pada subjeknya. Silakan bantu mengembangkan atau bicarakan artikel ini di halaman pembicaraannya, atau buat artikel baru, bila perlu. (Pelajari cara dan kapan saatnya untuk menghapus pesan templat ini) Lokomotif BB200BB 200 07 di Balai Yasa LahatData teknisSumber tenagaDiesel elektrikProdusenGeneral MotorsElectro-Motive Division, Amerika SerikatModelEMD G8...

 

2005 studio album by JunoonInfinitiStudio album by JunoonReleasedJuly 1, 2005RecordedJanuary–May 2005 at Digital Fidelity Studio, in Lahore, Pakistan and Grandview Studios in New York City, United StatesGenreSufi rock, Classical rock, Hard rock, Pop rockLength53:40LabelEMI, Nameless Sufi MusicProducerJohn Alec, Salman AhmadAlternative coverJunooni Cover. Singles from Infiniti Ghoom TaanaReleased: August 8, 2004 Al-VidaReleased: December 4, 2005 Infiniti is the debut album of the sin...

 

American basketball player and coach For the English footballer, see Jim Pollard (footballer). Jim PollardPersonal informationBorn(1922-07-09)July 9, 1922Oakland, California, U.S.DiedJanuary 22, 1993(1993-01-22) (aged 70)Stockton, California, U.S.Listed height6 ft 4 in (1.93 m)Listed weight185 lb (84 kg)Career informationHigh schoolOakland Tech (Oakland, California)CollegeStanford (1940–1942)BAA draft1947: 7th round, 62nd overall pickSelected by the Chicago Sta...

Neoliberalisme dalam hubungan internasional adalah paham yang meyakini bahwa negara seharusnya mengutamakan keunggulan absolut alih-alih keunggulan relatif atas negara lain. Meski kedua teori menggunakan metodologi yang sama—termasuk teori permainan—neoliberalisme berbeda dengan ideologi ekonomi neoliberal. Aktivitas sistem internasional Para pemikir hubungan internasional neoliberal sering menggunakan teori permainan untuk menjelaskan sebab negara mau atau tidak mau bekerja sama;[1&#...

 

Joel KinnamanKinnaman di San Diego Comic Con 2016LahirCharles Joel Nordström Kinnaman25 November 1979 (umur 44)Stockholm, SwediaKebangsaanSwediaAmerika SerikatPekerjaanAktorTahun aktif1990–sekarangSuami/istriCleo Wattenström ​ ​(m. 2015; bercerai 2018)​PasanganKelly Gale (2019–sekarang) Charles Joel Nordström Kinnaman (pengucapan bahasa Swedia: [ˈjǔːɛl ˈkɪ̂nːaˌman]; lahir 25 November 1979[1]) adalah seoran...

 

Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus. Cet article ne cite pas suffisamment ses sources (septembre 2023). Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ». En pratique : Quelles sources sont attendues ?...

2021 Indian action crime film JailTheatrical release posterDirected byVasanthabalanWritten byS. RamakrishnanBakkiyam ShankarPon ParthibanProduced bySk kailash film internationalStarringG. V. Prakash KumarAbarnathiRadhika SarathkumarCinematographyGanesh ChandhrraEdited byRaymond Derrick CrastaMusic byG. V. Prakash KumarProductioncompanyKrikes Cine CreationsDistributed byStudio GreenRelease date 9 December 2021 (2021-12-09) CountryIndiaLanguageTamil Jail is a 2021 Indian Tamil-la...

 

2019 film by Kevin Kölsch and Dennis Widmyer Pet SemataryTheatrical release posterDirected by Kevin Kölsch Dennis Widmyer Screenplay byJeff BuhlerStory byMatt GreenbergBased onPet Semataryby Stephen KingProduced by Lorenzo di Bonaventura Mark Vahradian Steven Schneider Starring Jason Clarke Amy Seimetz John Lithgow CinematographyLaurie RoseEdited bySarah BrosharMusic byChristopher YoungProductioncompanies Di Bonaventura Pictures Room 101, Inc. Distributed byParamount PicturesRelease dates M...

 

Contemporary hit radio station in Akron, Ohio, serving Cleveland For other uses, see Waks (disambiguation). WAKSAkron, OhioUnited StatesBroadcast areaGreater Cleveland–Northeast OhioFrequency96.5 MHz (HD Radio)Branding96.5 KISS-FMProgrammingLanguage(s)EnglishFormatContemporary hit radioSubchannelsHD2: Mainstream urbanAffiliationsPremiere NetworksOwnershipOwneriHeartMedia(iHM Licenses, LLC)Sister stationsWARFWGAR-FMWHLKWMJIWMMS (HD2)WTAMHistoryFirst air dateMarch 12, 1958(66 years ago)&...

هنودمعلومات عامةنسبة التسمية الهند التعداد الكليالتعداد قرابة 1.21 مليار[1][2]تعداد الهند عام 2011ق. 1.32 مليار[3]تقديرات عام 2017ق. 30.8 مليون[4]مناطق الوجود المميزةبلد الأصل الهند البلد الهند  الهند نيبال 4,000,000[5] الولايات المتحدة 3,982,398[6] الإمار...

 

周處除三害The Pig, The Snake and The Pigeon正式版海報基本资料导演黃精甫监制李烈黃江豐動作指導洪昰顥编剧黃精甫主演阮經天袁富華陳以文王淨李李仁謝瓊煖配乐盧律銘林孝親林思妤保卜摄影王金城剪辑黃精甫林雍益制片商一種態度電影股份有限公司片长134分鐘产地 臺灣语言國語粵語台語上映及发行上映日期 2023年10月6日 (2023-10-06)(台灣) 2023年11月2日 (2023-11-02)(香�...

 

Військово-музичне управління Збройних сил України Тип військове формуванняЗасновано 1992Країна  Україна Емблема управління Військово-музичне управління Збройних сил України — структурний підрозділ Генерального штабу Збройних сил України призначений для планува...

Mexican political party Institutional Revolutionary Party Partido Revolucionario InstitucionalPresidentAlejandro Moreno CárdenasSecretary-GeneralCarolina Viggiano AustriaSenate LeaderManuel Añorve BañosChamber LeaderRubén Moreira ValdezFounderPlutarco Elías CallesFounded4 March 1929 (as PNR)30 March 1938 (as PRM)18 January 1946 (as PRI)Split fromLaborist PartyHeadquartersAv. Insurgentes Norte 59 col. Buenavista 06359 Cuauhtémoc, Mexico CityNewspaperLa RepúblicaYouth wingRed Jóven...

 

Questa voce o sezione sull'argomento Sparatutto non cita le fonti necessarie o quelle presenti sono insufficienti. Puoi migliorare questa voce aggiungendo citazioni da fonti attendibili secondo le linee guida sull'uso delle fonti. Segui i suggerimenti del progetto di riferimento. Half-Life 2videogiocoPiattaformaWindows, macOS, Linux, Xbox, Xbox 360, PlayStation 3, Android Data di pubblicazioneMicrosoft Windows:16 novembre 2004Xbox:15 novembre 2005Xbox 360:10 otto...

 

Caribbean telecommunications provider This article contains content that is written like an advertisement. Please help improve it by removing promotional content and inappropriate external links, and by adding encyclopedic content written from a neutral point of view. (January 2019) (Learn how and when to remove this message) FlowIndustryTelecommunicationsHeadquartersMiami, FloridaProductsFibre broadband, Cable broadband, ADSL, VDSL & VDSL2 broadband, Mobile Broadband, TV, Landline, Mobil...

Pieter ClaeszVanitas with Violin and Glass Ball (detail); the artist is visible in the reflection, 1625LahirPieter Claesz1597BerchemMeninggal1660 (umur 62–63)HaarlemKebangsaanBelandaDikenal atasLukisanGerakan politikBaroque Pieter Claesz (c. 1597–1 January 1660) adalah pelukis Zaman Keemasan Belanda dari still life Biografi Vanitas with the Spinario Ia lahir di Berchem, Belgia, dekat Antwerp, di mana ia menjadi anggota Guild of St. Luke pada tahun 1620. Ia pindah ke Haarlem pada...

 

Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus. Cet article ne cite pas suffisamment ses sources (octobre 2023). Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ». En pratique : Quelles sources sont attendues ? C...