Skip to main content

All Questions

4 votes
3 answers
349 views

Confused On The Definition Of A Proposition

One definition I encountered was something that is either true or false. (for example, I ate vegetables yesterday is a proposition). Another definition I encountered is the meaning of a sentence (for ...
HelpMePlease's user avatar
2 votes
3 answers
903 views

Truth-functional vs non-truth functional conditionals

I'm struggling to understand truth functionality. I know that a connective is truth-functional if the truth value of a compound statement formed with that connective is completely determined by the ...
user51462's user avatar
  • 483
1 vote
1 answer
81 views

Intersection of the Gettier problem and knowing-what or knowing-how

From what I can tell, it seems like the Gettier problem comes down to Smith not knowing that the man who has ten coins in his pocket is going to get the job. What about Smith knowing what the ...
Kristian Berry's user avatar
2 votes
1 answer
104 views

Propositions as set of possible worlds in FOL

In possible world semantics for propositional calculus, possible worlds are usually taken to be models for propositional formulas (the set of valuations in which a certain formula is true) In first ...
PwNzDust's user avatar
  • 395
2 votes
1 answer
66 views

A set of three statements, of which only two at a time can be true: is there a specific term for this type of combination game?

Here's two examples of what I'm talking about 1 An ideal citizen would be smart, ethical and politically engaged. However, what usually happens in reality is this: If they're smart ...
user62099's user avatar
1 vote
2 answers
231 views

Confused about the answers to two logic problems

True or False? If monkeys can fly, then 1 + 1 = 3. What is logically equivalent to all x (p(x) + ~q(x))? For the first one I think it is False.
Molly's user avatar
  • 35