catlogic 0.0.2 → 0.0.3

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA1:
-  metadata.gz: 90a09a9e2399112e248c597e72c7c9d28849fe84
-  data.tar.gz: ddc5fa27e7320b5f05ca279cf247c3daac25b876
+  metadata.gz: fcf6e7fcb655d416e5ab00d93212b490860e2632
+  data.tar.gz: b9b5d3856a9c181436aff598eb043589432c2cac
 SHA512:
-  metadata.gz: daf7a9cb7f0409ad7dd4100dc787d43ea61f70d6798f872747c5554f4ee8a976d3e0706434b91ee8064dde15b16e9a85fc66582592343a768f7a07f1d01711a6
-  data.tar.gz: 1109801b36ac153639a25dbd5b4ca7fca6673db3a2f65d530cc2a3d612c9002352c41f067cc962c2ed9a36b5036158a924ccc65e0253792138817e1cedab4e81
+  metadata.gz: 06e48a30aa87c2ddd027040ea4d08d7f97edf336b5bb9c81213c21729ac2a1928d4363131a2a48b25755d0e8d74c2b1fa9534cde1eb55b5a19c201e7ba79ea8b
+  data.tar.gz: 4bef72f6ee5103edd20c0e59b4024515cb321a381620563d08a4a04426ff030a2539b923549f89e41761ad06397610793aaa4cb30ee3fda7d64c1b643072c27e

data/README.md

@@ -9,7 +9,7 @@
     require 'catlogic'
 
     # create a categorical proposition
