315051539

Dawno, dawno temu...

^ ^1 ■ "f Dowód - przełom w logice
! Arystoteles (ur. 384 p.n.e., zm. 32 • Dowód (sylogi/m) lo trójczłonowc wnios! prawdziwych sądów, mających jedno wsp Człowiek jest śmie rtrln>	Przełom w logice Ary stoteles (ur. 384 p.n.e.. zm. 322 p.n.e.)
Sokrates jest człowiekiem
ergo: Sokrates jest śmiertelny
• Czysto formalne wnioskowanie składa się poprzedników, z których z koniecznością wniosek:		Hierarchiczny układ pojęć, powiązany definicjami, i hierarchiczny układ sądiw, powiązany dowodami, stanowią idealny obraz wiedz}' skończonej.
skoro śmiertelność przysługuje wszystkim lud
i bycie człowiekiem Sokratesowi, i ^,0 *^micr,c'^no!* przysługuje Sokratesowi.	1

Ewa Białek

źródło: Ontołogia w informatyce, Ewa Białek