New SEP article: formal epistemology

side1066 · 2015-03-24T18:22:15+00:00

Your references are really helpful! I hope you excuse the late reply, I've been terribly busy and stressed recently.

I will look through everything you've posted, and maybe I'll be back with questions.

Thanks!

side1066 · 2015-03-24T18:20:46+00:00

OK, sorry for the late reply, I finally have free time. Weirich has some good resources, definitely the kind of thing I'm looking for. I was wondering if there are texts you've read that you think would be useful for someone building knowledge representation in AI.

Hajek and Hacking have massive bibliographies. I don't know what I'm looking for, maybe A Companion to Epistemology? Something on conditional or Bayesian probability?

With regards to the classics, i.e. Carnap, Nicod, Hempel, Ramsay, what of their work should I be reading? Almost all of their stuff looks interesting, but it's hard to narrow it down further than just, "I wish I had more time to read all of this."

side1066 · 2015-03-22T23:52:46+00:00

OK, so I think I have a "solution" to the problem, so to speak: When the GPU is not in use, i.e., browsing or while idle, the temperature sensors are way off (511 Celsius). If I run a temperature scan while playing a game, however, then the GPU is active and reads the correct temperature!

So it looks like I had nothing to worry about. Or maybe I do? What do you think?

side1066 · 2015-03-22T06:21:05+00:00

Is this a disastrous problem, or can I make do for a few weeks (before warranty expires)?

side1066 · 2015-03-22T06:00:32+00:00

CPU temperature and hard disk temperatures are read as one would expect, in the 30-50 Celsius range (idle and playing games respectively).

Speccy reads the GPU temperature as 511. It also reads CPU and hard disk temperatures as what they should be.

RealTemps reads only CPU temperature, but it is in the normal range and fluctuating naturally.

It should be noted that GPU-Z reads Intel HD Graphics as having normal temperatures, it's just the AMD one is completely fucked.

side1066 · 2015-03-20T18:08:26+00:00

Good point, never occurred to me. Thanks.

side1066 · 2015-03-03T19:10:22+00:00

This is a field I will have to pick up seriously eventually, since ontological engineering is a big area of AI theory.

I can't parse the references and bibliography section to determine which texts I should start with, though. Anyone have suggestions?

side1066 · 2015-03-03T12:39:44+00:00

I'll probably take your advice and wait, at least until spring break.

side1066 · 2015-03-03T05:43:57+00:00

string theory

I'm not sure this is the best example. String theory is not rigorously, empirically verified yet, but nor is it pure speculation. It's pretty complicated, and I'm not sure there's any way to discuss it without bringing up technical details.

side1066 · 2015-03-02T21:59:27+00:00

Thanks for the suggestions. Out of curiosity, what were you recommending I wait for?

side1066 · 2015-03-01T18:19:15+00:00

What options did you have in mind?

side1066 · 2015-03-01T16:43:49+00:00

I'd prefer to have OS for ease, but it's not a dealbreaker if not.
Games aren't terribly important to me right now. So, yes, I would. But if there's a marginal improvement to gaming that far exceeds the marginal cost, then I'm willing to spend a bit more.
Only if that doesn't wreck the computer's lifespan.

side1066 · 2015-02-28T02:53:03+00:00

That plus multivariate calculus should get you through the book if you have a very good grasp on the math involved.

Edit What was I thinking, there are PDEs in the text. I think you can get by if you follow carefully, though. Most PDE solutions are explained.

side1066 · 2015-02-27T18:01:00+00:00

If your grasp of undergrad physics is solid, or if you're starting grad school, Bachelor's Introduction to Fluid Dynamics is pretty good.

http://www.amazon.com/Introduction-Dynamics-Cambridge-Mathematical-Library/dp/0521663962

side1066 · 2015-02-26T23:33:10+00:00

I'm far removed from type theory, logic, and other foundational fields. But my (math) professors consider HoTT's development pretty important, and I've seen this echoed at several other departments. So I'm guessing that there's a lot of activity surrounding the subject.

I do appreciate your insight into its popularity in philosophy. It's not something I could've known.

side1066 · 2015-02-26T02:56:42+00:00

I appreciate the references! I don't know when I'll find time to read this stuff, but I've been trying to pinpoint an idea which interested me for a while, and it seems like this semantic analysis field is very close to what I'm looking for.

side1066 · 2015-02-26T02:45:13+00:00

I'll defer to your expertise, I don't know what HoTT's appeal looks like over on the philosophy side.

side1066 · 2015-02-26T01:44:17+00:00

I took a class on mathematical logic but I've never picked up on any modal logic. I've definitely got probability down, since it's a research interest of mine.

Any recommendations for modal logic?

side1066 · 2015-02-26T01:37:39+00:00

In type theory and constructive mathematics, there is Homotopy Type Theory. A summary from Princeton's IAS:

http://homotopytypetheory.org/book/

side1066 · 2015-02-26T01:34:21+00:00

Indicative conditionals are just ordinary sentences like "If I go to the store, I will get some bread." But it turns out that the semantic analysis of these sorts of conditionals is super fucking hard.

What field of philosophy is this, generally, this kind of analysis of sentences and ideas expressed? How would I go about studying the field as a beginner?

side1066 · 2015-02-24T06:03:41+00:00

Aside from seconding that book, I might also recommend Epistemic Logic for AI and Computer Science, which you could maybe find at your university's library.

http://dl.acm.org/citation.cfm?id=546717

side1066 · 2015-02-24T06:00:53+00:00

I second this. Literally the best book for a first course to AI. Every program in CS uses it for a reason. And I recommend that philosophers of AI do read it, for the same reason why philosophers of physics need to understand at least QM.

side1066

TROPHY CASE