56 ideas
23917 | Contrary statements can both be reasonable, if they are meant in two different ways [Aristotle] |
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] |
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] |
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] |
16713 | Philosophers are the forefathers of heretics [Tertullian] |
6610 | I believe because it is absurd [Tertullian] |