24 ideas
| 17266 | Using modal logic, philosophers tried to handle all metaphysics in modal terms [Correia/Schnieder] |
| Full Idea: In the heyday of modal logic, philosophers typically tried to account for any metaphysical notions in modal terms. | |
| From: Correia,F/Schnieder,B (Grounding: an opinionated introduction [2012], 2.4) | |
| A reaction: Lewisian realism about possible worlds actually gets rid of purely 'modal' terms, but I suppose they include possible worlds in their remark. Annoying for modal logicians to be told they had a 'heyday' - a nice example of the rhetoric of philosophy. |
| 17263 | Why do rationalists accept Sufficient Reason, when it denies the existence of fundamental facts? [Correia/Schnieder] |
| Full Idea: What is most puzzling about the rationalist tradition is the steadfast certainty with which the Principle of Sufficient Reason was often accepted, since it in effect denies that there are fundamental facts. | |
| From: Correia,F/Schnieder,B (Grounding: an opinionated introduction [2012], 2.2) | |
| A reaction: A very simple and interesting observation. The principle implies either a circle of reasons, or an infinite regress of reasons. Nothing can be labelled as 'primitive' or 'foundational' or 'given'. The principle is irrational! |
| 18739 | Three stages of philosophical logic: syntactic (1905-55), possible worlds (1963-85), widening (1990-) [Horsten/Pettigrew] |
| Full Idea: Three periods can be distinguished in philosophical logic: the syntactic stage, from Russell's definite descriptions to the 1950s, the dominance of possible world semantics from the 50s to 80s, and a current widening of the subject. | |
| From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 1) | |
| A reaction: [compressed] I've read elsewhere that the arrival of Tarski's account of truth in 1933, taking things beyond the syntactic, was also a landmark. |
| 18741 | Logical formalization makes concepts precise, and also shows their interrelation [Horsten/Pettigrew] |
| Full Idea: Logical formalization forces the investigator to make the central philosophical concepts precise. It can also show how some philosophical concepts and objects can be defined in terms of others. | |
| From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 2) | |
| A reaction: This is the main rationale of the highly formal and mathematical approach to such things. The downside is when you impose 'precision' on language that was never intended to be precise. |
| 18744 | Models are sets with functions and relations, and truth built up from the components [Horsten/Pettigrew] |
| Full Idea: A (logical) model is a set with functions and relations defined on it that specify the denotation of the non-logical vocabulary. A series of recursive clauses explicate how truth values of complex sentences are compositionally determined from the parts. | |
| From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 3) | |
| A reaction: See the ideas on 'Functions in logic' and 'Relations in logic' (in the alphabetical list) to expand this important idea. |
| 18740 | If 'exist' doesn't express a property, we can hardly ask for its essence [Horsten/Pettigrew] |
| Full Idea: If there is indeed no property of existence that is expressed by the word 'exist', then it makes no sense to ask for its essence. | |
| From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 2) | |
| A reaction: As far as I can tell, this was exactly Aristotle's conclusion, so he skirted round the question of 'being qua being', and focused on the nature of objects instead. Grand continental talk of 'Being' doesn't sound very interesting. |
| 17270 | Is existential dependence by grounding, or do grounding claims arise from existential dependence? [Correia/Schnieder] |
| Full Idea: We may take existential dependence to be a relation induced by certain cases of grounding, but one may also think that facts about existential dependence are prior to corresponding ground claims, and in fact ground those claims. | |
| From: Correia,F/Schnieder,B (Grounding: an opinionated introduction [2012], 4.3) | |
| A reaction: I would vote for grounding, since dependence seems more abstract, and seems to demand explanation, whereas grounding seems more like a feature of reality, and to resist further intrinsic explanation (on the whole). |
| 17268 | Grounding is metaphysical and explanation epistemic, so keep them apart [Correia/Schnieder] |
| Full Idea: To us it seems advisable to separate the objective notion of grounding, which belongs to the field of metaphysics, from the epistemically loaded notion of explanation. | |
| From: Correia,F/Schnieder,B (Grounding: an opinionated introduction [2012], 4.2) | |
| A reaction: Paul Audi is the defender of the opposite view. I'm with Audi. The 'epistemically loaded' pragmatic aspect is just contextual - that we have different interests in different aspects of the grounding on different occasions. |
| 17267 | The identity of two facts may depend on how 'fine-grained' we think facts are [Correia/Schnieder] |
| Full Idea: There is a disagreement on the issue of factual identity, concerning the 'granularity' of facts, the question of how fine-grained they are. | |
| From: Correia,F/Schnieder,B (Grounding: an opinionated introduction [2012], 3.3) | |
| A reaction: If they are very fine-grained, then no two descriptions of a supposed fact will capture the same details. If we go broadbrush, facts become fuzzy and less helpful. 'Fact' was never going to be a clear term. |
| 18745 | A Tarskian model can be seen as a possible state of affairs [Horsten/Pettigrew] |
| Full Idea: A Tarskian model can in a sense be seen as a model of a possible state of affairs. | |
| From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 3) | |
| A reaction: I include this remark to show how possible worlds semantics built on the arrival of model theory. |
| 18747 | The 'spheres model' was added to possible worlds, to cope with counterfactuals [Horsten/Pettigrew] |
| Full Idea: The notion of a possible worlds model was extended (resulting in the concept of a 'spheres model') in order to obtain a satisfactory logical treatment of counterfactual conditional sentences. | |
| From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 4) | |
| A reaction: Thus we add 'centred' worlds, and an 'actual' world, to the loose original model. It is important to remember when we discuss 'close' worlds that we are then committed to these presuppositions. |
| 18748 | Epistemic logic introduced impossible worlds [Horsten/Pettigrew] |
| Full Idea: The idea of 'impossible worlds' was introduced into epistemic logic. | |
| From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 4) | |
| A reaction: Nathan Salmon seems interested in their role in metaphysics (presumably in relation to Meinongian impossible objects, like circular squares, which must necessarily be circular). |
| 18746 | Possible worlds models contain sets of possible worlds; this is a large metaphysical commitment [Horsten/Pettigrew] |
| Full Idea: Each possible worlds model contains a set of possible worlds. For this reason, possible worlds semantics is often charged with smuggling in heavy metaphysical commitments. | |
| From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 3) | |
| A reaction: To a beginner it looks very odd that you should try to explain possibility by constructing a model of it in terms of 'possible' worlds. |
| 18750 | Using possible worlds for knowledge and morality may be a step too far [Horsten/Pettigrew] |
| Full Idea: When the possible worlds semantics were further extended to model notions of knowledge and of moral obligation, the application was beginning to look distinctly forced and artificial. | |
| From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 5) | |
| A reaction: They accept lots of successes in modelling necessity and time. |
| 7096 | We may still admire a person's character even if the traits are involuntary [Statman] |
| Full Idea: If we focus on the evaluation of character traits, voluntariness becomes less important. We would not withdraw our admiration for a person only because we found out that his or her being such a person was not a result of voluntary choice. | |
| From: Daniel Statman (Introduction to Virtue Ethics [1997], §3) | |
| A reaction: The need for voluntariness does not disappear. I would not admire the only generous deed you had ever performed if it was the result of hypnotism. I might admire the hypnotist. Nevertheless, I regard this idea as a crucial truth in moral theory. |
| 7098 | There is a new sort of moral scepticism, about the possibility of moral theories [Statman] |
| Full Idea: Since the 1980s, ethics has witnessed a new sort of moral scepticism, this time about the possibility of moral theories. | |
| From: Daniel Statman (Introduction to Virtue Ethics [1997], §4) | |
| A reaction: He cites McDowell, Williams, Nussbaum and Baier as the culprits. 'Particularism' (every situation is different, so there can't be rules) seems an essential part of virtue theory, but total absence of principles sounds to me like moral drift. |
| 7099 | With a broad concept of flourishing, it might be possible without the virtues [Statman] |
| Full Idea: In a rich conception of human flourishing, both individuals and societies seem to be able to flourish without the virtues. | |
| From: Daniel Statman (Introduction to Virtue Ethics [1997], §5) | |
| A reaction: I can see Aristotle clutching his head in despair at this thought. It might look like flourishing, but it couldn't be the real thing. It is Aristotle's fault, though, for including external goods. Money and pleasure offer a kind of flourishing. |
| 7100 | Virtue theory isn't a genuine ethical theory, because it doesn't have universal application [Statman] |
| Full Idea: It can be claimed that universality is a necessary property of any ethical theory and therefore virtue theory, which fails in this respect, is not a theory, and hence poses no alternative to genuine ethical theories. | |
| From: Daniel Statman (Introduction to Virtue Ethics [1997], §5) | |
| A reaction: Replies: a) totally universal morality is an idle dream (part of the 'Enlightenment Project' to prove everything) and we must settle for something more relative; b) virtues aren't totally universal, but they are truths about humanity. I prefer b). |
| 7102 | Promises create moral duties that have nothing to do with character [Statman] |
| Full Idea: That duties are created irrespective of facts about character is obvious from the case of promises, which bind their makers irrespective of their motives or personality. | |
| From: Daniel Statman (Introduction to Virtue Ethics [1997], §5) | |
| A reaction: Just occasionally a promise can be broken, by a sensitive and wise person. I promise to give your son some money; I then discover he is a drug dealer. Promises arise out of character, and cannot be made by robots. |
| 7095 | Moral education is better by concrete example than abstract principle [Statman] |
| Full Idea: According to virtue theory, education through moral exemplars is more effective than education focused on principles and obligations, because it is far more concrete. | |
| From: Daniel Statman (Introduction to Virtue Ethics [1997], §3) | |
| A reaction: Aristotle's view is that virtues must be developed from childhood, when principles don't mean much. The problem is that young people may witness highly virtuous behaviour in their exemplars, but totally fail to appreciate it without mention of principles. |
| 7094 | Friends express friendship even when no utility is involved [Statman] |
| Full Idea: Being a good friend means acting in ways that express the friendship even when those ways do not promote overall utility. | |
| From: Daniel Statman (Introduction to Virtue Ethics [1997], §3) | |
| A reaction: This implies that friendship is a true virtue of character, rather than having friends just being an 'external' good. Having friends is good; being friends is a virtue. There are duties of friendship. |
| 7093 | Behaviour may be disgusting or inhumane, but violate no duty [Statman] |
| Full Idea: It is surely possible, and indeed often the case, that people who violate no duty nevertheless behave in an inhumane and a disgusting manner. | |
| From: Daniel Statman (Introduction to Virtue Ethics [1997], §1) | |
| A reaction: This seems right, though it is easier to be disgusting than to be inhumane if no duty is to be violated. Social duties may not require a high degree of humanity, pure Kantian duties might. |
| 7104 | The ancients recognised imperfect duties, but we have added perfect duties like justice [Statman] |
| Full Idea: The advantage of modern thinkers over the ancient virtue ethicists is that in addition to imperfect duties (i.e. virtues) they also recognise the existence of perfect duties, or duties of justice, which are essential for the existence of society. | |
| From: Daniel Statman (Introduction to Virtue Ethics [1997], §7) | |
| A reaction: Even the Greeks had laws (e.g. Idea 422), so they understood that a society needs rules, but many laws don't seem to be moral rules (e.g. car parking), and the Greeks thought morality was about human excellence, not avoiding traffic jams. |
| 7103 | Abortion issues focus on the mother's right over her body, and the status of the foetus [Statman] |
| Full Idea: Most of the debate on abortion focuses on two issues, the mother's assumed right over her body, and the status of the foetus. | |
| From: Daniel Statman (Introduction to Virtue Ethics [1997], §6) | |
| A reaction: Personally I think society as a whole might have a say (if, perhaps, we are over- or under-populated, or we have a widely accepted state religion, or we are just very shocked). Mother's have virtues and duties as well as rights. |