From: utzoo!decvax!harpo!eagle!mhuxt!mhuxj!mhuxa!houxm!houxz!hocda!spanky!ihnp4!we13!burl!duke!unc!mcnc!ncsu!jcz
Newsgroups: net.religion,net.philosophy
Title: Re: Truth and models
Article-I.D.: ncsu.2192
Posted: Thu May 12 22:24:39 1983
Received: Thu May 19 05:50:51 1983

References: brunix.2806


	An absolute truth can be defined as an a priori truth.  I.E.
	Some that is true just because of the grammar of the language
	it is stated in.    All bachelors are unmarried, is a good
	example.  For predictate calculus, something like:

		((p -> q) ^ p) -> q

	is called a tautology.  It is always true.  Now, it may seem
	that this is a cop-out to someone looking for the 'Absolute
	Truth'; if you think about it, that is all there needs to be.

	attcatguuu means i am.

	tata
	jcz