Real Islamic Logic

Real Islamic Logic0%

Real Islamic Logic Author:
Publisher: www.arxiv.org
Category: Ideological Concepts

Real Islamic Logic

This book is corrected and edited by Al-Hassanain (p) Institue for Islamic Heritage and Thought

Author: Jan Aldert Bergstra
Publisher: www.arxiv.org
Category: visits: 5520
Download: 2412

Comments:

Real Islamic Logic
search inside book
  • Start
  • Previous
  • 15 /
  • Next
  • End
  •  
  • Download HTML
  • Download Word
  • Download PDF
  • visits: 5520 / Download: 2412
Size Size Size
Real Islamic Logic

Real Islamic Logic

Author:
Publisher: www.arxiv.org
English

This book is corrected and edited by Al-Hassanain (p) Institue for Islamic Heritage and Thought

5 Objectives of Real Islamic Logic

From its introduction Islam has conceived of itself as modern.Judgements produced by Islamic courts are modern in the sense that these are recent decisions taking all jurisprudence into account as well as all classical Islamic sources. Real Islamic Logic can be imagined as supportive of preservation of this form of modernity.

The need for and role of real Islamic Logic will now be analyzed in more detail. First of all it is claimed that Islamic Finance by itself produces a significant incentive to define and investigate systems for Real Islamic Logic.

5.1 Islamic Finance requires Real Islamic Logic

Islamic Finance involves a very frequent use of Islamic courts for decision making about individual cases of economic behavior. But economic decision are made so frequently that the vast majority of such decisions must be taken without making use of the informed advice of an Islamic Court. Real Islamic Logic must support the reasoning taking place outside Islamic Courts. For a system of Islamic Finance it seems very useful if that form of reasoning can be understood in a scholarly fashion just like the logic of other forms of reasoning not primarily depending on human deliberation.

It is not easy to grasp why a strict adherence to the well-advertised tenets of Islamic Finance will lead to a better society. In fact all of these tenets, which can be formulated in terms of restrictions, are hard to understand in three different ways:

• what the restriction means in technical terms,32 and, • how the restriction has come about by means of a chain of reasoning starting from original sources, and, • is there an expectation or intention that and observing the restriction will have positive moral or social consequences and if so, finally, • why compliance with the restriction might lead to a better world in moral terms.

The combined complexity and interaction of Islamic Finance renders it extremely complex with the effect that recourse to groups of Islamic scholars is regularly needed. Theirjudgement may be asked not only for the evaluation of generic schemes and financial products but also for the assessment of individual plans for economic transactions. This may be exactly what is good about Islamic Finance on the long run.

If one believes that preservation of the impact of Islamic courts is an important objective, then the development of a systematic approach to Real Islamic Logic is justified because it adds to the feasibility (improved partitioning of tasks between individual agents and courts) and to the cost reduction (reduction of court workload) of a well-organized system of Islamic Finance. That in turn may motivate research activities about Real Islamic Logic from the long term perspective of Islamic Finance.

5.2 The role of Real Islamic Logic in more detail

The role of Real Islamic Logic is to support methods for avoiding recourse to an Islamic court for each and every issue. Non court mediated andReal islamic Logic based decision making from distributed court output is needed to make the system sufficiently productive when scaling up. This productivity again is needed to safeguard the pivotal positions of Islamic courts which must not be overloaded with futile requests (that is requests amenable to semi-automatic resolution from the geographically distributed class of current local court outputs.)

Evidently Real Islamic Logic features a high degree of concurrency. Many agents are reasoning at the same time, and in fact different agents will be reasoning aboutoneanother which renders the logic epistemic.

It is an essential part of the system that many Islamic Courts are producing theirjudgements (that is LP’s) in a concurrent fashion. Though not democratic in a sense of elected representations the wide spread distribution of legal decision making and its commitment to reconsidering classicaldilemma’s must be considered a virtue.

Dealing with inconsistencies as well as dealing with novel moraldilemma’s is the core of Islamic Court tasks. The Islamic legal system stands on utterly inconsistent feet and for that reason enforces a systematic dependency on human decision making. This should be considered an advantage over a system which resolves the majority of its moraldilemma’s through applications of artificial intelligence and automated reasoning.

5.3 Islamic Court Legal Proposition Processing

