Cuvântul "axiom", în plus, are înțelesurile:
- Perrin. ceea ce nu necesită nici o dovadă
- afirmația, negarea adevărului, care neagă baza gândirii logice
Axiomatizarea teoriei este o indicație explicită a termenului finit sau numărare. enumerare recursiv (cum ar fi axiomatice în Peano) set de axiome și reguli de inferență. Odată dat numele obiectelor studiate și relațiile și axiomele lor de bază pe care aceste relații ar trebui să asculte toate expunerea în continuare trebuie să se bazeze exclusiv pe aceste axiome, fără a se baza pe sensul de beton obișnuit al acestor obiecte și relațiile lor. Aserțiunile bazate pe axiome sunt numite teoreme. Din punct de vedere formal, axiomele însele se numără printre teoreme.
Exemple de seturi diferite de axiome, dar echivalente, pot fi găsite în logica matematică și geometria euclidiană.
Se spune că un set de axiome este consecvent. dacă nu putem ajunge la o contradicție față de axiomele unui set, folosind regulile logicii, adică să dovedim simultan atât o anumită afirmație, cât și negarea ei. Axiomele sunt un fel de "puncte de referință" (fapte) pentru construirea oricărei științe, în timp ce ele însele nu sunt dovedite, ci provin direct din observația empirică (experiența).
Pentru prima dată, termenul "axiom" apare în Aristotel (384-322 î.Hr.) și a trecut în matematică de la filozofii Greciei antice. Euclid face distincția între noțiunile "postulat" și "axiom", fără a-și explica diferențele. Din vremea lui Boethius, postulatele sunt traduse ca cerințe (petitio), axiome - ca concepte generale. Inițial cuvântul "axiom" avea înțelesul "adevăr, evident în sine". În diferitele manuscrise ale elementelor Euclidului, împărțirea afirmațiilor în axiome și postulate este diferită, ordinea lor nu se potrivește. Probabil cărturarii au păstrat opinii diferite cu privire la diferența dintre aceste concepte.
literatură
- Începutul lui Euclid. Cărțile I-VI. M.-L. 1950
- Gilbert D. Fundamentele geometriei. M.-L. 1948
Urmăriți ce este "postulat" în alte dicționare:
reguli abstracte - termenul teoria filosofică, juridică introduse de GWF Hegel pentru a desemna un set de principii fundamentale ale justiției și legiferări, precedent și determinarea formării, funcționarea și aspectele importante ale legii ... ... Modern Filozofic Dictionary
Metapsychology (metapsychology) - Literal, termenul M înseamnă ceea ce este „în spatele“ psihologia sau „in spatele“, ea, precum și termenul de „metafizică“ înseamnă că ceea ce este „dincolo de“ fizica, sau „în spatele“ ea. Aceste două valori sunt legate, dar nu identice. Asta, ... ... Enciclopedie psihologică
Virtual realitate, virtuala, virtualitate - (realitatea virtuală engleză din virtuală real, virtute virtutea, demnitatea, cf. potențialul latin Virtus, posibil, vitejie, energie, putere, precum și un material imaginar, imaginar, latina REALIS nu exista .... ) I). În ... ... Istoria filosofiei: Enciclopedie
Dialectica - (din dialectica greaca (techne) arta conversatiei, disputa) filos. o teorie care afirmă contradicția inerentă a tot ceea ce există și este imaginabilă și consideră că această contradicție este principala sau chiar singura sursă a oricărei mișcări și ... ... Enciclopedia filosofică
LIBERTATEA VOII - conceptul de filozofie morală europeană, în cele din urmă format de I. Kant în sensul abilității inteligibile a individului de a se autodetermină moral. În retrospectivă (înainte sau după teoriile post-kantiene), termenul "Sf." Poate fi considerat ... ... Enciclopedie filosofică
Virtual realitate, virtuala, virtualitate - (realitatea virtuală engleză din virtuală real, virtute virtutea, demnitatea, cf. potențialul latin Virtus, posibil, vitejie, energie, putere, precum și un material imaginar, imaginar, latina REALIS nu exista .... ) I). În ... ... Istoria filosofiei: Enciclopedie
Lingvistică comparativă-istorică - Lingvistica istorică comparată este domeniul lingvisticii, al cărui obiect este legat de limbi legate de genetică. Mai exact, în S.-i. Eu sunt. este vorba despre stabilirea unei corelații între limbile înrudite și descrierea evoluției lor în ... Dicționar encyclopedic lingvistic
DOUBLE TRUE - [dublă adevăr, „două adevăruri“ teorie], un termen folosit pentru a marca a apărut în Evul Mediu doctrina de valabilitate concomitentă sau independența reciprocă a unui număr de dispoziții ale filozofiei și teologiei, care vin în contradicție aparentă ... ... Enciclopedia Ortodoxă
NATURAL RELIGION - [Lat. religio naturalis], agregatul religiei. credințe și practici, alocate pe baza noțiunii că o persoană într-un mod natural, adică în virtutea naturii umane însăși, posedă cunoștințe despre existență și proprietăți ... ... Enciclopedia ortodoxă
- Cursuri despre doctrina filosofică a religiei. Immanuel Kant. Cartea este o înregistrare a cursului de lectură al lui Kant despre teologia rațională, pe care a citit-o în semestrul de iarnă din 1783/84. În prelegeri în detalii, cum ar fi ... Citește mai mult Cumpărați pentru 230 UAH (numai Ucraina)
Trimiteți-le prietenilor: