query: subclass_of logical form
supports: Contemporary philosophy is the present period in the history of Western philosophy beginning at the end of the 19th century with the professionalization of the discipline and the rise of analytic and continental philosophy. Truth is most often used to mean being in accord with fact or reality, or fidelity to an original or standard. Truth may also often be used in modern contexts to refer to an idea of "truth to self," or authenticity. In mathematics, computer science, and linguistics, a formal language is a set of strings of symbols together with a set of rules that are specific to it. The logical form of a sentence ( or proposition or statement or truthbearer ) or set of sentences is the form obtained by abstracting from the subject matter of its content terms or by regarding the content terms as mere placeholders or blanks on a form . In an ideal logical language , the logical form can be determined from syntax alone ; formal languages used in formal sciences are examples of such languages . Logical form , however , should not be confused with the mere syntax used to represent it ; there may be more than one string that represents the same logical form in a given language . The logical form of an argument is called the argument form or test form of the argument . In linguistics, syntax is the set of rules, principles, and processes that govern the structure of sentences in a given language, specifically word order. The term "syntax" is also used to refer to the study of such principles and processes. The goal of many syntacticians is to discover the syntactic rules common to all languages. A propositional attitude is a mental state held by an agent toward a proposition. Propositional attitudes are often assumed to be the fundamental units of thought and their contents, being propositions, are true or false. An agent can have different propositional attitudes toward the same proposition (e.g., S believes that her ice-cream is cold, and S fears that her ice-cream is cold). Linguistics is the scientific study of language, and involves an analysis of language form, language meaning, and language in context. The earliest activities in the documentation and description of language have been attributed to the 4th century BCE Indian grammarian Pini who wrote a formal description of the Sanskrit language in his "". Belief is the state of mind in which a person thinks something to be the case, with or without there being empirical evidence to prove that something is the case with factual certainty. Another way of defining belief sees it as a mental representation of an attitude positively oriented towards the likelihood of something being true. In the context of Ancient Greek thought, two related concepts were identified with regards to the concept of belief: "pistis" and "doxa". Simplified, we may say that "pistis" refers to "trust" and "confidence", while "doxa" refers to "opinion" and "acceptance". The English word "orthodoxy" derives from "doxa". Jonathan Leicester suggests that belief has the purpose of guiding action rather than indicating truth. In linguistics, word order typology is the study of the order of the syntactic constituents of a language, and how different languages can employ different orders. Correlations between orders found in different syntactic sub-domains are also of interest. The primary word orders that are of interest are the "constituent order" of a clause  the relative order of subject, object, and verb; the order of modifiers (adjectives, numerals, demonstratives, possessives, and adjuncts) in a noun phrase; and the order of adverbials. The term proposition has a broad use in contemporary philosophy. It is used to refer to some or all of the following: the primary bearers of truth-value, the objects of belief and other "propositional attitudes" (i.e., what is believed, doubted, etc.), the referents of that-clauses, and the meanings of declarative sentences. Propositions are the sharable objects of attitudes and the primary bearers of truth and falsity. This stipulation rules out certain candidates for propositions, including thought- and utterance-tokens which are not sharable, and concrete events or facts, which cannot be false. Computer science is the study of the theory, experimentation, and engineering that form the basis for the design and use of computers. It is the scientific and practical approach to computation and its applications and the systematic study of the feasibility, structure, expression, and mechanization of the methodical procedures (or algorithms) that underlie the acquisition, representation, processing, storage, communication of, and access to information. An alternate, more succinct definition of computer science is the study of automating algorithmic processes that scale. A computer scientist specializes in the theory of computation and the design of computational systems. A referent is a person or thing to which a linguistic expression or other symbol refers. For example, in the sentence "Mary saw me", the referent of the word "Mary" is the particular person called Mary who is being spoken of, while the referent of the word "me" is the person uttering the sentence.
candidates: agent ancient greek being belief case clause concept cream documentation english evidence history ice idea information language linguistics object out person philosophy sentence set state structure study subject term verb western
answer: information