catlogic 0.0.1

data/spec/spec_helper.rb

@@ -0,0 +1,89 @@
+# This file was generated by the `rspec --init` command. Conventionally, all
+# specs live under a `spec` directory, which RSpec adds to the `$LOAD_PATH`.
+# The generated `.rspec` file contains `--require spec_helper` which will cause this
+# file to always be loaded, without a need to explicitly require it in any files.
+#
+# Given that it is always loaded, you are encouraged to keep this file as
+# light-weight as possible. Requiring heavyweight dependencies from this file
+# will add to the boot time of your test suite on EVERY test run, even for an
+# individual file that may not need all of that loaded. Instead, consider making
+# a separate helper file that requires the additional dependencies and performs
+# the additional setup, and require it from the spec files that actually need it.
+#
+# The `.rspec` file also contains a few flags that are not defaults but that
+# users commonly want.
+#
+# See http://rubydoc.info/gems/rspec-core/RSpec/Core/Configuration
+RSpec.configure do |config|
+  # rspec-expectations config goes here. You can use an alternate
+  # assertion/expectation library such as wrong or the stdlib/minitest
+  # assertions if you prefer.
+  config.expect_with :rspec do |expectations|
+    # This option will default to `true` in RSpec 4. It makes the `description`
+    # and `failure_message` of custom matchers include text for helper methods
+    # defined using `chain`, e.g.:
+    # be_bigger_than(2).and_smaller_than(4).description
+    #   # => "be bigger than 2 and smaller than 4"
+    # ...rather than:
+    #   # => "be bigger than 2"
+    expectations.include_chain_clauses_in_custom_matcher_descriptions = true
+  end
+
+  # rspec-mocks config goes here. You can use an alternate test double
+  # library (such as bogus or mocha) by changing the `mock_with` option here.
+  config.mock_with :rspec do |mocks|
+    # Prevents you from mocking or stubbing a method that does not exist on
+    # a real object. This is generally recommended, and will default to
+    # `true` in RSpec 4.
+    mocks.verify_partial_doubles = true
+  end
+
+# The settings below are suggested to provide a good initial experience
+# with RSpec, but feel free to customize to your heart's content.
+=begin
+  # These two settings work together to allow you to limit a spec run
+  # to individual examples or groups you care about by tagging them with
+  # `:focus` metadata. When nothing is tagged with `:focus`, all examples
+  # get run.
+  config.filter_run :focus
+  config.run_all_when_everything_filtered = true
+
+  # Limits the available syntax to the non-monkey patched syntax that is recommended.
+  # For more details, see:
+  #   - http://myronmars.to/n/dev-blog/2012/06/rspecs-new-expectation-syntax
+  #   - http://teaisaweso.me/blog/2013/05/27/rspecs-new-message-expectation-syntax/
+  #   - http://myronmars.to/n/dev-blog/2014/05/notable-changes-in-rspec-3#new__config_option_to_disable_rspeccore_monkey_patching
+  config.disable_monkey_patching!
+
+  # This setting enables warnings. It's recommended, but in some cases may
+  # be too noisy due to issues in dependencies.
+  config.warnings = true
+
+  # Many RSpec users commonly either run the entire suite or an individual
+  # file, and it's useful to allow more verbose output when running an
+  # individual spec file.
+  if config.files_to_run.one?
+    # Use the documentation formatter for detailed output,
+    # unless a formatter has already been configured
+    # (e.g. via a command-line flag).
+    config.default_formatter = 'doc'
+  end
+
+  # Print the 10 slowest examples and example groups at the
+  # end of the spec run, to help surface which specs are running
+  # particularly slow.
+  config.profile_examples = 10
+
+  # Run specs in random order to surface order dependencies. If you find an
+  # order dependency and want to debug it, you can fix the order by providing
+  # the seed, which is printed after each run.
+  #     --seed 1234
+  config.order = :random
+
+  # Seed global randomization in this process using the `--seed` CLI option.
+  # Setting this allows you to use `--seed` to deterministically reproduce
+  # test failures related to randomization by passing the same `--seed` value
+  # as the one that triggered the failure.
+  Kernel.srand config.seed
+=end
+end

data/spec/syllogism_spec.rb

