La logique et les logiques : la question du pluralisme

Partant des travaux séminaux de Boole, Frege et Russell, le mémoire cherche à clarifier l‟enjeu du pluralisme logique à l‟ère de la prolifération des logiques non-classiques et des développements en informatique théorique et en théorie des preuves. Deux chapitres plus « historiques » sont à l‟ordre du jour : (1) le premier chapitre articule l‟absolutisme de Frege et Russell en prenant soin de montrer comment il exclut la possibilité d‟envisager des structures et des logiques alternatives; (2) le quatrième chapitre expose le chemin qui mena Carnap à l‟adoption de la méthode syntaxique et du principe de tolérance, pour ensuite dégager l‟instrumentalisme carnapien en philosophie de la Logique et des mathématiques. Passant par l‟analyse d‟une interprétation intuitive de la logique linéaire, le deuxième chapitre se tourne ensuite vers l‟établissement d‟une forme logico-mathématique de pluralisme logique à l‟aide de la théorie des relations d‟ordre et la théorie des catégories. Le troisième chapitre délimite le terrain de jeu des positions entourant le débat entre monisme et pluralisme puis offre un argument contre la thèse qui veut que le conflit entre logiques rivales soit apparent, le tout grâce à l‟utilisation du point de vue des logiques sous-structurelles. Enfin, le cinquième chapitre démontre que chacune des trois grandes approches au concept de conséquence logique (modèle-théorétique, preuve-théorétique et dialogique) forme un cadre suffisamment général pour établir un pluralisme. Bref, le mémoire est une défense du pluralisme logique.

Of madness and many-valuedness: an investigation into Suszko's Thesis

Suszko’s Thesis is a philosophical claim regarding the nature of many-valuedness. It was formulated by the Polish logician Roman Suszko during the middle 70s and states the existence of “only but two truth values”. The thesis is a reaction against the notion of many-valuedness conceived by Jan Łukasiewicz. Reputed as one of the modern founders of many-valued logics, Łukasiewicz considered a third undetermined value in addition to the traditional Fregean values of Truth and Falsehood. For Łukasiewicz, his third value could be seen as a step beyond the Aristotelian dichotomy of Being and non-Being. According to Suszko, Łukasiewicz’s ideas rested on a confusion between algebraic values (what sentences describe/denote) and logical values (truth and falsity). Thus, Łukasiewicz’s third undetermined value is no more than an algebraic value, a possible denotation for a sentence, but not a genuine logical value. Suszko’s Thesis is endorsed by a formal result baptized as Suszko’s Reduction, a theorem that states every Tarskian logic may be characterized by a two-valued semantics. The present study is intended as a thorough investigation of Suszko’s thesis and its implications. The first part is devoted to the historical roots of many-valuedness and introduce Suszko’s main motivations in formulating the double character of truth-values by drawing the distinction in between algebraic and logical values. The second part explores Suszko’s Reduction and presents the developments achieved from it; the properties of two-valued semantics in comparison to many-valued semantics are also explored and discussed. Last but not least, the third part investigates the notion of logical values in the context of non-Tarskian notions of entailment; the meaning of Suszko’s thesis within such frameworks is also discussed. Moreover, the philosophical foundations for non-Tarskian notions of entailment are explored in the light of recent debates concerning logical pluralism.

A critical study of John Hick's religious pluralism

