catlogic 0.0.2 → 0.0.3

data/lib/catlogic/proposition.rb

@@ -1,189 +1,191 @@
-class Proposition
+module Catlogic
+  class Proposition
 
-  attr_reader :quantity, :subject, :quality, :predicate, :truthvalue
+    attr_reader :quantity, :subject, :quality, :predicate, :truthvalue
 
-  def initialize(quantity, subject, quality, predicate, truthvalue)
-    @quantity=quantity
-    @subject=subject
-    @quality=quality
-    @predicate=predicate
-    @truthvalue=truthvalue
-  end
+    def initialize(quantity, subject, quality, predicate, truthvalue)
+      @quantity=quantity.to_quantity
+      @subject=subject.to_term
+      @quality=quality.to_quality
+      @predicate=predicate.to_term
+      @truthvalue=truthvalue
+    end
 
-  def type
-    if @quantity.label == 'universal' && @quality.label == 'affirmative'
-      @type=PropositionType.new("A")
-    elsif @quantity.label == 'universal' && @quality.label == 'negative'
-      @type=PropositionType.new("E")
-    elsif @quantity.label == 'particular' && @quality.label == 'affirmative'
-      @type=PropositionType.new("I")
-    elsif @quantity.label == 'particular' && @quality.label == 'negative'
-      @type=PropositionType.new("O")
+    def type
+      if @quantity.label == 'universal' && @quality.label == 'affirmative'
+        @type=PropositionType.new("A")
+      elsif @quantity.label == 'universal' && @quality.label == 'negative'
+        @type=PropositionType.new("E")
+      elsif @quantity.label == 'particular' && @quality.label == 'affirmative'
+        @type=PropositionType.new("I")
+      elsif @quantity.label == 'particular' && @quality.label == 'negative'
+        @type=PropositionType.new("O")
+      end
+      return @type
     end
-    return @type
-  end
 
-  def contradictory
+    def contradictory
 
-    quantity = @quantity.opposite
-    quality = @quality.opposite
+      quantity = @quantity.opposite
+      quality = @quality.opposite
 
-    @contradictory = Proposition.new(quantity, @subject, quality, @predicate, !@truthvalue)
-    return @contradictory
-  end
+      @contradictory = Proposition.new(quantity, @subject, quality, @predicate, !@truthvalue)
+      return @contradictory
+    end
 
-  def subaltern
+    def subaltern
+
+      quantity = @quantity.opposite
+
+      if @quantity.label == "universal"
+        if @truthvalue
+          truthvalue = @truthvalue
+        elsif !@truthvalue
+          truthvalue = "unknown"
+        end
+      elsif @quantity.label == "particular"
+        if !@truthvalue
+          truthvalue = !@truthvalue
+        elsif @truthvalue
+          truthvalue = "unknown"
+        end
+      end
 
-    quantity = @quantity.opposite
+      @subaltern = Proposition.new(quantity, @subject, @quality, @predicate, truthvalue)
+      return @subaltern
+    end
+
+    def contrary
+      if @quantity.label  == "particular"
+        abort("There is no contrary for this type of propostion. Try subcontrary")
+      end
+      quality = @quality.opposite
 
-    if @quantity.label == "universal"
       if @truthvalue
-        truthvalue = @truthvalue
+        truthvalue = !@truthvalue
       elsif !@truthvalue
         truthvalue = "unknown"
       end
-    elsif @quantity.label == "particular"
+
+      contrary = Proposition.new(@quantity, @subject, quality, @predicate, truthvalue)
+      return contrary
+    end
+
+    def subcontrary
+      if @quantity.label  == "universal"
+        abort("There is no subcontrary for this type of propostion. Try contrary.")
+      end
+
+      quality = @quality.opposite
+
       if !@truthvalue
         truthvalue = !@truthvalue
       elsif @truthvalue
         truthvalue = "unknown"
       end
-    end
 
-    @subaltern = Proposition.new(quantity, @subject, @quality, @predicate, truthvalue)
-    return @subaltern
-  end
-
-  def contrary
-    if @quantity.label  == "particular"
-      abort("There is no contrary for this type of propostion. Try subcontrary")
+      subcontrary = Proposition.new(@quantity, @subject, quality, @predicate, truthvalue)
+      return subcontrary
     end
-    quality = @quality.opposite
 
-    if @truthvalue
-      truthvalue = !@truthvalue
-    elsif !@truthvalue
-      truthvalue = "unknown"
+    def converse
+      if self.type.label == "A" || self.type.label == "O"
+        truthvalue = "unknown"
+      else
+        truthvalue = @truthvalue
+      end
+      @converse = Proposition.new(@quantity, @predicate, @quality, @subject, truthvalue)
     end
 
-    contrary = Proposition.new(@quantity, @subject, quality, @predicate, truthvalue)
-    return contrary
-  end
+    def obverse
+      quality = @quality.opposite
 
