Self-portraitA self-portrait is a portrait of an artist made by that artist. Although self-portraits have been made since the earliest times, it is not until the Early Renaissance in the mid-15th century that artists can be frequently identified depicting themselves as either the main subject, or as important characters in their work. With better and cheaper mirrors, and the advent of the panel portrait, many painters, sculptors and printmakers tried some form of self-portraiture.
Formal languageIn logic, mathematics, computer science, and linguistics, a formal language consists of words whose letters are taken from an alphabet and are well-formed according to a specific set of rules. The alphabet of a formal language consists of symbols, letters, or tokens that concatenate into strings of the language. Each string concatenated from symbols of this alphabet is called a word, and the words that belong to a particular formal language are sometimes called well-formed words or well-formed formulas.
Square of oppositionIn term logic (a branch of philosophical logic), the square of opposition is a diagram representing the relations between the four basic categorical propositions. The origin of the square can be traced back to Aristotle's tractate On Interpretation and its distinction between two oppositions: contradiction and contrariety. However, Aristotle did not draw any diagram; this was done several centuries later by Apuleius and Boethius.
Portrait paintingPortrait painting is a genre in painting, where the intent is to represent a specific human subject. The term 'portrait painting' can also describe the actual painted portrait. Portraitists may create their work by commission, for public and private persons, or they may be inspired by admiration or affection for the subject. Portraits often serve as important state and family records, as well as remembrances. Historically, portrait paintings have primarily memorialized the rich and powerful.
ExplanationAn explanation is a set of statements usually constructed to describe a set of facts which clarifies the causes, context, and consequences of those facts. It may establish rules or laws, and may clarify the existing rules or laws in relation to any objects or phenomena examined. Explanation, in philosophy, is a set of statements that makes intelligible the existence or occurrence of an object, event, or state of affairs.
Ad hoc hypothesisIn science and philosophy, an ad hoc hypothesis is a hypothesis added to a theory in order to save it from being falsified. Often, ad hoc hypothesizing is employed to compensate for anomalies not anticipated by the theory in its unmodified form. Scientists are often skeptical of theories that rely on frequent, unsupported adjustments to sustain them. This is because, if a theorist so chooses, there is no limit to the number of ad hoc hypotheses that they could add. Thus the theory becomes more and more complex, but is never falsified.
Vector potentialIn vector calculus, a vector potential is a vector field whose curl is a given vector field. This is analogous to a scalar potential, which is a scalar field whose gradient is a given vector field. Formally, given a vector field v, a vector potential is a vector field A such that If a vector field v admits a vector potential A, then from the equality (divergence of the curl is zero) one obtains which implies that v must be a solenoidal vector field. Let be a solenoidal vector field which is twice continuously differentiable.
Site-specific artSite-specific art is artwork created to exist in a certain place. Typically, the artist takes the location into account while planning and creating the artwork. Site-specific art is produced both by commercial artists, and independently, and can include some instances of work such as sculpture, stencil graffiti, rock balancing, and other art forms. Installations can be in urban areas, remote natural settings, or underwater.
Formal scienceFormal science is a branch of science studying disciplines concerned with abstract structures described by formal systems, such as logic, mathematics, statistics, theoretical computer science, artificial intelligence, information theory, game theory, systems theory, decision theory, and theoretical linguistics. Whereas the natural sciences and social sciences seek to characterize physical systems and social systems, respectively, using empirical methods, the formal sciences use language tools concerned with characterizing abstract structures described by formal systems.
DialetheismDialetheism (from Greek δι- 'twice' and ἀλήθεια 'truth') is the view that there are statements that are both true and false. More precisely, it is the belief that there can be a true statement whose negation is also true. Such statements are called "true contradictions", dialetheia, or nondualisms. Dialetheism is not a system of formal logic; instead, it is a thesis about truth that influences the construction of a formal logic, often based on pre-existing systems.
