Zobrazení zdroje stránky Termín primitivní

<span id="entry">termín primitivní</span> – (z lat. terminus = přesně ohraničená mez; primitivus = prvotní) – zákl. termín v axiomatickém nebo formalizovaném systému, který v tomto systému není definován (viz [[axiomatizace]], [[formalizace]]). ''T. p.'' vytvářejí spolu s axiómy a definičními a deduktivními pravidly bázi deduktivních systémů. Např. v axiomatickém systému aritmetiky vytvořeném ''G. Peanem'' jsou ''t.p.'' přirozené číslo, nula a následník. Aplikace přesného významu pojmu ''t.p.'' na s-gii je sporná, protože většinou zde nelze zachovávat přesná pravidla axiomatizace a formalizace, „nedefinování“ termínu může být symptomem obavy z [[redukcionismus|redukcionismu]] nebo z příklonu k určitému s-gickému směru.

<div class="translations">
<span lang="en">primitive term</span>
<span lang="fr">terme primitif</span>
<span lang="de">Grundtermin, primitiver Termin</span>
<span lang="it">termine primitivo</span>
</div>

<span class="section_title">Literatura:</span> ''Berka, K.'' – ''Mleziva, M.'': Co je logika. Praha 1962; ''Hasenjäger, G.'': Einführung in die Grundbegriffe und Probleme der modernen Logik. Freiburg, München 1962.

-- ''[[:Kategorie:Aut: Berka Karel|Karel Berka]]''<br />
[[Kategorie:Aut: Berka Karel]]
[[Kategorie:Metodologie/obecná metodologie a logika]]
[[Kategorie:VSgS]]