tag:blogger.com,1999:blog-7844827880580229020.post6223787881877530850..comments2015-12-18T06:03:42.615-08:00Comments on Director's cut: Free Will and Determinism, part 7SKhttp://www.blogger.com/profile/03473150367386722079noreply@blogger.comBlogger6125tag:blogger.com,1999:blog-7844827880580229020.post-23050213208344600812014-04-15T21:00:03.012-07:002014-04-15T21:00:03.012-07:00When you said that modal logic was insufficient, I...When you said that modal logic was insufficient, I assumed that you would require more axioms than the ones normally found in the different modal theories. But that's not what you did. You only needed classical propositional logic in your last argument.<br /><br />What you did was use certain mathematical objects to help you model certain propositions in ordinary language.<br /><br />You introduced some symbols (like C(A,B), or fK(x), without being really formal about the language. Then you mixed the states si, sj, sk... and the binary relation R and defined what it means that C(A,B) is true or not. So you mixed the syntax with the semantics.<br /><br />If you were doing a formal logic, you would need to explicitely list all the symbols of the language, give a definition of a well formed formula and then define the possible interpretations and define truth.<br /><br />This would be too complicated and totally unnecessary for your purposes.<br /><br />My suggestion is that you be a little more careful with the formalisation and also with the structure of the states. For instance, you didn't specify, if (si.sj), (sj,sk) both belong to R, does this imply that (si,sk) also belongs to R? Do you have infinite chains of connected states?<br /><br />I can't read the formulas you wrote, but it seems to me that the definition at the end of Part 6 would need existential quantifiers for the states and a conjunction, as you pointed out. Also, definitions are usually written with a double-conditional (if and only if).<br /><br />It doesn't look as if you needed current knowledge, nK(x). But I couldn't read the last proof, the images are very blurred. I think it would be better to talk about divine foreknowldege instead of saying "I have foreknowldege of A". It would make it more intuitive. Because as it is written, it is not clear why, if I am given a choice between A and B, I must have foreknowledge of A and not of B, or of B and not of A.<br /><br />I think the argument presented at the end, with words, of why there is no free will in that choice if there is divine foreknowledge is very clear. I don't see the need to make a "formal proof" which is not really a formal proof in the contemporary sense of the word.<br /><br />Having said that, I'll be happy to read it if you send it to me, because I really couldn't read it.<br /><br />I really liked the way you presented this argument. Unfortunately, as it happens with many arguments, I don't think it would convince anybody who believes in free will and divine foreknowldege. But what do I know? I don't usually debate those issues.<br /><br />Yolitahttps://www.blogger.com/profile/02115609535199782762noreply@blogger.comtag:blogger.com,1999:blog-7844827880580229020.post-7761895335745510662014-04-15T20:34:24.338-07:002014-04-15T20:34:24.338-07:00In the late 19th century certain paradoxes in math...In the late 19th century certain paradoxes in mathematics appeared which made it necessary to formalise the concept of mathematical proof. The language was completely formalised, a definition was given of what constituted a proof and a program to formalise the main mathematical theories was launched. That was the origin of all the contemporary theories of formal logic that we currently have.<br /><br />Any study of any formal logical theory has two aspects: the syntactical and the semantical one. The syntactical aspect deals with a formal language, certain formulas are chosen as axioms, certain inference rules are given and one proceeds to prove theorems based on those axioms. The main concept there is the concept of provability. A theorem is a provable formula. The semantical aspect involves the concept of truth. One defines the possible interpretations for that formal language, one defines what it means for a formula to be true in a given interpretation. A tautology (or logically valid formula) is a formula true in all possible interpretations.<br /><br />It turns out that we have logical systems for classical logic such that their theorems are precisely the logical truths. These are very good systems.<br /><br />When one does modal logic, one is concerned with formalising the concept of necessity and possibility. One has a formal language which is the same as the ordinary first order logic with a symbol that represents necessity and a symbol that represents possibility. One studies this syntactically and semantically. <br /><br />Syntactically, one looks for reasonable axioms and proves theorems. There are different theories with different axioms.<br /><br />Semantically, one defines interpretations. And these interpretations are consitituted by a set of "possible worlds" (very similar to your states) each realising different propositional variables with a binary relation (called the accessibility relation) that relates some worlds to some others. One can have any binary relation R, but what is interesting is that different modal theories can be expressed by demanding certain properties of the binary relation R. For instance, R could be reflexive, symmetric, transitive...<br /> <br />What's important here is to make a difference. If one is proving a theorem in a certain theory T, one needs to produce a proof of the formula using the axioms of T and the rules of inference of T. And the theorem has to be a formula of the language of T.<br /><br />In the metatheory, one can talk about formulas and their truth in different interpretations, and one can make statements about them and prove them as one would normally prove statements in mathematics. <br /><br />Those are two different things, not to be confused.<br /><br />I think there was a confusion of these two aspects in your work. In my next (and last) comment I will explain myself.<br /><br /><br /><br /><br /><br /><br /> Yolitahttps://www.blogger.com/profile/02115609535199782762noreply@blogger.comtag:blogger.com,1999:blog-7844827880580229020.post-72646094085211749712014-04-15T20:00:49.830-07:002014-04-15T20:00:49.830-07:00OK. So that was fine. :-) So here it goes.
I have...OK. So that was fine. :-) So here it goes.<br /><br />I have the feeling that we didn't get here all the posts that you intended us to get. Part 3 was completely empty and in Part 5 you mentioned that modal logic was previously discussed when it wasn't .It didn't really matter. I was very impressed with the clarity with which you presented the concepts involved, the arguments, the counter- arguments. All that was very nicely presented, very orderly, very easy to understand.<br /><br />I want to make a few comments on the formalisations you do at the end. You say that you tried to use modal logic but that you found it to be insufficient. I got the impression that you have some misconceptions about modal logic. You say, for instance:<br /><br />"Modal logic only talks about a finite number of propositions and whether they are: true in the actual world, true in some possible world, true in all possible worlds."<br /><br />That really is not true. One normally does modal logic with an infinite set of propositional variables, it could even be non-countable. Your phrasing "modal logic only talks" is a little loose. In any formal theory of logic one has two levels: the theory and the meta-theory, the language and the meta-language. This will be important a bit later on.<br /><br />You also mention that you will add another component by relating states to each other via a binary relation R. This also happens in modal logic. You seem to think that modal logis is fixed and can only talk about necessity and possibility. Not so.<br /><br />I don't see, in anything you did, that you needed any particular logical theory, except the standard classical logic that we use when we prove theorems in ordinary mathematics. You used a few mathematical objects to model your arguments, but I didn't see any particular logic being needed. <br /><br />It is important, though, to make the difference between a formal language and a metalanguage, because I feel you mixed them at the very end.<br /><br />So, if I may, I'll give you a brief account of formal logic. How it works form a more philosophical point of view (I have the feeling that you must be a mathematician or a computer scientist).<br /><br />I'll do that in another comment. This window is too small. <br /><br /><br /><br />Yolitahttps://www.blogger.com/profile/02115609535199782762noreply@blogger.comtag:blogger.com,1999:blog-7844827880580229020.post-12941078022284353442014-04-15T19:32:34.709-07:002014-04-15T19:32:34.709-07:00Hello, Democurus.
I read all your posts about Free...Hello, Democurus.<br />I read all your posts about Free Will and Determinism a few months ago and I found them very interesting. I must say I loved your discussion with B. von Traven and had a few chuckles reading it. I particularly loved his very debatable assertion that "Philosophy is not hostile to common sense". :-)<br />Needless to say, I totally agree with you that in order to study the relationship between two propositions one is not required to address the truth of either. And in fact, I think the kind of analysis you did is very fruitful to argue against certain philosophical systems, by showing that their assertions are not compatible.<br />In fact, Godel's famous Incompleteness Theorem can be (loosely) stated as: "No axiomatization of Peano Arithmetic can be both complete and consistent". With that he destroyed Hilbert's program.<br />I have a few comments to make, but first I must find out if I can actually post here, because I don't want to write a long comment only to lose it. Yolitahttps://www.blogger.com/profile/02115609535199782762noreply@blogger.comtag:blogger.com,1999:blog-7844827880580229020.post-81194934504174158042011-09-09T06:20:43.527-07:002011-09-09T06:20:43.527-07:00Also, Step 5 should say "Disjunction Eliminat...Also, Step 5 should say "Disjunction Elimination"Democurushttps://www.blogger.com/profile/02646021151172889661noreply@blogger.comtag:blogger.com,1999:blog-7844827880580229020.post-38715545518799742962011-09-09T06:16:52.395-07:002011-09-09T06:16:52.395-07:00Ugh. There is an error in Definition #1. All the l...Ugh. There is an error in Definition #1. All the logical connectives on the right side of the arrow should be conjunctives (ANDs, /\). Fixing this would require a rewrite of this post due to the way images are uploaded, but I will do it at some point in the future. The rest of the argument holds, and treats the Definition properly (most notable step #6).Democurushttps://www.blogger.com/profile/02646021151172889661noreply@blogger.com