general recursive set
111Philosophical analysis — (from Greek: Φιλοσοφική ανάλυση) is a general term for techniques typically used by philosophers in the analytic tradition that involve breaking down (i.e. analyzing) philosophical issues. Arguably the most prominent of these techniques is the… …
112Reference — For help in citing references, see Wikipedia:Citing sources. For the Wikipedia Reference Desk, see Wikipedia:Reference desk. Reference is derived from Middle English referren, from Middle French rèférer, from Latin referre, to carry back , formed …
113Alonzo Church — This article is about the mathematician and logician. For the president of the University of Georgia, see Alonzo S. Church. Alonzo Church Alonzo Church (1903–1995) …
114Fact — For other uses, see Fact (disambiguation). A fact (derived from the Latin Factum, see below) is something that has really occurred or is actually the case. The usual test for a statement of fact is verifiability, that is whether it can be shown… …
115Nyaya — Part of a series on Hindu philosophy …
116Name — For other uses, see Name (disambiguation). Ceremonies, such as baptism, can be used to give names. A name is a word or term used for identification. Names can identify a class or category of things, or a single thing, either uniquely, or within a …
117Metamathematics — is the study of mathematics itself using mathematical methods. This study produces metatheories, which are mathematical theories about other mathematical theories. Metamathematical metatheorems about mathematics itself were originally… …
118Paraconsistent logic — A paraconsistent logic is a logical system that attempts to deal with contradictions in a discriminating way. Alternatively, paraconsistent logic is the subfield of logic that is concerned with studying and developing paraconsistent (or… …
119Computability logic — Introduced by Giorgi Japaridze in 2003, computability logic is a research programme and mathematical framework for redeveloping logic as a systematic formal theory of computability, as opposed to classical logic which is a formal theory of truth …
120Rigour — For the medical term, see Rigor (medicine). For the sign of death, see Rigor mortis. Rigour or rigor (see spelling differences) has a number of meanings in relation to intellectual life and discourse. These are separate from public and political… …
