No need to explode! Explosions happen in classical logics, but as already a link from Bob's link shows, paraconsistent logicshttp://en.wikipedia.org/wiki/Paraconsistent_logiccan deal more gracefully with inconsistencies. I used to converse with some paraconsistent people. There's even a handbook on it: *Handbook of Paraconsistency http://www.amazon.com/dp/1904987737/* (Jean-Yves Béziau http://en.wikipedia.org/wiki/Jean-Yves_B%C3%A9ziau, Walter Carnielli http://en.wikipedia.org/wiki/Walter_Carnielli and Dov Gabbayhttp://en.wikipedia.org/wiki/Dov_Gabbay, eds). London: King's College, 2007. ISBN 978-1-904987-73-4http://en.wikipedia.org/wiki/Special:BookSources/9781904987734
Maybe it should be a companion field guide for the next Bioblitz, when dealing with, well, logical issues in taxonomy ;-)
Bertram
--
Bertram Ludäscher
Professor of Computer Science
Dept of Computer Science & Genome Center
University of California, Davis
ludaesch@ucdavis.edu / daks.ucdavis.edu
Phone: +1-530-554-1800
On Wed, Nov 3, 2010 at 8:15 PM, Bob Morris morris.bob@gmail.com wrote:
Ah, but here's the rub when it comes to Propositional or First Order Logic: If there is any assertion of Rich's---or anybody else's---about which you, Nico C, both agree and disagree, then every assertion whatsoever of yours is correct. Now that part, I realize you already accept. The catch is that every assertion whatsoever of yours is also false. See http://en.wikipedia.org/wiki/Principle_of_explosion --Bob
On Wed, Nov 3, 2010 at 10:49 PM, Nico Cellinese ncellinese@flmnh.ufl.eduwrote:
Wonderful to agree and disagree with you, yes indeed, even better with *spirit*!
Jon Stewart would be proud of us both.
I went to the rally in DC last Saturday! We two are indeed sane :-)
As for the utility of ranks -- well, I'm ready to agree to disagree, as long as we can both acknowledge that lots and lots of existing data "out there" are still classified (in a taxonomic sense) against the Linnaean nomenclatural system, for which dwc:taxonRank is a relevant (at least) attribute.
Indeed! As mentioned in a previous email to you, I can live (even happy) with dwc:taxonRank :-)
Nico (who does not believe in species but thinks only clades are real)
<><><><><><><><><><><><><><><><><><><><><><><><> Nico Cellinese, Ph.D. Assistant Curator, Herbarium & Informatics Adjunct Assistant Professor, Department of Biology
Florida Museum of Natural History University of Florida 354 Dickinson Hall, PO Box 117800 Gainesville, FL 32611-7800, U.S.A. Tel. 352-273-1979 Fax 352-846-1861 http://cellinese.blogspot.com/
tdwg-content mailing list tdwg-content@lists.tdwg.org http://lists.tdwg.org/mailman/listinfo/tdwg-content
-- Robert A. Morris Emeritus Professor of Computer Science UMASS-Boston 100 Morrissey Blvd Boston, MA 02125-3390 Associate, Harvard University Herbaria email: morris.bob@gmail.com web: http://bdei.cs.umb.edu/ web: http://etaxonomy.org/mw/FilteredPush http://www.cs.umb.edu/~ram http://www.cs.umb.edu/%7Eram phone (+1) 857 222 7992 (mobile)
tdwg-content mailing list tdwg-content@lists.tdwg.org http://lists.tdwg.org/mailman/listinfo/tdwg-content