Islamic Court Legal Proposition Processing (ICLPP) will be used as a descriptor of the main activity ofislamic courts. The term reasoning is avoided because that suggests regularities and methods to which ICLPP is not in any way committed. ICLPP and Real Islamic Logic are complementary mechanisms where ICLPP is by nature an entirely human group activity. It is not suggested that a formal logic behind ICLPP must be sought. Perhaps ICLPP is best understood as multiple criterion decision making, a process which is amenable to empirical analysis but not amenable to theory based prediction by means of formalized logic.33

Each court maintains a collection of previously issued (or imported) and not yet withdrawn LP’s ready for application in new circumstances. A court maintains a history of new LP’s as well as of withdrawals together with written accounts of the motivation for such steps. The current LP set is likely to beparaconsistent but not consistent (that is properlyparaconsistent ). When formulatingjudgements concerning new cases a court may put forward new LP’s that may or may not contradict its current set of publicly announced LP’s. As a consequence older LP’s may be withdrawn from the court’s current LP set. An LP in the current LP set of court C may be considered a court C belief.

A court performs belief revision in a context ofparaconsistent logic. Reasons for LP withdrawal or for the introduction of LP’s that render the LP base (more) inconsistent so include:

• Changing viewpoints regarding the same topic (for instance because of novel insights in the effects of certain regulations, or due to the emergence of new scientific findings, or due to the, very rare, discovery of new source texts), • Entirely new dilemma’s emerging from (changing) daily practice which require new LP’s as well as revision (withdrawal) of old LP’s, • Efforts to improve the consistence of the current LP base (with the intent to enhance non-court decision making on the its basis).

Paraconsistency appears because the full collection of valid (that is not yet withdrawn)

LP’s is likely not to be consistent at any time. Belief revision forparaconsistent theories cannot be based on the known framework tailored to classical logic, and this limitation implies (or at least suggests) that human decision making (by an IC) is essential. As it stands no rules for the production of LP’s by courts are given. Each IC therefore provides what we will callparaconsistent belief generation and revision, with these characteristics:

– This particular form of belief revision attempts to attach higher value to older LP’s.

– It makes use of an axiomatic basis emerging from old sources. These old sources produce closed as well as universally quantified LP’s.

– Courts may produce new universally quantified LP’s. The collection of axioms thus formed is highly inconsistent. This inherited inconsistency, which is not amenable to a full resolution of conflicts, implies that very often a court will be needed to resolve a moral dilemma by means of human cognitive and emotional activity. All assertions held in Islam are essentially recent in the sense that only if an Islamic court explicitly confirms ajudgement it must be held true.

– Belief revision (which involves LP withdrawal) is needed to allow unambiguous inference in relevant cases.

– Inference in part consists ofparaconsistent belief generation and revision, with deductive inference playing a minor role. More prominent inference methods are induction and reasoning by way of finding analogues and drawing corresponding conclusions.

Courts can be called into action by individuals who conclude that Real Islamic Logic is inconclusive in a particular case, and courts may be called into action by local authorities who question the validity of Real Islamic Logic based reasoning as applied by individualmuslims or by groups ofmuslims .

5.4 Technical objectives and methods of Real Islamic Logic (RIL)

RIL must provide methods of reasoning that support the rule-based and semi-automatic part of the non-court based Islamic legal process.

1. RIL supports reasoning based multiple criterion decision making.

2. RIL is based on a pragmatic view of “informal logic”. Informal logic stands between philosophical logic and formal logic. It deals with the strength of arguments used in a non-formalized but yet rigorous practice. For instance in [20] the use of emotional aspects in rigorous argument is analyzed. Emotional aspects probably cannot be avoided in the intended practice of RIL. A survey of informal logic is given in [25], see also [22]. A convincing specimen of informal logic is found in [37] where a classification of analogies is provided from adeductivist standpoint.

There is no such thing as informallogic, instead there are different approaches to it.

In spite of that lack of clarity it seems unavoidable to place some form of informal logic in between practice and any application of formal logic. Opinions differ on the question to what extent an approach to informal logic by itself must be based on a particular selection of philosophies of science, language, and law. It is likely that different brands of RIL may be based on different approaches to informal logic each serving as an embedding mechanism for more formalized approaches to logic.

3. RIL supports autonomous decision making on the basis of concurrent streams of current LP information from customizable collections of different courts.34

