catlogic 1.0.0 → 1.1.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA1:
-  metadata.gz: 6312cc7710e89773cfc041b5affe729ba1b3b647
-  data.tar.gz: 5590b0ba2c25878ba794371fc6c0f0a762924c4e
+  metadata.gz: dd4b96763af60240d4dd29bacd34868458dfb9f9
+  data.tar.gz: 1d4698917a91f145edf28374f012ed928ea3b5ff
 SHA512:
-  metadata.gz: 679b421b4ce3c76b15de5246594833eb9782f27a32605b5ab6f8e0017b88d3409d71ba59ad4e4e6250990926e224c154acc8c10e1b35337eba1c57f20f75fdb9
-  data.tar.gz: 51ac946455ced01462986b901dcd46287d6a3d26584995b9d7057113e42ca663d251434e334019b667a1a59d8c14cfb295398a52696485bfcbb07be46b980af1
+  metadata.gz: 8cc347815311dc996c560c1e0a0844dfaa1cda0e5fdea3610d4a8ef83c81f75c1af69877acafc89ed89b976ca987fb8b37754ea306bcbe6b73ee2b845322fdbe
+  data.tar.gz: e46d18267992e4316f68c5e1569adf1e14136bc6af8f19d8eefa07c53944c38bdfb63885e897d8382475bb6b15e7f4e6fed8747a8ea70ddc0ea7c1c0c9d17191

data/.ruby-gemset

@@ -1 +1 @@
-catlogic
+default

data/.ruby-version

@@ -1 +1 @@
-ruby-2.2.0
+ruby-2.2.1

data/bin/catlogic

@@ -0,0 +1,93 @@
+#!/usr/bin/env ruby
+
+require "thor"
+require "catlogic"
+
+class CatlogicCLI < Thor 
+	desc "version", "ask for catlogic version"
+	def version
+		puts Catlogic::VERSION
+	end
+	desc "inference", "get immediate inferences from proposition type"
+	def inference(propositiontype)
+		type = Catlogic::PropositionType.new(propositiontype, true)
+		proposition = type.proposition
+		
+		puts "======Proposition========="
+		puts proposition.label
+		puts "======Proposition Type========="
+		puts "type: #{proposition.type.label}"
+		puts "======Assumed Truth Value========="
+		puts "assumed: #{proposition.truthvalue}"
+
+		puts "=====Immediate Inferences========="
+		contradictory = proposition.contradictory
+		if proposition.quantity.label == "universal"
+		  contrary_subcontrary = proposition.contrary
+		elsif proposition.quantity.label == "particular"
+		  contrary_subcontrary = proposition.subcontrary
+		end
+		subaltern = proposition.subaltern
+		converse = proposition.converse
+		obverse = proposition.obverse
+		contrapolated = proposition.contrapolated
+
+		puts "====contradictory: #{contradictory.type.label}: #{contradictory.truthvalue}==="
+		puts contradictory.label
+		puts "====contrary/subcontrary: #{contrary_subcontrary.type.label}: #{contrary_subcontrary.truthvalue}===="
+		puts contrary_subcontrary.label
+		puts "====subaltern: #{subaltern.type.label}: #{subaltern.truthvalue}===="
+		puts subaltern.label
+		puts "====converse: #{converse.type.label}: #{converse.truthvalue}===="
+		puts converse.label
+		puts "====obverse: #{obverse.type.label}: #{obverse.truthvalue}===="
+		puts obverse.label
+		puts "====contrapolated = #{contrapolated.type.label}: #{contrapolated.truthvalue}===="
+		puts contrapolated.label
+	end
+	desc "test", "test validity of syllogism form"
+	def test(mood, figure)
+		form = Catlogic::Form.new(mood, figure.to_i)
+		puts "====================="
+		puts "Testing: #{form.label}"
+
+		syllogism = form.syllogism
+
+		puts "=====Propositional form====="
+		puts form.syllogism.label
+
+		### This is redundant in testSyllogism ##
+		puts "=====Validity===="
+		puts "Validity: #{syllogism.validity}"
+
+
+		if (!syllogism.validity)
+			if (!syllogism.undistributed_middle_test) 
+				puts "undistributed_middle_test failed"
+				puts "=========="
+			end
+			if (!syllogism.illicit_major_test) 
+				puts "illicit_major_test failed"
+				puts "=========="
+			end
+			if (!syllogism.illicit_minor_test) 
+				puts "illicit_minor_test failed"
+				puts "=========="
+			end
+			if (!syllogism.exclusive_premises_test) 
+				puts "exclusive_premises_test failed"
+				puts "=========="
+			end
+			if (!syllogism.affirm_from_neg_test) 
+				puts "affirm_from_neg_test failed"
+				puts "=========="
+			end
+			if (!syllogism.neg_from_affirms_test) 
+				puts "neg_from_affirms_test"
+				puts "=========="
+			end    
+		end
+	end
+end
+
+CatlogicCLI.start(ARGV)

data/catlogic.gemspec

@@ -18,6 +18,8 @@ Gem::Specification.new do |spec|
   spec.test_files    = spec.files.grep(%r{^(test|spec|features)/})
   spec.require_paths = ["lib"]
 
+  spec.add_dependency "thor"
+
   spec.add_development_dependency "bundler", "~> 1.7"
   spec.add_development_dependency "rake", "~> 10.0"
   spec.add_development_dependency 'rspec'

data/lib/catlogic/version.rb

@@ -1,3 +1,3 @@
 module Catlogic
-  VERSION = "1.0.0"
+  VERSION = "1.1.0"
 end

metadata

@@ -1,15 +1,29 @@
 --- !ruby/object:Gem::Specification
 name: catlogic
 version: !ruby/object:Gem::Version
-  version: 1.0.0
+  version: 1.1.0
 platform: ruby
 authors:
 - Jeffrey C. Witt
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2015-08-29 00:00:00.000000000 Z
+date: 2016-03-09 00:00:00.000000000 Z
 dependencies:
+- !ruby/object:Gem::Dependency
+  name: thor
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
 - !ruby/object:Gem::Dependency
   name: bundler
   requirement: !ruby/object:Gem::Requirement
@@ -69,7 +83,8 @@ dependencies:
 description: A gem for building categorial propositions and syllogisms
 email:
 - jeffreycwitt@gmail.com
-executables: []
+executables:
+- catlogic
 extensions: []
 extra_rdoc_files: []
 files:
@@ -81,6 +96,7 @@ files:
 - LICENSE.txt
 - README.md
 - Rakefile
+- bin/catlogic
 - catlogic.gemspec
 - lib/catlogic.rb
 - lib/catlogic/distribution.rb
@@ -150,7 +166,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
       version: '0'
 requirements: []
 rubyforge_project: 
-rubygems_version: 2.4.5
+rubygems_version: 2.4.6
 signing_key: 
 specification_version: 4
 summary: A gem for building categorial propositions and syllogisms