-  def subcontrary
-    if @quantity.label  == "universal"
-      abort("There is no subcontrary for this type of propostion. Try contrary.")
+      predicate = @predicate.opposite
+      @obverse = Proposition.new(@quantity, @subject, quality, predicate, @truthvalue)
     end
 
-    quality = @quality.opposite
-
-    if !@truthvalue
-      truthvalue = !@truthvalue
-    elsif @truthvalue
-      truthvalue = "unknown"
-    end
+    def contrapolated
+      if self.type.label == "E" || self.type.label == "I"
+        truthvalue = "unknown"
+      else
+        truthvalue = @truthvalue
+      end
+      subject = @subject.opposite
+      predicate = @predicate.opposite
 
-    subcontrary = Proposition.new(@quantity, @subject, quality, @predicate, truthvalue)
-    return subcontrary
-  end
+      @contrapolated = Proposition.new(@quantity, predicate, @quality, subject, truthvalue)
 
-  def converse
-    if self.type.label == "A" || self.type.label == "O"
-      truthvalue = "unknown"
-    else
-      truthvalue = @truthvalue
     end
-    @converse = Proposition.new(@quantity, @predicate, @quality, @subject, truthvalue)
-  end
-
-  def obverse
-    quality = @quality.opposite
-
-    predicate = @predicate.opposite
-    @obverse = Proposition.new(@quantity, @subject, quality, predicate, @truthvalue)
-  end
 
-  def contrapolated
-    if self.type.label == "E" || self.type.label == "I"
-      truthvalue = "unknown"
-    else
-      truthvalue = @truthvalue
+    def position_of_term(term)
+      if self.subject.label == term.label
+        @positionofmiddle = 'subject'
+      elsif self.predicate.label == term.label
+        @positionofmiddle = 'predicate'
+      end
+      return @positionofmiddle
     end
-    subject = @subject.opposite
-    predicate = @predicate.opposite
-
-    @contrapolated = Proposition.new(@quantity, predicate, @quality, subject, truthvalue)
 
-  end
-
-  def position_of_term(term)
-    if self.subject.label == term.label
-      @positionofmiddle = 'subject'
-    elsif self.predicate.label == term.label
-      @positionofmiddle = 'predicate'
+    def label
+      if @quantity.label == "universal"
+        if @quality.label == "affirmative"
+          display_quantity = "All"
+          display_quality = "are"
+        elsif @quality.label == "negative"
+          display_quantity = "No"
+          display_quality = "are"
+        end
+      elsif @quantity.label == "particular"
+        if @quality.label == "affirmative"
+          display_quantity = "Some"
+          display_quality = "are"
+        elsif @quality.label == "negative"
+          display_quantity = "Some"
+          display_quality = "are not"
+        end
+      end
+      "#{display_quantity} #{@subject.label} #{display_quality} #{@predicate.label}"
     end
-    return @positionofmiddle
-  end
 
-  def label
-    if @quantity.label == "universal"
-      if @quality.label == "affirmative"
-        display_quantity = "All"
-        display_quality = "are"
-      elsif @quality.label == "negative"
-        display_quantity = "No"
-        display_quality = "are"
-      end
-    elsif @quantity.label == "particular"
-      if @quality.label == "affirmative"
-        display_quantity = "Some"
-        display_quality = "are"
-      elsif @quality.label == "negative"
-        display_quantity = "Some"
-        display_quality = "are not"
+    def distribution(position)
+      if position == 'subject'
+        distribution = @subject.distribution_subject(@quantity)
+      elsif position == 'predicate'
+        distribution = @predicate.distribution_predicate(@quality)
       end
+      return distribution
     end
-    "#{display_quantity} #{@subject.label} #{display_quality} #{@predicate.label}"
-  end
 
-  def distribution(position)
-    if position == 'subject'
-      distribution = @subject.distribution_subject(@quantity)
-    elsif position == 'predicate'
-      distribution = @predicate.distribution_predicate(@quality)
+    def same_as?(proposition)
+      if (proposition.quantity.label == self.quantity.label &&
+          proposition.subject.label == self.subject.label &&
+          proposition.quality.label == self.quality.label &&
+          proposition.predicate.label == self.predicate.label &&
+          proposition.truthvalue == self.truthvalue)
+        true
+      else
+        false
+      end
     end
-    return distribution
-  end
 
-  def same_as?(proposition)
-    if (proposition.quantity.label == self.quantity.label &&
-        proposition.subject.label == self.subject.label &&
-        proposition.quality.label == self.quality.label &&
-        proposition.predicate.label == self.predicate.label &&
-        proposition.truthvalue == self.truthvalue)
-      true
-    else
-      false
+    def unique?(set)
+      numerofoccurences = self.number_of_occurences(set)
+      if numerofoccurences == 0
+        true
+      else
+        false
+      end
     end
-  end
 
-  def unique?(set)
-    numerofoccurences = self.number_of_occurences(set)
-    if numerofoccurences == 0
-      true
-    else 
-      false
-    end
-  end
-  
-  def number_of_occurences(set)
-    @occurences = 0
-    set.each do |proposition|
-      if self.same_as?(proposition)
-        @occurences += 1
+    def number_of_occurences(set)
+      @occurences = 0
+      set.each do |proposition|
+        if self.same_as?(proposition)
+          @occurences += 1
+        end
       end
