81 ideas
23917 | Contrary statements can both be reasonable, if they are meant in two different ways [Aristotle] |
16295 | Tarski proved that truth cannot be defined from within a given theory [Tarski, by Halbach] |
15342 | Tarski proved that any reasonably expressive language suffers from the liar paradox [Tarski, by Horsten] |
19069 | 'True sentence' has no use consistent with logic and ordinary language, so definition seems hopeless [Tarski] |
16296 | Tarski's Theorem renders any precise version of correspondence impossible [Tarski, by Halbach] |
10672 | Tarskian semantics says that a sentence is true iff it is satisfied by every sequence [Tarski, by Hossack] |
15339 | Tarski gave up on the essence of truth, and asked how truth is used, or how it functions [Tarski, by Horsten] |
16302 | Tarski did not just aim at a definition; he also offered an adequacy criterion for any truth definition [Tarski, by Halbach] |
19135 | Tarski enumerates cases of truth, so it can't be applied to new words or languages [Davidson on Tarski] |
19138 | Tarski define truths by giving the extension of the predicate, rather than the meaning [Davidson on Tarski] |
4699 | Tarski made truth relative, by only defining truth within some given artificial language [Tarski, by O'Grady] |
19324 | Tarski has to avoid stating how truths relate to states of affairs [Kirkham on Tarski] |
15410 | Truth only applies to closed formulas, but we need satisfaction of open formulas to define it [Burgess on Tarski] |
18811 | Tarski uses sentential functions; truly assigning the objects to variables is what satisfies them [Tarski, by Rumfitt] |
15365 | We can define the truth predicate using 'true of' (satisfaction) for variables and some objects [Tarski, by Horsten] |
19314 | For physicalism, reduce truth to satisfaction, then define satisfaction as physical-plus-logic [Tarski, by Kirkham] |
19316 | Insight: don't use truth, use a property which can be compositional in complex quantified sentence [Tarski, by Kirkham] |
19175 | Tarski gave axioms for satisfaction, then derived its explicit definition, which led to defining truth [Tarski, by Davidson] |
16303 | Tarski made truth respectable, by proving that it could be defined [Tarski, by Halbach] |
19134 | Tarski defined truth for particular languages, but didn't define it across languages [Davidson on Tarski] |
16304 | Tarski didn't capture the notion of an adequate truth definition, as Convention T won't prove non-contradiction [Halbach on Tarski] |
2571 | Tarski says that his semantic theory of truth is completely neutral about all metaphysics [Tarski, by Haack] |
10821 | Physicalists should explain reference nonsemantically, rather than getting rid of it [Tarski, by Field,H] |
10822 | A physicalist account must add primitive reference to Tarski's theory [Field,H on Tarski] |
10969 | Tarski had a theory of truth, and a theory of theories of truth [Tarski, by Read] |
17746 | Tarski's 'truth' is a precise relation between the language and its semantics [Tarski, by Walicki] |
10904 | Tarskian truth neglects the atomic sentences [Mulligan/Simons/Smith on Tarski] |
15322 | Tarski's had the first axiomatic theory of truth that was minimally adequate [Tarski, by Horsten] |
16306 | Tarski defined truth, but an axiomatisation can be extracted from his inductive clauses [Tarski, by Halbach] |
18759 | Identity is invariant under arbitrary permutations, so it seems to be a logical term [Tarski, by McGee] |
10823 | A name denotes an object if the object satisfies a particular sentential function [Tarski] |
18756 | Tarski built a compositional semantics for predicate logic, from dependent satisfactions [Tarski, by McGee] |
19313 | Tarksi invented the first semantics for predicate logic, using this conception of truth [Tarski, by Kirkham] |
16323 | The object language/ metalanguage distinction is the basis of model theory [Tarski, by Halbach] |
8940 | Tarski avoids the Liar Paradox, because truth cannot be asserted within the object language [Tarski, by Fisher] |
10154 | Tarski's theory of truth shifted the approach away from syntax, to set theory and semantics [Feferman/Feferman on Tarski] |
5869 | The thesis of the Form of the Good (or of anything else) is verbal and vacuous [Aristotle] |
22505 | The two right angles of a triangle necessitate that a quadrilateral has four [Aristotle] |
22513 | Knowing is having knowledge; understanding is using knowledge [Aristotle] |
23906 | Courage from spirit is natural and unconquerable, as seen in the young [Aristotle] |
20204 | Whether the mind has parts is irrelevant, since it obviously has distinct capacities [Aristotle] |
22506 | A man is the cause of what is within his power, and what he causes is in his power [Aristotle] |
22504 | Only a human being can be a starting point for an action [Aristotle] |
22510 | Some emotional states are too strong for human nature [Aristotle] |
23913 | Nearly all the good and bad states of character are concerned with feelings [Aristotle] |
23918 | Akrasia is the clash of two feelings - goodness and pleasure [Aristotle] |
22515 | Choice results when deliberation brings together an opinion with an inclination [Aristotle] |
22508 | Unlike in inanimate things, in animate things actions have more than one starting point [Aristotle] |
22514 | The deliberative part of the soul discerns explanatory causes [Aristotle] |
22507 | An action is voluntary when it is accompanied by thought of some kind [Aristotle] |
23319 | We are responsible if our actions reflect our motivation [Aristotle, by Frede,M] |
20407 | Taste is the capacity to judge an object or representation which is thought to be beautiful [Tarski, by Schellekens] |
22512 | Acts are voluntary if done knowingly, by the agent, and in his power to avoid it [Aristotle] |
22509 | What is natural for us is either there at birth, or appears by normal processes [Aristotle] |
18230 | No one would choose life just for activities not done for their own sake [Aristotle] |
23909 | Wearing a shoe is its intrinsic use, and selling it (as a shoe) is its coincidental use [Aristotle] |
5870 | Everything seeks, not a single good, but its own separate good [Aristotle] |
5877 | We judge people from their deeds because we cannot see their choices (which matter more) [Aristotle] |
5868 | Horses, birds and fish are not happy, lacking a divine aspect to their natures [Aristotle] |
5865 | Happiness involves three things, of which the greatest is either wisdom, virtue, or pleasure [Aristotle] |
5876 | Virtue is different from continence [Aristotle] |
5872 | Excellence is the best state of anything (like a cloak) which has an employment or function [Aristotle] |
5874 | Character virtues (such as courage) are of the non-rational part, which follows the rational part [Aristotle] |
22516 | Character is shown by what is or is not enjoyed, and virtue chooses the mean among them [Aristotle] |
22517 | We judge character not by their actions, but by their reasons for actions [Aristotle] |
5875 | Character (éthos) is developed from habit (ethos) [Aristotle] |
23914 | People sometimes exhibit both extremes together, but the mean is contrary to both of them [Aristotle] |
23911 | Possessors of a virtue tend to despise what reason shows to be its opposite [Aristotle] |
23910 | Greatness of soul produces all the virtues - and vice versa [Aristotle] |
23908 | If someone just looks at or listens to beautiful things, they would not be thought intemperate [Aristotle] |
23905 | Courage follows reason, which tells us to choose what is noble [Aristotle] |
23912 | Honour depends on what it is for, and whether it is bestowed by worthy people [Aristotle] |
5871 | Goods in the soul are more worthy than those outside it, as everybody wants them [Aristotle] |
23920 | Decent people can be friends with base people [Aristotle] |
23919 | Friendship cannot be immediate; it takes time, and needs testing [Aristotle] |
23915 | The main function of politics is to produce friendship [Aristotle] |
23916 | The best cure for mutual injustice is friendship [Aristotle] |
5866 | It is folly not to order one's life around some end [Aristotle] |
5878 | Eyes could be used for a natural purpose, or for unnatural seeing, or for a non-seeing activity [Aristotle] |
5873 | Each thing's function is its end [Aristotle] |
12709 | Motion is not absolute, but consists in relation [Leibniz] |