tag:blogger.com,1999:blog-11295132.post112559987355358709..comments2018-04-24T08:59:21.783-07:00Comments on A Neighborhood of Infinity: Alternative LogicDan Piponihttps://plus.google.com/107913314994758123748noreply@blogger.comBlogger5125tag:blogger.com,1999:blog-11295132.post-55305800294995961392016-12-22T08:39:50.889-08:002016-12-22T08:39:50.889-08:00Hi Dan... a little while ago I left a comment on y...Hi Dan... a little while ago I left a comment on your most recent blog post, as I wasn't sure you would see it here... <br /><br />anyway, in the meantime, i've continued searching and have found some leads... it looks like the formal name of the area I'm looking at, is mereology, the relationship of parts to wholes and wholes to parts; and within that, the thing I am pointing to (and questioning) is called the anti-symmetry principle, which says that if A is a part of B, B cannot be a part of A... and apparently that is being questioned, by some alternatives to mainstream mereology. This is all from the article here: https://plato.stanford.edu/entries/mereology/ and they have some interesting leads re people who are working in this area. And again, I am very much a layperson with regard to all this, so if it happens that you have any further info to share, would be great to learn about it! <br /><br />Oh and I haven't found anything yet with regard to the "emergent axis" phenomenon (at least not the one I was describing, there are of course other things that go by that name....) anyway, thank you for the work you are doing, and thank you in advance for anything you may offer along the lines of my inquiry... <br /><br />Rosa Z.https://www.blogger.com/profile/06865766788759680875noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-1135107690014660442005-12-20T11:41:00.000-08:002005-12-20T11:41:00.000-08:00This comment has been removed by a blog administrator.Basiballihttps://www.blogger.com/profile/10654346740140334878noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-1129973921220926062005-10-22T02:38:00.000-07:002005-10-22T02:38:00.000-07:00And perhaps the most interesting fact about the tw...And perhaps the most interesting fact about the two types of completeness is that second order logic has the one that first-order doesn't have, but not the one that it does!Kennyhttps://www.blogger.com/profile/12226268498253877151noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-1129826601710818122005-10-20T09:43:00.000-07:002005-10-20T09:43:00.000-07:00Ah yes...when I wrote that article I was a bit con...Ah yes...when I wrote that article I was a bit confused about 'completeness' and was trying hard to figure out how the two different notions were the same thing. Later I realised they aren't. Very confusing until someone explicitly points it out - as the books I was looking at failed to do.sigfpehttps://www.blogger.com/profile/08096190433222340957noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-1129793824657314652005-10-20T00:37:00.000-07:002005-10-20T00:37:00.000-07:00Nice post! There's a typo where you talk about Bu...Nice post! There's a typo where you talk about Bush's possibilities and say "not not" instead of "but not" (I think). And your aside about completeness seems to conflate the notion Godel showed didn't hold in the Incompleteness Theorems with the one he showed did hold in the Completeness Theorem. (ie, not every true statement is provable, but every consequence of any premises can in fact be derived from those premises - it's just that no set of premises is enough to get all the truths of arithmetic).<BR/><BR/>Anyway, I definitely have to check out quantum logic now!Kennyhttps://www.blogger.com/profile/12226268498253877151noreply@blogger.com