+      @occurences
     end
-    @occurences
   end
+end
 
-end

data/lib/catlogic/proposition_type.rb

@@ -1,47 +1,51 @@
-class PropositionType
+module Catlogic
+  class PropositionType
 
-  attr_reader :label, :truthvalue
+    attr_reader :label, :truthvalue
 
-  def initialize(type, truthvalue=true)
-    @type = type
-    @label = type
-    @truthvalue = truthvalue
-  end
-  def getType
-    @type
-  end
+    def initialize(type, truthvalue=true)
+      @type = type
+      @label = type
+      @truthvalue = truthvalue
+    end
+    def to_proposition_type
+      self
+    end
 
-  def quantity
-    if @label == "A"
-      quantity = Quantity.new("universal")
-    elsif @label == "E"
-      quantity = Quantity.new("universal")
-    elsif @label == "I"
-      quantity = Quantity.new("particular")
-    elsif @label == "O"
-      quantity = Quantity.new("particular")
-    else
-      quantity = "not a valid type"
+    def quantity
+      if @label == "A"
+        quantity = Quantity.new("universal")
+      elsif @label == "E"
+        quantity = Quantity.new("universal")
+      elsif @label == "I"
+        quantity = Quantity.new("particular")
+      elsif @label == "O"
+        quantity = Quantity.new("particular")
+      else
+        quantity = "not a valid type"
+      end
+      return quantity
     end
-    return quantity
-  end
-  def quality
-    if @label == "A"
-      quality = Quality.new("affirmative")
-    elsif @label == "E"
-      quality = Quality.new("negative")
-    elsif @label == "I"
-      quality = Quality.new("affirmative")
-    elsif @label == "O"
-      quality = Quality.new("negative")
-    else
-      quality = "not a valid type"
+    def quality
+      if @label == "A"
+        quality = Quality.new("affirmative")
+      elsif @label == "E"
+        quality = Quality.new("negative")
+      elsif @label == "I"
+        quality = Quality.new("affirmative")
+      elsif @label == "O"
+        quality = Quality.new("negative")
+      else
+        quality = "not a valid type"
+      end
+      return quality
+    end
+
+    def proposition
+      proposition = Proposition.new(Quantity.new(self.quantity.label), Term.new("S"), Quality.new(self.quality.label), Term.new("P"), @truthvalue)
+      return proposition
     end
-    return quality
-  end
 
-  def proposition
-    proposition = Proposition.new(Quantity.new(self.quantity.label), Term.new("S"), Quality.new(self.quality.label), Term.new("P"), @truthvalue)
-    return proposition
   end
-end
+end
+

data/lib/catlogic/quality.rb

@@ -1,16 +1,22 @@
-class Quality
-  attr_reader :label
+module Catlogic
+  class Quality
+    attr_reader :label
 
-  def initialize(quality)
-    @label = quality
-  end
+    def initialize(quality)
+      @label = quality
+    end
+
+    def opposite
+      if self.label == 'negative'
+        qualityopposite = Quality.new('affirmative')
+      elsif self.label == 'affirmative'
+        qualityopposite = Quality.new('negative')
+      end
+      return qualityopposite
+    end
 
-  def opposite
-    if self.label == 'negative'
-      qualityopposite = Quality.new('affirmative')
-    elsif self.label == 'affirmative'
-      qualityopposite = Quality.new('negative')
+    def to_quality
+      self
     end
-    return qualityopposite
   end
 end

data/lib/catlogic/quantity.rb

@@ -1,16 +1,21 @@
-class Quantity
-  attr_reader :label
+module Catlogic
+  class Quantity
+    attr_reader :label
 
-  def initialize(quantity)
-    @label = quantity
-  end
+    def initialize(quantity)
+      @label = quantity
+    end
 
-  def opposite
-    if self.label == 'universal'
-      quantityopposite = Quantity.new('particular')
-    elsif self.label == 'particular'
-      quantityopposite = Quantity.new('universal')
+    def opposite
+      if self.label == 'universal'
+        quantityopposite = Quantity.new('particular')
+      elsif self.label == 'particular'
+        quantityopposite = Quantity.new('universal')
+      end
+      return quantityopposite
+    end
+    def to_quantity
+      self
     end
-    return quantityopposite
   end
 end

data/lib/catlogic/string.rb

@@ -0,0 +1,20 @@
+class String
+  def to_proposition_type
+    Catlogic::PropositionType.new(self)
+  end
+
+  def to_quantity
+    Catlogic::Quantity.new(self)
+  end
+  def to_quality
+    Catlogic::Quality.new(self)
+  end
+  def to_term
+    Catlogic::Term.new(self)
+  end
+
+  def to_mood
+    Catlogic::Mood.new(self[0], self[1], self[2])
+  end
+
+end