This study examines the pluralistic hypothesis advanced by the late Professor John Hick viz. that all religious faiths provide equally salvific pathways to God, irrespective of their theological and doctrinal differences. The central focus of the study is a critical examination of (a) the epistemology of religious experience as advanced by Professor Hick, (b) the ontological status of the being he understands to be God, and further asks (c) to what extent can the pluralistic view of religious experience be harmonised with the experience with which the Christian life is understood to begin viz. regeneration. Tracing the theological journey of Professor Hick from fundamentalist Christian to religious pluralist, the study notes the reasons given for Hick’s gradual disengagement from the Christian faith. In addition to his belief that the pre-scientific worldview of the Bible was obsolete and passé, Hick took the view that modern biblical scholarship could not accommodate traditionally held Christian beliefs. He conceded that the Incarnation, if true, would be decisive evidence for the uniqueness of Christianity, but rejected the same on the grounds of logical incoherence. This study affirms the view that the doctrine of the Incarnation occupies a place of crucial importance within world religion, but rejects the claim of incoherence. Professor Hick believed that God’s Spirit was at work in all religions, producing a common religious experience, or spiritual awakening to God. The soteriological dimension of this spiritual awakening, he suggests, finds expression as the worshipper turns away from self-centredness to the giving of themselves to God and others. At the level of epistemology he further argued that religious experience itself provided the rational basis for belief in God. The study supports the assertion by Professor Hick that religious experience itself ought to be trusted as a source of knowledge and this on the principle of credulity, which states that a person’s claim to perceive or experience something is prima facie justified, unless there are compelling reasons to the contrary. Hick’s argument has been extensively developed and defended by philosophers such as Alvin Plantinga and William Alston. This confirms the importance of Hick’s contribution to the philosophy of religion, and further establishes his reputation within the field as an original thinker. It is recognised in this thesis, however, that in affirming only the rationality of belief, but not the obligation to believe, Professor Hick’s epistemology is not fully consistent with a Christian theology of revelation. Christian theology views the created order as pre-interpreted and unambiguous in its testimony to God’s existence. To disbelieve in God’s existence is to violate one’s epistemic duty by suppressing the truth. Professor Hick’s critical realist principle, which he regards as the key to understanding what is happening in the different forms of religious experience, is examined within this thesis. According to the critical realist principle, there are realities external to us, yet we are never aware of them as they are in themselves, but only as they appear to us within our particular cognitive machinery and conceptual resources. All awareness of God is interpreted through the lens of pre-existing, culturally relative religious forms, which in turn explains the differing theologies within the world of religion. The critical realist principle views God as unknowable, in the sense that his inner nature is beyond the reach of human conceptual categories and linguistic systems. Professor Hick thus endorses and develops the view of God as ineffable, but employs the term transcategorial when speaking of God’s ineffability. The study takes the view that the notion of transcategoriality as developed by Professor Hick appears to deny any ontological status to God, effectively arguing him out of existence. Furthermore, in attributing the notion of transcategoriality to God, Professor Hick would appear to render incoherent his own fundamental assertion that we can know nothing of God that is either true or false. The claim that the experience of regeneration with which the Christian life begins can be classed as a mere species of the genus common throughout all faiths, is rejected within this thesis. Instead it is argued that Christian regeneration is a distinctive experience that cannot be reduced to a salvific experience, defined merely as an awareness of, or awakening to, God, followed by a turning away from self to others. Professor Hick argued against any notion that the Christian community was the social grouping through which God’s Spirit was working in an exclusively redemptive manner. He supported his view by drawing attention to (a) the presence, at times, of comparable or higher levels of morality in world religion, when contrasted with that evidenced by the followers of Christ, and (b) the presence, at times, of demonstrably lower levels of morality in the followers of Christ, when contrasted with the lives of other religious devotees. These observations are fully supported, but the conclusion reached is rejected, on the grounds that according to Christian theology the saving work of God’s Spirit is evidenced in a life that is changing from what it was before. Christian theology does not suggest or demand that such lives at every stage be demonstrably superior, when contrasted with other virtuous or morally upright members of society. The study concludes by paying tribute to the contribution Professor Hick has made to the field of the epistemology of religious experience.

Extending the advanced forensic format to accommodate multiple data sources, logical evidence, arbitrary information and forensic workflow

Forensic analysis requires the acquisition and management of many different types of evidence, including individual disk drives, RAID sets, network packets, memory images, and extracted files. Often the same evidence is reviewed by several different tools or examiners in different locations. We propose a backwards-compatible redesign of the Advanced Forensic Formatdan open, extensible file format for storing and sharing of evidence, arbitrary case related information and analysis results among different tools. The new specification, termed AFF4, is designed to be simple to implement, built upon the well supported ZIP file format specification. Furthermore, the AFF4 implementation has downward comparability with existing AFF files.

Bayesian modelling of surveillance and proof of freedom : the mathematical, logical & psychological challenges

Keeping exotic plant pests out of our country relies on good border control or quarantine. However with increasing globalization and mobilization some things slip through. Then the back up systems become important. This can include an expensive form of surveillance that purposively targets particular pests. A much wider net is provided by general surveillance, which is assimilated into everyday activities, like farmers checking the health of their crops. In fact farmers and even home gardeners have provided a front line warning system for some pests (eg European wasp) that could otherwise have wreaked havoc. Mathematics is used to model how surveillance works in various situations. Within this virtual world we can play with various surveillance and management strategies to "see" how they would work, or how to make them work better. One of our greatest challenges is estimating some of the input parameters : because the pest hasn't been here before, it's hard to predict how well it might behave: establishing, spreading, and what types of symptoms it might express. So we rely on experts to help us with this. This talk will look at the mathematical, psychological and logical challenges of helping experts to quantify what they think. We show how the subjective Bayesian approach is useful for capturing expert uncertainty, ultimately providing a more complete picture of what they think... And what they don't!

Philanthropy and sociology : a logical pairing

In philanthropic studies we hear about a growing academic discipline of ‘philanthropic psychology’ but arguably there is an equal role for ‘philanthropic sociology’, both from a research and a teaching perspective. This commentary begins by noting the early links between philanthropy and sociology. It then introduces a few Australian studies that show how sociology is enriching an understanding of philanthropy, its institutions and its place in society.

A formalization of logical imaging for information retrieval using quantum theory