A plurality of operating Islamic courts each produces in parallel an ever growing stream of LP’s (legal propositions or). At each instant of time the overall legal position is determined by the family of theories reached that moment by each court.35 One may think of the order of 5.000 to 10.000 courts each serving up to 150.000 persons, with new courts being installed on a regular basiswold wide.

The concurrent processing aspect of this distributed decision making process is vital. Its modeling requires formalization just as the modeling of its reasoning mechanisms requires the use of formalized logic. As an example of a concurrency model that may work in this case I mention thread algebra [7] and the distributed and hierarchical versions of thread algebra which have been developed on the basis of the concurrency model in [7].

4. RIL supports separation of concerns:

• Well-developed and widely understood methods are needed to allow individual persons to infer LP’s regarding moraldilemma’s without the support of an Islamic court. This is necessary due to the number of persons that may put forward suchdilemma’s and the limited number of courts.

• RIL must support real time decision making in cases where recourse to a court is self-defeating.36

• RIL supports individuals and groups with making ajudgement concerning whether or not a court should not be involved, and if so in which phase of the process.

• RIL allows for methodical reasoning (rule based and almost or entirely automatic).

Real Islamic Logic for that reason primarily provides an inference method forparaconsistent theories.

• RIL must support adequate documentation of all proceedings.

5. RIL allows for application specific or thematic versions. Different chapters of human activity may call for different dedicated instantiations of RIL (application specific RILs or ASRILs), allowing for the use of specialized terminology. One may think of an ASRIL for: finance, sustainability, food industry, policing, military, trade, art, politics and so on.

6. RIL involves:

deduction inparaconsistent theories,37

• epistemic reasoning capabilities for supporting agents with reasoning about knowledge of themselves and of other agents, • logic of public announcements because all LP’s produced by courts as well as all withdrawals are public, •deontic logic because most LP’s are about obligation of prohibition of various actions or conditions, • priority logics because mutually inconsistent collections of LP’s may be structured by means of priorities.

7. RIL makes use of a heterogeneous system of priorities where:

• LP’s issued by nearby courts count stronger than LP’s issued by distant ones (relative to a person seeking advice), • recent LP’s by the same court have higher priority than older ones, • real time safety critical decisions are most likely to be taken by means of RIL, • RIL must indicate when a court must be called for advice.

8. RIL allows for:

• A flexible language to denote activities, plans, action histories and states of the world. Decision support concerning the question whether or not a plan is permissible (and whether or not that can be asserted without the help of a court) is the primary task of RIL.

• Integrated planning procedures that support permissible plan generation from stated goals.

• Evaluation methods helpful to determine to what extent a past history of activities performed by one or more agents will be considered morally adequate when handed over forjudgement to a specific court.

• Heuristics for determining in which cases to refer the evaluation of past actions to an Islamic court, and • support for selecting a competent court when needed.

5.5 Feasibility of RIL and RIL oriented research

The list of requirements for RIL is so extensive that designing an adequate and effective RIL from scratch in a single and brief project is inconceivable. Nevertheless, such work need not be considered unrewarding only because of its ambitious appearance.

Empirical work can provide a case base that allows for case studies with different reasoning methods. Theoretical work needs to show how the mentioned logical techniques can be brought together in a unified framework. Practical work in AI style may lead to prototypes of reasoning based decision support systems that make an RIL based reasoning engine available to a pioneering community.

As long as theoretical work aims at grouping together different techniques which supposedly must be brought together in a mature system of RIL, that work may be counted as work on Crescent-star Logic if one intends to avoid the complexities of the adjective Islamic and if one simultaneously wants to attribute the particular grouping of techniques to an intended application in RIL.38

An empirical criterion of the success of a design of RIL and supporting software is that Islamic courts promote its distribution and usage because they feel their own activities being strengthened by usage made of RIL by their client base.39

6 Business ethics risk analysis for RIL development

Who works towards RIL with the application perspective of a RIL enhanced ICLPP in mind faces a number of questions about morality or rather business ethics pertaining to that particular line of work. I intend to shed light on these matters in this section of the paper. First I will restate the orientation of the work on RIL for which its business ethics is to be scrutinized.

6.1 Restating the orientation towards a RIL supported ICLPP

A picture has been drawn of the mechanics of a scaled up Islamic Legal Process that makes use of Islamic Legal Reasoning performed within Islamic courts and of Real Islamic Logic applied outside courts with the main purpose to ease the burden of decision making for the courts.

