Based on architectural projects which interpret literature as program we discuss design reasoning when no routine models of problem solving apply. We address three aspects of formulation: defining the design charge so that it can be retrospectively stated independent of the actual proposal; defining a language of formal operations; and defining the intrinsic aims of design that are only intimated through the proposal itself. The coherence of the project is a function of the way in which formal properties interact, and (...) the way in which they sustain analogical or metaphorical relationships to text: how the patterns of subdivision, connection, differentiation, positioning, movement or perception associated with built space relate to textual figures, concepts, structure, or narrative. The possibility of constructing architectural meaning in this way implies an underlying model of space as a morphic language which works primarily through the constitution of generic and significant relationships rather than the combination of previously objectified elements. The gradual articulation of the design charge is mediated by a process of diagramming. Diagrams express as spatial constructions the conditions and concepts abstracted from text; also, they act as notations of constructive operations which are themselves spatial. Diagrams can be abstractive or pictorial, dense or discrete. They document two aspects of an integral process of reasoning: First, an exploration of how concepts, whether directly, analogically or metaphorically transferred from text to shape, may relate to produce a more complex idea; second, how formal properties co-vary and how an emergent design proposal engages and activates a field of formal possibility. (shrink)

The main thrust of the argument of this thesis is to show the possibility of articulating a method of construction or of synthesis--as against the most common method of analysis or division--which has always been (so we shall argue) a necessary component of scientific theorization. This method will be shown to be based on a fundamental synthetic logical relation of thought, that we shall call inversion--to be understood as a species of logical opposition, and as one of the basic monadic (...) logical operators. Thus the major objective of this thesis is to This thesis can be viewed as a response to Larry Laudan's challenge, which is based on the claim that ``the case has yet to be made that the rules governing the techniques whereby theories are invented (if any such rules there be) are the sorts of things that philosophers should claim any interest in or competence at.'' The challenge itself would be to show that the logic of discovery (if at all formulatable) performs the epistemological role of the justification of scientific theories. We propose to meet this challenge head on: a) by suggesting precisely how such a logic would be formulated; b) by demonstrating its epistemological relevance (in the context of justification) and c) by showing that a) and b) can be carried out without sacrificing the fallibilist view of scientific knowledge. OBJECTIVES: We have set three successive objectives: one general, one specific, and one sub-specific, each one related to the other in that very order. (A) The general objective is to indicate the clear possibility of renovating the traditional analytico-synthetic epistemology. By realizing this objective, we attempt to widen the scope of scientific reason or rationality, which for some time now has perniciously been dominated by pure analytic reason alone. In order to achieve this end we need to show specifically that there exists the possibility of articulating a synthetic (constructive) logic/reason, which has been considered by most mainstream thinkers either as not articulatable, or simply non-existent. (B) The second (specific) task is to respond to the challenge of Larry Laudan by demonstrating the possibility of an epistemologically significant generativism. In this context we will argue that this generativism, which is our suggested alternative, and the simplified structuralist and semantic view of scientific theories, mutually reinforce each other to form a single coherent foundation for the renovated analytico-synthetic methodological framework. (C) The third (sub-specific) objective, accordingly, is to show the possibility of articulating a synthetic logic that could guide us in understanding the process of theorization. This is realized by proposing the foundations for developing a logic of inversion, which represents the pattern of synthetic reason in the process of constructing scientific definitions. (shrink)