-    proposition = Proposition.new(Quantity.new("Universal"), Term.new("Dogs), Quality.new("Affirmative"), Term.new("Mortal"), true)
+    proposition = Proposition.new(Quantity.new("Universal"), Term.new("Dogs), Catlogic::Quality.new("Affirmative"), Term.new("Mortal"), true)
     
     # get the type of the proposition
     proposition.type

data/lib/catlogic/distribution.rb

@@ -1,16 +1,18 @@
-class Distribution
-  attr_reader :label
+module Catlogic
+  class Distribution
+    attr_reader :label
 
-  def initialize(distribution)
-    @label = distribution
-  end
+    def initialize(distribution)
+      @label = distribution
+    end
 
-  def opposite
-    if self.label == 'distributed'
-      opposite = Distribution.new('undistributed')
-    elsif self.label == 'undistributed'
-      opposite = Distribution.new('distributed')
+    def opposite
+      if self.label == 'distributed'
+        opposite = Distribution.new('undistributed')
+      elsif self.label == 'undistributed'
+        opposite = Distribution.new('distributed')
+      end
+      return opposite
     end
-    return opposite
   end
-end
+end

data/lib/catlogic/figure.rb

@@ -1,45 +1,48 @@
-class Figure
-  attr_reader :label
+module Catlogic
+  class Figure
+    attr_reader :label
 
-  def initialize(figure)
-    @label = figure
-  end
-
-
-  def major_subject
-    if @label == 1 || @label == 3
-      subject = Term.new('M')
+    def initialize(figure)
+      @label = figure
+    end
+    def to_figure
+      self
+    end
+    def major_subject
+      if @label == 1 || @label == 3
+        subject = Term.new('M')
 
-    elsif @label == 2 || @label == 4
-      subject = Term.new('P')
+      elsif @label == 2 || @label == 4
+        subject = Term.new('P')
+      end
+      return subject
     end
-    return subject
-  end
 
-  def major_predicate
-    if @label == 1 || @label == 3
-      predicate = Term.new("P")
-    elsif @label == 2 || @label == 4
-      predicate = Term.new("M")
+    def major_predicate
+      if @label == 1 || @label == 3
+        predicate = Term.new("P")
+      elsif @label == 2 || @label == 4
+        predicate = Term.new("M")
+      end
+      return predicate
     end
-    return predicate
-  end
-  def minor_subject
-    if @label == 1 || @label == 2
-      subject = Term.new("S")
+    def minor_subject
+      if @label == 1 || @label == 2
+        subject = Term.new("S")
 
-    elsif @label == 3 || @label == 4
-      subject = Term.new("M")
+      elsif @label == 3 || @label == 4
+        subject = Term.new("M")
 
+      end
+      return subject
     end
-    return subject
-  end
-  def minor_predicate
-    if @label == 1 || @label == 2
-      predicate = Term.new("M")
-    elsif @label == 3 || @label == 4
-      predicate = Term.new("S")
+    def minor_predicate
+      if @label == 1 || @label == 2
+        predicate = Term.new("M")
+      elsif @label == 3 || @label == 4
+        predicate = Term.new("S")
+      end
+      return predicate
     end
-    return predicate
   end
 end

data/lib/catlogic/form.rb

@@ -1,98 +1,99 @@
-class Form
-  attr_reader :mood, :figure, :label
-  # takes three Mood Object and Figure Object
-  def initialize(mood, figure)
-    @mood = mood
-    @figure = figure
-    @label = "#{@mood.label}#{@figure.label}"
-  end
-  def syllogism
-     majorproposition = Proposition.new(@mood.majortype.quantity, @figure.major_subject, @mood.majortype.quality, @figure.major_predicate, true)
-    minorproposition = Proposition.new(@mood.minortype.quantity, @figure.minor_subject, @mood.minortype.quality, @figure.minor_predicate, true)
-    conclusion = Proposition.new(@mood.conclusiontype.quantity, Term.new("S"), @mood.conclusiontype.quality, Term.new("P"), true)
+module Catlogic
+  class Form
+    attr_reader :mood, :figure, :label
+    # takes three Mood Object and Figure Object
+    def initialize(mood, figure)
+      @mood = mood.to_mood
+      @figure = figure.to_figure
+      @label = "#{@mood.label}#{@figure.label}"
+    end
+    def syllogism
+       majorproposition = Proposition.new(@mood.majortype.quantity, @figure.major_subject, @mood.majortype.quality, @figure.major_predicate, true)
+      minorproposition = Proposition.new(@mood.minortype.quantity, @figure.minor_subject, @mood.minortype.quality, @figure.minor_predicate, true)
+      conclusion = Proposition.new(@mood.conclusiontype.quantity, Term.new("S"), @mood.conclusiontype.quality, Term.new("P"), true)
 
-    syllogism = Syllogism.new(majorproposition, minorproposition, conclusion)
+      syllogism = Syllogism.new(majorproposition, minorproposition, conclusion)
 
-    return syllogism
-  end
-  def validity
-    syllogism = self.syllogism
-    syllogism.validity
-  end
-  def name
-    case @figure.label
-      when 1
-        case @mood.label
-          when "AAA"
-            name = "Barbara"
-          when "EAE"
-            name = "Celarent"
-          when "AII"
-            name = "Darii"
-          when "EIO"
-            name = "Ferio"
-          when "AAI"
-            name = "Barbari"
-          when "EAO"
-            name = "Celaront"
-          else
-            name = nil
-        end
-      when 2
-        case @mood.label
-          when "EAE"
-            name = "Cesare"
-          when "AEE"
-            name = "Camestres"
-          when "EIO"
-            name = "Festino"
-          when "AOO"
-            name = "Baroco"
-          when "EAO"
-            name = "Cesaro"
-          when "AEO"
-            name = "Camestrop"
-          else
-            name = nil
-        end
-      when 3
-        case @mood.label
-          when "AAI"
-            name = "Darapti"
-          when "IAI"
-            name = "Disamis"
-          when "AII"
-            name = "Datisi"
-          when "EAO"
-            name = "Felapton"
-          when "OAO"
-            name = "Bocardo"
-          when "EIO"
-            name = "Ferison"
-          else
-            name = nil
-        end
-      when 4
-        case @mood.label
-          when "AAI"
-            name = "Bramantip"
-          when "AEE"
-            name = "Camenes"
-          when "IAI"
-            name = "Festino"
-          when "EAO"
-            name = "Fesapo"
-          when "EIO"
-            name = "Fresison"
-          when "AEO"
-            name = "Camenop"
-          else
-            name = nil
-        end
-      else
-        name = nil
+      return syllogism
+    end
+    def validity
+      syllogism = self.syllogism
+      syllogism.validity
+    end
+    def name
+      case @figure.label
+        when 1
+          case @mood.label
+            when "AAA"
+              name = "Barbara"
+            when "EAE"
+              name = "Celarent"
+            when "AII"
+              name = "Darii"
+            when "EIO"
+              name = "Ferio"
+            when "AAI"
+              name = "Barbari"
+            when "EAO"
+              name = "Celaront"
+            else
+              name = nil
+          end
+        when 2
+          case @mood.label
+            when "EAE"
+              name = "Cesare"
+            when "AEE"
+              name = "Camestres"
+            when "EIO"
+              name = "Festino"
+            when "AOO"
+              name = "Baroco"
+            when "EAO"
+              name = "Cesaro"
+            when "AEO"
+              name = "Camestrop"
+            else
+              name = nil
+          end
+        when 3
+          case @mood.label
+            when "AAI"
+              name = "Darapti"
+            when "IAI"
+              name = "Disamis"
+            when "AII"
+              name = "Datisi"
+            when "EAO"
+              name = "Felapton"
+            when "OAO"
+              name = "Bocardo"
+            when "EIO"
+              name = "Ferison"
+            else
+              name = nil
+          end
+        when 4
+          case @mood.label
+            when "AAI"
+              name = "Bramantip"
+            when "AEE"
+              name = "Camenes"
+            when "IAI"
+              name = "Festino"
+            when "EAO"
+              name = "Fesapo"
+            when "EIO"
+              name = "Fresison"
+            when "AEO"
+              name = "Camenop"
+            else
+              name = nil
+          end
+        else
+          name = nil
+      end
+      return name
     end
-    return name
   end
-
 end

data/lib/catlogic/integer.rb

@@ -0,0 +1,5 @@
+class Integer
+  def to_figure
+    Catlogic::Figure.new(self)
+  end
+end

data/lib/catlogic/mood.rb

@@ -1,14 +1,26 @@
-class Mood
-  attr_reader :majortype, :minortype, :conclusiontype
-
-  # takes three propositionType objects
-  def initialize(majortype, minortype, conclusiontype)
-    @majortype = majortype
-    @minortype = minortype
-    @conclusiontype = conclusiontype
-  end
+module Catlogic
+  class Mood
+    attr_reader :majortype, :minortype, :conclusiontype
+
+    # takes three propositionType objects
+    def initialize(majortype, minortype, conclusiontype)
+      @majortype = majortype.to_proposition_type
+      @minortype = minortype.to_proposition_type
+      @conclusiontype = conclusiontype.to_proposition_type
+    end
+
+    def to_mood
+      self
+    end
+
+    def label
+      "#{@majortype.label}#{@minortype.label}#{@conclusiontype.label}"
+    end
+
+    def to_s
+      self.label
+    end
 
-  def label
-    "#{@majortype.label}#{@minortype.label}#{@conclusiontype.label}"
   end
-end
+end
+

data/lib/catlogic/premise_collection.rb

@@ -1,38 +1,101 @@
-class PremiseCollection
-  def initialize(propositionarray)
-    @collection_array = propositionarray
-  end
+module Catlogic
+  class PremiseCollection
+    attr_reader :initial_propositions, :unique_propositions
 
-  def at_least_two?
-    if @collection_array.count >= 2
-      true
-    else
-      false
+    def initialize(propositionarray)
+      @initial_propositions = propositionarray
+      @unique_propositions = self.unique_set
     end
-  end
-  def size
-    @collection_array.count
-  end
-  def unique_set
-    unique_set = []
-    @collection_array.each do |conclusion|
-      if unique_set.count == 0
-        unique_set << conclusion
-      elsif conclusion.unique?(unique_set)
-        unique_set << conclusion
+
+    def at_least_two?
+
+      if @unique_propositions.count >= 2
+        true
+      else
+        false
       end
     end
-    return unique_set
-  end
-  def premise_pairs
-    pairs = []
-      @collection_array.each do |proposition|
-        @collection_array.each do |secondproposition|
-        unless proposition.same_as?(secondproposition)
-          pairs << PremisePair.new(proposition, secondproposition)
+    def size
+      @unique_propositions.count
+    end
+    def initial_size
+      @initial_propositions.count
+    end
+    def unique_set
+      unique_set = []
+      @initial_propositions.each do |conclusion|
+        if unique_set.count == 0
+          unique_set << conclusion
+        elsif conclusion.unique?(unique_set)
+          unique_set << conclusion
+        end
+      end
+      return unique_set
+    end
+    def premise_pairs
+      pairs = []
+        @unique_propositions.each do |proposition|
+          @unique_propositions.each do |secondproposition|
+          unless proposition.same_as?(secondproposition)
+            pairs << PremisePair.new(proposition, secondproposition)
+          end
+        end
+      end
+      return pairs
+    end
+    def three_term_premise_pairs
+      total_pairs = self.premise_pairs
+      three_term_pairs = []
+      total_pairs.each do |pair|
+        if pair.three_term_pair?
+          three_term_pairs << pair
         end
       end
+      return three_term_pairs
+    end
+
+    def valid_syllogisms
+      validsyllogisms = []
+      three_term_pairs = self.three_term_premise_pairs
+      three_term_pairs.each do |pair|
+        conclusions = pair.possible_conclusions
+        conclusions.each do |conclusion|
+          syllogism = Syllogism.new(pair.major, pair.minor, conclusion)
+          if syllogism.validity == true
+            validsyllogisms << syllogism
+          end
+        end
+      end
+      return validsyllogisms
+    end
+
+  # next three functions work together
+  # first gets all new truths
+    def inferred_truths_all
+      inferred_truths_all = []
+      validsyllogisms = self.valid_syllogisms
+      validsyllogisms.each do |syllogism|
+        inferred_truths_all << syllogism.conclusion
+      end
+      return inferred_truths_all
+    end
+  # next it reduces the inferred set to unique propositions and removes duplicates
+    def inferred_truths_unique
+      inferred_truths_all = self.inferred_truths_all
+      inferredcollection = PremiseCollection.new(inferred_truths_all)
+      inferred_truths_unique = inferredcollection.unique_propositions
+      return inferred_truths_unique
+    end
+  #finally it checks the new set against the initial set and removes already know truths
+    def inferred_truths_new
+      inferred_truths_new = []
+      inferred_truths_unique = self.inferred_truths_unique
+      inferred_truths_unique.each do |proposition|
+        if proposition.unique?(@unique_propositions)
+          inferred_truths_new << proposition
+        end
+      end
+      return inferred_truths_new
     end
   end
 end
-

data/lib/catlogic/premise_pair.rb

@@ -1,61 +1,63 @@
-class PremisePair
-  
-  attr_reader :major, :minor
-  
-  def initialize(major, minor)
-    @major = major
-    @minor = minor
-  end
+module Catlogic
+  class PremisePair
+
+    attr_reader :major, :minor
+
+    def initialize(major, minor)
+      @major = major
+      @minor = minor
+    end
 
-  def middle
-    termarray = [@major.subject.label, @major.predicate.label, @minor.subject.label, @minor.predicate.label]
-    middle = nil
-    if self.three_term_pair?
-      termarray.detect do |term|
-        if termarray.count(term) == 2
-          middle = Term.new(term)
+    def middle
+      termarray = [@major.subject.label, @major.predicate.label, @minor.subject.label, @minor.predicate.label]
+      middle = nil
+      if self.three_term_pair?
+        termarray.detect do |term|
+          if termarray.count(term) == 2
+            middle = Term.new(term)
+          end
         end
+      else
+        middle = "Error: this is not a three term syllogism"
       end
-    else
-      middle = "Error: this is not a three term syllogism"
+      return middle
     end
-    return middle
-  end
 
-  def three_term_pair?
-    termarray = [@major.subject.label, @major.predicate.label, @minor.subject.label, @minor.predicate.label]
-    if termarray.uniq.size == 3
-      answer = true
-    else
-      answer = false
+    def three_term_pair?
+      termarray = [@major.subject.label, @major.predicate.label, @minor.subject.label, @minor.predicate.label]
+      if termarray.uniq.size == 3
+        answer = true
+      else
+        answer = false
+      end
     end
-  end
 
-   def majorterm
-    if @major.subject.label == self.middle.label
-      majorterm = @major.predicate
-    else
-      majorterm = @major.subject
+     def majorterm
+      if @major.subject.label == self.middle.label
+        majorterm = @major.predicate
+      else
+        majorterm = @major.subject
+      end
+      majorterm
     end
-    majorterm
-  end
-  def minorterm
-    if @minor.subject.label == self.middle.label
-      minorterm = @minor.predicate
-    else
-      minorterm = @minor.subject
+    def minorterm
+      if @minor.subject.label == self.middle.label
+        minorterm = @minor.predicate
+      else
+        minorterm = @minor.subject
+      end
+      minorterm
     end
-    minorterm
-  end
 
-# still need a test for this
-  def possible_conclusions
-    @possible_conclusions = [
-        Proposition.new(Quantity.new("universal"), self.minor, Quality.new("affirmative"), self.minor, true),
-        Proposition.new(Quantity.new("universal"), self.minor, Quality.new("negative"), self.minor, true),
-        Proposition.new(Quantity.new("particular"), self.minor, Quality.new("affirmative"), self.minor, true),
-        Proposition.new(Quantity.new("particular"), self.minor, Quality.new("negative"), self.minor, true)
-    ]
+  # still need a test for this
+    def possible_conclusions
+      possible_conclusions = [
+          Proposition.new(Quantity.new("universal"), self.minorterm, Quality.new("affirmative"), self.majorterm, true),
+          Proposition.new(Quantity.new("universal"), self.minorterm, Quality.new("negative"), self.majorterm, true),
+          Proposition.new(Quantity.new("particular"), self.minorterm, Quality.new("affirmative"), self.majorterm, true),
+          Proposition.new(Quantity.new("particular"), self.minorterm, Quality.new("negative"), self.majorterm, true)
+      ]
+      return possible_conclusions
+    end
   end
-
-end
+end