## Philosophy Lexicon of Arguments | |||

Satisfaction, logic: a formula is satisfied when their variables are interpreted in a way that the formula as a whole is a true statement. The interpretation is a substitution of the variables of the formula by appropriate constants (e.g. names). When the interpreted formula is true, we call it a model. See also satisfiability, models, model theory. | |||

Author | Item | More concepts for author | |
---|---|---|---|

Chisholm, Roderick M. | Satisfaction | Chisholm, Roderick M. | |

Davidson, Donald | Satisfaction | Davidson, Donald | |

Frege, Gottlob | Satisfaction | Frege, Gottlob | |

Goodman, Nelson | Satisfaction | Goodman, Nelson | |

Kripke, Saul Aaron | Satisfaction | Kripke, Saul Aaron | |

Putnam, Hilary | Satisfaction | Putnam, Hilary | |

Quine, Willard Van Orman | Satisfaction | Quine, Willard Van Orman | |

Searle, John R. | Satisfaction | Searle, John R. | |

Tarski, A. | Satisfaction | Tarski, A. | |

Woods, M. | Satisfaction | Woods, M. | |

Ed. Martin Schulz, access date 2017-04-25 |