In the absence of a well-understood Real Islamic Logic one may postulate the existence of a Natural Islamic Logic, which represents the ethical decision making practiced bymuslims in circumstances they consider sufficiently simple or sufficiently conclusive for them not to seek for advice of a court. The project to develop a Real Islamic Logic looks for more than the mere psychology of Natural Islamic Logic. The project requires a systematic approach to disentangle the reasoning process currently performed by way of Natural Islamic Logic as to improve the entire system at least from the point of view of acknowledged Islamic objectives.

The essential quality of the entire Islamic Legal Process is the permanent involvement of Islamic courts in many aspects of decision making, in a way that seems to resist automation. This quality has become more important with the progress of computing technology.

I have not made an attempt to put forward arguments that a well-designed system of Real Islamic Logic, when put in place at a grand scale, will indeed bring some particular family of relevant objectives closer to their realization. But is seems clear that a more systematic approach to that part of the legal process may foster the role of Islamic courts and for that reason it may be considered plausible that this will promote goals that motivate these courts.

The assumption that fostering the role of Islamic courts will bring about progress towards intrinsic Islamic objectives underlies the motivation given for RIL and its application perspective. As an assumption, its validity cannot be confirmed by mere theoretical work and this assumption for that reason takes the form of an unproven axiom. Developing RIL by means of the design of a systematic approach to Natural Islamic Logic has been outlined and a survey of the techniques from formal logic that might come into play has been given. Of course the real work for developing a comprehensible and effective Real Islamic Logic has yet to begin anda even proof of concept is missing at this stage of development. A sharp condemnation of the plan to develop RIL cannot be based on known adverse consequences of its application.

6.2 Working on the basis of randomized source documents

At this point of our development of RIL and its rationale a remarkable and speculative hypothesis can be formulated. The hypothesis being that:

the entire Islamic Legal Process inherits its powerful functionality first and for all from the fact that the heritage of the original sources, after years of evolution and codification of the outcomes of that evolution, still defeats an automated logical analysis to such an extent that:

i ) the legal process is best put in the hands of a large number of concurrently operating autonomous groups of informed persons (the courts), cooperating with a number of highly skilled and informed individuals (excellent Islamic scholars), and, ii) the members of these courts as well as the informed individuals who play a role constitute a meritocracy, rather than that they have been selected by means of majority voting, iii) propertiesi ) and ii) are the distinctive characteristics of the Islamic Legal Process in comparison with competing mechanisms.

If this hypothesis is actually valid it may also be maintained as a plausible assumption concerning an alternative world in which the original sources have been laid down in an almost random way. A weaker and for that reason more plausible assessment is that after many years of autonomous evolution the Islamic Legal Process has become quite stable against (hypothetical) small modifications of the original sources. This stability against hypothetical perturbations of the source documents mainly derives from the distributed and autonomous nature of the Islamic legal process. If that process were firmly centralized each single line in the original source texts would have more impact on current decision making.

When the decision was made to found Islam around the year 720 on the basis of the collected original sources then available, the deciding actors rightly foresaw (perhaps unconsciously) that the combined complexity of these sources would defeat any attempted simplification and would keep readers and scholars busy for centuries to come, even in times of legal process automation.

6.2.1 Centralization: a risk provoked by Islamic Finance?

If one accepts that the distributed nature, with many autonomous courts working concurrently throughout the world, is a major strength of the Islamic legal process then the widespread call for unity in the world of Islamic Finance is seriously misguided. This may indicate a systemic risk for Islamic Finance as well as for Real Islamic Logic. Competition on the financial market may force Islamic Finance into structures of centralized control that are incompatible with the distributed and autonomous nature of the Islamic legal process. Losing that competition, however, is problematic too because it limits the influence for which Islamic Finance has been originally set up. If one takes this risk of derailment into centralized structures seriously that gives way to another chapter ofTarek ElDiwani’s criticism that Islamic Finance imports western financial habits far too quickly and without due consideration of the risks thereof and of the longer term objectives of Islam (see the survey ofTarek ElDiwany’s positions of [15] in [6]).

6.2.2 Genetic programming needed?

