[FOM] Terminology

John E. Woods jewoods at Princeton.EDU
Sat Nov 24 15:08:46 EST 2012


I am fond of "countertautology" which I believe I picked up from Makinson's Topics in Modern Logic.

Jack Woods
Princeton University
________________________________________
From: fom-bounces at cs.nyu.edu [fom-bounces at cs.nyu.edu] on behalf of F.A. Muller [f.a.muller at fwb.eur.nl]
Sent: Saturday, November 24, 2012 6:17 AM
To: <fom at cs.nyu.edu>
Subject: [FOM] Terminology

Dear all,

The standard English word for sentences (or propositions)
that are always true is 'tautology'. Is there a word for
sentences that are always false? (No, I don't want to hear
'contradiction', for that is defined as a sentence of the
form 'p and not-p', or something logically equivalent to it,
and therefore is a syntactical notion.)

--> F.A. Muller
Utrecht University
--------------------------------Disclaimer--------------------------------
De informatie verzonden in dit e-mail bericht inclusief de bijlage(n) is
vertrouwelijk en is uitsluitend bestemd voor de geadresseerde van dit
bericht. Lees verder: http://www.eur.nl/email-disclaimer

The information in this e-mail message is confidential and may be legally
privileged. Read more: http://www.eur.nl/english/email-disclaimer
--------------------------------------------------------------------------
_______________________________________________
FOM mailing list
FOM at cs.nyu.edu
http://www.cs.nyu.edu/mailman/listinfo/fom
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20121124/1d9f85bf/attachment.html>


More information about the FOM mailing list