7 found
Order:
  1.  39
    Nonmonotonic Reasoning: From Finitary Relations to Infinitary Inference Operations.Michael Freund & Daniel Lehmann - 1994 - Studia Logica 53 (2):161 - 201.
    A. Tarski [22] proposed the study of infinitary consequence operations as the central topic of mathematical logic. He considered monotonicity to be a property of all such operations. In this paper, we weaken the monotonicity requirement and consider more general operations, inference operations. These operations describe the nonmonotonic logics both humans and machines seem to be using when infering defeasible information from incomplete knowledge. We single out a number of interesting families of inference operations. This study of infinitary inference operations (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  2.  8
    Supracompact Inference Operations.Michael Freund - 1993 - Studia Logica 52 (3):457 - 481.
    When a proposition is cumulatively entailed by a finite setA of premisses, there exists, trivially, a finite subsetB ofA such thatB B entails for all finite subsetsB that are entailed byA. This property is no longer valid whenA is taken to be an arbitrary infinite set, even when the considered inference operation is supposed to be compact. This leads to a refinement of the classical definition of compactness. We call supracompact the inference operations that satisfy the non-finitary analogue of the (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  3.  2
    Nonmonotonic Inference Operations.Michael Freund & Daniel Lehmann - 1993 - Logic Journal of the IGPL 1 (1):23-68.
    A. Tarski [21] proposed the study of infinitary consequence operations as the central topic of mathematical logic. He considered monotonicity to be a property of all such operations. In this paper, we weaken the monotonicity requirement and consider more general operations, inference operations. These operations describe the nonmonotonic logics both humans and machines seem to be using when infering dofeasible information from incomplete knowledge. We single out a number of interesting families of inference operations. This study of infinitary inference operations (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  4.  22
    Full Meet Revision on Stratified Bases.Michael Freund - 2001 - Theoria 67 (3):189-213.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  5.  4
    On Categorial Membership.Michael Freund - 2014 - Erkenntnis 79 (5):1045-1068.
    We investigate the family of concepts that an agent comes to know through a set of defining features, and examine the role played by these features in the process of categorization. In a qualitative framework, categorial membership is evaluated through an order relation among the objects at hand, which translates the fact that an object may fall more than another under a given concept. For concepts defined by their features, this global membership order depends on the degree with which each (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  6.  1
    Die Idee der Toleranz Im England der Grossen Revolution.Michael Freund - 1929 - Philosophical Review 38 (1):84-88.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7.  1
    The W Systems: Between Maximum Entropy and Minimal Ranking….Michael Freund - 1994 - Journal of Applied Non-Classical Logics 4 (1):79-90.