PhilosophyIdeas
.com Database |
Current Total Ideas:
22,165
|
home
|
back
Combining Philosophers
Ideas for Hermarchus, Roger Penrose and Stewart Shapiro
expand these ideas
|
start again
| choose
another area
for these philosophers
display
all the ideas
for this combination of philosophers
2 ideas
5. Theory of Logic / I. Semantics of Logic / 4. Satisfaction
10235
A sentence is 'satisfiable' if it has a model
[Shapiro]
13633
'Satisfaction' is a function from models, assignments, and formulas to {true,false}
[Shapiro]