Search results

Jump to: navigation, search
  • [[Category:Formal Languages]] [[Category:Formal Sciences]]
    5 KB (658 words) - 02:02, 31 October 2015
  • ...o, its study from the perspectives of abstract algebra on the one hand and formal logic on the other. ...ociated with philosophical differences over the status in reality accorded formal objects. Among those who speak of numbers, functions, properties, relation
    25 KB (3,665 words) - 21:05, 16 November 2015
  • ...f the impressions that signs make on a representative interpreter. In its formal aspects, that impact or influence may be treated as just another sign, call [[Category:Cognitive Sciences]]
    20 KB (2,655 words) - 21:25, 16 November 2015
  • ...o ''C''. It is from this definition, together with a definition of “formal”, that I deduce mathematically the principles of logic. I also make ...he is invoking a more general concept of determination, what is called a ''formal'' or ''informational'' determination, as in saying “two points determ
    58 KB (8,251 words) - 21:35, 15 November 2015
  • ==Formal definition== ...A few bits of terminology are useful in describing the pictures, but the formal details are tedious reading, and may be familiar to many readers, so the fu
    22 KB (3,319 words) - 19:22, 6 November 2015
  • [[Category:Formal Languages]] [[Category:Formal Sciences]]
    5 KB (572 words) - 04:18, 7 November 2015
  • ...nal logic'' (or ''sentential logic''). Propositional logic is a domain of formal subject matter that is, up to somorphism, constituted by the structural rel In general terms, a calculus is a formal system that consists of a set of syntactic expressions (''well-formed formu
    17 KB (2,301 words) - 16:02, 7 November 2015
  • In the formal sciences — mathematics, mathematical logic, statistics — and their appli ...entence is true. A truth predicate may have additional domains beyond the formal language domain, if that is what is required to determine a final truth val
    7 KB (806 words) - 21:16, 5 November 2015
  • ...les that govern the use of a ''differential logical calculus'', that is, a formal system with the expressive capacity to describe change and diversity in log [[Category:Formal Languages]]
    6 KB (662 words) - 22:34, 5 November 2015
  • [[Category:Formal Languages]] [[Category:Formal Sciences]]
    5 KB (599 words) - 20:22, 16 November 2015
  • ...t, even though all angles of approach must ultimately converge on the same formal subject matter. ...'s Calculus of Logic”, ''Memoirs of the American Academy of Arts and Sciences'' 9, 317–378, 1870. Reprinted, ''Collected Papers'' CP 3.45&nda
    7 KB (919 words) - 22:54, 10 November 2015
  • In mathematics, a '''finitary relation''' is defined by one of the formal definitions given below. ==Formal definitions==
    20 KB (2,925 words) - 17:10, 14 November 2015
  • ...ond relations that have any fixed arity, in effect, to the general case of formal languages as generalized relations. [[Category:Formal Sciences]]
    65 KB (6,802 words) - 18:18, 14 November 2015
  • [[Category:Formal Sciences]]
    5 KB (621 words) - 19:24, 14 November 2015
  • [[Category:Formal Sciences]]
    29 KB (4,035 words) - 03:36, 15 November 2015
  • [[Category:Formal Languages]] [[Category:Formal Sciences]]
    16 KB (2,190 words) - 18:31, 7 November 2015
  • [[Category:Formal Grammars]] [[Category:Formal Languages]]
    6 KB (702 words) - 19:14, 7 November 2015
  • ...he sixteen functions in one of several notations that are commonly used in formal logic. [[Category:Formal Languages]]
    12 KB (1,631 words) - 03:08, 9 November 2015
  • ...e anything from an informal theory, based on implicit or tacit ideas, to a formal theory, constructed from explicit axioms and definitions and developed by m ...standard in modern times under the heading of ''semantics'', especially ''formal semantics'' and ''model theory''. Another association of longstanding inte
    37 KB (5,460 words) - 14:50, 17 November 2015
  • ...e the potential confusion is to begin with a focus on the various types of formal objects that are being discussed, of which there are only a few, taking up The main formal object under discussion is a logical operation on two logical values, typic
    16 KB (2,147 words) - 20:20, 4 November 2015
  • [[Category:Formal Languages]] [[Category:Formal Sciences]]
    6 KB (728 words) - 01:46, 31 October 2015
  • [[Category:Formal Languages]] [[Category:Formal Sciences]]
    5 KB (618 words) - 04:12, 7 November 2015
  • [[Category:Formal Languages]] [[Category:Formal Sciences]]
    5 KB (664 words) - 04:24, 4 November 2015
  • [[Category:Formal Languages]] [[Category:Formal Sciences]]
    5 KB (656 words) - 00:56, 2 November 2015
  • [[Category:Formal Languages]] [[Category:Formal Sciences]]
    5 KB (684 words) - 23:00, 4 November 2015
  • [[Category:Formal Languages]] [[Category:Formal Sciences]]
    5 KB (678 words) - 03:54, 5 November 2015
  • [[Category:Formal Languages]] [[Category:Formal Sciences]]
    6 KB (729 words) - 14:18, 5 November 2015