The rather mechanical picture of a thread vector of threads, each representing the behavior of a single court,40 operating together as a multithreaded system (in the terminology of [7]) scheduled by way of strategic interleaving, fails to explain why the points of view of different courts do not diverge in time to an extent that similarities become rare. A remedy that may promote some convergence is as follows: at regular intervals a court imports randomly chosen LP’s held by other courts. The probability of doing so is higher if the other court is moremainstream . To allow for this mechanism rather than merely having level 6 containing the mainstream communities of level 5 of the stratification, a degree of centrality must be imposed on level 5 communities (with the level 6 and mainstream communities being the ones for which the degree of centrality exceeds some threshold) and the more central a community is considered the more likely is an export of LP’s maintained by one of its courts toan other court. This randomized export of LP’s introduces a mechanism that may be compared to the working of genetic programming.

6.3Strengths,Weaknesses , Opportunities, and Threats (SWOT)

Working towards RIL with its intended application in mind poses a researcher in a position where a wide range of moral issues needs to be dealt with. Even to develop a survey of these issues is so complicated that it cannot be satisfactorily done in this paper. But an attempt must be made. I will focus on the development of an RIL supported ICLPP as a process about which the moral consequences of significant participation are to be assessed. For this process a SWOT analysis will be made from three viewpoints, the results are rendered in a SWOT diagram which highlights key elements for each of the four categories of SWOT.

A SWOT analysis for a subject S will provide insight in the Strengths, Weaknesses, Opportunities and Threats relevant to S More precisely a SWOT analysis is carried out with respect to three ingredients:

subject : some entity, concept, or mechanism of which the SWOT is made, context: the context of a particular environment perspective: a viewpoint, or perspective from which the SWOT is formulated.

For instance a SWOT can be made with subject: Financial Industry in London, context:

European competition in the financial industry, perspective: economic development of the London area. An alternative perspective may be: the UK tax payer. An alternative context may be: protection of office buildings against various risks in the UK.

Two different context/perspective pairs for the same subject (development of a RIL based ICLPP) will be considered, and then a third SWOT analysis is made with the legal process of a constitution based liberal democracy as a subject in the context of its competition with an RIL based ICLPP and from the perspective of a supporter of the liberal democratic political structures. Together this leads to three SWOT diagrams.

1. RIL based ICLPP (entity) in the competition with the current ICLPP which it eventually seeks to replace context), seen from inside Islam in its current form (perspective).

2. An RIL based ICLPP (entity) in the context of Islam (having embraced RIL and its applications perspective) competing with other non-Islamic ideologies (context), seen from inside a hypothetical stage of Islam having adapted to its modified process (perspective).

3. An RIL based ICLPP seen as an outpost of Islam (entity) in the context of a world with a number of constitution based liberal democracies for which RIL based ICLPP may be a competing process (context) seen from a classical democratic perspective outside Islam.

A SWOT can be made from outside Islam and from inside for instance and the results that are obtained may differ vastly. Moral risks can only be formulated from a certain perspective. The three SWOT diagrams are meant to deal with three kinds of objections each rendered as weaknesses or threats within an appropriate SWOT diagram.

1. Objections to development of RIL from a contemporary Islamic perspective, not particularly keen on legal process innovation.

2. Objections to the application perspective of RIL in terms of legal process innovation, given the need to compete with other systems outside Islam.

3. Objections to RIL development raised by those who consider ICLPP to constitute a risk for the maintenance of other (non-Islamic) legal processes for which the legal or ethical basis is considered superior, or at least of an independent value in need of preservation (seen from some perspective outside Islam).

6.3.1 A SWOT from a simulated internal perspective

This SWOT analysis highlights the ways in which a participant to the development of RIL may be criticized by participants of the current ICLPP. Options for such criticism are listed as treats in this SWOT analysis. The perspective is in fact a (hypothetical) inside conventional ICLPP perspective which is formulated from outside Islam.41

Strengths. (i )potential new development for ICLPP, which may be in need of innovation.

Weaknesses. These take the form the RIL may not be developed (or used after development) to the satisfaction of its users and their local courts. Indeed RIL development is risky: it may be inconclusive, there may be scaling problems,results may be unconvincing or even counterproductive.

Opportunities. (i ) Constituting a new area for applied logic, thus attracting significant external interest, (ii) attracting the attention of a young generation ofmuslims .

Threats. (i ) being considered innovation for its own sake, unable to keepfocussed on true and classical legal foundations of Islam, (ii) logic becoming considered too distant from ordinary life42 (iii) scholars constituting courts are unwilling to take notice of logical methods and for that reason unwilling to take new colleagues on board who intend to make use of such methods.43 (iv) opponents of RIL may successfully claim that introduction and usage RIL will lead to uniformity which then leads to centralization, a development that they want to prevent at all costs.

