Category Archives: Logic

Grandfather’s time machine; Physical possibility and logical impossibility

I have been tempted in the past to construe the relation of physical possibility to logical possibility as injective (i.e., that all physical possibilities are logical possibilities) but that there are many more logical possibilities than there are physical possibilities … Continue reading

Posted in Logic, Philosophy, Philosophy of Time | Tagged , , , | 4 Comments

Conditional Thoughts

I was just reading A counterexample to Modus Ponens, a paper written by Vann McGee, and I think the paper fails to provide what the title promises. However, in thinking about it for myself, I came up with an interesting … Continue reading

Posted in Logic, Miscellaneous, Modality, Philosophy | Tagged | 1 Comment

Maximally specific propositions and libertarian freedom

There may be a concern that adopting the convention of talking of logically possible worlds as maximally specific propositions, each of which entail all truths at/in that logically possible world, seems to undermine libertarian freedom, since contingent choices are entailed … Continue reading

Posted in Logic, Metaphysics, Modality, Philosophy | Leave a comment

The same definition of Omniscience worded differently

Consider this definition of omniscience: “God believes all true propositions and does not believe in any of their negations.” One might wonder whether this is logically equivalent to “God knows all true propositions, and does not believe any false propositions” … Continue reading

Posted in Logic, Natural Theology, Philosophical Theology, Philosophy, Philosophy of Religion | Tagged | Leave a comment

Set-Theoretic Redundancy Eliminated

“A possible world is a maximal conjunction of compossible abstract propositions (a BCF in our abbreviational terminology), with repetitions and other logical redundancies eliminated so as to avoid to set-theoretic paradoxes. Each world is individuated by its Big Conjunctive Contingent Fact (BCCF), which … Continue reading

Posted in Logic, Metaphysics, Modality, Philosophy | Tagged , , , , , | Leave a comment

Stoic Logic, Disjunctive Conjunctions and Counterfactual Conditionals

I have just begun studying Stoic Philosophy in a philosophy class of mine, and it is interesting to me that the Stoics had different doctrines of logic than modern logicians have. I thought I would take a brief look at … Continue reading

Posted in Logic, Modality, Philosophy | Tagged , , , | Leave a comment

Logics and consistency

Here’s a quick thought. Logicians tell us that different systems of Logic exist which are incommensurable, yet consistent within themselves. Thus, Fuzzy logic, which makes propositions not strictly true or false, but true to some degree, (between 1 and 10) … Continue reading

Posted in Epistemology, Logic, Modality, Philosophy | Leave a comment

Gödel’s incompleteness theorem and intuition

“I don’t think the brain came in the Darwinian manner. In fact, it is disprovable. Simple mechanism can’t yield the brain. I think the basic elements of the universe are simple. Life force is a primitive element of the universe … Continue reading

Posted in Empiricism, Logic, Modality, Rationalism, Uncategorized | Tagged , | 1 Comment

Russell’s Paradox Solved?

This is a possibly foolish thought… But I’m a fool, and I can’t help but want to explore it. I suspect that Russell’s paradox would not arise as a problem for the Medievals, since their philosophy of language implied rules … Continue reading

Posted in Language, Logic | Tagged , , | Leave a comment

The significance of semantics for Sentential Logic

I am, this semester, finally taking a class in Deductive logic. The class will be focusing on Sentential and Predicate logic; the first half of the course will focus its attention on Sentential logic, while the second will move to … Continue reading

Posted in Language, Logic, Philosophy | Tagged , , , , | 3 Comments