Summary
Highlights
Natalia Huacar, a professor at IPCA, introduces the topic of statements and their evaluation. Statements are considered the building blocks of arguments, and understanding their different types is crucial for analyzing arguments. The video will present three main classifications of statements to aid in their evaluation.
The first classification distinguishes between simple and complex statements. Simple statements, like 'Facundo is in the classroom,' lack internal propositional structure. Complex statements, however, combine multiple simple statements or include logical operators. Examples of complex statements include negations ('Federico is not in the classroom'), conjunctions ('Josefina and Eliseo are in the classroom'), disjunctions ('Ulises or Emilia will bring mate'), and conditionals ('If I get a four, then I pass'). The complexity dictates their truth conditions.
A negation is true when the statement being negated is false. For example, 'Federico is not in the classroom' is true if 'Federico is in the classroom' is false. Various linguistic forms can express negation, including 'no,' 'not the case,' 'it's false that,' or prefixes like 'des-' (e.g., 'discontent') or 'in-' (e.g., 'unhappy').
Conjunctions combine two statements, called conjuncts. A conjunction is true only if both conjuncts are true. For example, 'Josefina and Eliseo are in the classroom' is true if Josefina is in the classroom AND Eliseo is in the classroom. While 'and' is the most common connector, other words like 'additionally,' 'also,' 'comma,' and 'but' can also function as conjunctions, even if 'but' adds a nuance of opposition (which is disregarded for truth condition analysis).
Disjunctions use 'or' to combine statements. Inclusive disjunctions (e.g., 'Emilia or Ulises will bring mate') are true if at least one of the disjuncts is true. Exclusive disjunctions, however, are true if one and only one of the disjuncts is true (e.g., 'Roman is in the classroom or in the cafeteria'). Context often helps differentiate between inclusive and exclusive disjunctions, or explicit phrases like 'either...or' can be used for exclusivity.
Conditionals are the most complex. A general conditional ('If P, then Q') is false only when the antecedent (P) is true and the consequent (Q) is false. In all other cases, it is considered true. This means P is a sufficient condition for Q. Conversely, a 'only if' conditional ('Only if P, then Q') implies P is a necessary condition for Q. To analyze 'only if' conditionals using the same framework, the necessary condition is placed in the consequent (If Q, then P).
Biconditionals, expressed as 'if and only if' or 'always and whenever,' assert that one condition is both necessary and sufficient for another. For example, 'I pass the subject if and only if I get an average above seven.' This type of statement is true when both parts have the same truth value (both true or both false); otherwise, it is false.
The second typology classifies statements based on the scope of what is predicated. Singular statements refer to a single entity (e.g., 'Earth has an atmosphere'). Existential statements affirm the existence of at least one entity with a certain property (e.g., 'There are planets with atmospheres'). Universal statements assert that all entities in a given set have a property (e.g., 'All planets have atmospheres'). Probabilistic statements quantify the likelihood of an event or characteristic (e.g., 'Most planets have atmospheres' or 'There's a 90% chance of rain'). Evaluating the truth of these statements varies greatly in difficulty depending on their scope.
The third classification, modality, concerns how statements are true or false. Contingencies can be either true or false depending on external circumstances (e.g., 'Today is Friday' or 'It's cold'). Tautologies are necessarily true due to their logical structure, regardless of external facts (e.g., 'Today is Friday or it is not'). Contradictions are necessarily false, also due to their logical structure (e.g., 'It's cold and it's not cold'). The video emphasizes that this logical necessity is distinct from empirical or physical necessity.