6.3.2 A SWOT diagram froman friendly external perspective

This SWOT analysis concerns the evaluation of RIL supported ICLPP (which serves as the motivation for RIL designs and development), from a (hypothetical) Islamic perspective.

This perspective is formulated under the assumption that RIL supported ICLPP (or at least a development in that direction) has obtained ample support in mainstream Islam.44

Strengths. (i ) autonomy, (ii) real time decision making enabled about all daily matters on moral grounds, (iii) grounded in a long history, (iv) adaptation to local circumstances of a community, (v) law is not seen as an artificial fence which citizens may always try to approach (or even try to cross), rather law permanently guides everyone at in appropriate directions.

Weaknesses. (i )lacking cohesion (correspondence) between different courts, (ii) low authority by defective grounding of court decisions. (ICLPP may be too weak a process to produce grounds for decisions that are widely accepted), (iii) inability to develop adequate customizations (local adaptations) of the ICLPP, again with lacking authority as a consequence. (iii)Unclarity about its own ambitions: should this process be installed everywhere on the long run, or only in some countries with other countries following other governance principles? Should the process be made subordinate to other legal systems if those are (locally) dominant because a majority of a population has voted that way? If that is done, can it still retain its strength?

Opportunities. (i ) Real Islamic Finance may be developed on the basis of Islamic Finance and Real Islamic logic: less important restrictions may subsequently be abandoned and the courts may be much more involved in ethical decision making about particular financial strategies and activities, (ii) customization of ICLPP to various local circumstances may be improved, (iii) RIL may be developed and used to facilitate a more efficient and for that reason also more frequent use of courts.

Threats. (i )centralization may become dominant with all advantages gone, (ii) centralization may creep into the system because of the modern ICT technologies, (iii) the system is outperformed by a competing system, in particular constitution based liberal democracies which do not tolerate significant local variations in legal decision making.

6.3.3 A SWOT diagram from a cautious external perspective

The third SWOT analysis works from an external position, in particular from the position of the legal process of a constitution based liberal democracy, and it grasps the reflection on its own position assuming the emergence of an RIL supported ICLPP as depicted above, which is considered an emerging competitor.

Strengths. (i ) Centralized law making produces better rules with wider acceptance, easily defended against the outcome of local autonomous ICLPP’s. (ii) Consistency of law throughout a wide area allows persons to be very mobile.

Weaknesses. (i ) Citizens take a defensive attitude against the law (even if it has been constructed in part in their own name) more often than not viewing it as an unwanted limitation of their possible behavior and endlessly trying to stretch its boundaries.

(ii) Moral arguments have lost prominent status, though some issues can only be solved by means of such arguments. (iii) Minorities may feel poorly represented by the dominant legal system.

Opportunities. (i ) Inside area A, the legal platform may allow for a reduced ICLPP (reduced because not permitted to overrule some constitutional principles), thus making area A more attractive to Islamic citizens and allowing A to make optimal use of their talents and skills. (iii)if ICLPP structures are more effective in fighting crime and other results of lacking social cohesion, such advantages can be made use of, (iv) the same holds for other pressing social problems such as taking care of the elderly.

Threats. (i ) If clear rules are lacking the emergence of an ICLPP infrastructure in area A may endanger the authority (and effectiveness) of the existing legal structure, without replacing it to the satisfaction of a voting majority, (ii) if the right to set up an ICLPP infrastructure, (on top of A’s existing legal system), may conflicts between both legal processes may arise and the power structures of A may come under pressure from allies of ICLPP outside A. Such pressures may be conventional political once, but also involve wars and acts of terrorism. (iii) When ICLPP comes into prominence, court autonomy may imply severe restrictions on individual mobility to areas supervised by other courts.

6.4 Integrating the SWOT diagrams

These SWOT’s are hardly consistent. From anan external position (the current author’s position) the external SWOT takes priority over both internal ones. A worker on RIL assumes that for risk analysis and for selection of strategy and tactics taking the second SWOT into account may take priority over taking the first o into account.

That imposition of priorities does not imply a substantial weakening of the arguments which have been put forward in favor of RIL and its potential use. It only indicates operational boundary conditions. Together these SWOT analysis results provide some insight the pro’s and con’s of participating in RIL development for a non-muslim . I conclude that participation in RIL development is defensible for an outsider to Islam who is strongly supportive of a constitution based liberal democracy.