@@ -0,0 +1,121 @@
+require "spec_helper"
+require "catlogic"
+
+describe "syllogism object" do 
+
+	$majorproposition = Proposition.new(Quantity.new('universal'), Term.new('mortal things'), Quality.new('affirmative'), Term.new('dogs'), true)
+	$minorproposition = Proposition.new(Quantity.new('universal'), Term.new('living things'), Quality.new('affirmative'), Term.new('mortal things'), true)
+	$conclusionproposition = Proposition.new(Quantity.new('universal'), Term.new('living things'), Quality.new('affirmative'), Term.new('dogs'), true)
+	$syllogism_aaa1 = Syllogism.new($majorproposition, $minorproposition, $conclusionproposition)
+  $syllogism_aaa4 = Syllogism.new($minorproposition, $majorproposition, $conclusionproposition)
+
+  $majorproposition2 = Proposition.new(Quantity.new('universal'), Term.new('dogs'), Quality.new('affirmative'), Term.new('mortal things'), true)
+  $minorproposition2 = Proposition.new(Quantity.new('universal'), Term.new('living things'), Quality.new('affirmative'), Term.new('mortal things'), true)
+  $conclusionproposition2 = Proposition.new(Quantity.new('universal'), Term.new('living things'), Quality.new('affirmative'), Term.new('dogs'), true)
+  $syllogism_aaa2 = Syllogism.new($majorproposition2, $minorproposition2, $conclusionproposition2)
+
+	it 'can retrieve the middle term' do
+		
+		middleterm = $syllogism_aaa1.middle
+		middleterm.label.should == 'mortal things'
+	end
+
+  it 'can return error if not trying to get middle on non three-term syllogism' do
+    majorproposition = Proposition.new(Quantity.new('universal'), Term.new('mortal things'), Quality.new('affirmative'), Term.new('living things'), true)
+    minorproposition = Proposition.new(Quantity.new('universal'), Term.new('living things'), Quality.new('affirmative'), Term.new('mortal things'), true)
+    conclusionproposition = Proposition.new(Quantity.new('universal'), Term.new('living things'), Quality.new('affirmative'), Term.new('dogs'), true)
+    syllogism_test = Syllogism.new(majorproposition, minorproposition, conclusionproposition)
+
+    middleterm = syllogism_test.middle
+    middleterm.should == 'Error: this is not a three term syllogism'
+  end
+
+	it 'can retrieve conclusion' do 
+		conclusion = $syllogism_aaa1.conclusion
+		conclusion.should == $conclusionproposition
+	end
+
+	it 'can retrieve major proposition' do
+		major = $syllogism_aaa1.major
+		major.should == $majorproposition
+
+	end
+
+	it 'can retrieve minor proposition' do
+		major = $syllogism_aaa1.major
+		major.should == $majorproposition
+	end
+
+	it 'can retrive minor term from the minor propositions' do
+		minorterm = $syllogism_aaa1.minorterm
+		minorterm.label.should ==	'living things'
+	end	
+
+	it 'can retrive major term from the major propositions' do
+		majorterm = $syllogism_aaa1.majorterm
+		majorterm.label.should ==	'dogs'
+	end
+
+	it 'can retrieve mood of syllogism' do
+		mood = $syllogism_aaa1.mood
+		mood.label.should == 'AAA'
+  end
+
+	it 'can retrieve figure object of syllogism' do
+		figure = $syllogism_aaa1.figure
+		figure.label.should == 1
+  end
+
+  it 'can test for undistributed middle fallacy on AAA1 syllogism' do
+    validity = $syllogism_aaa1.undistributed_middle_test
+    validity.should == true
+  end
+
+  it 'can test for undistributed middle fallacy on AAA2 syllogism' do
+    validity = $syllogism_aaa2.undistributed_middle_test
+    validity.should == false
+  end
+
+  it 'can test for illicit major fallacy on AAA1 syllogism' do
+    validity = $syllogism_aaa1.illicit_major_test
+    validity.should == true
+  end
+
+  it 'can test for illicit minor fallacy on AAA1 syllogism' do
+    validity = $syllogism_aaa1.illicit_minor_test
+    validity.should == true
+  end
+
+  it 'can test for exclusive premises fallacy on AAA1 syllogism' do
+    validity = $syllogism_aaa1.exclusive_premises_test
+    validity.should == true
+  end
+
+  it 'can test for affirmative conclusion from negative premise fallacy on AAA1 syllogism' do
+    validity = $syllogism_aaa1.affirm_from_neg_test
+    validity.should == true
+  end
+
+  it 'can test for negative conclusion from affirmative premises fallacy on AAA1 syllogism' do
+    validity = $syllogism_aaa1.neg_from_affirms_test
+    validity.should == true
+  end
+
+  it 'can test for overall validity on AAA1 syllogism' do
+    validity = $syllogism_aaa1.validity
+    validity.should == true
+  end
+
+  it 'can return a human readable form of the syllogism' do
+    label = $syllogism_aaa1.label
+    label.should == "All mortal things are dogs\nAll living things are mortal things\nAll living things are dogs"
+  end
+
+  it 'can return true if this syllogism is a three term syllogism' do
+    result = $syllogism_aaa1.three_term?
+    result.should == true
+  end
+
+end
+
+

