Learn More
This paper presents a new univariate decomposition method for design sensitivity analysis and reliability-based design optimization of mechanical systems subject to uncertain performance functions in constraints. The method involves a novel univariate approximation of a general multivariate function in the rotated Gaussian space for reliability analysis,(More)
This paper presents a new and alternative univariate method for predicting component reliability of mechanical systems subject to random loads, material properties, and geometry. The method involves novel function decomposition at a most probable point that facilitates the univariate approximation of a general multivariate function in the rotated Gaussian(More)
Logic, Epistemology, and the Unity of Science aims to reconsider the question of the unity of science in light of recent developments in logic. At present, no single logical, semantical or methodological framework dominates the philosophy of science. However, the editors of this series believe that formal techniques like, for example, independence friendly(More)
In this article two game-theoretically flavored approaches to logic are systematically compared: dialogical logic founded by Paul Lorenzen and Kuno Lorenz, and the game-theoretical semantics of Jaakko Hintikka. For classical Propositional logic and for classical First-order logic, an exact connection between 'intuitionistic dialogues with hypotheses' and(More)
The aim of the paper is to offer a dialogical interpretation of non-normal modal logic which will suggest some explorations beyond the concept of non-normality. This interpretation will be connected to the discussion of two issues, one more philosophical and the second of a more technical nature: namely a minimalist defence of logical pluralism and the(More)
Many of the discussions about conditionals can best be put as follows: can those conditionals that involve an entailment relation be formulated within a formal system? The reasons for the failure of the classical approach to entailment have usually been that they ignore the meaning connection between antecedent and consequent in a valid entailment. One of(More)
The main aim of our paper is to implement Leibniz's analysis of the conditional right in the framework of a dialogical approach to Public Announcement Logic.According to our view, on one hand: PAL furnishes a dynamic epistemic operator which models communication exchange between different agents that seems to be very close to Leibniz understanding of the(More)