William wrote: Is anyone familiar with the problem of abstract objects and the aseity of God? The problem is that if abstract objects like logical truths, numbers propositions, properties, exist necessarily, then in what sense are they dependent on God. It is a fact that there is a truth (a) 2+2=4. a is true wether or not God wants it to be and there is nothing he can do to change it. So does the existence of logical truths and other necessarily extant entities challenge the aseity of God, and if not, then why? A good and concise book outlining the problem is "Does GOd have a Nature", by Alvin Plantinga.
William wrote: That is one solution. And you are in god company. Descartes held this view. But to be clear, you are comitted to complete conventionalism about logic and modalities. So you must say, for instance, that the sentence 'necessarily 2+2=4' is false (when the nec operator is read in the broadly logical sense). Or again the sentence 'It is possible for God to creat a round square' is true. ANd also 'IT is possible for God to exist and not exist at the same time and in the same sense' must be true.
William wrote: These systems are called paraconsistent systems. A rather famous advocate of these systems is Graham Priest. You might look him up.But I am rather skeptical of these systems, and am also unable to bring myself to a complete conventionalism.
William wrote: What do you mean when you say that other branches of worlds utilize diferent logics. What are branches of worlds and what does it mean to utilize a different logic.
William wrote: I don't know exactly what you mean by God giving meanings to propositions. Striclty speaking propositions don't have meanings. They are the meanings. So a sentence is a linguistic item that expresses a proposition. THe proposition is the meaning of a sentence.
William wrote: 'Snow is white' and 'Nieve es blanco' are two completely different sentences that pick out or express the same proposition. But that proposition does not have a meaning-this is a category error.
William wrote: In particular, what I want to know is can God make contraditions true?
William wrote: Propositions do not have meanings-they just are meanings.
William wrote: So it would not be the case that different logics obtain in different worlds.
William wrote: So let me put my quetion again in a diferent way. Is the following sentence true. 'It is possible for God to create round squares'
Coming to believe with your mind the truth - "truth is not mental" shows that truth is mental.
Cole wrote: The proposition seems to have known that George Bush was comming. Information pressuposes intelligence. Truths are eternal so truths exists in an infinite intelligence.