data/spec/term_spec.rb

@@ -0,0 +1,35 @@
+require 'spec_helper'
+require 'catlogic'
+require 'pry'
+
+describe 'term object' do
+  it 'can return term as string' do
+    term = Term.new('dogs')
+    result = term.label
+    result.should == 'dogs'
+  end
+
+  it 'can return term opposite as string' do
+    term = Term.new('dogs')
+    opposite = term.opposite
+    result = opposite.label
+    result.should == 'non-dogs'
+  end
+
+  it 'can return correct distribution for subject term' do
+    term = Term.new('dogs')
+    quantity = Quantity.new('universal')
+    result = term.distribution_subject(quantity)
+    result.label.should == 'distributed'
+  end
+
+  it 'can return correct distribution for predicate term' do
+    term = Term.new('dogs')
+    quality = Quality.new('affirmative')
+    result = term.distribution_predicate(quality)
+    result.label.should == 'undistributed'
+  end
+
+
+
+end

metadata

@@ -0,0 +1,166 @@
+--- !ruby/object:Gem::Specification
+name: catlogic
+version: !ruby/object:Gem::Version
+  version: 0.0.1
+platform: ruby
+authors:
+- Jeffrey C. Witt
+autorequire: 
+bindir: bin
+cert_chain: []
+date: 2015-01-02 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: bundler
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.7'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.7'
+- !ruby/object:Gem::Dependency
+  name: rake
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '10.0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '10.0'
+- !ruby/object:Gem::Dependency
+  name: rspec
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+- !ruby/object:Gem::Dependency
+  name: pry
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+description: A gem for building categorial propositions and syllogisms
+email:
+- jeffreycwitt@gmail.com
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- ".gitignore"
+- ".rspec"
+- ".ruby-gemset"
+- ".ruby-version"
+- Gemfile
+- LICENSE.txt
+- README.md
+- Rakefile
+- bin2/.idea/.name
+- bin2/.idea/bin.iml
+- bin2/.idea/encodings.xml
+- bin2/.idea/misc.xml
+- bin2/.idea/modules.xml
+- bin2/.idea/scopes/scope_settings.xml
+- bin2/.idea/vcs.xml
+- bin2/.idea/workspace.xml
+- bin2/displayInferredTruths.rb
+- bin2/getAllValidPropositions.rb
+- bin2/testCombineSets.rb
+- bin2/testIfUnique.rb
+- bin2/testPremisePair.rb
+- bin2/testProposition.rb
+- bin2/testPropositionType.rb
+- bin2/testQuantity.rb
+- bin2/testReduceToUniqueSet.rb
+- bin2/testSyllogism.rb
+- bin2/testSyllogismForm.rb
+- catlogic.gemspec
+- lib/catlogic.rb
+- lib/catlogic/distribution.rb
+- lib/catlogic/figure.rb
+- lib/catlogic/form.rb
+- lib/catlogic/mood.rb
+- lib/catlogic/premise_collection.rb
+- lib/catlogic/premise_pair.rb
+- lib/catlogic/proposition.rb
+- lib/catlogic/proposition_type.rb
+- lib/catlogic/quality.rb
+- lib/catlogic/quantity.rb
+- lib/catlogic/syllogism.rb
+- lib/catlogic/term.rb
+- lib/catlogic/version.rb
+- spec/distribution_spec.rb
+- spec/figure_spec.rb
+- spec/form_spec.rb
+- spec/mood_spec.rb
+- spec/premise_pair_spec.rb
+- spec/proposition_spec.rb
+- spec/proposition_type_spec.rb
+- spec/quality_spec.rb
+- spec/quantity_spec.rb
+- spec/spec_helper.rb
+- spec/syllogism_spec.rb
+- spec/term_spec.rb
+homepage: ''
+licenses:
+- MIT
+metadata: {}
+post_install_message: 
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubyforge_project: 
+rubygems_version: 2.4.5
+signing_key: 
+specification_version: 4
+summary: A gem for building categorial propositions and syllogisms
+test_files:
+- spec/distribution_spec.rb
+- spec/figure_spec.rb
+- spec/form_spec.rb
+- spec/mood_spec.rb
+- spec/premise_pair_spec.rb
+- spec/proposition_spec.rb
+- spec/proposition_type_spec.rb
+- spec/quality_spec.rb
+- spec/quantity_spec.rb
+- spec/spec_helper.rb
+- spec/syllogism_spec.rb
+- spec/term_spec.rb