The outsider’s position brings with it some moraldilemma’s which have not been uncovered by means of the above SWOT analysis exercises. This requires some further comments.

6.4.1 Moral issues concerning the outsider’s position

Given the non-Islamic, that is outsider, position to which I committed myself, claiming a preference for the outcomes of the third SWOT analysis over the second and of the second one over the first will not resolve all possible ethical questions concerning the work on this paper. I would hope to be able to write in such a way that the work becomes acceptable for readers from a very wide ideological and religious spectrum. Aiming at that, however, implies that potential worries of some potential readers must be dealt with which are absent if not foreign to other potential readers. Taking the worries of some seriously can alienate others.

The outsider’s position is complicated by worries coming from two sides so to speak.

Those who consider Islam a dangerous enemy of democracy, liberalism, and, of free expression of opinion, may regard the plan to develop logic in order to become more functional for Islam a dangerous activity (and its agent may be considered naive at best). For people from Islam this perspective is so unattractive that they may not be willing to read a paper which pays any attention to it. Still I have to ask for some attention because my outsider’s position implies that such voices, often coming from so-called conservative politicians, cannot be overheard. Now what can I say? The moral issues cannot be definitively dealt with in isolation. Ethical questions about research and development must be considered in a larger context, taking corresponding problems in other fields into account.

I will make use of two fields of research and development as a tool for comparison: (i ) applied logic in general and (ii) the development that has led to the implementations if Islamic Finance.

I notice that many applications of logic in computing have been ready made for application in the military sector. Such applications can be developed by one’s enemy too, because publication is open to anyone who pays the relatively low cost of disclosure including an enemy. Thus even if one agrees that Islam is an “enemy” and that RIL can be applied in Islam, that state of affairs does not imply any moral problem for an RIL worker, the potential support for an enemy holds in both cases, and we know that right wing ideologists hardly ever suggest not to perform applied science and technology because that may empower the military and industrial capabilities of their enemies more than those of their allies.

6.4.2 Comparison with defense system oriented research considered flawed

In spite of this comparison with applied logic, an ethical problem certainly emerges because RIL might be considered to be so specific for its Islamic background that working on RIL can only be useful for applications aiming towards a particular form of Jihad.

Thus application asymmetry can lead to a moral problem. Against this objection, which portrays supporting work on RIL as less defensible than “ordinary applied logic focusing on military applications” the following can be said.

• In the initial stages RIL’s development is not conclusive from an application point of view. Until that is the case there is no true specificity of RIL oriented work for applications in the context of ICLPP (an intended specificity alone implies no moral problem with regard to asymmetric applicability).

• If RIL is successfully developed its methods and techniques may have other applications besides the intended one (thus widely accessible publication is mandatory if an asymmetry based critique is to be avoided).

• If RIL matures and is applied in the Islamic Legal process in the intended way that state of affairs may lead by way of computational evolution to centralized, or ratheruniformized , control of the legal reasoning used outside courts, because monitoring information is likely to end up in public data bases, thus allowing legal meta-studies to be made.45

• The situation may be compared with the development of Islamic Finance. Islamic windows46 of banks managed from UK and USA have played an important role in getting the set of Islamic products defined and in their subsequent commercialization.

This matter seems not to have drawn much critical attention from fierce opponents of Islam. That lack of criticism is quite understandable: a few highly internationally operating western banks recognized a market opportunity and they took advantage of it successfully. These western banks have been so successful in that activity that it may be valued as a significant achievement that native banks from Islamic countries (that is, countries where a large part of the population ismuslim ) finally have been able to acquire a leading role in matters of Islamic Finance.

Sustainability of these leading roles has yet to be shown.

• As an economic phenomenon the evolution towards prominence of native banks in providing the products of Islamic Finance (in Islamic countries) may be compared to the prominence which Japan has acquired in the car industry between, say, 1970 and 2010. There is no need to view the acquisition of the prominent role of native banks as a manifestation of Jihad because ordinary market competition can be used as an alternative and more attractive explanation of that development. Jihad was involved earlier when the preconditions of these developments were set.

These arguments together make me believe that an outsider should not (or rather may ask not to) be sharply criticized (by other outsiders, perhaps including anti-Islam theorists) for doing work in such a way that he or she directly contributes to a development of RIL, including its intended application.