19 ideas
20923 | We take part in objective truth, rather than observe it from a distance [Zimmermann,J] |
Full Idea: Hermeneutic thinkers insist that we need to redefine objective truth as something we take part in rather than something we merely observe from a distance. | |
From: Jens Zimmermann (Hermeneutics: a very short introduction [2015], 1 'Truth') | |
A reaction: Don't get it. If I objectively judge that there are some cows in a field, I judge that they will probably still be there if I turn away and forget them, so any passionate involvement I have with cows is irrelevant to the objective facts. Am I wrong? |
20926 | Hermeneutic knowledge is not objective, but embraces interpretations [Zimmermann,J] |
Full Idea: In the hermeneutic ideal of knowledge, not distance but involvement, not impersonal observation but personal interaction, not thinking against prejudice or tradition but accessing knowledge through them, characterizes our perception of the world. | |
From: Jens Zimmermann (Hermeneutics: a very short introduction [2015], 3 'Beyond') | |
A reaction: To make this stick it will have to challenge scientific knowledge which results from mathematical summaries of measurements done by instruments. Is a stop watch an interpretation? |
15375 | If terms change their designations in different states, they are functions from states to objects [Fitting] |
Full Idea: The common feature of every designating term is that designation may change from state to state - thus it can be formalized by a function from states to objects. | |
From: Melvin Fitting (Intensional Logic [2007], 3) | |
A reaction: Specifying the objects sounds OK, but specifying states sounds rather tough. |
15376 | Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting] |
Full Idea: To first order modal logic (with quantification over objects) we can add a second kind of quantification, over intensions. An intensional object, or individual concept, will be modelled by a function from states to objects. | |
From: Melvin Fitting (Intensional Logic [2007], 3.3) |
15378 | Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting] |
Full Idea: Awareness logic enriched Hintikka's epistemic models with an awareness function, mapping each state to the set of formulas we are aware of at that state. This reflects some bound on the resources we can bring to bear. | |
From: Melvin Fitting (Intensional Logic [2007], 3.6.1) | |
A reaction: [He cites Fagin and Halpern 1988 for this] |
15379 | Justication logics make explicit the reasons for mathematical truth in proofs [Fitting] |
Full Idea: In justification logics, the logics of knowledge are extended by making reasons explicit. A logic of proof terms was created, with a semantics. In this, mathematical truths are known for explicit reasons, and these provide a measure of complexity. | |
From: Melvin Fitting (Intensional Logic [2007], 3.6.1) |
11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
Full Idea: Mathematics is typically extensional throughout (we write 3+2=2+3 despite the two terms having different meanings). ..Classical first-order logic is extensional by design since it primarily evolved to model the reasoning of mathematics. | |
From: Melvin Fitting (Intensional Logic [2007], §1) |
11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
Full Idea: λ-abstraction can be used to abstract and disambiguate a predicate. De re is [λx◊P(x)](f) - f has the possible-P property - and de dicto is ◊[λxP(x)](f) - possibly f has the P-property. Also applies to □. | |
From: Melvin Fitting (Intensional Logic [2007], §3.3) | |
A reaction: Compare the Barcan formula. Originated with Church in the 1930s, and Carnap 1947, but revived by Stalnaker and Thomason 1968. Because it refers to the predicate, it has a role in intensional versions of logic, especially modal logic. |
15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
Full Idea: Definite descriptions pick out different objects in different possible worlds quite naturally. | |
From: Melvin Fitting (Intensional Logic [2007], 3.4) | |
A reaction: A definite description can pick out the same object in another possible world, or a very similar one, or an object which has almost nothing in common with the others. |
20924 | In phenomenology, all perception is 'seeing as' [Zimmermann,J] |
Full Idea: That human perception is always a 'seeing as' was the cardinal insight of what Husserl called 'phenomenology'. | |
From: Jens Zimmermann (Hermeneutics: a very short introduction [2015], 2 'Husserl's') | |
A reaction: I presume that 'cardinal insight' means there is no possibility of Husserl being wrong about this. What's happening before you figure out what it is you are looking at? |
17771 | How we evaluate evidence depends on our background beliefs [Bayne] |
Full Idea: A claim that might be very plausible given one set of background beliefs might be highly implausible when evaluated in the light of a different set of background beliefs. | |
From: Tim Bayne (Thought: a very short introduction [2013], Ch.7) |
17770 | Clifford's dictum seems to block our beliefs in morality, politics and philosophy [Bayne] |
Full Idea: Endorsing Clifford's dictum threatens to undermine our right to hold many of our most cherished beliefs about morality, politics, and philosophy, for these are domains in which it is notoriously difficult to secure consensus. | |
From: Tim Bayne (Thought: a very short introduction [2013], Ch.7) | |
A reaction: I would say that those beliefs are amenable to evidence, but the evidence is often highly generalised, which is what makes those subjects notoriously difficult. The existence of a convention is a sort of evidence. |
17766 | Physicalism correlates brain and mind, explains causation by thought, and makes nature continuous [Bayne] |
Full Idea: The motivations for physicalism about the mind are that it accounts for correlations between states of the brain and states of thought, ...that it accounts for the causal role of thoughts, ...and that it does justice to the continuity of nature. | |
From: Tim Bayne (Thought: a very short introduction [2013], Ch.2) | |
A reaction: [summary] That is a pretty good summary of why I am a physicalist about the mind. I take all other theories to be dead footnotes in the history of thought - unless someone can produce a really good new argument. Which they can't. |
17768 | Perception reveals what animals think, but humans can disengage thought from perception [Bayne] |
Full Idea: One striking feature of human thought involves our ability to disengage the focus of thought from that of our perceptual attention. ...To get a fix on what an animal is thinking about, one need only determine the object of its perceptual attention. | |
From: Tim Bayne (Thought: a very short introduction [2013], Ch.4) | |
A reaction: What happens when an animal closes its eyes, or stirs violently during sleep? I take the hallmark of human thought to be its multi-level character, and this offers nice evidence for that view. Doing philosophy while driving a car is very revealing. |
17769 | Some people centre space on themselves; others centre space on the earth [Bayne] |
Full Idea: Egocentric conceptions of space employ a frame of reference that is focused on oneself; ...geocentric conceptions of space, by contrast, employ a frame of reference that is centred on the earth. | |
From: Tim Bayne (Thought: a very short introduction [2013], Ch.5) | |
A reaction: Famously, Europeans nearly always employ the egocentric conception, but many other cultures are geocentric. Thus the salt cellar is either 'to my left' or 'to the west'. In the latter view, everyone always knows their orientation (even indoors?). |
17767 | The alternative to a language of thought is map-like or diagram-like thought [Bayne] |
Full Idea: One could think that the structure of thought has more in common with that of maps or diagrams, and is not particularly language-like. | |
From: Tim Bayne (Thought: a very short introduction [2013], Ch.2) | |
A reaction: It seems unwise to be ensnared by analogies on this one, since the phenomenon is buried deep. You can no more infer what goes on underneath than you can infer electrons from looking at trees? |
20927 | The hermeneutic circle is between the reader's self-understanding, and the world of the text [Zimmermann,J] |
Full Idea: The 'hermeneutic circle' of understanding is not between the author and the reader, but between my understanding myself in my own world, and the world projected by the text, with its possibilities for life. | |
From: Jens Zimmermann (Hermeneutics: a very short introduction [2015], 4 'How texts') | |
A reaction: I'm not much of a fan of hermeneutics, but this idea seems quite important. Readings of Dickens in1860, 1930 and 2020 are very different events. For example, which parts catch the reader's interest, or jar with their sensibilities? |
20933 | Natural law theorists fear that without morality, law could be based on efficiency [Zimmermann,J] |
Full Idea: Natural law theorists fear that by denying the intrinsic connection between law and morality, positivists could encourage the validation of law based on efficiency alone. | |
From: Jens Zimmermann (Hermeneutics: a very short introduction [2015], 6 'Natural') | |
A reaction: The law's the law. The issue can only be whether one can ever be justified in breaking a law, and that isn't a legal question. I am sympathetic to the positiviists. |
20929 | Traditionally, God dictated the Torah to Moses, unlike the later biblical writings [Zimmermann,J] |
Full Idea: Jewish traditionalists hold that the first five books of the Hebrew Bible (the 'Torah') were dictated word for word by God to Moses, while the remaining sacred writings were more generally inspired. | |
From: Jens Zimmermann (Hermeneutics: a very short introduction [2015], 5 'Inspiration') | |
A reaction: This gives the Torah a similar status to the Quran, and presumably also to the actual words which are ascribed to Jesus in the four gospels. |