mxplx

Memes about the concept “Logic”

121–128 of 128

Science as a Quest

Pysicists are trying to find out how nature behaves; they may talks carelessly about some "utlimate particle" because that's the way nature looks at a given moment, but... Suppose people are exploring a new continent, OK? They see water coming along the ground, they've seen that before, and they call it "rivers." So…

Spinoza's Reasoning was Childish

There's a tendency to pomposity in all this, to make it all deep and profound. My son is taking a course in philosophy, and last night we were looking at something by Spinoza--and there was teh most childish reasoning! There were all these Attributes, and Substances, all this meaningless chewing around, and we started…

The Net is a Playground of Entropy

It may be fun to surf the Net and follow things randomly, but there's value in structure. The Net is a playground of entropy--the structurelessness that occurs when energy dissipates from a system. Yes, the Net also fosters self-organization, when individuals apply their energy, selectng and filtering information for…

Assessing Trust, Subjective Logic, Real-Valued Triple

Another key factor in assessing the trustworthiness of a document is the reliability or otherwise of the claims expressed within it; metadata about provenance will no doubt help in such judgements but need not necessarily resolve them. Representing confidence in reliability has always been difficult in epistemic…

The Web is More Than Text

Nevertheless, the next generation Web should not be based on the false assumption that text is predominant and keyword-based search will be adequate for all reasonable purposes [127]. Indeed, the issues relating to navigation through multimedia repositories such as video archives and through theWeb are not unrelated…

Associative vs. Analogous Reasoning

There are many different types of reasoning, but not too many have been successfully automated beyond deductive linear reasoning and various statistical methods. What alternative methods has the Web facilitated? One obvious candidate is associative reasoning, where reasoning on the basis of associations - which can be…

Fundamental Names in Computer Science

Consider some fundamental names: Turing (computation theory and programmable automata), von Neumann (computer architecture), Shannon (information theory), Knuth, Hoare, Dijkstra, and Wirth (programming theory and algorithmics), Feigenbaum and McCarthy (artificial intelligence), Codd (relational model of databases)…

Arguments Aren't Necessarily Linear

Conceptually speaking, however, an argument is not a serial affair. It is sequential, I grant you, because some statements have to follow others, but this doesn't imply that its nature is neccesarily serial. We usually string Statement B after Statement A, with Statements C, D, E, F and so on following in that…