In this paper we introduce a formalization of Logical Imaging applied to IR in terms of Quantum Theory through the use of an analogy between states of a quantum system and terms in text documents. Our formalization relies upon the Schrodinger Picture, creating an analogy between the dynamics of a physical system and the kinematics of probabilities generated by Logical Imaging. By using Quantum Theory, it is possible to model more precisely contextual information in a seamless and principled fashion within the Logical Imaging process. While further work is needed to empirically validate this, the foundations for doing so are provided.

Revisiting logical imaging for information retrieval

Retrieval with Logical Imaging is derived from belief revision and provides a novel mechanism for estimating the relevance of a document through logical implication (i.e. P(q -> d)). In this poster, we perform the first comprehensive evaluation of Logical Imaging (LI) in Information Retrieval (IR) across several TREC test Collections. When compared against standard baseline models, we show that LI fails to improve performance. This failure can be attributed to a nuance within the model that means non-relevant documents are promoted in the ranking, while relevant documents are demoted. This is an important contribution because it not only contextualizes the effectiveness of LI, but crucially ex- plains why it fails. By addressing this nuance, future LI models could be significantly improved.

Media in a transitioning Nepal : does expansion translate to pluralism?

Characterized by socio-political changes, instability and conflict since 1990, Nepal is a nation in political transition. The media play a significant role in influencing this transition. Since 1990, various global and local factors have contributed to an unprecedented growth in the mass media in Nepal. This article analyses the expansion in the media against indicators of media pluralism to ask whether this expansion, within a difficult political transition, translates to media pluralism. The article draws upon qualitative research to assess the media market, the resources available for the media, diversity in media ownership and products, competition and ethics and policy and regulatory provisions within a struggling economy and an environment of poor law and order.

Post-disaster reconstruction projects : a logical framework for community participation

In a post-disaster environment, housing reconstruction projects frequently face enormous difficulties due to the various, often apparently ill-considered, internal and external factors. Non-Governmental Organisations (NGOs) operating in post-disaster settings such as in Afghanistan continue to face blame over the failure of reconstruction projects, and worse, they are sometimes even viewed as being corrupt entities. While it is not always possible for NGOs to eliminate or reduce the impact of factors that are outside their control, they certainly can increase the chances of project success by placing considerable emphasis on working more effectively with the affected communities. To achieve maximum community participation in reconstruction projects , this research develops a specific logical framework to guide the process of community participation in post-disaster housing reconstruction in Afghanistan.

A measure of logical complexity of programs

The research in software science has so far been concentrated on three measures of program complexity: (a) software effort; (b) cyclomatic complexity; and (c) program knots. In this paper we propose a measure of the logical complexity of programs in terms of the variable dependency of sequence of computations, inductive effort in writing loops and complexity of data structures. The proposed complexity mensure is described with the aid of a graph which exhibits diagrammatically the dependence of a computation at a node upon the computation of other (earlier) nodes. Complexity measures of several example programs have been computed and the related issues have been discussed. The paper also describes the role played by data structures in deciding the program complexity.

Logical design of a negative binary adder-subtracter

Two different designs for negative binary adder-subtracter are compared. Ono design uses the method of a hybrid-carry—borrow, while the other 11303 the method of polarization and addition.

Rethinking Media Pluralism : A Critique of Theories and Policy Discourses

This study examines different ways in which the concept of media pluralism has been theorized and used in contemporary media policy debates. Access to a broad range of different political views and cultural expressions is often regarded as a self-evident value in both theoretical and political debates on media and democracy. Opinions on the meaning and nature of media pluralism as a theoretical, political or empirical concept, however, are many, and it can easily be adjusted to different political purposes. The study aims to analyse the ambiguities surrounding the concept of media pluralism in two ways: by deconstructing its normative roots from the perspective of democratic theory, and by examining its different uses, definitions and underlying rationalities in current European media policy debates. The first part of the study examines the values and assumptions behind the notion of media pluralism in the context of different theories of democracy and the public sphere. The second part then analyses and assesses the deployment of the concept in contemporary European policy debates on media ownership and public service media. Finally, the study critically evaluates various attempts to create empirical indicators for measuring media pluralism and discusses their normative implications and underlying rationalities. The analysis of contemporary policy debates indicates that the notion of media pluralism has been too readily reduced to an empty catchphrase or conflated with consumer choice and market competition. In this narrow technocratic logic, pluralism is often unreflectively associated with quantitative data in a way that leaves unexamined key questions about social and political values, democracy, and citizenship. The basic argument advanced in the study is that media pluralism needs to be rescued from its depoliticized uses and re-imagined more broadly as a normative value that refers to the distribution of communicative power in the public sphere. Instead of something that could simply be measured through the number of media outlets available, the study argues that media pluralism should be understood in terms of its ability to challenge inequalities in communicative power and create a more democratic public sphere.