PropositionA proposition is a central concept in the philosophy of language, semantics, logic, and related fields, often characterized as the primary bearer of truth or falsity. Propositions are also often characterized as being the kind of thing that declarative sentences denote. For instance the sentence "The sky is blue" denotes the proposition that the sky is blue. However, crucially, propositions are not themselves linguistic expressions.
Propositional calculusPropositional calculus is a branch of logic. It is also called propositional logic, statement logic, sentential calculus, sentential logic, or sometimes zeroth-order logic. It deals with propositions (which can be true or false) and relations between propositions, including the construction of arguments based on them. Compound propositions are formed by connecting propositions by logical connectives. Propositions that contain no logical connectives are called atomic propositions.
Propositional formulaIn propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. If the values of all variables in a propositional formula are given, it determines a unique truth value. A propositional formula may also be called a propositional expression, a sentence, or a sentential formula. A propositional formula is constructed from simple propositions, such as "five is greater than three" or propositional variables such as p and q, using connectives or logical operators such as NOT, AND, OR, or IMPLIES; for example: (p AND NOT q) IMPLIES (p OR q).
Propositional variableIn mathematical logic, a propositional variable (also called a sentential variable or sentential letter) is an input variable (that can either be true or false) of a truth function. Propositional variables are the basic building-blocks of propositional formulas, used in propositional logic and higher-order logics. Formulas in logic are typically built up recursively from some propositional variables, some number of logical connectives, and some logical quantifiers.
Propositional attitudeA propositional attitude is a mental state held by an agent or organism toward a proposition. In philosophy, propositional attitudes can be considered to be, neurally-realized causally efficacious content-bearing internal states (personal principles/values). Linguistically, propositional attitudes are denoted by a verb (e.g. "believed") governing an embedded "that" clause, for example, 'Sally believed that she had won'. Propositional attitudes are often assumed to be the fundamental units of thought and their contents, being propositions, are true or false from the perspective of the person.
Atomic sentenceIn logic and analytic philosophy, an atomic sentence is a type of declarative sentence which is either true or false (may also be referred to as a proposition, statement or truthbearer) and which cannot be broken down into other simpler sentences. For example, "The dog ran" is an atomic sentence in natural language, whereas "The dog ran and the cat hid" is a molecular sentence in natural language. From a logical analysis point of view, the truth or falsity of sentences in general is determined by only two things: the logical form of the sentence and the truth or falsity of its simple sentences.
Sentence (linguistics)In linguistics and grammar, a sentence is a linguistic expression, such as the English example "The quick brown fox jumps over the lazy dog." In traditional grammar it is typically defined as a string of words that expresses a complete thought, or as a unit consisting of a subject and predicate. In non-functional linguistics it is typically defined as a maximal unit of syntactic structure such as a constituent.
MoonThe Moon is Earth's only natural satellite. Its diameter is about one-quarter of Earth's (comparable to the width of Australia), making it the fifth largest satellite in the Solar System and the largest and most massive relative to its parent planet. It is larger than all known dwarf planets in the Solar System. The Moon is a planetary-mass object with a differentiated rocky body, making it a satellite planet under the geophysical definitions of the term. It lacks any significant atmosphere, hydrosphere, or magnetic field.
Full moonThe full moon is the lunar phase when the Moon appears fully illuminated from Earth's perspective. This occurs when Earth is located between the Sun and the Moon (when the ecliptic longitudes of the Sun and Moon differ by 180°). This means that the lunar hemisphere facing Earth—the near side—is completely sunlit and appears as an approximately circular disk. The full moon occurs roughly once a month. The time interval between a full moon and the next repetition of the same phase, a synodic month, averages about 29.
Sentence clause structureIn grammar, sentence and clause structure, commonly known as sentence composition, is the classification of sentences based on the number and kind of clauses in their syntactic structure. Such division is an element of traditional grammar. In standard English, sentences are composed of five clause patterns: Subject + Verb (intransitive)Example: She runs. Subject + Verb (transitive) + ObjectExample: She runs the meeting. Subject + Verb (linking) + Subject Complement (adjective, noun, pronoun)Example: Abdul is happy.
TimeTime is the continued sequence of existence and events that occurs in an apparently irreversible succession from the past, through the present, into the future. It is a component quantity of various measurements used to sequence events, to compare the duration of events or the intervals between them, and to quantify rates of change of quantities in material reality or in the conscious experience. Time is often referred to as a fourth dimension, along with three spatial dimensions.
Capital (economics)In economics, capital goods or capital are "those durable produced goods that are in turn used as productive inputs for further production" of goods and services. At the macroeconomic level, "the nation's capital stock includes buildings, equipment, software, and inventories during a given year." A typical example is the machinery used in factories. Capital can be increased by the use of the factors of production, which however excludes certain durable goods like homes and personal automobiles that are not used in the production of saleable goods and services.
FranceFrance (fʁɑ̃s), officially the French Republic (République française ʁepyblik fʁɑ̃sɛz), is a country located primarily in Western Europe. It also includes overseas regions and territories in the Americas and the Atlantic, Pacific and Indian Oceans, giving it one of the largest discontiguous exclusive economic zones in the world. Its metropolitan area extends from the Rhine to the Atlantic Ocean and from the Mediterranean Sea to the English Channel and the North Sea; overseas territories include French Guiana in South America, Saint Pierre and Miquelon in the North Atlantic, the French West Indies, and many islands in Oceania and the Indian Ocean.
ParisParis (ˈpærɪs; paʁi) is the capital and most populous city of France, with an official estimated population of 2,102,650 residents as of 1 January 2023 in an area of more than , making it the fourth-most populated city in the European Union as well as the 30th most densely populated city in the world in 2022. Since the 17th century, Paris has been one of the world's major centres of finance, diplomacy, commerce, culture, fashion, gastronomy and many areas.
Financial capitalFinancial capital (also simply known as capital or equity in finance, accounting and economics) is any economic resource measured in terms of money used by entrepreneurs and businesses to buy what they need to make their products or to provide their services to the sector of the economy upon which their operation is based, e.g., retail, corporate, investment banking, etc. In other words, financial capital is internal retained earnings generated by the entity or funds provided by lenders (and investors) to businesses in order to purchase real capital equipment or services for producing new goods and/or services.
Logical connectiveIn logic, a logical connective (also called a logical operator, sentential connective, or sentential operator) is a logical constant. They can be used to connect logical formulas. For instance in the syntax of propositional logic, the binary connective can be used to join the two atomic formulas and , rendering the complex formula . Common connectives include negation, disjunction, conjunction, implication, and equivalence.
LogicLogic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or logical truths. It studies how conclusions follow from premises due to the structure of arguments alone, independent of their topic and content. Informal logic is associated with informal fallacies, critical thinking, and argumentation theory. It examines arguments expressed in natural language while formal logic uses formal language.
Capital requirementA capital requirement (also known as regulatory capital, capital adequacy or capital base) is the amount of capital a bank or other financial institution has to have as required by its financial regulator. This is usually expressed as a capital adequacy ratio of equity as a percentage of risk-weighted assets. These requirements are put into place to ensure that these institutions do not take on excess leverage and risk becoming insolvent. Capital requirements govern the ratio of equity to debt, recorded on the liabilities and equity side of a firm's balance sheet.
Human capitalHuman capital is a concept used by economists to designate personal attributes considered useful in the production process. It encompasses employee knowledge, skills, know-how, good health, and education. Human capital has a substantial impact on individual earnings. Research indicates that human capital investments have high economic returns throughout childhood and young adulthood. Companies can invest in human capital, for example, through education and training, enabling improved levels of quality and production.
Air FranceAir France (ɛːʁ fʁɑ̃s; formally Société Air France, S.A.), stylised as AIRFRANCE, is the flag carrier of France headquartered in Tremblay-en-France. It is a subsidiary of the Air France–KLM Group and a founding member of the SkyTeam global airline alliance. , Air France serves 29 destinations in France and operates worldwide scheduled passenger and cargo services to 201 destinations in 78 countries (93 including overseas departments and territories of France) and also carried 46,803,000 passengers in 2019.
