|
Convenient Fiction
An object of the mind is an object that exists in the mind or imagination, but which, in the real world, can only be represented or modeled. Some such objects are abstractions, concepts and scenarios in literature and fiction. Closely related are intentional objects, which are what thoughts and feelings are about, even if they are not about anything real (such as thoughts about unicorns, or feelings of apprehension about a dental appointment which is subsequently cancelled). However, intentional objects may coincide with real objects (as in thoughts about horses, or a feeling of regret about a missed appointment). Mathematical objects Mathematics and geometry describe abstract objects that sometimes correspond to familiar shapes, and sometimes do not. Circles, triangles, rectangles, and so forth describe two-dimensional shapes that are often found in the real world. However, mathematical formulas do not describe individual physical circles, triangles, or rectangles. They describe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Object (philosophy)
The distinction between subject and object is a basic idea of philosophy. *A subject is a being that exercises Agency (philosophy), agency, undergoes conscious experiences, and is situated in relation to other things that exist outside itself; thus, a subject is any individual, person, or observer. *An object is any of the things observed or experienced by a subject, which may even include other beings (thus, from their own points of view: other subjects). A simple common differentiation for ''subject'' and ''object'' is: an observer versus a thing that is observed. In certain cases involving personhood, subjects and objects can be considered interchangeable where each label is applied only from one or the other point of view. Subjects and objects are related to the philosophical distinction between Subjectivity and objectivity (philosophy), subjectivity and objectivity: the existence of knowledge, ideas, or information either dependent upon a subject (subjectivity) or independent f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Möbius Strip
In mathematics, a Möbius strip, Möbius band, or Möbius loop is a Surface (topology), surface that can be formed by attaching the ends of a strip of paper together with a half-twist. As a mathematical object, it was discovered by Johann Benedict Listing and August Ferdinand Möbius in 1858, but it had already appeared in Ancient Rome, Roman mosaics from the third century Common Era, CE. The Möbius strip is a orientability, non-orientable surface, meaning that within it one cannot consistently distinguish clockwise from counterclockwise turns. Every non-orientable surface contains a Möbius strip. As an abstract topological space, the Möbius strip can be embedded into three-dimensional Euclidean space in many different ways: a clockwise half-twist is different from a counterclockwise half-twist, and it can also be embedded with odd numbers of twists greater than one, or with a Knot (mathematics), knotted centerline. Any two embeddings with the same knot for the centerline and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Modal Logic
Modal logic is a kind of logic used to represent statements about Modality (natural language), necessity and possibility. In philosophy and related fields it is used as a tool for understanding concepts such as knowledge, obligation, and causality, causation. For instance, in epistemic modal logic, the well-formed_formula, formula \Box P can be used to represent the statement that P is known. In deontic modal logic, that same formula can represent that P is a moral obligation. Modal logic considers the inferences that modal statements give rise to. For instance, most epistemic modal logics treat the formula \Box P \rightarrow P as a Tautology_(logic), tautology, representing the principle that only true statements can count as knowledge. However, this formula is not a tautology in deontic modal logic, since what ought to be true can be false. Modal logics are formal systems that include unary operation, unary operators such as \Diamond and \Box, representing possibility and necessi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Intensional Logic
Intensional logic is an approach to predicate logic that extends first-order logic, which has quantifiers that range over the individuals of a universe (''extensions''), by additional quantifiers that range over terms that may have such individuals as their value (''intensions''). The distinction between intensional and extensional entities is parallel to the distinction between sense and reference. Overview Logic is the study of proof and deduction as manifested in language (abstracting from any underlying psychological or biological processes). Logic is not a closed, completed science, and presumably, it will never stop developing: the logical analysis can penetrate into varying depths of the language (sentences regarded as atomic, or splitting them to predicates applied to individual terms, or even revealing such fine logical structures like modal, temporal, dynamic, epistemic ones). In order to achieve its special goal, logic was forced to develop its own formal tools ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Conditional Probability
In probability theory, conditional probability is a measure of the probability of an Event (probability theory), event occurring, given that another event (by assumption, presumption, assertion or evidence) is already known to have occurred. This particular method relies on event A occurring with some sort of relationship with another event B. In this situation, the event A can be analyzed by a conditional probability with respect to B. If the event of interest is and the event is known or assumed to have occurred, "the conditional probability of given ", or "the probability of under the condition ", is usually written as or occasionally . This can also be understood as the fraction of probability B that intersects with A, or the ratio of the probabilities of both events happening to the "given" one happening (how many times A occurs rather than not assuming B has occurred): P(A \mid B) = \frac. For example, the probability that any given person has a cough on any given day ma ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Subjunctive Possibility
Subjunctive possibility (also called alethic possibility) is a form of modality studied in modal logic. Subjunctive possibilities are the sorts of possibilities considered when conceiving counterfactual situations; subjunctive modalities are modalities that bear on whether a statement ''might have been'' or ''could be'' true—such as ''might'', ''could'', ''must'', ''possibly'', ''necessarily'', ''contingently'', ''essentially'', ''accidentally'', and so on. Subjunctive possibilities include logical possibility, metaphysical possibility, nomological possibility, and temporal possibility. Subjunctive possibility and other modalities Subjunctive possibility is contrasted with (among other things) epistemic possibility (which deals with how the world ''may'' be, ''for all we know'') and deontic possibility (which deals with how the world ''ought'' to be). Epistemic possibility The contrast with epistemic possibility is especially important to draw, since in ordinary langua ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Subjunctive
The subjunctive (also known as the conjunctive in some languages) is a grammatical mood, a feature of an utterance that indicates the speaker's attitude toward it. Subjunctive forms of verbs are typically used to express various states of unreality, such as wish, emotion, possibility, judgment, opinion, obligation, or action, that has not yet occurred. The precise situations in which they are used vary from language to language. The subjunctive is one of the irrealis moods, which refer to what is not necessarily real. It is often contrasted with the indicative, a realis mood which principally indicates that something is a statement of fact. Subjunctives occur most often, although not exclusively, in subordinate clauses, particularly ''that''-clauses. Examples of the subjunctive in English are found in the sentences "I suggest that you ''be'' careful" and "It is important that she ''stay'' by your side." Indo-European languages Proto-Indo-European The Proto-Indo-European lang ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hypothetical
A hypothesis (: hypotheses) is a proposed explanation for a phenomenon. A scientific hypothesis must be based on observations and make a testable and reproducible prediction about reality, in a process beginning with an educated guess or thought. If a hypothesis is repeatedly independently demonstrated by experiment to be true, it becomes a scientific theory. In colloquial usage, the words "hypothesis" and "theory" are often used interchangeably, but this is incorrect in the context of science. A working hypothesis is a provisionally-accepted hypothesis used for the purpose of pursuing further progress in research. Working hypotheses are frequently discarded, and often proposed with knowledge (and warning) that they are incomplete and thus false, with the intent of moving research in at least somewhat the right direction, especially when scientists are stuck on an issue and brainstorming ideas. A different meaning of the term ''hypothesis'' is used in formal logic, to d ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Counterfactual Conditional
Counterfactual conditionals (also ''contrafactual'', ''subjunctive'' or ''X-marked'') are conditional sentences which discuss what would have been true under different circumstances, e.g. "If Peter believed in ghosts, he would be afraid to be here." Counterfactuals are contrasted with indicatives, which are generally restricted to discussing open possibilities. Counterfactuals are characterized grammatically by their use of fake tense morphology, which some languages use in combination with other kinds of morphology including aspect and mood. Counterfactuals are one of the most studied phenomena in philosophical logic, formal semantics, and philosophy of language. They were first discussed as a problem for the material conditional analysis of conditionals, which treats them all as trivially true. Starting in the 1960s, philosophers and linguists developed the now-classic possible world approach, in which a counterfactual's truth hinges on its consequent holding at certai ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sequences
In mathematics, a sequence is an enumerated collection of objects in which repetitions are allowed and order matters. Like a set, it contains members (also called ''elements'', or ''terms''). The number of elements (possibly infinite) is called the ''length'' of the sequence. Unlike a set, the same elements can appear multiple times at different positions in a sequence, and unlike a set, the order does matter. Formally, a sequence can be defined as a function from natural numbers (the positions of elements in the sequence) to the elements at each position. The notion of a sequence can be generalized to an indexed family, defined as a function from an ''arbitrary'' index set. For example, (M, A, R, Y) is a sequence of letters with the letter "M" first and "Y" last. This sequence differs from (A, R, M, Y). Also, the sequence (1, 1, 2, 3, 5, 8), which contains the number 1 at two different positions, is a valid sequence. Sequences can be '' finite'', as in these examples, or '' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logical
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure of arguments alone, independent of their topic and content. Informal logic is associated with informal fallacies, critical thinking, and argumentation theory. Informal logic examines arguments expressed in natural language whereas formal logic uses formal language. When used as a countable noun, the term "a logic" refers to a specific logical formal system that articulates a proof system. Logic plays a central role in many fields, such as philosophy, mathematics, computer science, and linguistics. Logic studies arguments, which consist of a set of premises that leads to a conclusion. An example is the argument from the premises "it's Sunday" and "if it's Sunday then I don't have to work" leading to the conclusion "I don't have to work." Premi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Deductive Reasoning
Deductive reasoning is the process of drawing valid inferences. An inference is valid if its conclusion follows logically from its premises, meaning that it is impossible for the premises to be true and the conclusion to be false. For example, the inference from the premises "all men are mortal" and " Socrates is a man" to the conclusion "Socrates is mortal" is deductively valid. An argument is ''sound'' if it is valid ''and'' all its premises are true. One approach defines deduction in terms of the intentions of the author: they have to intend for the premises to offer deductive support to the conclusion. With the help of this modification, it is possible to distinguish valid from invalid deductive reasoning: it is invalid if the author's belief about the deductive support is false, but even invalid deductive reasoning is a form of deductive reasoning. Deductive logic studies under what conditions an argument is valid. According to the semantic approach, an argument is valid ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
