30 ideas
| 10751 | Second-order logic needs the sets, and its consequence has epistemological problems [Rossberg] |
| 10757 | Henkin semantics has a second domain of predicates and relations (in upper case) [Rossberg] |
| 10759 | There are at least seven possible systems of semantics for second-order logic [Rossberg] |
| 10753 | Logical consequence is intuitively semantic, and captured by model theory [Rossberg] |
| 10752 | Γ |- S says S can be deduced from Γ; Γ |= S says a good model for Γ makes S true [Rossberg] |
| 10754 | In proof-theory, logical form is shown by the logical constants [Rossberg] |
| 10756 | A model is a domain, and an interpretation assigning objects, predicates, relations etc. [Rossberg] |
| 10758 | If models of a mathematical theory are all isomorphic, it is 'categorical', with essentially one model [Rossberg] |
| 10761 | Completeness can always be achieved by cunning model-design [Rossberg] |
| 10755 | A deductive system is only incomplete with respect to a formal semantics [Rossberg] |
| 21788 | The moral will is self-determining, but the ethical will is met in society [Houlgate] |
| 23110 | Human injustice is not a permanent feature of communities [Rawls] |
| 15676 | Rawls defends the priority of right over good [Rawls, by Finlayson] |
| 4123 | A fair arrangement is one that parties can agree to without knowing how it will benefit them personally [Rawls, by Williams,B] |
| 21051 | Check your rationality by thinking of your opinion pronounced by the supreme court [Rawls] |
| 3279 | Utilitarianism inappropriately scales up the individual willingness to make sacrifices [Rawls, by Nagel] |
| 22406 | The maximisation of happiness must be done fairly [Rawls, by Smart] |
| 21137 | Rawls rejected cosmopolitanism because it doesn't respect the autonomy of 'peoples' [Rawls, by Shorten] |
| 3280 | Why does the rational agreement of the 'Original Position' in Rawls make it right? [Nagel on Rawls] |
| 20552 | The original position models the idea that citizens start as free and equal [Rawls, by Swift] |
| 18636 | Choose justice principles in ignorance of your own social situation [Rawls] |
| 18631 | All desirable social features should be equal, unless inequality favours the disadvantaged [Rawls] |
| 21119 | Power is only legitimate if it is reasonable for free equal citizens to endorse the constitution [Rawls] |
| 20538 | Utilitarians lump persons together; Rawls somewhat separates them; Nozick wholly separates them [Swift on Rawls] |
| 9277 | Rawls's account of justice relies on conventional fairness, avoiding all moral controversy [Gray on Rawls] |
| 23420 | In a pluralist society we can't expect a community united around one conception of the good [Rawls] |
| 20527 | Liberty Principle: everyone has an equal right to liberties, if compatible with others' liberties [Rawls] |
| 21018 | The social contract has problems with future generations, national boundaries, disabilities and animals [Rawls, by Nussbaum] |
| 21041 | Justice concerns not natural distributions, or our born location, but what we do about them [Rawls] |
| 23583 | If an aggression is unjust, the constraints on how it is fought are much stricter [Rawls] |